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…