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 (98 w, 6 d)

Recent Activity

Fri, Oct 22

dcjm committed rPOLYMLa5272e41292b: Merge branch 'master' of github.com:dcjm/polyml (authored by dcjm).
Merge branch 'master' of github.com:dcjm/polyml
Fri, Oct 22, 6:08 PM
dcjm committed rPOLYMLd80d37b68ab9: Update version for libpolyml. This was forgotten in thw earlier version update. (authored by dcjm).
Update version for libpolyml. This was forgotten in thw earlier version update.
Fri, Oct 22, 6:07 PM
dcjm committed rPOLYMLb625da77bed7: Removed 5.8.2 compatibility files. (authored by dcjm).
Removed 5.8.2 compatibility files.
Fri, Oct 22, 1:08 PM
dcjm committed rPOLYML4cdada8b5ac5: Rebuilt 64-bit bootstrap compiler. (authored by dcjm).
Rebuilt 64-bit bootstrap compiler.
Fri, Oct 22, 1:08 PM
dcjm committed rPOLYMLdea5a66fb43d: Rebuilt 32-bit bootstrap compiler. (authored by dcjm).
Rebuilt 32-bit bootstrap compiler.
Fri, Oct 22, 1:08 PM
dcjm committed rPOLYMLa8bccd1bc1ed: Rebuilt configure files with updated version and new autoconf. (authored by dcjm).
Rebuilt configure files with updated version and new autoconf.
Fri, Oct 22, 1:08 PM
dcjm committed rPOLYML9dab69b853e7: Update version numbers for release. (authored by dcjm).
Update version numbers for release.
Fri, Oct 22, 1:08 PM

Wed, Oct 20

dcjm committed rPOLYML65ce103734c6: Remove RegSet from X86 code-generator. It's no longer used. (authored by dcjm).
Remove RegSet from X86 code-generator. It's no longer used.
Wed, Oct 20, 10:03 PM
dcjm committed rPOLYMLa7ea798ffb3f: Don't include the ARM relocation unless we're compiling for ARM. It may not be… (authored by dcjm).
Don't include the ARM relocation unless we're compiling for ARM. It may not be…
Wed, Oct 20, 8:22 PM
dcjm committed rPOLYML47c29c751a15: Remove unreferenced variables. (authored by dcjm).
Remove unreferenced variables.
Wed, Oct 20, 8:22 PM

Mon, Oct 11

dcjm committed rPOLYMLc3c107f844b9: Fix passing structures of size 8-16 bytes in SysV X86/64. Fixes #162. (authored by dcjm).
Fix passing structures of size 8-16 bytes in SysV X86/64. Fixes #162.
Mon, Oct 11, 7:13 PM

Sep 16 2021

dcjm committed rPOLYMLcf6f86a6874c: Add regression test for print fix for functor argument. (authored by dcjm).
Add regression test for print fix for functor argument.
Sep 16 2021, 5:17 PM
dcjm committed rPOLYMLbc89845e46c7: Create a print function for a type function (e.g. type t = int*int). This is… (authored by dcjm).
Create a print function for a type function (e.g. type t = int*int). This is…
Sep 16 2021, 2:19 PM

Aug 12 2021

dcjm committed rPOLYMLabc301a646a2: Add profile data when constructing tuples. Also used for closures in native… (authored by dcjm).
Add profile data when constructing tuples. Also used for closures in native…
Aug 12 2021, 1:11 PM
dcjm committed rPOLYMLf5adcb2f18fb: Merge branch 'master' into LiveDataProfiling (authored by dcjm).
Merge branch 'master' into LiveDataProfiling
Aug 12 2021, 1:11 PM
dcjm committed rPOLYML688c4f43db10: Move the switch for live allocation profiling into the top level of the code… (authored by dcjm).
Move the switch for live allocation profiling into the top level of the code…
Aug 12 2021, 1:11 PM
dcjm committed rPOLYMLa31dc77d217c: Allocate the profiling object for a function at the top level of the code… (authored by dcjm).
Allocate the profiling object for a function at the top level of the code…
Aug 12 2021, 1:11 PM

Aug 11 2021

dcjm committed rPOLYML5878b95a2fd1: Merge branch 'master' of https://github.com/polyml/polyml (authored by dcjm).
Merge branch 'master' of https://github.com/polyml/polyml
Aug 11 2021, 1:47 PM
dcjm committed rPOLYML15f241698314: Treat closures as word data when generating live-data profile. This deals with… (authored by dcjm).
Treat closures as word data when generating live-data profile. This deals with…
Aug 11 2021, 1:47 PM

