Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Oct 19 2020

dcjm committed rPOLYMLa551a0872024: Only generate Rex bytes for MOVSXB/MOVSXW in 64-bit mode. (authored by dcjm).
Only generate Rex bytes for MOVSXB/MOVSXW in 64-bit mode.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLcf9a3aff7d60: Reload r15, the heap pointer, after a call because a callback could have… (authored by dcjm).
Reload r15, the heap pointer, after a call because a callback could have…
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLa3227e4109f3: Don't use XMM6: it's callee-save in Windows/X64. We're unlikely to need it but… (authored by dcjm).
Don't use XMM6: it's callee-save in Windows/X64. We're unlikely to need it but…
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML7a88df424ec8: Fix passing more than four arguments in Win X64. (authored by dcjm).
Fix passing more than four arguments in Win X64.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML293c3698a902: Change the Foreign structure to use compiled FFI calls. (authored by dcjm).
Change the Foreign structure to use compiled FFI calls.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML1de3f1ed1634: Copy Foreign.sml to allow bootstrapping from version 5.8. (authored by dcjm).
Copy Foreign.sml to allow bootstrapping from version 5.8.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLf854e0ad4d04: Update compiler version to 5.8.1. (authored by dcjm).
Update compiler version to 5.8.1.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML37b9ee157513: Add support for X86/64 on Unix. (authored by dcjm).
Add support for X86/64 on Unix.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML203c16fc1f04: Added support for X86/64 on Windows. (authored by dcjm).
Added support for X86/64 on Windows.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML40285594c3d3: Complete basic implementation for X86/32. (authored by dcjm).
Complete basic implementation for X86/32.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML9a1fa4ffb0b1: Merge branch 'master' into CompileForeignCall (authored by dcjm).
Merge branch 'master' into CompileForeignCall
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLc50729ff06d1: Basic code to implement function call without any arguments. (authored by dcjm).
Basic code to implement function call without any arguments.
Oct 19 2020, 12:34 PM
dcjm committed rPOLYMLdd4829927e18: Merge branch 'master' into CompileForeignCall (authored by dcjm).
Merge branch 'master' into CompileForeignCall
Oct 19 2020, 12:34 PM
dcjm committed rPOLYML1accd78d45bd: Begin the process of compiling foreign calls. (authored by dcjm).
Begin the process of compiling foreign calls.
Oct 19 2020, 12:34 PM

Oct 14 2020

dcjm committed rPOLYMLd68c6736402e: The general "tail" instruction is now in the extended set. (authored by dcjm).
The general "tail" instruction is now in the extended set.
Oct 14 2020, 4:23 PM
dcjm committed rPOLYML27b540108c51: Fix offsets in test. (authored by dcjm).
Fix offsets in test.
Oct 14 2020, 2:03 PM
dcjm committed rPOLYML8005eac0d430: genRTSCallFastGeneraltoFloat is now an extended operation. (authored by dcjm).
genRTSCallFastGeneraltoFloat is now an extended operation.
Oct 14 2020, 2:03 PM
dcjm committed rPOLYML7d9961273657: LoadC8/StoreC8 use genCAddress so that involves an extra item on the stack. (authored by dcjm).
LoadC8/StoreC8 use genCAddress so that involves an extra item on the stack.
Oct 14 2020, 2:03 PM
dcjm committed rPOLYML10062b68e674: LoadC8/StoreC8 now take both an offset and an index as with the other C-memory… (authored by dcjm).
LoadC8/StoreC8 now take both an offset and an index as with the other C-memory…
Oct 14 2020, 2:03 PM
dcjm committed rPOLYML5b30027d4fb2: Don't build the UnixSock structure on Windows. (authored by dcjm).
Don't build the UnixSock structure on Windows.
Oct 14 2020, 2:03 PM

Oct 13 2020

dcjm committed rPOLYML4c6a1079c698: Revert accidental inclusion of project file in last commit. (authored by dcjm).
Revert accidental inclusion of project file in last commit.
Oct 13 2020, 9:43 AM
dcjm committed rPOLYMLf15d12323f92: Fix K and E exports for 32-in-64. (authored by dcjm).
Fix K and E exports for 32-in-64.
Oct 13 2020, 9:43 AM

Oct 12 2020

