Page MenuHomeIsabelle/Phabricator

dcjm (David Matthews)
User

Projects

User does not belong to any projects.

User Details

User Since
Dec 4 2019, 5:53 PM (35 w, 3 h)

Recent Activity

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

Tue, Jul 14

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.
Tue, Jul 14, 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…
Tue, Jul 14, 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.
Tue, Jul 14, 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