Aug 8 2021

dcjm committed rPOLYML5e417b013b47: Merge branch 'pclayton-add-c-size-conversions' (authored by dcjm).
Merge branch 'pclayton-add-c-size-conversions'
Aug 8 2021, 6:47 PM
dcjm committed rPOLYML490eb7327dcf: Merge branch 'add-c-size-conversions' of https://github.com/pclayton/polyml… (authored by dcjm).
Merge branch 'add-c-size-conversions' of https://github.com/pclayton/polyml…
Aug 8 2021, 6:47 PM
dcjm committed rPOLYMLcdccb12d70cf: Change Foreign.LowLevel.cTypeUint and cTypeULong to use CTypeUnsignedInt. This… (authored by dcjm).
Change Foreign.LowLevel.cTypeUint and cTypeULong to use CTypeUnsignedInt. This…
Aug 8 2021, 6:41 PM

May 25 2021

dcjm committed rPOLYML2b78b6865011: Enable all signals in child process after Unix.execute/executeInEnv. (authored by dcjm).
Enable all signals in child process after Unix.execute/executeInEnv.
May 25 2021, 12:10 PM
dcjm committed rPOLYML00a5653c7373: The file part of the command for Unix.execute/executeInEnv should be included… (authored by dcjm).
The file part of the command for Unix.execute/executeInEnv should be included…
May 25 2021, 12:10 PM

May 24 2021

dcjm committed rPOLYML8185978a586a: Enable all signals in child process after Unix.execute/executeInEnv. (authored by dcjm).
Enable all signals in child process after Unix.execute/executeInEnv.
May 24 2021, 8:32 PM

May 22 2021

dcjm committed rPOLYMLb3855a506d93: The file part of the command for Unix.execute/executeInEnv should be included… (authored by dcjm).
The file part of the command for Unix.execute/executeInEnv should be included…
May 22 2021, 2:14 PM

May 19 2021

dcjm committed rPOLYMLc88fbf88d3fa: Remove Windows GUI code which is now in a separate repository. (authored by dcjm).
Remove Windows GUI code which is now in a separate repository.
May 19 2021, 6:39 PM

May 15 2021