dcjm committed rPOLYMLff874d8a0d07: PE/COFF exporter: Save the first relocation and write it to the end of the… (authored by dcjm).
PE/COFF exporter: Save the first relocation and write it to the end of the…
Oct 12 2020, 7:21 PM
dcjm committed rPOLYML643d6eb66862: Move one opcode value because the value was still being used during the… (authored by dcjm).
Move one opcode value because the value was still being used during the…
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML08840a0770ca: Remove the intermediate stage instructions and add a couple of reduced… (authored by dcjm).
Remove the intermediate stage instructions and add a couple of reduced…
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML7a66a6d1031b: Combine jump with equalLocalB. (authored by dcjm).
Combine jump with equalLocalB.
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML607cfb990433: Combine the tag check instructions with jumps. (authored by dcjm).
Combine the tag check instructions with jumps.
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML78f60dc73acb: Move some more rarely used instructions into the escaped instruction group. (authored by dcjm).
Move some more rarely used instructions into the escaped instruction group.
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML12ec8bf87b6f: Replace a conditional branch round an unconditional branch by a conditional… (authored by dcjm).
Replace a conditional branch round an unconditional branch by a conditional…
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML306f1960555a: Link branches together to avoid a branch to a branch. (authored by dcjm).
Link branches together to avoid a branch to a branch.
Oct 12 2020, 7:20 PM
dcjm committed rPOLYMLca556b86aec6: Add an optimisation pass. Currently this only deals with eliminating… (authored by dcjm).
Add an optimisation pass. Currently this only deals with eliminating…
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML4ebb4df22931: Add some combined instructions that implement common sequences for datatype tag… (authored by dcjm).
Add some combined instructions that implement common sequences for datatype tag…
Oct 12 2020, 7:20 PM
dcjm committed rPOLYML5225f3423135: Improvements to interpreted code and the interpreter. Add code to handle… (authored by dcjm).
Improvements to interpreted code and the interpreter. Add code to handle…
Oct 12 2020, 7:19 PM
dcjm committed rPOLYMLbd97deb0d0a8: Fix bug that only showed up after several bootstraps. (authored by dcjm).
Fix bug that only showed up after several bootstraps.
Oct 12 2020, 7:19 PM
dcjm committed rPOLYMLa55d0e291e9a: Fix bug in indexed case in the interpreter. Start adding composite… (authored by dcjm).
Fix bug in indexed case in the interpreter. Start adding composite…
Oct 12 2020, 7:19 PM
dcjm committed rPOLYMLb79bac609abe: Overhaul the interpreted code. Separate rarely used instructions into two-byte… (authored by dcjm).
Overhaul the interpreted code. Separate rarely used instructions into two-byte…
Oct 12 2020, 7:19 PM
dcjm committed rPOLYML3c0dd39a822b: Add separate descriptors for entry points and weak references. These are… (authored by dcjm).
Add separate descriptors for entry points and weak references. These are…
Oct 12 2020, 7:19 PM
dcjm committed rPOLYMLed98efd94fef: Merge branch 'master' of https://github.com/dcjm/polyml (authored by dcjm).
Merge branch 'master' of https://github.com/dcjm/polyml
Oct 12 2020, 7:19 PM
dcjm committed rPOLYML9a539fd19372: Add hint file for Visual Studio. (authored by dcjm).
Add hint file for Visual Studio.
Oct 12 2020, 7:19 PM
dcjm committed rPOLYML5049af2b267a: Change DEBUGGER signature in ROOT file for interpreted version (authored by dcjm).
Change DEBUGGER signature in ROOT file for interpreted version
Oct 12 2020, 7:19 PM

Oct 5 2020

dcjm committed rPOLYML0fd3d544245c: Fix build for module after change to file name for DATE signature. (authored by dcjm).
Fix build for module after change to file name for DATE signature.
Oct 5 2020, 8:37 PM
dcjm committed rPOLYMLbeea43311678: Change command-line functions to use separate RTS functions rather than a… (authored by dcjm).
Change command-line functions to use separate RTS functions rather than a…
Oct 5 2020, 8:37 PM
dcjm committed rPOLYMLae4b2d88933d: Fix interpreted code-generator to handle offsets in addresses as int rather… (authored by dcjm).
Fix interpreted code-generator to handle offsets in addresses as int rather…
Oct 5 2020, 8:37 PM
dcjm committed rPOLYML09827e8d7c2e: Change project file for interpreted version in a similar way to the X86 version. (authored by dcjm).
Change project file for interpreted version in a similar way to the X86 version.
Oct 5 2020, 8:37 PM
dcjm committed rPOLYML5c236baed87f: Change markers for documentation comments. (authored by dcjm).
Change markers for documentation comments.
Oct 5 2020, 8:37 PM
dcjm committed rPOLYMLdb3cca5dbf4c: Add documentation entries to the signatures for PolyDoc. In some cases this… (authored by dcjm).
Add documentation entries to the signatures for PolyDoc. In some cases this…
Oct 5 2020, 8:37 PM
dcjm committed rPOLYML08a0b3f63acd: Add ".sig" as a possible file extension to "use". In PolyML.make try ".sig"… (authored by dcjm).
Add ".sig" as a possible file extension to "use". In PolyML.make try ".sig"…
Oct 5 2020, 8:37 PM

