Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Jan 16 2022

dcjm committed rPOLYML78988dd56ab9: Implement addition and subtraction for word, FixedInt.int and LargeWord.word… (authored by dcjm).
Implement addition and subtraction for word, FixedInt.int and LargeWord.word…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML7093cc527623: Add more icode instructions and implement full handling of ML and C addresses… (authored by dcjm).
Add more icode instructions and implement full handling of ML and C addresses…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLed9079c54a82: Fix call/jump to constant function in 32-in-64. Add byte load and store. (authored by dcjm).
Fix call/jump to constant function in 32-in-64. Add byte load and store.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML27273f0ca285: Change register allocation to allow for allocation of floating point registers. (authored by dcjm).
Change register allocation to allow for allocation of floating point registers.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML65f3e202c044: Add logical operations and implement isShort to test the tag bit. (authored by dcjm).
Add logical operations and implement isShort to test the tag bit.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML6eebcafc8f36: Add placeholders for the individual unary and binary operations. (authored by dcjm).
Add placeholders for the individual unary and binary operations.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLf19ff8ed5697: Fix pushing stack arguments in tail call and improve register choice in… (authored by dcjm).
Fix pushing stack arguments in tail call and improve register choice in…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML3d352a7ef889: The new code-generator does not load X8 if it only contains the code address. (authored by dcjm).
The new code-generator does not load X8 if it only contains the code address.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLfea3d8da4753: Implement function calls. (authored by dcjm).
Implement function calls.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLed63c136ee32: Implement PushRegisters, largely by copying code from the X86 version. (authored by dcjm).
Implement PushRegisters, largely by copying code from the X86 version.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML824914cfac91: Add a function to create a profile object. This is used in all the code… (authored by dcjm).
Add a function to create a profile object. This is used in all the code…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML82f31f67e041: Use common function to create the profile object. (authored by dcjm).
Use common function to create the profile object.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLae9761916e55: Implement more instructions for containers. These include pushing to the stack… (authored by dcjm).
Implement more instructions for containers. These include pushing to the stack…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML9e2d7b7a39be: Implement more instructions to add support for tupling. (authored by dcjm).
Implement more instructions to add support for tupling.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML802c0f0dc54a: Implement closure creation. Handle saving of X30 across GC traps. (authored by dcjm).
Implement closure creation. Handle saving of X30 across GC traps.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLd85b7a6550c9: Implement more instructions including raising an exception. Add branch… (authored by dcjm).
Implement more instructions including raising an exception. Add branch…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML36c3a378209e: Add AddSubRegister instruction and use this to implement word and Fixed.int… (authored by dcjm).
Add AddSubRegister instruction and use this to implement word and Fixed.int…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLf7be1ef6fe95: Implement if-then-else with simple booleans. (authored by dcjm).
Implement if-then-else with simple booleans.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLdb4f3ff2eb98: Copy the boolean expression optimiser from the X86 code-generator and implement… (authored by dcjm).
Copy the boolean expression optimiser from the X86 code-generator and implement…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLf46fe0469087: Remove "destinations" datatype from ICode and include it in ICodeToX86Code… (authored by dcjm).
Remove "destinations" datatype from ICode and include it in ICodeToX86Code…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML04558f85f5c4: Implement load instructions and field selection. (authored by dcjm).
Implement load instructions and field selection.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML72da33114b76: Use the general register list in AllocateRegisters rather than duplicate it in… (authored by dcjm).
Use the general register list in AllocateRegisters rather than duplicate it in…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLd77aed1878d1: Enough to be able to code-generate the identity function. (authored by dcjm).
Enough to be able to code-generate the identity function.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLf61388f58289: Don't use sign extension when converting a constant to 64-bits. (authored by dcjm).
Don't use sign extension when converting a constant to 64-bits.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML44974a91f4bb: Add enough to get the identity function through to the last stage. (authored by dcjm).
Add enough to get the identity function through to the last stage.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLdb6371f7101c: Implement constants in the code-generator. (authored by dcjm).
Implement constants in the code-generator.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML87cfdb7c4d2b: More placeholders. Arm64ICodeTransform has been copied over fairly directly… (authored by dcjm).
More placeholders. Arm64ICodeTransform has been copied over fairly directly…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML98d1ff9f7b0f: Steps towards initial code-generation. (authored by dcjm).
Steps towards initial code-generation.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLc869a448974d: Initial icode sufficient for an identity function. (authored by dcjm).
Initial icode sufficient for an identity function.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML42fe45947ec1: Final placeholder. (authored by dcjm).
Final placeholder.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML7bed9f6e3a61: Add some more placeholder structures and signatures. (authored by dcjm).
Add some more placeholder structures and signatures.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML33ad2037c325: Change PolyML.make to work around the case-insensitive file system on Windows. (authored by dcjm).
Change PolyML.make to work around the case-insensitive file system on Windows.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLe2dc2ec3b5b6: Update project and build files after rename. (authored by dcjm).
Update project and build files after rename.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML9649408bb407: Related changes needed for renamed functor. (authored by dcjm).
Related changes needed for renamed functor.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLd828686d4bbb: Change the name of the functor that creates the CodeTree structure to avoid… (authored by dcjm).
Change the name of the functor that creates the CodeTree structure to avoid…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML9499597c5a8b: Further renaming of structures, functors and signatures. (authored by dcjm).
Further renaming of structures, functors and signatures.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML1148cb7457ac: Further rationalisation of signature, structure and functor names. (authored by dcjm).
Further rationalisation of signature, structure and functor names.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML456600b83594: Rationalise a lot of the naming. Signatures should be in upper case and… (authored by dcjm).
Rationalise a lot of the naming. Signatures should be in upper case and…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML50b87e288a96: Merge branch 'master' into ARM64Development (authored by dcjm).
Merge branch 'master' into ARM64Development
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLeebb618efb46: Move IntSet up to Codetree so that it is available for the ARM version. Change… (authored by dcjm).
Move IntSet up to Codetree so that it is available for the ARM version. Change…
Jan 16 2022, 2:17 PM
dcjm committed rPOLYMLfe1906b4536e: Add some more placeholders. (authored by dcjm).
Add some more placeholders.
Jan 16 2022, 2:17 PM
dcjm committed rPOLYML44d0d5e4f394: Begin adding ICode for ARM64 based on the X86 code-generator. (authored by dcjm).
Begin adding ICode for ARM64 based on the X86 code-generator.
Jan 16 2022, 2:17 PM