dcjm committed rPOLYMLb928d20ac26f: Fix incorrect function names. (authored by dcjm).
Fix incorrect function names.
May 15 2021, 1:07 PM
dcjm committed rPOLYML24a06d603b74: Remove the test of GC in a forked child. This seems to fail badly on some… (authored by dcjm).
Remove the test of GC in a forked child. This seems to fail badly on some…
May 15 2021, 1:07 PM
dcjm committed rPOLYMLaac4d1e94ad0: Replace usleep with nanosleep. Posix defines usleep to work only for values of… (authored by dcjm).
Replace usleep with nanosleep. Posix defines usleep to work only for values of…
May 15 2021, 1:07 PM
dcjm committed rPOLYML0e446f3e042c: Use shadow area if necessary when setting ARM relocations. (authored by dcjm).
Use shadow area if necessary when setting ARM relocations.
May 15 2021, 1:07 PM
dcjm committed rPOLYML8ee44e4270dc: Fix longWordToTagged for big-endian 32-in-64. (authored by dcjm).
Fix longWordToTagged for big-endian 32-in-64.
May 15 2021, 1:07 PM
dcjm committed rPOLYML1a29bb7f55dd: Change argument type so that it is compatible with big-endian 32-in-64. (authored by dcjm).
Change argument type so that it is compatible with big-endian 32-in-64.
May 15 2021, 1:07 PM
dcjm committed rPOLYMLde553b7fde0a: Fix incorrect mask in 8ee44e4. (authored by dcjm).
Fix incorrect mask in 8ee44e4.
May 15 2021, 1:07 PM
dcjm committed rPOLYMLc73509f16f52: Fix byte offset to flags in big-endian mode. The value in 201979c8 was wrong. (authored by dcjm).
Fix byte offset to flags in big-endian mode. The value in 201979c8 was wrong.
May 15 2021, 1:07 PM
dcjm committed rPOLYML18716c3f4dab: Fixes to Unix files after RTS function change. (authored by dcjm).
Fixes to Unix files after RTS function change.
May 15 2021, 1:07 PM
dcjm committed rPOLYML601c48c6ad68: Updated 32-bit bootstrap file with support for big-endian. (authored by dcjm).
Updated 32-bit bootstrap file with support for big-endian.
May 15 2021, 1:07 PM
dcjm committed rPOLYML2dc15cf77976: Fix interpreter after RTS function change. (authored by dcjm).
Fix interpreter after RTS function change.
May 15 2021, 1:07 PM
dcjm committed rPOLYMLed789f849841: Fix name change omitted when this was last committed. (authored by dcjm).
Fix name change omitted when this was last committed.
May 15 2021, 1:07 PM
dcjm committed rPOLYML4aa7a6f54fc0: Change argument types of RTS functions so that they are always POLYUNSIGNED… (authored by dcjm).
Change argument types of RTS functions so that they are always POLYUNSIGNED…
May 15 2021, 1:07 PM
dcjm committed rPOLYMLa182946ad8e3: Have to take account of endian-ness when clearing ADR/LDR instruction offsets. (authored by dcjm).
Have to take account of endian-ness when clearing ADR/LDR instruction offsets.
May 15 2021, 1:07 PM
dcjm committed rPOLYMLfae25684e69e: Register mask is in an instruction and needs to be converted on big-endian. (authored by dcjm).
Register mask is in an instruction and needs to be converted on big-endian.
May 15 2021, 1:07 PM
dcjm committed rPOLYMLf2c0c9e261cd: Convert instruction values to little-endian when converting to ADRP/LDR. (authored by dcjm).
Convert instruction values to little-endian when converting to ADRP/LDR.
May 15 2021, 1:07 PM
dcjm committed rPOLYMLf2dce0a9fbd2: Constants and offsets need to be big-endian on big-endian architecture. (authored by dcjm).
Constants and offsets need to be big-endian on big-endian architecture.
May 15 2021, 1:07 PM
dcjm committed rPOLYML3f9b811f7c37: Convert between little-endian instruction format and native word. (authored by dcjm).
Convert between little-endian instruction format and native word.
May 15 2021, 1:07 PM
dcjm committed rPOLYML201979c83114: The byte offset to the flags byte depends on whether this is big- or little… (authored by dcjm).
The byte offset to the flags byte depends on whether this is big- or little…
May 15 2021, 1:07 PM
dcjm committed rPOLYML919fbd7d0a28: Support for NetBSD elf file. Work-around for misnamed(?) relocation symbol in… (authored by dcjm).
Support for NetBSD elf file. Work-around for misnamed(?) relocation symbol in…
May 15 2021, 1:07 PM
dcjm committed rPOLYMLdd4456fbd346: Updated bootstrap file for 64-bits with support for big-endian. (authored by dcjm).
Updated bootstrap file for 64-bits with support for big-endian.
May 15 2021, 1:07 PM
dcjm committed rPOLYMLf5dd6093d760: Merge branch 'master' into ARM64Testing (authored by dcjm).
Merge branch 'master' into ARM64Testing
May 15 2021, 1:07 PM
dcjm committed rPOLYML9ed71255ccc0: Don't check for libgcc and libgcc_s. They will be included anyway if needed. (authored by dcjm).
Don't check for libgcc and libgcc_s. They will be included anyway if needed.
May 15 2021, 1:07 PM
dcjm committed rPOLYML720f2cf1ad03: Rework the locking for profiling. (authored by dcjm).
Rework the locking for profiling.
May 15 2021, 1:07 PM
dcjm committed rPOLYML86dceaac467b: Rebuild configure after last change. (authored by dcjm).
Rebuild configure after last change.
May 15 2021, 1:07 PM

May 8 2021

dcjm committed rPOLYMLa2e8a53cf44f: Handle re-exporting code with ADRP/LDR sequence. (authored by dcjm).
Handle re-exporting code with ADRP/LDR sequence.
May 8 2021, 7:01 PM

May 7 2021