Sep 1 2020

dcjm committed rPOLYMLb47866345ab6: Treat the word offset in Foreign.Memory as signed. This applies to the get and… (authored by dcjm).
Treat the word offset in Foreign.Memory as signed. This applies to the get and…
Sep 1 2020, 4:38 PM
dcjm committed rPOLYMLa2e243468ee0: Use GCC intrinsics for atomic operations rather than Windows functions if… (authored by dcjm).
Use GCC intrinsics for atomic operations rather than Windows functions if…
Sep 1 2020, 4:38 PM
dcjm committed rPOLYML07ae67e015d7: Fix for Linux and rebuild configure. (authored by dcjm).
Fix for Linux and rebuild configure.
Sep 1 2020, 4:38 PM
dcjm committed rPOLYML34e716b0eeac: Add the PC value to a queue and process the queue in the main thread. This… (authored by dcjm).
Add the PC value to a queue and process the queue in the main thread. This…
Sep 1 2020, 4:38 PM
dcjm committed rPOLYML23c43a19e751: Separate out asynchronous and synchronous profiling counting. (authored by dcjm).
Separate out asynchronous and synchronous profiling counting.
Sep 1 2020, 4:38 PM

Aug 26 2020

dcjm committed rPOLYML6ef92ae4b214: Fix objSize/showSize for code cells in 32-in-64. Fixes #140. (authored by dcjm).
Fix objSize/showSize for code cells in 32-in-64. Fixes #140.
Aug 26 2020, 12:43 PM

Aug 25 2020

dcjm committed rPOLYMLa3cfdf648da5: Reduce the multiplier for inlining in the simplifier. (authored by dcjm).
Reduce the multiplier for inlining in the simplifier.
Aug 25 2020, 6:09 PM
dcjm committed rPOLYML823c7ef93e9a: Reset the paging limit if there are no page faults since the last heap resizing. (authored by dcjm).
Reset the paging limit if there are no page faults since the last heap resizing.
Aug 25 2020, 6:09 PM
dcjm committed rPOLYMLf1b510a4cd4d: Increase the limit for inline size for the simplifier before a function will… (authored by dcjm).
Increase the limit for inline size for the simplifier before a function will…
Aug 25 2020, 6:09 PM
dcjm committed rPOLYMLc950d90e22aa: Avoid overflowing the C stack if we have a root pointing directly to a long… (authored by dcjm).
Avoid overflowing the C stack if we have a root pointing directly to a long…
Aug 25 2020, 6:09 PM

Aug 14 2020

dcjm committed rPOLYML3365cf05afda: XWindows: Replace the two calls to process_may_block by direct calls to… (authored by dcjm).
XWindows: Replace the two calls to process_may_block by direct calls to…
Aug 14 2020, 1:27 PM

Aug 11 2020

