Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Tue, Aug 11

dcjm committed rPOLYMLf54aa41240d0: Functions marked as InlineAlways can be recursive and so the inline marking has… (authored by dcjm).
Functions marked as InlineAlways can be recursive and so the inline marking has…
Tue, Aug 11, 5:07 PM
dcjm committed rPOLYMLf28c1f2d462c: Use config.h for the Windows osmem if it is provided e.g. by Msys. (authored by dcjm).
Use config.h for the Windows osmem if it is provided e.g. by Msys.
Tue, Aug 11, 3:11 PM
dcjm committed rPOLYMLb95a85ead3ae: Remake Makefile.in after merge. (authored by dcjm).
Remake Makefile.in after merge.
Tue, Aug 11, 9:09 AM
dcjm committed rPOLYML188ea5272621: Merge branch 'ExecuteWrite' (authored by dcjm).
Merge branch 'ExecuteWrite'
Tue, Aug 11, 9:09 AM
dcjm committed rPOLYMLde60abadc84f: Merge branch 'master' into ExecuteWrite (authored by dcjm).
Merge branch 'master' into ExecuteWrite
Tue, Aug 11, 9:09 AM
dcjm committed rPOLYML88a6eca436ec: Use O_TMPFILE on Linux to create the temporary file for mapping. Saves having… (authored by dcjm).
Use O_TMPFILE on Linux to create the temporary file for mapping. Saves having…
Tue, Aug 11, 9:09 AM
dcjm committed rPOLYML9fd706535dad: Add MAP_STACK in 32-in-64 for OpenBSD. (authored by dcjm).
Add MAP_STACK in 32-in-64 for OpenBSD.
Tue, Aug 11, 9:09 AM
dcjm committed rPOLYML9691933b9055: Support 32-in-64 on OSs that disallow write+execute. (authored by dcjm).
Support 32-in-64 on OSs that disallow write+execute.
Tue, Aug 11, 9:09 AM
dcjm committed rPOLYML985effca050e: Fix changes for Unix. (authored by dcjm).
Fix changes for Unix.
Tue, Aug 11, 9:09 AM
dcjm committed rPOLYML0283ba475549: Split the Windows and Unix versions of the allocators. (authored by dcjm).
Split the Windows and Unix versions of the allocators.
Tue, Aug 11, 9:09 AM
dcjm committed rPOLYML1507c82e4597: Merge branch 'ExecuteWrite' of https://github.com/dcjm/polyml into ExecuteWrite (authored by dcjm).
Merge branch 'ExecuteWrite' of https://github.com/dcjm/polyml into ExecuteWrite
Tue, Aug 11, 9:09 AM
dcjm committed rPOLYML8a09919cf1cd: Should be @progbits not %. (authored by dcjm).
Should be @progbits not %.
Tue, Aug 11, 9:09 AM
dcjm committed rPOLYMLd91625d272a2: Add an extra section when exporting on Linux to mark the stack as non… (authored by dcjm).
Add an extra section when exporting on Linux to mark the stack as non…
Tue, Aug 11, 9:09 AM
dcjm committed rPOLYML8fc5b4b3ebb6: Remove the configure test for the non-executable stack flag and instead use it… (authored by dcjm).
Remove the configure test for the non-executable stack flag and instead use it…
Tue, Aug 11, 9:08 AM
dcjm committed rPOLYML367fef5e6815: Merge branch 'ExecuteWrite' of https://github.com/dcjm/polyml into ExecuteWrite (authored by dcjm).
Merge branch 'ExecuteWrite' of https://github.com/dcjm/polyml into ExecuteWrite
Tue, Aug 11, 9:08 AM
dcjm committed rPOLYML9f0a6109d720: Fixes to compile on Linux. (authored by dcjm).
Fixes to compile on Linux.
Tue, Aug 11, 9:08 AM
dcjm committed rPOLYML3d76a242f156: Mmap with execute+write returns EACCES in SElinux. (authored by dcjm).
Mmap with execute+write returns EACCES in SElinux.
Tue, Aug 11, 9:08 AM
dcjm committed rPOLYML0fc89def32f3: Change from boolean executable/non-executable into a three-way selection… (authored by dcjm).
Change from boolean executable/non-executable into a three-way selection…
Tue, Aug 11, 9:08 AM
dcjm committed rPOLYML1b579fda5f12: Implement dual areas if mmap fails when write+execute permission is requested. (authored by dcjm).
Implement dual areas if mmap fails when write+execute permission is requested.
Tue, Aug 11, 9:08 AM
dcjm committed rPOLYML89f0cb1022d7: When trying to write to the code area write to the shadow area instead. This… (authored by dcjm).
When trying to write to the code area write to the shadow area instead. This…
Tue, Aug 11, 9:08 AM
dcjm committed rPOLYML81ea85843cc2: The interpreted version does not need "code" to have execute permission because… (authored by dcjm).
The interpreted version does not need "code" to have execute permission because…
Tue, Aug 11, 9:08 AM
dcjm committed rPOLYML49c0cc4cbaed: Change osmem.cpp for Linux. (authored by dcjm).
Change osmem.cpp for Linux.
Tue, Aug 11, 9:08 AM
dcjm committed rPOLYMLd82478675931: Change the low-level allocator to separate out code and data allocation. (authored by dcjm).
Change the low-level allocator to separate out code and data allocation.
Tue, Aug 11, 9:08 AM