dcjm committed rPOLYML48ca209fd6a1: Rebuilt after merge. (authored by dcjm).
Rebuilt after merge.
May 7 2021, 1:37 PM
dcjm committed rPOLYML3af934b6e907: Merge branch 'master' into ARMMerge2 (authored by dcjm).
Merge branch 'master' into ARMMerge2
May 7 2021, 1:37 PM
dcjm committed rPOLYMLfb4c91ba3ac1: Rebuilt pre-built compiler with endian fix. (authored by dcjm).
Rebuilt pre-built compiler with endian fix.
May 7 2021, 12:34 PM
dcjm committed rPOLYMLe6a463e1614f: Merge branch 'Endian5.8.2' into fixes-5.8.2. Fixes #150 (authored by dcjm).
Merge branch 'Endian5.8.2' into fixes-5.8.2. Fixes #150
May 7 2021, 12:34 PM
dcjm committed rPOLYML87de1f409494: Only call PolyIsBigEndian when the code segment is being created. It was… (authored by dcjm).
Only call PolyIsBigEndian when the code segment is being created. It was…
May 7 2021, 12:34 PM
dcjm committed rPOLYML42ada6abe712: Remove 5.8.1 compatibility files. (authored by dcjm).
Remove 5.8.1 compatibility files.
May 7 2021, 12:34 PM

May 4 2021

dcjm committed rPOLYMLf84689bde7d2: Pre-built compilers for X86/64 Windows and X86/64-32 Windows. (authored by dcjm).
Pre-built compilers for X86/64 Windows and X86/64-32 Windows.
May 4 2021, 1:15 PM
dcjm committed rPOLYML7a7bc0fec7f7: Fix 32-bit pre-built compilers wrongly built. (authored by dcjm).
Fix 32-bit pre-built compilers wrongly built.
May 4 2021, 1:15 PM
dcjm committed rPOLYMLad51084b76de: Built pre-built compilers for X86/32 and 32-bit interpreted. (authored by dcjm).
Built pre-built compilers for X86/32 and 32-bit interpreted.
May 4 2021, 1:15 PM
dcjm committed rPOLYML049bf0dc36a7: Rebuilt compilers for SYSV X86/64, X86/64-32 and 64-bit interpreted. (authored by dcjm).
Rebuilt compilers for SYSV X86/64, X86/64-32 and 64-bit interpreted.
May 4 2021, 1:14 PM
dcjm committed rPOLYML1fd2fd8e59d6: Rebuilt confure for new release. (authored by dcjm).
Rebuilt confure for new release.
May 4 2021, 1:14 PM
dcjm committed rPOLYML46cc895e6bf9: Update version numbers ready for release of 5.8.2 (authored by dcjm).
Update version numbers ready for release of 5.8.2
May 4 2021, 1:14 PM

Apr 29 2021

dcjm committed rPOLYML16458adbf40e: PolyML.pretty and PolyML.context are eqtypes based on their current… (authored by dcjm).
PolyML.pretty and PolyML.context are eqtypes based on their current…
Apr 29 2021, 2:01 PM
dcjm committed rPOLYMLe87c60deeb72: Check arity of constructors in where type before trying to apply realisation. (authored by dcjm).
Check arity of constructors in where type before trying to apply realisation.
Apr 29 2021, 2:01 PM

Apr 27 2021

dcjm committed rPOLYML57acf78cc22e: Fix type-dependent functions, e.g. PolyML.print, if they were in a structure… (authored by dcjm).
Fix type-dependent functions, e.g. PolyML.print, if they were in a structure…
Apr 27 2021, 10:35 AM
dcjm committed rPOLYMLd233f6d4b8eb: Fix indexing of vectors and arrays for PackReal32 on 64-bits. (authored by dcjm).
Fix indexing of vectors and arrays for PackReal32 on 64-bits.
Apr 27 2021, 10:35 AM

Apr 18 2021

