Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

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
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…
Apr 18 2021, 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…
Apr 18 2021, 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…
Apr 18 2021, 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.
Apr 18 2021, 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…
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML180302c38c65: Fix to Unix version after testing. (authored by dcjm).
Fix to Unix version after testing.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLdee95dad8c4a: Merge branch 'BootFromInterpreter' into SeparateCodeAndConsts (authored by dcjm).
Merge branch 'BootFromInterpreter' into SeparateCodeAndConsts
Apr 18 2021, 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…
Apr 18 2021, 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…
Apr 18 2021, 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…
Apr 18 2021, 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.
Apr 18 2021, 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.
Apr 18 2021, 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.
Apr 18 2021, 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
Apr 18 2021, 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.
Apr 18 2021, 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.
Apr 18 2021, 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…
Apr 18 2021, 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.
Apr 18 2021, 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.
Apr 18 2021, 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…
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML5d9b1e2b2920: Avoid warnings with anonymous semaphores in MacOS. (authored by dcjm).
Avoid warnings with anonymous semaphores in MacOS.
Apr 18 2021, 12:30 PM
dcjm committed rPOLYML582f4aaa4d3e: Missed one item in previous commit. (authored by dcjm).
Missed one item in previous commit.
Apr 18 2021, 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…
Apr 18 2021, 12:30 PM
dcjm committed rPOLYMLda68b7a59168: Add ARM64 to mach-o export. (authored by dcjm).
Add ARM64 to mach-o export.
Apr 18 2021, 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.
Apr 18 2021, 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.
Apr 18 2021, 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…
Apr 18 2021, 12:30 PM