Dec 4 2021

dcjm committed rPOLYML59bc13986b41: Update config.guess and config.sub from automake-1.16.3. For some reason… (authored by dcjm).
Update config.guess and config.sub from automake-1.16.3. For some reason…
Dec 4 2021, 5:44 PM

Dec 3 2021

dcjm committed rPOLYMLcae32f905095: Update config.sub and config.guess and include a script to do this in the… (authored by dcjm).
Update config.sub and config.guess and include a script to do this in the…
Dec 3 2021, 6:34 PM
dcjm committed rPOLYMLdced04294bb2: Check for presence of Mach-O relocation files and only include them if they're (authored by dcjm).
Check for presence of Mach-O relocation files and only include them if they're
Dec 3 2021, 6:34 PM
dcjm committed rPOLYMLa63f2196a5e7: Fix incorrect argument when printing byte code assembly code. (authored by dcjm).
Fix incorrect argument when printing byte code assembly code.
Dec 3 2021, 6:34 PM

Nov 26 2021

dcjm committed rPOLYML39d96a2def90: Fix Overflow exception packet in Real.toInt in the interpreter. Fixes #164. (authored by dcjm).
Fix Overflow exception packet in Real.toInt in the interpreter. Fixes #164.
Nov 26 2021, 9:16 AM