dcjm committed rPOLYML568d4ed99d86: Merge remote-tracking branch 'remotes/origin/master' into ARM64Testing (authored by dcjm).
Merge remote-tracking branch 'remotes/origin/master' into ARM64Testing
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML5626a120b132: When loading code containing an FFI callback update the global heap base… (authored by dcjm).
When loading code containing an FFI callback update the global heap base…
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML9ce77e67c5df: Use a writable address when setting data in the new constant area. (authored by dcjm).
Use a writable address when setting data in the new constant area.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML64ebde2f2000: malloc and free are in stdlib.h on OpenBSD. (authored by dcjm).
malloc and free are in stdlib.h on OpenBSD.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLe48478b040d4: Only include ARM64 relocations if we're building for ARM64. The defines may not… (authored by dcjm).
Only include ARM64 relocations if we're building for ARM64. The defines may not…
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLceb103ce85e0: Some fixes for Unix. (authored by dcjm).
Some fixes for Unix.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML0fe9c8778860: Reorganise OS memory allocators. (authored by dcjm).
Reorganise OS memory allocators.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML3473d907422e: Merge branch 'SeparateCodeAndConsts' into ARM64Merge (authored by dcjm).
Merge branch 'SeparateCodeAndConsts' into ARM64Merge
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLf2ba7eb15fc6: Update a relative address constant if it has moved even if it goes to the same… (authored by dcjm).
Update a relative address constant if it has moved even if it goes to the same…
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML6a0adb9218a0: Implement callbacks (FFI closures) in ARM64. There is still a problem with… (authored by dcjm).
Implement callbacks (FFI closures) in ARM64. There is still a problem with…
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLe0a8e77b0e35: Merge branch 'AllocateInContiguous' into SeparateCodeAndConsts (authored by dcjm).
Merge branch 'AllocateInContiguous' into SeparateCodeAndConsts
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML019581b4078e: Remove no_pie option for Mac OS. We're now generating position-independent… (authored by dcjm).
Remove no_pie option for Mac OS. We're now generating position-independent…
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML6650c5064b89: Add a cast to quieten warning. (authored by dcjm).
Add a cast to quieten warning.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLa28fbebcee64: Add the name of the entry point to the Fail exception packet. (authored by dcjm).
Add the name of the entry point to the Fail exception packet.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML763128724bcf: Fix matching in allocator. (authored by dcjm).
Fix matching in allocator.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLf8727e8abf32: Comment about displaying constant areas. (authored by dcjm).
Comment about displaying constant areas.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML12ad95001568: Only try with MAP_JIT trying to allocate fails without it. Earlier versions (authored by dcjm).
Only try with MAP_JIT trying to allocate fails without it. Earlier versions
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML8cbecc5e5103: Implement relocation for the address of the constants relative to the code. (authored by dcjm).
Implement relocation for the address of the constants relative to the code.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLa7547a5cc9ca: Implement splitting of the constant area from code for ARM64. This is… (authored by dcjm).
Implement splitting of the constant area from code for ARM64. This is…
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML228263573fa2: Implement relocations for ARM64 on Mac OS. Two small fixes for 32-in-64. (authored by dcjm).
Implement relocations for ARM64 on Mac OS. Two small fixes for 32-in-64.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLa4116d1874f4: Fix ARM64 ADRP/LDR relocations for PECOFF. (authored by dcjm).
Fix ARM64 ADRP/LDR relocations for PECOFF.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML04d28dfd1205: Add space for UDF instruction. Don't scan code when interpreting. (authored by dcjm).
Add space for UDF instruction. Don't scan code when interpreting.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML726446833d1a: Merge branch 'SeparateCodeAndConsts' into ARM64Merge (authored by dcjm).
Merge branch 'SeparateCodeAndConsts' into ARM64Merge
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML88612786ed8c: Add a no-op after references to the constant area to allow for patching and put… (authored by dcjm).
Add a no-op after references to the constant area to allow for patching and put…
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLb7ca6d69fd62: Handle all cases in the switch rather than setting the value beforehand. (authored by dcjm).
Handle all cases in the switch rather than setting the value beforehand.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML4cada630adb0: When splitting constants from code put them into the code area so they are… (authored by dcjm).
When splitting constants from code put them into the code area so they are…
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLb3c9ae2f0331: Move GetConstSegmentForCode and related functions in MachineDependent. (authored by dcjm).
Move GetConstSegmentForCode and related functions in MachineDependent.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLd0caa6e63c0e: Remove default heap size from bootstrap build. (authored by dcjm).
Remove default heap size from bootstrap build.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLedf1a0b21f2f: Fix ELF and MachO exporters for change to ScanConstant. (authored by dcjm).
Fix ELF and MachO exporters for change to ScanConstant.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLfe4a34aee5df: Fix problem with relative addresses that had not been updated. (authored by dcjm).
Fix problem with relative addresses that had not been updated.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML12d166e1526b: Merge branch 'AllocateInContiguous' into SeparateCodeAndConsts (authored by dcjm).
Merge branch 'AllocateInContiguous' into SeparateCodeAndConsts
Apr 18 2021, 12:30 PM