dcjm committed rPOLYMLf54aa41240d0: Functions marked as InlineAlways can be recursive and so the inline marking has… (authored by dcjm).
Functions marked as InlineAlways can be recursive and so the inline marking has…
Aug 11 2020, 5:07 PM
dcjm committed rPOLYMLf28c1f2d462c: Use config.h for the Windows osmem if it is provided e.g. by Msys. (authored by dcjm).
Use config.h for the Windows osmem if it is provided e.g. by Msys.
Aug 11 2020, 3:11 PM
dcjm committed rPOLYMLb95a85ead3ae: Remake Makefile.in after merge. (authored by dcjm).
Remake Makefile.in after merge.
Aug 11 2020, 9:09 AM
dcjm committed rPOLYML188ea5272621: Merge branch 'ExecuteWrite' (authored by dcjm).
Merge branch 'ExecuteWrite'
Aug 11 2020, 9:09 AM
dcjm committed rPOLYMLde60abadc84f: Merge branch 'master' into ExecuteWrite (authored by dcjm).
Merge branch 'master' into ExecuteWrite
Aug 11 2020, 9:09 AM
dcjm committed rPOLYML88a6eca436ec: Use O_TMPFILE on Linux to create the temporary file for mapping. Saves having… (authored by dcjm).
Use O_TMPFILE on Linux to create the temporary file for mapping. Saves having…
Aug 11 2020, 9:09 AM
dcjm committed rPOLYML9fd706535dad: Add MAP_STACK in 32-in-64 for OpenBSD. (authored by dcjm).
Add MAP_STACK in 32-in-64 for OpenBSD.
Aug 11 2020, 9:09 AM
dcjm committed rPOLYML9691933b9055: Support 32-in-64 on OSs that disallow write+execute. (authored by dcjm).
Support 32-in-64 on OSs that disallow write+execute.
Aug 11 2020, 9:09 AM
dcjm committed rPOLYML985effca050e: Fix changes for Unix. (authored by dcjm).
Fix changes for Unix.
Aug 11 2020, 9:09 AM
dcjm committed rPOLYML0283ba475549: Split the Windows and Unix versions of the allocators. (authored by dcjm).
Split the Windows and Unix versions of the allocators.
Aug 11 2020, 9:09 AM
dcjm committed rPOLYML1507c82e4597: Merge branch 'ExecuteWrite' of https://github.com/dcjm/polyml into ExecuteWrite (authored by dcjm).
Merge branch 'ExecuteWrite' of https://github.com/dcjm/polyml into ExecuteWrite
Aug 11 2020, 9:09 AM
dcjm committed rPOLYML8a09919cf1cd: Should be @progbits not %. (authored by dcjm).
Should be @progbits not %.
Aug 11 2020, 9:09 AM
dcjm committed rPOLYMLd91625d272a2: Add an extra section when exporting on Linux to mark the stack as non… (authored by dcjm).
Add an extra section when exporting on Linux to mark the stack as non…
Aug 11 2020, 9:09 AM
dcjm committed rPOLYML8fc5b4b3ebb6: Remove the configure test for the non-executable stack flag and instead use it… (authored by dcjm).
Remove the configure test for the non-executable stack flag and instead use it…
Aug 11 2020, 9:08 AM
dcjm committed rPOLYML367fef5e6815: Merge branch 'ExecuteWrite' of https://github.com/dcjm/polyml into ExecuteWrite (authored by dcjm).
Merge branch 'ExecuteWrite' of https://github.com/dcjm/polyml into ExecuteWrite
Aug 11 2020, 9:08 AM
dcjm committed rPOLYML9f0a6109d720: Fixes to compile on Linux. (authored by dcjm).
Fixes to compile on Linux.
Aug 11 2020, 9:08 AM
dcjm committed rPOLYML3d76a242f156: Mmap with execute+write returns EACCES in SElinux. (authored by dcjm).
Mmap with execute+write returns EACCES in SElinux.
Aug 11 2020, 9:08 AM
dcjm committed rPOLYML0fc89def32f3: Change from boolean executable/non-executable into a three-way selection… (authored by dcjm).
Change from boolean executable/non-executable into a three-way selection…
Aug 11 2020, 9:08 AM
dcjm committed rPOLYML1b579fda5f12: Implement dual areas if mmap fails when write+execute permission is requested. (authored by dcjm).
Implement dual areas if mmap fails when write+execute permission is requested.
Aug 11 2020, 9:08 AM
dcjm committed rPOLYML89f0cb1022d7: When trying to write to the code area write to the shadow area instead. This… (authored by dcjm).
When trying to write to the code area write to the shadow area instead. This…
Aug 11 2020, 9:08 AM
dcjm committed rPOLYML81ea85843cc2: The interpreted version does not need "code" to have execute permission because… (authored by dcjm).
The interpreted version does not need "code" to have execute permission because…
Aug 11 2020, 9:08 AM
dcjm committed rPOLYML49c0cc4cbaed: Change osmem.cpp for Linux. (authored by dcjm).
Change osmem.cpp for Linux.
Aug 11 2020, 9:08 AM
dcjm committed rPOLYMLd82478675931: Change the low-level allocator to separate out code and data allocation. (authored by dcjm).
Change the low-level allocator to separate out code and data allocation.
Aug 11 2020, 9:08 AM

Aug 9 2020

dcjm committed rPOLYML159dc81efc3b: Merge branch 'master' into GCPercent (authored by dcjm).
Merge branch 'master' into GCPercent
Aug 9 2020, 9:30 AM

Aug 8 2020

