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 (225 w, 16 h)

Recent Activity

Jan 31 2024

dcjm committed rPOLYMLa71e81c15247: Handle KillException if a thread is killed while in Socket.select. This… (authored by dcjm).
Handle KillException if a thread is killed while in Socket.select. This…
Jan 31 2024, 9:14 PM

Dec 5 2023

dcjm committed rPOLYML606101351c0e: Reduce the size of a writable code area if we need to use a shadow area and (authored by dcjm).
Reduce the size of a writable code area if we need to use a shadow area and
Dec 5 2023, 2:03 PM

Nov 30 2023

dcjm committed rPOLYML04bf3883f8cd: Add some extra tests for IEEEReal.scan/fromString from pull request 188. Fix… (authored by dcjm).
Add some extra tests for IEEEReal.scan/fromString from pull request 188. Fix…
Nov 30 2023, 4:28 PM
dcjm committed rPOLYMLd02a1efc2eab: Some tidying up and simplification. (authored by dcjm).
Some tidying up and simplification.
Nov 30 2023, 4:28 PM
dcjm committed rPOLYML5454a9ca8675: Fix handling overflow in exponent in IEEEReal.fromString (#182). Includes the… (authored by dcjm).
Fix handling overflow in exponent in IEEEReal.fromString (#182). Includes the…
Nov 30 2023, 8:45 AM
dcjm committed rPOLYML424af4a8845c: Include tests from #183 now it should be fixed. (authored by dcjm).
Include tests from #183 now it should be fixed.
Nov 30 2023, 8:45 AM

Nov 22 2023

dcjm committed rPOLYML9395056f7e37: Remove regression test. It doesn't work if int is arbitrary precision and it… (authored by dcjm).
Remove regression test. It doesn't work if int is arbitrary precision and it…
Nov 22 2023, 9:33 AM
dcjm committed rPOLYMLa0bf38c441ce: Fix two warnings. Remove unused static definition for Real_Conv and remove… (authored by dcjm).
Fix two warnings. Remove unused static definition for Real_Conv and remove…
Nov 22 2023, 9:33 AM
dcjm committed rPOLYMLba5cba6898bc: Implement Ryu code to convert decimal representation to reals. Remove explicit… (authored by dcjm).
Implement Ryu code to convert decimal representation to reals. Remove explicit…
Nov 22 2023, 9:33 AM
dcjm committed rPOLYML9067a1f831a4: Use word shifts for IntInf.<< if the argument is short and the highest set bit… (authored by dcjm).
Use word shifts for IntInf.<< if the argument is short and the highest set bit…
Nov 22 2023, 9:33 AM
dcjm committed rPOLYML57af3ed878bd: Remove RTS function to convert a string to a real since it's now implemented in… (authored by dcjm).
Remove RTS function to convert a string to a real since it's now implemented in…
Nov 22 2023, 9:33 AM
dcjm committed rPOLYMLedccebe6f2ac: Fold constant expressions involving shifts and Log2Word. (authored by dcjm).
Fold constant expressions involving shifts and Log2Word.
Nov 22 2023, 9:33 AM
dcjm committed rPOLYML7297b90dc3fd: Remove PolyRealBoxedToLongInt from RTS since it's now implemented in ML. (authored by dcjm).
Remove PolyRealBoxedToLongInt from RTS since it's now implemented in ML.
Nov 22 2023, 9:33 AM
dcjm committed rPOLYMLaf1c9de31c1b: Implement conversion to arbitrary precision within ML. There is a separate… (authored by dcjm).
Implement conversion to arbitrary precision within ML. There is a separate…
Nov 22 2023, 9:33 AM

Nov 15 2023

dcjm committed rPOLYML9e2b0bf6ad06: Bug fix for X86 code-generator. If a work register is required for a JumpLoop… (authored by dcjm).
Bug fix for X86 code-generator. If a work register is required for a JumpLoop…
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML1e63fba67dc5: Remove unnecessary test and add comment. (authored by dcjm).
Remove unnecessary test and add comment.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML4a1e4ec7080d: Fix a couple of problems with the GMP version of left shift. (authored by dcjm).
Fix a couple of problems with the GMP version of left shift.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLed1ff06d7b53: Implement arbitrary precision shifts in the RTS rather than using… (authored by dcjm).
Implement arbitrary precision shifts in the RTS rather than using…
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLef71be4add0a: Use snprintf for scientific, fixed and general formatting of real numbers. (authored by dcjm).
Use snprintf for scientific, fixed and general formatting of real numbers.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML3799a887b1a8: Add missing const specifier. (authored by dcjm).
Add missing const specifier.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLcc497eb585b0: Add example definition of RealNumbersAsBits using PackReal(32)Big. (authored by dcjm).
Add example definition of RealNumbersAsBits using PackReal(32)Big.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML1c4fce73094c: Fixes for when int is LargeInt.int. (authored by dcjm).
Fixes for when int is LargeInt.int.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML82b2b8093801: Tidy up non-exact conversion. Add ".0" to general format output if there is no… (authored by dcjm).
Tidy up non-exact conversion. Add ".0" to general format output if there is no…
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML4d96762a5447: Rename the conversion functions and include the IEEEReal class in the result. (authored by dcjm).
Rename the conversion functions and include the IEEEReal class in the result.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLb53496b37428: Combine the float and double conversion code after the first step. Fix bug in… (authored by dcjm).
Combine the float and double conversion code after the first step. Fix bug in…
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML6a4610873c6e: Remove unused variables. (authored by dcjm).
Remove unused variables.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML109560596a57: Fix incomplete changes to type constraints. (authored by dcjm).
Fix incomplete changes to type constraints.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLa07a58acf950: Remove print statement. This now succeeds. (authored by dcjm).
Remove print statement. This now succeeds.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLc7b6e24cda93: Merge branch 'IEEERealFixes' into RealNumberConversion (authored by dcjm).
Merge branch 'IEEERealFixes' into RealNumberConversion
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML88d447d8261e: Add a regression test for conversion. This currently fails because Real/32. (authored by dcjm).
Add a regression test for conversion. This currently fails because Real/32.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML1c7f93897ff3: Replace Gay code for real number conversion with an ML version of the Ryu… (authored by dcjm).
Replace Gay code for real number conversion with an ML version of the Ryu…
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLcfcfde9da25a: Move the test code to avoid a merge conflict. (authored by dcjm).
Move the test code to avoid a merge conflict.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLf6473ca87c01: Add Ryu code to convert real numbers into the minimal decimal version. This is… (authored by dcjm).
Add Ryu code to convert real numbers into the minimal decimal version. This is…
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLbfa7c27c94c0: Implement the bit scan instructions used for log2 in ARM64. (authored by dcjm).
Implement the bit scan instructions used for log2 in ARM64.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLdf6659eb264b: Fix errors in GMP version of RTS log2 code. (authored by dcjm).
Fix errors in GMP version of RTS log2 code.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML79cef4cc78c8: Merge branch 'master' into IntInfFix (authored by dcjm).
Merge branch 'master' into IntInfFix
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML937df7980c44: Add a test for IntInf.<< and IntInf.log2. (authored by dcjm).
Add a test for IntInf.<< and IntInf.log2.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLb8547de6b62d: Only handle OR and AND specially when both arguments are short. The original… (authored by dcjm).
Only handle OR and AND specially when both arguments are short. The original…
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLb22ed730bf7c: Merge branch 'master' into IntInfFix (authored by dcjm).
Merge branch 'master' into IntInfFix
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML8a4186fa46ee: Further update to configure files. (authored by dcjm).
Further update to configure files.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML873f6b313363: Add instructions to the code-generator to find the highest bit set in a word. (authored by dcjm).
Add instructions to the code-generator to find the highest bit set in a word.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLeefa8d82ef7e: Rebuild configure files after updates. (authored by dcjm).
Rebuild configure files after updates.
Nov 15 2023, 1:04 PM
dcjm committed rPOLYMLac5512b38ecd: Merge branch 'master' into IntInfFix (authored by dcjm).
Merge branch 'master' into IntInfFix
Nov 15 2023, 1:04 PM
dcjm committed rPOLYML63f996d44753: Fix IntInf.log2 on big-endian with GMP. It assumed that long format arbitrary… (authored by dcjm).
Fix IntInf.log2 on big-endian with GMP. It assumed that long format arbitrary…
Nov 15 2023, 1:04 PM

Nov 1 2023

dcjm committed rPOLYML4cd87e07ab12: Add a comment to explain the initialisation. (authored by dcjm).
Add a comment to explain the initialisation.
Nov 1 2023, 12:15 PM

Oct 6 2023

dcjm committed rPOLYMLb6fc915c9000: Tweak heap sizing to deal better with allocating a large array in a small heap. (authored by dcjm).
Tweak heap sizing to deal better with allocating a large array in a small heap.
Oct 6 2023, 7:27 PM

Sep 18 2023

dcjm committed rPOLYML90c0dbb2514e: Rebuild configure files after version update. Remove some macros from… (authored by dcjm).
Rebuild configure files after version update. Remove some macros from…
Sep 18 2023, 2:01 PM
dcjm committed rPOLYMLab0a8c56fe6d: Update version numbers for release. (authored by dcjm).
Update version numbers for release.
Sep 18 2023, 2:01 PM

Aug 1 2023

dcjm committed rPOLYML219e0a248f70: Lock the localTableLock mutex before releasing spaces when a scanning thread… (authored by dcjm).
Lock the localTableLock mutex before releasing spaces when a scanning thread…
Aug 1 2023, 12:00 AM
dcjm committed rPOLYML6c245dd6f9a8: When checking for X30 allow for a non-general register. (authored by dcjm).
When checking for X30 allow for a non-general register.
Aug 1 2023, 12:00 AM
dcjm committed rPOLYML0a55a1de2912: Make sure X30 is not expected to be preserved across a trap. (authored by dcjm).
Make sure X30 is not expected to be preserved across a trap.
Aug 1 2023, 12:00 AM
dcjm committed rPOLYML8fad3d16cd58: Split the save regs so that we retain the list of the untagged registers. (authored by dcjm).
Split the save regs so that we retain the list of the untagged registers.
Aug 1 2023, 12:00 AM

Jun 10 2023

dcjm committed rPOLYMLe6a7062064b6: Fix test to use "verify" consistently rather than "check". (authored by dcjm).
Fix test to use "verify" consistently rather than "check".
Jun 10 2023, 3:26 PM
dcjm committed rPOLYML5a8a17d34a3e: Move tests for IEEEReal.scan from Test017 to Test198. Correct one of the tests… (authored by dcjm).
Move tests for IEEEReal.scan from Test017 to Test198. Correct one of the tests…
Jun 10 2023, 2:53 PM
dcjm committed rPOLYML4c4c57712caf: Add a regression test for real scan and fromString. Currently only contains a… (authored by dcjm).
Add a regression test for real scan and fromString. Currently only contains a…
Jun 10 2023, 2:29 PM
dcjm committed rPOLYMLada6599d7835: Define Real.scan and Real.fromString in terms of IEEEReal.scan and IEEEReal. (authored by dcjm).
Define Real.scan and Real.fromString in terms of IEEEReal.scan and IEEEReal.
Jun 10 2023, 2:29 PM
dcjm committed rPOLYML6c9cac664894: Merge commit '821b3dd8ed17e3a8cefbcc3418f625cf04e215fd' into IEEERealFixes (authored by dcjm).
Merge commit '821b3dd8ed17e3a8cefbcc3418f625cf04e215fd' into IEEERealFixes
Jun 10 2023, 2:29 PM
dcjm committed rPOLYMLf994ab4edfa4: Empty the save-vec at the start of every RTS call. The calls to SaveVec::mark… (authored by dcjm).
Empty the save-vec at the start of every RTS call. The calls to SaveVec::mark…
Jun 10 2023, 1:31 PM

May 12 2023

dcjm committed rPOLYMLa5d5fba90286: Reset the save-vec after calls to the objsize function. Includes regression… (authored by dcjm).
Reset the save-vec after calls to the objsize function. Includes regression…
May 12 2023, 2:30 PM

Feb 7 2023

dcjm committed rPOLYML7d0979c0c15a: Fix OS.FileSys.fileSize for Windows using the same approach as modTime. (authored by dcjm).
Fix OS.FileSys.fileSize for Windows using the same approach as modTime.
Feb 7 2023, 7:39 PM
dcjm committed rPOLYMLde5952ca81b7: Fix OS.FileSys.modTime for Windows. The correct way is to use CreateFile to… (authored by dcjm).
Fix OS.FileSys.modTime for Windows. The correct way is to use CreateFile to…
Feb 7 2023, 7:39 PM
dcjm committed rPOLYMLd33dfa41c8a5: Fix OS.FileSys.setTime to work for directories on Windows. Also minor fix to… (authored by dcjm).
Fix OS.FileSys.setTime to work for directories on Windows. Also minor fix to…
Feb 7 2023, 7:39 PM

Dec 21 2022

dcjm committed rPOLYML5e9c8155ea96: ARM64: Fix incorrect temporary initialisation of mutually recursive closures. (authored by dcjm).
ARM64: Fix incorrect temporary initialisation of mutually recursive closures.
Dec 21 2022, 8:58 PM

Apr 26 2022

dcjm committed rPOLYML50ce3dd5a5f9: Fix segfault as a result of a call to INet6Sock.any. It was calling the IPv4… (authored by dcjm).
Fix segfault as a result of a call to INet6Sock.any. It was calling the IPv4…
Apr 26 2022, 9:50 PM
dcjm committed rPOLYMLbafe319bc3a6: Remove reference to "make compiler" from instructions. This is no longer… (authored by dcjm).
Remove reference to "make compiler" from instructions. This is no longer…
Apr 26 2022, 9:50 PM

Feb 24 2022

dcjm committed rPOLYML969fa4a67e4a: The realpath call on some old systems does not accept NULL for the second… (authored by dcjm).
The realpath call on some old systems does not accept NULL for the second…
Feb 24 2022, 6:22 PM
dcjm committed rPOLYML0ef538047194: Add regression test for OS.FileSys.fullPath. (authored by dcjm).
Add regression test for OS.FileSys.fullPath.
Feb 24 2022, 6:22 PM

Jan 30 2022

dcjm committed rPOLYMLefc7438f7cd6: Redo and extend the checks for conditional move. (authored by dcjm).
Redo and extend the checks for conditional move.
Jan 30 2022, 1:22 PM
dcjm committed rPOLYMLe84552abbdc2: Restore tests on AddSubImmediate even though it's no longer used for booleans. (authored by dcjm).
Restore tests on AddSubImmediate even though it's no longer used for booleans.
Jan 30 2022, 1:22 PM
dcjm committed rPOLYML3252ae8fbea5: Merge branch 'ARM64Development' (authored by dcjm).
Merge branch 'ARM64Development'
Jan 30 2022, 1:22 PM

Jan 24 2022

dcjm committed rPOLYML25d40ccf7373: Include the stack arguments in the calculation of the maximum stack space. (authored by dcjm).
Include the stack arguments in the calculation of the maximum stack space.
Jan 24 2022, 4:07 PM
dcjm committed rPOLYML0912d2c6a206: Use conditional-set to create boolean results. (authored by dcjm).
Use conditional-set to create boolean results.
Jan 24 2022, 4:07 PM
dcjm committed rPOLYML15c840d48c9a: Merge branch 'ARM64Development' (authored by dcjm).
Merge branch 'ARM64Development'
Jan 24 2022, 4:07 PM
dcjm committed rPOLYMLf42362437193: Change boolean "not" to use a bit test rather than comparison. (authored by dcjm).
Change boolean "not" to use a bit test rather than comparison.
Jan 24 2022, 4:07 PM
dcjm committed rPOLYML87d52e4583ad: Change optimiser as a result of change to tests of booleans. (authored by dcjm).
Change optimiser as a result of change to tests of booleans.
Jan 24 2022, 4:07 PM
dcjm committed rPOLYML32f2ba7214cf: Change test of a boolean variable to use logical-and and then use test-and… (authored by dcjm).
Change test of a boolean variable to use logical-and and then use test-and…
Jan 24 2022, 4:07 PM
dcjm committed rPOLYML09c4a3c9b82c: Remove CacheCheck that was added for debugging and is no longer needed. (authored by dcjm).
Remove CacheCheck that was added for debugging and is no longer needed.
Jan 24 2022, 4:07 PM
dcjm committed rPOLYML017fb85018e4: Rework the cache datatype to include the caching register. In particular we… (authored by dcjm).
Rework the cache datatype to include the caching register. In particular we…
Jan 24 2022, 4:07 PM
dcjm committed rPOLYML3b2d9f63eced: Select only general registers when looking at registers to save across a… (authored by dcjm).
Select only general registers when looking at registers to save across a…
Jan 24 2022, 4:07 PM
dcjm committed rPOLYML816c1735ae05: Re-enable merged cache-states. (authored by dcjm).
Re-enable merged cache-states.
Jan 24 2022, 4:07 PM
dcjm committed rPOLYMLad9fc39dc831: Implement passing floating point arguments in FP registers. This simplifies… (authored by dcjm).
Implement passing floating point arguments in FP registers. This simplifies…
Jan 24 2022, 4:07 PM
dcjm committed rPOLYML66bad03abc62: Cache unboxing or reals and large-words. (authored by dcjm).
Cache unboxing or reals and large-words.
Jan 24 2022, 4:07 PM
dcjm committed rPOLYMLf5e7ea7b7845: Optimise untagging of recently tagged values. (authored by dcjm).
Optimise untagging of recently tagged values.
Jan 24 2022, 4:07 PM
dcjm committed rPOLYML41be7c896ddf: Have to include FP registers in the return operation. Add conflict for all the… (authored by dcjm).
Have to include FP registers in the return operation. Add conflict for all the…
Jan 24 2022, 4:07 PM
dcjm committed rPOLYMLd6f1900ebe7d: Implement floating point return values in FP registers. (authored by dcjm).
Implement floating point return values in FP registers.
Jan 24 2022, 4:07 PM
dcjm committed rPOLYMLdd81d4fd03af: Optimise unboxing of recently boxed items. This occurs in sequences of… (authored by dcjm).
Optimise unboxing of recently boxed items. This occurs in sequences of…
Jan 24 2022, 4:07 PM
dcjm committed rPOLYML2daf52d6809e: Support for arguments and results in floating-point registers. Not yet enabled. (authored by dcjm).
Support for arguments and results in floating-point registers. Not yet enabled.
Jan 24 2022, 4:07 PM
dcjm committed rPOLYMLf6911d27b16f: Use word division which can be converted into a shift rather than integer… (authored by dcjm).
Use word division which can be converted into a shift rather than integer…
Jan 24 2022, 4:07 PM

Jan 16 2022

dcjm committed rPOLYML67384d30eb85: The parent of "../.." is "../../.." not "..". Fixes #167. (authored by dcjm).
The parent of "../.." is "../../.." not "..". Fixes #167.
Jan 16 2022, 2:18 PM
dcjm committed rPOLYML6406862e6b32: Try using the atomic operations added in ARM 8.1. These are not available in… (authored by dcjm).
Try using the atomic operations added in ARM 8.1. These are not available in…
Jan 16 2022, 2:18 PM
dcjm committed rPOLYML1b6a34576dab: Change to use load-acquire to lock and swap-release to unlock. (authored by dcjm).
Change to use load-acquire to lock and swap-release to unlock.
Jan 16 2022, 2:18 PM
dcjm committed rPOLYMLed5b19cb8079: Restore the spinning that was previously used to check for a mutex lock. (authored by dcjm).
Restore the spinning that was previously used to check for a mutex lock.
Jan 16 2022, 2:18 PM
dcjm committed rPOLYMLae59fee9fd54: Disable LSE atomics for the moment. (authored by dcjm).
Disable LSE atomics for the moment.
Jan 16 2022, 2:18 PM
dcjm committed rPOLYML354708c15aa7: Allow for the extremely unlikely situation of floating point constants in a… (authored by dcjm).
Allow for the extremely unlikely situation of floating point constants in a…
Jan 16 2022, 2:18 PM
dcjm committed rPOLYMLee4355129523: Don't include container arguments among the "stable" arguments for non-tail… (authored by dcjm).
Don't include container arguments among the "stable" arguments for non-tail…
Jan 16 2022, 2:18 PM
dcjm committed rPOLYMLe6117d4d84c7: Sort the constant lists to avoid duplicates. Use bit-encoding for 64-bit… (authored by dcjm).
Sort the constant lists to avoid duplicates. Use bit-encoding for 64-bit…
Jan 16 2022, 2:18 PM
dcjm committed rPOLYML6cc00b4ea313: Use movi for floating point zero. (authored by dcjm).
Use movi for floating point zero.
Jan 16 2022, 2:18 PM
dcjm committed rPOLYMLfd044f2c927f: Fix float constants for big-endian. (authored by dcjm).
Fix float constants for big-endian.
Jan 16 2022, 2:18 PM
dcjm committed rPOLYMLeb2ed058d3b3: Implement floating point constants in the non-address area. (authored by dcjm).
Implement floating point constants in the non-address area.
Jan 16 2022, 2:18 PM
dcjm committed rPOLYMLdfc2227eee20: Remove CheckRTSException; add back CPUPause. (authored by dcjm).
Remove CheckRTSException; add back CPUPause.
Jan 16 2022, 2:18 PM