tuned interfaces

tuned

index for https://isabelle.in.tum.de/components (or clones);

Simplified some definitions and proofs by eliminating the constant cconcat

merged

enforce strict nesting of local theories

enforce strict nesting of local theories

merged

tuned names: t_ -> T_

tuned names

Change to commit e631964. Only want to leave one word unused but it must be…

Change various cases of calls to SpaceForAddress that can now be handled by…

Fix the calls to gMem.SpaceForAddress(obj)->writeAble(obj). gMem.

On use MAP_STACK on OpenBSD. It causes problems on FreeBSD.

Remove some old references to sys/signal.h and sys/termios.h.

support arm64-linux;

Make sure the stack pointer is actually in the mapped area rather than at the…

Fix incorrect change to configure.ac.

Put the CODEISNOTEXECUTABLE flag in the Makefile rather than in configure.

Use a .data.rel.ro section for the read-only data instead of a .rodata section.

Rebuild the configuration files after fixing the change to configure.ac.

Add a define to indicate building for the interpreter and don't want the…

merged

tidying and de-applying

Change threadId argument to FirstArgument. These were merged after the change…

Merge branch 'VolatileRef' into CompiledFFITesting

Fix MutexBlock after change to mutex values.

Minor fixes.

Merge branch 'VolatileRef' into CompiledFFITesting

Move the creation of the atExit list up to LibrarySupport so that it can be…

Fix atExit.

Remove atExit functions from RTS since it's now handled entirely in ML.

When exporting a volatile ref we can clear it if it is in hierarchy zero i.e.

Merge branch 'master' into ForkRTSModule

Merge branch 'master' into VolatileRef

Remove ProcessExternal::SetSingleThreaded since this is handled by RtsModule…

Add a virtual function to the RtsModules class to handle the very specific case…

Note a problem with clearing before exporting. The exported version of a saved…

Use volatile refs explicitly. Convert OS.Process.atExit to use them so that it…

Clear no-overwrite word ref values when they are exported. This avoids

Change comment to reflect the changes to the code.

Change the X86 code-generator so that resetting a mutex sets it to zero.

Change the way mutexes are locked and unlocked. They are now created as zero…

Change the buildClosure functions into buildCallback functions that take the ML…

Merge branch 'master' into CompiledFFITesting

Merge branch 'AnotherPollBranch' into CompiledFFITesting

Merge branch 'master' into AnotherPollBranch

Merge branch 'master' into AnotherPollBranch

Merge branch 'master' into AnotherPollBranch

Remove the code to make trampolines since they are no longer used.

Merge branch 'CompileForeignCall' into CompliedFFITesting

Revert "Remove FlushInstructionCache" d3c42ae. We may need this for the ARM…

The abi type is always a short int.

Merge branch 'master' into CompileForeignCall

Remove PolyInterpretedCreateCallback since we're not supporting callbacks in…

Fixes, mainly with structs.

Pass a vector of addresses to ffi_call rather than the arguments themselves.

Include a temporary version of RunCall.rtsCallFull4 because it isn't included…

Tidy up to fix some issues.

Raise an exception if FFI is not supported.

Added support for foreign function calling.

Add initial support for FFI in interpreted version.

Merge branch 'CompileForeignCall' of https://github.com/dcjm/polyml into…

Add configure tests for libffi and ffi.h in case we're building the interpreted…

Added Inet6Sock and removed NetHostDB. This brings it in line for polyml.pyp.

Rename the configurations to build the interpreted versions so Debug and…

Turn abiList into a function so it is only constructed when initGlobalEnv is…

Another basis file that needs a different version after the compiler has been…

Rebuild to incorporate changes to Makefile.am.

Forgot to include this.

Merge branch 'master' into CompileForeignCall

Update compiler version to 5.8.2 so that we pick up the correct files on…

Move changed files now that the base version is 5.8.1.

Rebuild configure and Makefiles after removing libffi.

No longer use libffi for anything.

Remove libffi completely.

Switch to using the ML representation of the data structure for C types.

Use an internal representation for the ABI rather than libffi's.

Create a Foreign structure in Initialise and use that when building the basis…

Remove RTS calls from poly_ffi.

Add old version for bootstrap.

Switch to using the separate RTS calls.

Complete closures for Unix 64-bit by implementing structs as arguments and…

Small fix to FFI RTS call for Unix.

Complete struct passing for Win64 callbacks.

Generate the main part of a callback in the first application to the argument…

Change the way the cStructn functions work so that it is possible to compute…

Add original version of ForeignMemory for bootstrapping.

Use alloca for arguments and result in FFI calls.

Add Foreign.Memory.alloca. This allocates temporary memory on the stack.

Add separate RTS calls for the FFI functions.

When passing a callback touch it in the "delete" function.

Merge branch 'master' into CompileForeignCall

Add comment about closures.

Remove assembly code entries for kill-self and pop-arg-and-closure.

Add inline absolute 64-bit constants to the code-generator for 32-in-64. This…

Fix argument area address in X64/Unix closures.

Push with 32-bit address is only used in native 32-bits.