dcjm committed rPOLYML4de69b686011: Add Phil's test as a regression test. (authored by dcjm).
Add Phil's test as a regression test.
Aug 8 2020, 9:48 AM
dcjm committed rPOLYMLe7e445063615: Mark inline shim functions generated by the optimiser differently from those… (authored by dcjm).
Mark inline shim functions generated by the optimiser differently from those…
Aug 8 2020, 9:48 AM
dcjm committed rPOLYMLd57a84907afa: Poll should still pause if there are no descriptors. Fix problem with OS. (authored by dcjm).
Poll should still pause if there are no descriptors. Fix problem with OS.
Aug 8 2020, 9:48 AM

Aug 7 2020

dcjm committed rPOLYMLf80d20c14967: Some clean up of remote statistics in Windows. (authored by dcjm).
Some clean up of remote statistics in Windows.
Aug 7 2020, 5:48 PM
dcjm committed rPOLYML52881757b127: The shared memory file for remote statistics on Unix is now in $POLYSTATSDIR if… (authored by dcjm).
The shared memory file for remote statistics on Unix is now in $POLYSTATSDIR if…
Aug 7 2020, 5:48 PM

Aug 6 2020

dcjm committed rPOLYML59232968ed60: Posix.Process.exit should call PolyFinish rather than PolyTerminate so that… (authored by dcjm).
Posix.Process.exit should call PolyFinish rather than PolyTerminate so that…
Aug 6 2020, 6:14 PM
dcjm committed rPOLYMLe51f00cccb0a: Tidy-up shutdown of statistics. (authored by dcjm).
Tidy-up shutdown of statistics.
Aug 6 2020, 6:14 PM
dcjm committed rPOLYMLcbd49e8ae6cd: Fix changes to statistics.cpp for Windows. (authored by dcjm).
Fix changes to statistics.cpp for Windows.
Aug 6 2020, 6:14 PM
dcjm committed rPOLYMLc1ff455836c7: Unlink any existing statistics file. Open will fail if it exists. Report an… (authored by dcjm).
Unlink any existing statistics file. Open will fail if it exists. Report an…
Aug 6 2020, 6:14 PM
dcjm committed rPOLYML4c21a9d8e5e7: Small change to 8e4d341 to allow compilation when int is IntInf.int. (authored by dcjm).
Small change to 8e4d341 to allow compilation when int is IntInf.int.
Aug 6 2020, 8:40 AM

Jul 30 2020

dcjm committed rPOLYMLd471c5e6e1cf: Update compiler version to 5.8.2 so that we pick up the correct files on… (authored by dcjm).
Update compiler version to 5.8.2 so that we pick up the correct files on…
Jul 30 2020, 1:46 PM
dcjm committed rPOLYML8e4d341bd778: Check inside the simplifier that the body of a potential inline function is… (authored by dcjm).
Check inside the simplifier that the body of a potential inline function is…
Jul 30 2020, 1:46 PM
dcjm committed rPOLYML6442ac3a51c6: Remove unused parameters. (authored by dcjm).
Remove unused parameters.
Jul 30 2020, 1:46 PM
dcjm committed rPOLYML654e1adee079: Merge branch 'master' of github.com:dcjm/polyml (authored by dcjm).
Merge branch 'master' of github.com:dcjm/polyml
Jul 30 2020, 1:46 PM
dcjm committed rPOLYML5dc69bc3a7d5: Search for machine/reloc.h separately from elf_abi.h. These seem to have been… (authored by dcjm).
Search for machine/reloc.h separately from elf_abi.h. These seem to have been…
Jul 30 2020, 1:46 PM
dcjm committed rPOLYML7d72f11eeab9: Change all the casts from PolyWord* to stackItem*. Some had been missed. (authored by dcjm).
Change all the casts from PolyWord* to stackItem*. Some had been missed.
Jul 30 2020, 1:46 PM

Jul 24 2020

dcjm committed rPOLYML7e214665fa88: Remove push and pop of rcx/ecx in CALL_EXTRA macro. This seems to be a relic… (authored by dcjm).
Remove push and pop of rcx/ecx in CALL_EXTRA macro. This seems to be a relic…
Jul 24 2020, 1:08 PM
dcjm committed rPOLYMLb9e4e5128d56: Merge commit '196ac3bc7d11b43f488fb945077aac162144bd31' (authored by dcjm).
Merge commit '196ac3bc7d11b43f488fb945077aac162144bd31'
Jul 24 2020, 1:08 PM