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 (31 w, 5 d)

Recent Activity

Today

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

Mon, Jul 6

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..
Mon, Jul 6, 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.
Mon, Jul 6, 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…
Mon, Jul 6, 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.
Mon, Jul 6, 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…
Mon, Jul 6, 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.
Mon, Jul 6, 3:26 PM

Fri, Jun 26

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
Fri, Jun 26, 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
Fri, Jun 26, 4:23 PM

Wed, Jun 24

dcjm committed rPOLYML6aae4a823956: Merge branch 'master' of github.com:dcjm/polyml (authored by dcjm).
Merge branch 'master' of github.com:dcjm/polyml
Wed, Jun 24, 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…
Wed, Jun 24, 7:40 PM

Fri, Jun 19

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…
Fri, Jun 19, 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.
Fri, Jun 19, 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.
Fri, Jun 19, 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