Treat the word offset in Foreign.Memory as signed. This applies to the get and…

Use GCC intrinsics for atomic operations rather than Windows functions if…

Fix for Linux and rebuild configure.

Add the PC value to a queue and process the queue in the main thread. This…

Separate out asynchronous and synchronous profiling counting.

Fix objSize/showSize for code cells in 32-in-64. Fixes #140.

Reduce the multiplier for inlining in the simplifier.

Reset the paging limit if there are no page faults since the last heap resizing.

Increase the limit for inline size for the simplifier before a function will…

Avoid overflowing the C stack if we have a root pointing directly to a long…

XWindows: Replace the two calls to process_may_block by direct calls to…

Functions marked as InlineAlways can be recursive and so the inline marking has…

Use config.h for the Windows osmem if it is provided e.g. by Msys.

Remake Makefile.in after merge.

Merge branch 'ExecuteWrite'

Merge branch 'master' into ExecuteWrite

Use O_TMPFILE on Linux to create the temporary file for mapping. Saves having…

Add MAP_STACK in 32-in-64 for OpenBSD.

Support 32-in-64 on OSs that disallow write+execute.

Fix changes for Unix.

Split the Windows and Unix versions of the allocators.

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

Should be @progbits not %.

Add an extra section when exporting on Linux to mark the stack as non…

Remove the configure test for the non-executable stack flag and instead use it…

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

Fixes to compile on Linux.

Mmap with execute+write returns EACCES in SElinux.

Change from boolean executable/non-executable into a three-way selection…

Implement dual areas if mmap fails when write+execute permission is requested.

When trying to write to the code area write to the shadow area instead. This…

The interpreted version does not need "code" to have execute permission because…

Change osmem.cpp for Linux.

Change the low-level allocator to separate out code and data allocation.

Merge branch 'master' into GCPercent

Add Phil's test as a regression test.

Mark inline shim functions generated by the optimiser differently from those…

Poll should still pause if there are no descriptors. Fix problem with OS.

Some clean up of remote statistics in Windows.

The shared memory file for remote statistics on Unix is now in $POLYSTATSDIR if…

Posix.Process.exit should call PolyFinish rather than PolyTerminate so that…

Tidy-up shutdown of statistics.

Fix changes to statistics.cpp for Windows.

Unlink any existing statistics file. Open will fail if it exists. Report an…

Small change to 8e4d341 to allow compilation when int is IntInf.int.

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

Check inside the simplifier that the body of a potential inline function is…

Remove unused parameters.

Merge branch 'master' of github.com:dcjm/polyml

Search for machine/reloc.h separately from elf_abi.h. These seem to have been…

Change all the casts from PolyWord* to stackItem*. Some had been missed.

Remove push and pop of rcx/ecx in CALL_EXTRA macro. This seems to be a relic…

Merge commit '196ac3bc7d11b43f488fb945077aac162144bd31'

Move the test for the result of PolyCompareArbitrary up to the top-level of…

Add PointerEq as a binary operation and reserve WordComparison for the tagged…

Merge branch 'master' into GCPercent

Add Unix socket test. This was added in another branch.

Added Weak.touch to Weak structure documentation.

Updated pre-built compilers for 64-bit amd 32-in-64 Windows.

Rebuild pre-built compilers for 64-bit SysV, 32-in-64 SysV and 64-bit…

Updated pre-built compilers for 32-bit native X86 and interpreted versions.

Rebuild configure with new release numbers.

Update version numbers ready for release of 5.8.1.

Add a related check for offsets that could exceed a signed 32-bit value.

Short constant index values can be put into the offset but leave larger and…

Modify test so that it works if int is IntInf.int.

Convert single bindings from mutual recursion into simple bindings.

The "setter" for a container refers to the container itself so any bindings…

Fix function name: they're mutual bindings not mutable.

When analysing the usage pattern of a recursive function we need to consider…

Fix use of "print" rather than "stream" for debugging.

Support the "touch" built-in in the interpreter. c.f. ed4fbb81

Remove the PrimIO files from the project. c.f. 16cf8869

Merge branch 'master' of github.com:dcjm/polyml

Posix.FileSys.wordToFD should always make persistent file descriptors i.e. they…

Fix the transformation that chains SetContainers. This was changed as a result…

When loading a container address use native-word rather than poly-word.

When loading from the stack always load a native word, i.e. 64-bits in 32-in-64.

Invalid constant indexes for arrays or vectors can result in an overflow when…

Must use XInitImage to set the access functions before returning.

Change Posix.Process.exit to use the same underlying call as OS.Process.

Fix bug found by Makarius in generated code. It seems to have been introduced…

Rename Root.ML to avoid possible conflict with ROOT.ML in Isabelle.

Remove unused variable. This should have been removed in commit 889f7c37.

Fix case problem in one entry.