Nov 23 2021

dcjm committed rPOLYML020d4d7b2831: Fix Overflow exception packet in Real.toInt in the interpreter. Fixes #164. (authored by dcjm).
Fix Overflow exception packet in Real.toInt in the interpreter. Fixes #164.
Nov 23 2021, 8:20 PM

Nov 13 2021

dcjm committed rPOLYML610a153b941d: Fix check for 32-bit constants. (authored by dcjm).
Fix check for 32-bit constants.
Nov 13 2021, 6:39 PM
dcjm committed rPOLYML2d10b213d7bb: In 32-in-64 constants should always have the top word zero so after sign… (authored by dcjm).
In 32-in-64 constants should always have the top word zero so after sign…
Nov 13 2021, 6:39 PM

Nov 12 2021

dcjm committed rPOLYMLcc80e2b43c38: Fix calculation of offset when checking whether to use short form of constant… (authored by dcjm).
Fix calculation of offset when checking whether to use short form of constant…
Nov 12 2021, 8:59 AM
dcjm committed rPOLYML736d5eb3a1fb: Use a single instruction to access the constant area or for handlers if it will… (authored by dcjm).
Use a single instruction to access the constant area or for handlers if it will…
Nov 12 2021, 8:59 AM
dcjm committed rPOLYML64cfc9565ab1: Merge branch 'master' into LongConstantOffsets (authored by dcjm).
Merge branch 'master' into LongConstantOffsets
Nov 12 2021, 8:59 AM
dcjm committed rPOLYML72e19270abe5: Work-around for incorrectly named definition in NetBSD. (authored by dcjm).
Work-around for incorrectly named definition in NetBSD.
Nov 12 2021, 8:59 AM

Nov 10 2021

dcjm committed rPOLYML76ff2a2a2bed: Use mprotect if mmap fails when allocating in the area reserved for code. This… (authored by dcjm).
Use mprotect if mmap fails when allocating in the area reserved for code. This…
Nov 10 2021, 3:42 PM
dcjm committed rPOLYMLe0091fc642fe: Fix PECOFF for ADRP change. Define multiple symbols for large segments so that… (authored by dcjm).
Fix PECOFF for ADRP change. Define multiple symbols for large segments so that…
Nov 10 2021, 2:35 PM
dcjm committed rPOLYMLf3ac27c1ff8c: Reorganise the handling of reallocations in PECOFF. (authored by dcjm).
Reorganise the handling of reallocations in PECOFF.
Nov 10 2021, 2:35 PM
dcjm committed rPOLYMLc1b8619bd8db: Add ifdef around test for converted length field because that doesn't apply in… (authored by dcjm).
Add ifdef around test for converted length field because that doesn't apply in…
Nov 10 2021, 2:35 PM

Nov 9 2021

dcjm committed rPOLYML18b1a35650c6: Fix ELF export with ADRP+ADD and ADRP+LDR32. (authored by dcjm).
Fix ELF export with ADRP+ADD and ADRP+LDR32.
Nov 9 2021, 7:18 PM
dcjm committed rPOLYML89d7934ddd53: Fix scan kinds. (authored by dcjm).
Fix scan kinds.
Nov 9 2021, 7:18 PM
dcjm committed rPOLYMLcc53a49e486d: Fix test for 32-in-64 in load constants. (authored by dcjm).
Fix test for 32-in-64 in load constants.
Nov 9 2021, 7:18 PM
dcjm committed rPOLYMLe75f71bffb1a: Split the codes to set the various ADRP + LDR+ADD variants. (authored by dcjm).
Split the codes to set the various ADRP + LDR+ADD variants.
Nov 9 2021, 7:18 PM
dcjm committed rPOLYML202b57fe8469: Generate ADRP+LDR instructions for all constant references and ADRP+ADR for all… (authored by dcjm).
Generate ADRP+LDR instructions for all constant references and ADRP+ADR for all…
Nov 9 2021, 7:18 PM
dcjm committed rPOLYMLdcd9b13559fb: Changes to allow ADRP with 32-bit load or ADD. This should allow the… (authored by dcjm).
Changes to allow ADRP with 32-bit load or ADD. This should allow the…
Nov 9 2021, 7:18 PM
dcjm committed rPOLYMLc6fab4c0f8d5: Fix to LDR instruction test in 32-in-64. (authored by dcjm).
Fix to LDR instruction test in 32-in-64.
Nov 9 2021, 7:18 PM

