HomeIsabelle/Phabricator

Merge branch 'master' into GCPercent

Authored by dcjm on Tue, Jul 21, 9:49 AM.

Description

Merge branch 'master' into GCPercent

Merged Changes

CommitAuthorDetailsCommitted
2fdff98984e6dcjm
Add Unix socket test. This was added in another branch. 
Jul 21
15aba84a490ddcjm
Added Weak.touch to Weak structure documentation. 
Jul 20
8d0dc1c68328dcjm
Updated pre-built compilers for 64-bit amd 32-in-64 Windows. 
Jul 17
ba0fcdf61920dcjm
Updated pre-built compilers for 32-bit native X86 and interpreted versions. 
Jul 17
5d4bfda79793dcjm
Rebuild pre-built compilers for 64-bit SysV, 32-in-64 SysV and 64-bit… 
Jul 17
6841e8bc8bd1dcjm
Rebuild configure with new release numbers. 
Jul 17
382085c5f04cdcjm
Update version numbers ready for release of 5.8.1. 
Jul 17
94c8208a89c8dcjm
Add a related check for offsets that could exceed a signed 32-bit value. 
Jul 14
0d77169373c6dcjm
Short constant index values can be put into the offset but leave larger and… 
Jul 14
c66cec192bdddcjm
Modify test so that it works if int is IntInf.int. 
Jul 13
fb10196d998bdcjm
Convert single bindings from mutual recursion into simple bindings. 
Jul 6
a020d4b5f62bdcjm
The "setter" for a container refers to the container itself so any bindings… 
Jul 6
ade5d57318f0dcjm
Fix function name: they're mutual bindings not mutable. 
Jul 6
d761f194071fdcjm
When analysing the usage pattern of a recursive function we need to consider… 
Jul 6
7edf731ebd7fdcjm
Fix use of "print" rather than "stream" for debugging. 
Jul 3
ef44a8b94c08dcjm/GitHub
Merge pull request #135 from pclayton/fix-largeword-fromint 
Jun 28
13efa88e9a1fdcjm/GitHub
Merge pull request #122 from jrtc27/libffi-i386 
Jun 28
2785926242d3Phil Clayton
Fix LargeWord.fromInt for negative arguments 
Jun 28
acfd07bf45a1dcjm
Support the "touch" built-in in the interpreter. c.f. ed4fbb81 
Jun 26
4900d11fb774dcjm
Remove the PrimIO files from the project. c.f. 16cf8869 
Jun 26
6aae4a823956dcjm
Merge branch 'master' of github.com:dcjm/polyml 
Jun 24
c07f8b6486e8dcjm
Posix.FileSys.wordToFD should always make persistent file descriptors i.e. they… 
Jun 24
0ad5aa87ea7bdcjm
Fix the transformation that chains SetContainers. This was changed as a result… 
Jun 19
c355b21bdbf7dcjm
When loading a container address use native-word rather than poly-word. 
Jun 19
a908a017547fdcjm
When loading from the stack always load a native word, i.e. 64-bits in 32-in-64. 
Jun 19
5369884001c7dcjm
Invalid constant indexes for arrays or vectors can result in an overflow when… 
Jun 7
8a67ec468af6dcjm
Must use XInitImage to set the access functions before returning. 
Apr 2
6025c250b4f1dcjm
Change Posix.Process.exit to use the same underlying call as OS.Process. 
Feb 27
744d14ffd49bdcjm
Fix bug found by Makarius in generated code. It seems to have been introduced… 
Feb 27
368a2bf0fb3aJames Clarke
Fix libffi 3.3 build on Unix i386 
Jan 19
5237b653aa69dcjm
Rename Root.ML to avoid possible conflict with ROOT.ML in Isabelle. 
Jan 19
f5b8283a1a19dcjm
Remove unused variable. This should have been removed in commit 889f7c37. 
Jan 18
abb79876106cdcjm
Fix case problem in one entry. 
Jan 18