Sun, Aug 9

dcjm committed rPOLYML159dc81efc3b: Merge branch 'master' into GCPercent (authored by dcjm).
Merge branch 'master' into GCPercent
Sun, Aug 9, 9:30 AM

Sat, Aug 8

dcjm committed rPOLYML4de69b686011: Add Phil's test as a regression test. (authored by dcjm).
Add Phil's test as a regression test.
Sat, Aug 8, 9:48 AM
dcjm committed rPOLYMLe7e445063615: Mark inline shim functions generated by the optimiser differently from those… (authored by dcjm).
Mark inline shim functions generated by the optimiser differently from those…
Sat, Aug 8, 9:48 AM
dcjm committed rPOLYMLd57a84907afa: Poll should still pause if there are no descriptors. Fix problem with OS. (authored by dcjm).
Poll should still pause if there are no descriptors. Fix problem with OS.
Sat, Aug 8, 9:48 AM

Fri, Aug 7

dcjm committed rPOLYMLf80d20c14967: Some clean up of remote statistics in Windows. (authored by dcjm).
Some clean up of remote statistics in Windows.
Fri, Aug 7, 5:48 PM
dcjm committed rPOLYML52881757b127: The shared memory file for remote statistics on Unix is now in $POLYSTATSDIR if… (authored by dcjm).
The shared memory file for remote statistics on Unix is now in $POLYSTATSDIR if…
Fri, Aug 7, 5:48 PM

Thu, Aug 6

dcjm committed rPOLYML59232968ed60: Posix.Process.exit should call PolyFinish rather than PolyTerminate so that… (authored by dcjm).
Posix.Process.exit should call PolyFinish rather than PolyTerminate so that…
Thu, Aug 6, 6:14 PM
dcjm committed rPOLYMLe51f00cccb0a: Tidy-up shutdown of statistics. (authored by dcjm).
Tidy-up shutdown of statistics.
Thu, Aug 6, 6:14 PM
dcjm committed rPOLYMLcbd49e8ae6cd: Fix changes to statistics.cpp for Windows. (authored by dcjm).
Fix changes to statistics.cpp for Windows.
Thu, Aug 6, 6:14 PM
dcjm committed rPOLYMLc1ff455836c7: Unlink any existing statistics file. Open will fail if it exists. Report an… (authored by dcjm).
Unlink any existing statistics file. Open will fail if it exists. Report an…
Thu, Aug 6, 6:14 PM
dcjm committed rPOLYML4c21a9d8e5e7: Small change to 8e4d341 to allow compilation when int is IntInf.int. (authored by dcjm).
Small change to 8e4d341 to allow compilation when int is IntInf.int.
Thu, Aug 6, 8:40 AM

Thu, Jul 30

dcjm committed rPOLYMLd471c5e6e1cf: Update compiler version to 5.8.2 so that we pick up the correct files on… (authored by dcjm).
Update compiler version to 5.8.2 so that we pick up the correct files on…
Thu, Jul 30, 1:46 PM
dcjm committed rPOLYML8e4d341bd778: Check inside the simplifier that the body of a potential inline function is… (authored by dcjm).
Check inside the simplifier that the body of a potential inline function is…
Thu, Jul 30, 1:46 PM
dcjm committed rPOLYML6442ac3a51c6: Remove unused parameters. (authored by dcjm).
Remove unused parameters.
Thu, Jul 30, 1:46 PM
dcjm committed rPOLYML654e1adee079: Merge branch 'master' of github.com:dcjm/polyml (authored by dcjm).
Merge branch 'master' of github.com:dcjm/polyml
Thu, Jul 30, 1:46 PM
dcjm committed rPOLYML5dc69bc3a7d5: Search for machine/reloc.h separately from elf_abi.h. These seem to have been… (authored by dcjm).
Search for machine/reloc.h separately from elf_abi.h. These seem to have been…
Thu, Jul 30, 1:46 PM
dcjm committed rPOLYML7d72f11eeab9: Change all the casts from PolyWord* to stackItem*. Some had been missed. (authored by dcjm).
Change all the casts from PolyWord* to stackItem*. Some had been missed.
Thu, Jul 30, 1:46 PM