Nov 7 2021

dcjm committed rPOLYMLa65f9abed9b1: More careful check for invalid offset in loads from the constant area. The… (authored by dcjm).
More careful check for invalid offset in loads from the constant area. The…
Nov 7 2021, 5:37 PM

Nov 3 2021

dcjm committed rPOLYML5d4caa8f7148: Further fix to the block move code in ARM64. Constant offsets have to divided… (authored by dcjm).
Further fix to the block move code in ARM64. Constant offsets have to divided…
Nov 3 2021, 6:55 PM
dcjm committed rPOLYML533903d9d172: Fix block word move in ARM64 code-generator. This fixes Vector.concat among… (authored by dcjm).
Fix block word move in ARM64 code-generator. This fixes Vector.concat among…
Nov 3 2021, 3:49 PM

Nov 2 2021

dcjm committed rPOLYML65145a45c38e: Test more carefully for any fix needed for write|exec permissions. MAP_JIT is… (authored by dcjm).
Test more carefully for any fix needed for write|exec permissions. MAP_JIT is…
Nov 2 2021, 8:51 AM

Nov 1 2021

dcjm committed rPOLYMLc92c33589a63: Change allocation of code areas in Mac OS with MAP_JIT to pre-allocate the… (authored by dcjm).
Change allocation of code areas in Mac OS with MAP_JIT to pre-allocate the…
Nov 1 2021, 5:01 PM
dcjm committed rPOLYML3b17d926c601: Ignore error from mprotect when allocating code area in Mac OS with MAP_JIT. (authored by dcjm).
Ignore error from mprotect when allocating code area in Mac OS with MAP_JIT.
Nov 1 2021, 2:38 PM

Oct 27 2021

dcjm committed rPOLYML960de0cd0795: Handle KillException when called from the trap handler. Addresses issue #163. (authored by dcjm).
Handle KillException when called from the trap handler. Addresses issue #163.
Oct 27 2021, 10:31 PM

Oct 22 2021

dcjm committed rPOLYMLa5272e41292b: Merge branch 'master' of github.com:dcjm/polyml (authored by dcjm).
Merge branch 'master' of github.com:dcjm/polyml
Oct 22 2021, 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.
Oct 22 2021, 6:07 PM
dcjm committed rPOLYMLb625da77bed7: Removed 5.8.2 compatibility files. (authored by dcjm).
Removed 5.8.2 compatibility files.
Oct 22 2021, 1:08 PM
dcjm committed rPOLYML4cdada8b5ac5: Rebuilt 64-bit bootstrap compiler. (authored by dcjm).
Rebuilt 64-bit bootstrap compiler.
Oct 22 2021, 1:08 PM
dcjm committed rPOLYMLdea5a66fb43d: Rebuilt 32-bit bootstrap compiler. (authored by dcjm).
Rebuilt 32-bit bootstrap compiler.
Oct 22 2021, 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.
Oct 22 2021, 1:08 PM
dcjm committed rPOLYML9dab69b853e7: Update version numbers for release. (authored by dcjm).
Update version numbers for release.
Oct 22 2021, 1:08 PM

Oct 20 2021

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.
Oct 20 2021, 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…
Oct 20 2021, 8:22 PM
dcjm committed rPOLYML47c29c751a15: Remove unreferenced variables. (authored by dcjm).
Remove unreferenced variables.
Oct 20 2021, 8:22 PM

Oct 11 2021

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.
Oct 11 2021, 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