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 (74 w, 1 d)

Recent Activity

Tue, May 4

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.
Tue, May 4, 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.
Tue, May 4, 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.
Tue, May 4, 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.
Tue, May 4, 1:14 PM
dcjm committed rPOLYML1fd2fd8e59d6: Rebuilt confure for new release. (authored by dcjm).
Rebuilt confure for new release.
Tue, May 4, 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
Tue, May 4, 1:14 PM

Thu, Apr 29

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…
Thu, Apr 29, 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.
Thu, Apr 29, 2:01 PM

Tue, Apr 27

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…
Tue, Apr 27, 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.
Tue, Apr 27, 10:35 AM

Sun, Apr 18

dcjm committed rPOLYML568d4ed99d86: Merge remote-tracking branch 'remotes/origin/master' into ARM64Testing (authored by dcjm).
Merge remote-tracking branch 'remotes/origin/master' into ARM64Testing
Sun, Apr 18, 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…
Sun, Apr 18, 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.
Sun, Apr 18, 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.
Sun, Apr 18, 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…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLceb103ce85e0: Some fixes for Unix. (authored by dcjm).
Some fixes for Unix.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML0fe9c8778860: Reorganise OS memory allocators. (authored by dcjm).
Reorganise OS memory allocators.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML3473d907422e: Merge branch 'SeparateCodeAndConsts' into ARM64Merge (authored by dcjm).
Merge branch 'SeparateCodeAndConsts' into ARM64Merge
Sun, Apr 18, 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…
Sun, Apr 18, 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…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLe0a8e77b0e35: Merge branch 'AllocateInContiguous' into SeparateCodeAndConsts (authored by dcjm).
Merge branch 'AllocateInContiguous' into SeparateCodeAndConsts
Sun, Apr 18, 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…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML6650c5064b89: Add a cast to quieten warning. (authored by dcjm).
Add a cast to quieten warning.
Sun, Apr 18, 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.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML763128724bcf: Fix matching in allocator. (authored by dcjm).
Fix matching in allocator.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLf8727e8abf32: Comment about displaying constant areas. (authored by dcjm).
Comment about displaying constant areas.
Sun, Apr 18, 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
Sun, Apr 18, 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.
Sun, Apr 18, 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…
Sun, Apr 18, 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.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLa4116d1874f4: Fix ARM64 ADRP/LDR relocations for PECOFF. (authored by dcjm).
Fix ARM64 ADRP/LDR relocations for PECOFF.
Sun, Apr 18, 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.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML726446833d1a: Merge branch 'SeparateCodeAndConsts' into ARM64Merge (authored by dcjm).
Merge branch 'SeparateCodeAndConsts' into ARM64Merge
Sun, Apr 18, 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…
Sun, Apr 18, 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.
Sun, Apr 18, 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…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLb3c9ae2f0331: Move GetConstSegmentForCode and related functions in MachineDependent. (authored by dcjm).
Move GetConstSegmentForCode and related functions in MachineDependent.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLd0caa6e63c0e: Remove default heap size from bootstrap build. (authored by dcjm).
Remove default heap size from bootstrap build.
Sun, Apr 18, 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.
Sun, Apr 18, 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.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML12d166e1526b: Merge branch 'AllocateInContiguous' into SeparateCodeAndConsts (authored by dcjm).
Merge branch 'AllocateInContiguous' into SeparateCodeAndConsts
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML423a81c4fcf5: Fix share-common-data. Code that is only reachable by a relative call or jump… (authored by dcjm).
Fix share-common-data. Code that is only reachable by a relative call or jump…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLcd738fec2244: Fix for pecoff after recent changes. Add assertions. This seems to be broken… (authored by dcjm).
Fix for pecoff after recent changes. Add assertions. This seems to be broken…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML945518e4f3d8: Change ScanConstant and GetConstantValue to take the displacement of the code… (authored by dcjm).
Change ScanConstant and GetConstantValue to take the displacement of the code…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLae6fb2892484: Use 32-bit relative jumps/calls in native 64-bit mode where possible. (authored by dcjm).
Use 32-bit relative jumps/calls in native 64-bit mode where possible.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML271e6dc9a95b: In native X86/64 put all new code in a single 2GB area. This means that 32-bit… (authored by dcjm).
In native X86/64 put all new code in a single 2GB area. This means that 32-bit…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML180302c38c65: Fix to Unix version after testing. (authored by dcjm).
Fix to Unix version after testing.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLdee95dad8c4a: Merge branch 'BootFromInterpreter' into SeparateCodeAndConsts (authored by dcjm).
Merge branch 'BootFromInterpreter' into SeparateCodeAndConsts
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML84cf6897ac91: Split the memory allocators for the native and 32-in-64 bit versions so both… (authored by dcjm).
Split the memory allocators for the native and 32-in-64 bit versions so both…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML6cd365a5b3f1: Fix the problem with restoring length words of code areas when the constant… (authored by dcjm).
Fix the problem with restoring length words of code areas when the constant…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML3142915e9290: Move the fudge subtraction of 4 with relative offsets so that it applies to… (authored by dcjm).
Move the fudge subtraction of 4 with relative offsets so that it applies to…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLc4455e5a1752: Some fixes for when the executable area is not writable. (authored by dcjm).
Some fixes for when the executable area is not writable.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLd881dd663bdd: When exporting an object file on X86/64 separate the constants from the code. (authored by dcjm).
When exporting an object file on X86/64 separate the constants from the code.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLf368cd58b74c: Fix work-around when it's not needed. (authored by dcjm).
Fix work-around when it's not needed.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLccb106eca254: Work around for apparent bug in Mac OS. Reading directly into (authored by dcjm).
Work around for apparent bug in Mac OS. Reading directly into
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLb4b63a0583cd: #undef WORDS_BIGENDIAN in the Windows config.h since it's always little-endian. (authored by dcjm).
#undef WORDS_BIGENDIAN in the Windows config.h since it's always little-endian.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML84d1d4306a57: Use the autoconf endian macro rather than trying to work out the endianness. (authored by dcjm).
Use the autoconf endian macro rather than trying to work out the endianness.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLdaf32268d5b7: Use MAP_JIT on the initial mmap but then use mprotect to create the pages in 32… (authored by dcjm).
Use MAP_JIT on the initial mmap but then use mprotect to create the pages in 32…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLf2c07e37af51: Rebuild config files after change to configure.ac. (authored by dcjm).
Rebuild config files after change to configure.ac.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML0d273b2dc831: Mac OS fixes, primarily to do with write access to executable memory. (authored by dcjm).
Mac OS fixes, primarily to do with write access to executable memory.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML0c3a944f0495: MacOS reports the host as "arm" not "arm64". Add detection for… (authored by dcjm).
MacOS reports the host as "arm" not "arm64". Add detection for…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML5d9b1e2b2920: Avoid warnings with anonymous semaphores in MacOS. (authored by dcjm).
Avoid warnings with anonymous semaphores in MacOS.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML582f4aaa4d3e: Missed one item in previous commit. (authored by dcjm).
Missed one item in previous commit.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML52ac604bd5cb: Fix cache clear in Mac OS. Add underscores to assembly code functions if… (authored by dcjm).
Fix cache clear in Mac OS. Add underscores to assembly code functions if…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLda68b7a59168: Add ARM64 to mach-o export. (authored by dcjm).
Add ARM64 to mach-o export.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML856f95b35889: Don't try sem_init and sem_destroy on Mac OS X, they're deprecated. (authored by dcjm).
Don't try sem_init and sem_destroy on Mac OS X, they're deprecated.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML18b839f218d0: Only check range of int and unsigned if necessary. (authored by dcjm).
Only check range of int and unsigned if necessary.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLe93546383bfd: Use SBFX for LargeWord.fromInt in 32-in-64. This untags and sign-extends in a… (authored by dcjm).
Use SBFX for LargeWord.fromInt in 32-in-64. This untags and sign-extends in a…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML36a1e799acf1: Fix length field in allocation in RTS calls. (authored by dcjm).
Fix length field in allocation in RTS calls.
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYML004e0079c1ff: Fix scaling for C loads/stores. Restore Real32 operations that had been… (authored by dcjm).
Fix scaling for C loads/stores. Restore Real32 operations that had been…
Sun, Apr 18, 12:30 PM
dcjm committed rPOLYMLc42bdf5ed5e6: Complete change to threadid. (authored by dcjm).
Complete change to threadid.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML202c37bafb88: Some more 32-bit operations. (authored by dcjm).
Some more 32-bit operations.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML4106d869e459: Fixes for C-memory operations in 32-bits. (authored by dcjm).
Fixes for C-memory operations in 32-bits.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML351ac7b791de: Need to use 32-bit mask with 32-bit operations. (authored by dcjm).
Need to use 32-bit mask with 32-bit operations.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYMLc4db30ee1234: Use more 32-bit operations in 32-in-64. (authored by dcjm).
Use more 32-bit operations in 32-in-64.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML6293a6926f0f: Include config.h in the assembly code to get POLYML32IN64 on Unix. (authored by dcjm).
Include config.h in the assembly code to get POLYML32IN64 on Unix.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYMLa1fa4460ab43: Add Arm64_32 to export architectures. (authored by dcjm).
Add Arm64_32 to export architectures.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML4f3cc5dde081: Merge branch 'ARM64Development' into ARM64Merge (authored by dcjm).
Merge branch 'ARM64Development' into ARM64Merge
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYMLb5c40c6c47fa: Change setWord to use LargeWord.word. Fix some more merge issues. (authored by dcjm).
Change setWord to use LargeWord.word. Fix some more merge issues.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML4634ffe749e2: Fix arbitrary precision add and subtract for 32-in-64. Fix merge bug. (authored by dcjm).
Fix arbitrary precision add and subtract for 32-in-64. Fix merge bug.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML6e1a68b807af: Implement RTS calls and FFI. (authored by dcjm).
Implement RTS calls and FFI.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYMLf9a615557b75: Implement multiply and divide for 32-bit values. (authored by dcjm).
Implement multiply and divide for 32-bit values.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML06f86c24525e: Further implementation of 32-in-64. (authored by dcjm).
Further implementation of 32-in-64.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML5dad095dfc8e: Further implementation of 32-in-64. (authored by dcjm).
Further implementation of 32-in-64.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYMLbacceee0b3e2: Bootstrap file for 32-bits with support for ARM64 enter-int instructions. (authored by dcjm).
Bootstrap file for 32-bits with support for ARM64 enter-int instructions.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML804aba559617: Begin adding support for 32-in-64 to the code-generator. (authored by dcjm).
Begin adding support for 32-in-64 to the code-generator.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML753cf7ebf121: Support for 32-in-64 build for ARM64. Use Word32.word for ARM instructions. (authored by dcjm).
Support for 32-in-64 build for ARM64. Use Word32.word for ARM instructions.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML318e64c61dba: Experiment with 32-in-64. Problem that the index multiplier is either 1 or the… (authored by dcjm).
Experiment with 32-in-64. Problem that the index multiplier is either 1 or the…
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML7b73eeeddef2: Implement conversion from int to Real32.real directly for X86. This is needed… (authored by dcjm).
Implement conversion from int to Real32.real directly for X86. This is needed…
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYMLfe0568bac059: Complete implementation of callbacks and clean up some of the code. (authored by dcjm).
Complete implementation of callbacks and clean up some of the code.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYMLf80218bccc6a: Restore $(MAKE) after make compiler. It's still needed. (authored by dcjm).
Restore $(MAKE) after make compiler. It's still needed.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYMLc3c9a5cbb519: Merge branch 'master' into ARM64Testing (authored by dcjm).
Merge branch 'master' into ARM64Testing
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYMLef283c15dd24: Fix typo in function name. (authored by dcjm).
Fix typo in function name.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML0846cbd68850: Implement the remaining result types for a callback and implement floating… (authored by dcjm).
Implement the remaining result types for a callback and implement floating…
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML1b775bfa9524: Use BOOTSTRAP_OPTIONS instead of POLYIMPORT_OPTIONS so that make compiler… (authored by dcjm).
Use BOOTSTRAP_OPTIONS instead of POLYIMPORT_OPTIONS so that make compiler…
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYMLcee35fcb0799: Profiling PC and SP values from the context. (authored by dcjm).
Profiling PC and SP values from the context.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML1391e07c85e8: Floating point values and large structures for FFI calls. Implementation of… (authored by dcjm).
Floating point values and large structures for FFI calls. Implementation of…
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML71d52e383a0e: Remove word-size argument from the instructions that used it and replace with… (authored by dcjm).
Remove word-size argument from the instructions that used it and replace with…
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYMLaa60e488bd5d: Update comment on register use. (authored by dcjm).
Update comment on register use.
Sun, Apr 18, 12:29 PM
dcjm committed rPOLYML64b71c39c97e: Remove test for exceptions in RTS calls from the call itself. The test is done… (authored by dcjm).
Remove test for exceptions in RTS calls from the call itself. The test is done…
Sun, Apr 18, 12:29 PM