Fri, Jul 24

dcjm committed rPOLYML7e214665fa88: Remove push and pop of rcx/ecx in CALL_EXTRA macro. This seems to be a relic… (authored by dcjm).
Remove push and pop of rcx/ecx in CALL_EXTRA macro. This seems to be a relic…
Fri, Jul 24, 1:08 PM
dcjm committed rPOLYMLb9e4e5128d56: Merge commit '196ac3bc7d11b43f488fb945077aac162144bd31' (authored by dcjm).
Merge commit '196ac3bc7d11b43f488fb945077aac162144bd31'
Fri, Jul 24, 1:08 PM
dcjm committed rPOLYML196ac3bc7d11: Move the test for the result of PolyCompareArbitrary up to the top-level of… (authored by dcjm).
Move the test for the result of PolyCompareArbitrary up to the top-level of…
Fri, Jul 24, 1:08 PM
dcjm committed rPOLYMLf186be011f67: Add PointerEq as a binary operation and reserve WordComparison for the tagged… (authored by dcjm).
Add PointerEq as a binary operation and reserve WordComparison for the tagged…
Fri, Jul 24, 1:08 PM

Tue, Jul 21

dcjm committed rPOLYML382ffb7801c2: Merge branch 'master' into GCPercent (authored by dcjm).
Merge branch 'master' into GCPercent
Tue, Jul 21, 9:54 AM
dcjm committed rPOLYML2fdff98984e6: Add Unix socket test. This was added in another branch. (authored by dcjm).
Add Unix socket test. This was added in another branch.
Tue, Jul 21, 9:54 AM

Mon, Jul 20

dcjm committed rPOLYML15aba84a490d: Added Weak.touch to Weak structure documentation. (authored by dcjm).
Added Weak.touch to Weak structure documentation.
Mon, Jul 20, 11:57 PM
dcjm committed rPOLYML8d0dc1c68328: Updated pre-built compilers for 64-bit amd 32-in-64 Windows. (authored by dcjm).
Updated pre-built compilers for 64-bit amd 32-in-64 Windows.
Mon, Jul 20, 5:47 PM
dcjm committed rPOLYML5d4bfda79793: Rebuild pre-built compilers for 64-bit SysV, 32-in-64 SysV and 64-bit… (authored by dcjm).
Rebuild pre-built compilers for 64-bit SysV, 32-in-64 SysV and 64-bit…
Mon, Jul 20, 5:46 PM
dcjm committed rPOLYMLba0fcdf61920: Updated pre-built compilers for 32-bit native X86 and interpreted versions. (authored by dcjm).
Updated pre-built compilers for 32-bit native X86 and interpreted versions.
Mon, Jul 20, 5:46 PM
dcjm committed rPOLYML6841e8bc8bd1: Rebuild configure with new release numbers. (authored by dcjm).
Rebuild configure with new release numbers.
Mon, Jul 20, 5:46 PM
dcjm committed rPOLYML382085c5f04c: Update version numbers ready for release of 5.8.1. (authored by dcjm).
Update version numbers ready for release of 5.8.1.
Mon, Jul 20, 5:46 PM

Jul 14 2020

dcjm committed rPOLYML94c8208a89c8: Add a related check for offsets that could exceed a signed 32-bit value. (authored by dcjm).
Add a related check for offsets that could exceed a signed 32-bit value.
Jul 14 2020, 9:18 AM
dcjm committed rPOLYML0d77169373c6: Short constant index values can be put into the offset but leave larger and… (authored by dcjm).
Short constant index values can be put into the offset but leave larger and…
Jul 14 2020, 9:18 AM
dcjm committed rPOLYMLc66cec192bdd: Modify test so that it works if int is IntInf.int. (authored by dcjm).
Modify test so that it works if int is IntInf.int.
Jul 14 2020, 9:18 AM

Jul 6 2020

dcjm added a reverting change for rPOLYML744d14ffd49b: Fix bug found by Makarius in generated code. It seems to have been introduced…: rPOLYMLfb10196d998b: Convert single bindings from mutual recursion into simple bindings..
Jul 6 2020, 3:26 PM
dcjm committed rPOLYMLfb10196d998b: Convert single bindings from mutual recursion into simple bindings. (authored by dcjm).
Convert single bindings from mutual recursion into simple bindings.
Jul 6 2020, 3:26 PM
dcjm committed rPOLYMLa020d4b5f62b: The "setter" for a container refers to the container itself so any bindings… (authored by dcjm).
The "setter" for a container refers to the container itself so any bindings…
Jul 6 2020, 3:26 PM
dcjm committed rPOLYMLade5d57318f0: Fix function name: they're mutual bindings not mutable. (authored by dcjm).
Fix function name: they're mutual bindings not mutable.
Jul 6 2020, 3:26 PM
dcjm committed rPOLYMLd761f194071f: When analysing the usage pattern of a recursive function we need to consider… (authored by dcjm).
When analysing the usage pattern of a recursive function we need to consider…
Jul 6 2020, 3:26 PM
dcjm committed rPOLYML7edf731ebd7f: Fix use of "print" rather than "stream" for debugging. (authored by dcjm).
Fix use of "print" rather than "stream" for debugging.
Jul 6 2020, 3:26 PM

Jun 26 2020

dcjm committed rPOLYMLacfd07bf45a1: Support the "touch" built-in in the interpreter. c.f. ed4fbb81 (authored by dcjm).
Support the "touch" built-in in the interpreter. c.f. ed4fbb81
Jun 26 2020, 4:23 PM
dcjm committed rPOLYML4900d11fb774: Remove the PrimIO files from the project. c.f. 16cf8869 (authored by dcjm).
Remove the PrimIO files from the project. c.f. 16cf8869
Jun 26 2020, 4:23 PM

Jun 24 2020

dcjm committed rPOLYML6aae4a823956: Merge branch 'master' of github.com:dcjm/polyml (authored by dcjm).
Merge branch 'master' of github.com:dcjm/polyml
Jun 24 2020, 7:40 PM
dcjm committed rPOLYMLc07f8b6486e8: Posix.FileSys.wordToFD should always make persistent file descriptors i.e. they… (authored by dcjm).
Posix.FileSys.wordToFD should always make persistent file descriptors i.e. they…
Jun 24 2020, 7:40 PM

Jun 19 2020

dcjm committed rPOLYML0ad5aa87ea7b: Fix the transformation that chains SetContainers. This was changed as a result… (authored by dcjm).
Fix the transformation that chains SetContainers. This was changed as a result…
Jun 19 2020, 10:19 AM
dcjm committed rPOLYMLc355b21bdbf7: When loading a container address use native-word rather than poly-word. (authored by dcjm).
When loading a container address use native-word rather than poly-word.
Jun 19 2020, 10:18 AM
dcjm committed rPOLYMLa908a017547f: When loading from the stack always load a native word, i.e. 64-bits in 32-in-64. (authored by dcjm).
When loading from the stack always load a native word, i.e. 64-bits in 32-in-64.
Jun 19 2020, 10:18 AM

Jun 7 2020

dcjm committed rPOLYML5369884001c7: Invalid constant indexes for arrays or vectors can result in an overflow when… (authored by dcjm).
Invalid constant indexes for arrays or vectors can result in an overflow when…
Jun 7 2020, 10:49 PM

Apr 2 2020

dcjm committed rPOLYML8a67ec468af6: Must use XInitImage to set the access functions before returning. (authored by dcjm).
Must use XInitImage to set the access functions before returning.
Apr 2 2020, 5:45 PM

Feb 27 2020

dcjm committed rPOLYML6025c250b4f1: Change Posix.Process.exit to use the same underlying call as OS.Process. (authored by dcjm).
Change Posix.Process.exit to use the same underlying call as OS.Process.
Feb 27 2020, 9:10 PM
dcjm committed rPOLYML744d14ffd49b: Fix bug found by Makarius in generated code. It seems to have been introduced… (authored by dcjm).
Fix bug found by Makarius in generated code. It seems to have been introduced…
Feb 27 2020, 9:10 PM

Jan 19 2020

dcjm committed rPOLYML5237b653aa69: Rename Root.ML to avoid possible conflict with ROOT.ML in Isabelle. (authored by dcjm).
Rename Root.ML to avoid possible conflict with ROOT.ML in Isabelle.
Jan 19 2020, 9:12 AM

Jan 18 2020

dcjm committed rPOLYMLf5b8283a1a19: Remove unused variable. This should have been removed in commit 889f7c37. (authored by dcjm).
Remove unused variable. This should have been removed in commit 889f7c37.
Jan 18 2020, 6:53 PM
dcjm committed rPOLYMLabb79876106c: Fix case problem in one entry. (authored by dcjm).
Fix case problem in one entry.
Jan 18 2020, 6:53 PM