Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Nov 28 2020

dcjm committed rPOLYMLb94e1fb57e5f: 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…
Nov 28 2020, 12:05 PM

Nov 16 2020

dcjm committed rPOLYMLf86ae3dc1686: Initialise fields of mutable closure after allocation. (authored by dcjm).
Initialise fields of mutable closure after allocation.
Nov 16 2020, 12:19 PM

Nov 14 2020

dcjm committed rPOLYML164b151b63e0: Add Foreign.loadLibraryIndirect to enable the library path to be computed just… (authored by dcjm).
Add Foreign.loadLibraryIndirect to enable the library path to be computed just…
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML58b6f37fbfb7: Change underlying internal definition of OS.IO.iodesc to use pointer equality… (authored by dcjm).
Change underlying internal definition of OS.IO.iodesc to use pointer equality…
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML7316a6d0ac75: Re-enable support for 32-in-64 in the interpreter. (authored by dcjm).
Re-enable support for 32-in-64 in the interpreter.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML4854a6a95672: Change format of code area to allow for the possibility of splitting the… (authored by dcjm).
Change format of code area to allow for the possibility of splitting the…
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML4ba89849bd0a: Use D format for code using the old format. (authored by dcjm).
Use D format for code using the old format.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML789812541c74: Merge branch 'master' into OriginalBoot (authored by dcjm).
Merge branch 'master' into OriginalBoot
Nov 14 2020, 12:52 PM
dcjm committed rPOLYMLff5644635c7e: Merge branch 'master' into OriginalBoot (authored by dcjm).
Merge branch 'master' into OriginalBoot
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML1eecc1f5dca7: Add projects for interpreted 32-in-64. Include references to the bootstrap… (authored by dcjm).
Add projects for interpreted 32-in-64. Include references to the bootstrap…
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML0a6fe8797079: Fixes for closures for bootstrap for 32-in-64. (authored by dcjm).
Fixes for closures for bootstrap for 32-in-64.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML53f776c48f01: Adjust some of the project settings. (authored by dcjm).
Adjust some of the project settings.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYMLc4cd5c9d4d4c: Fix size of closures so that the "length" is the number of items rather than… (authored by dcjm).
Fix size of closures so that the "length" is the number of items rather than…
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML255b76492395: Add architecture and word length information to the portable export file. (authored by dcjm).
Add architecture and word length information to the portable export file.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML9affccb15acb: Remove reference to libffi sub-project. (authored by dcjm).
Remove reference to libffi sub-project.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML61b03da5a89c: Add code to insert enter-interpreter instructions if we are bootstrapping. (authored by dcjm).
Add code to insert enter-interpreter instructions if we are bootstrapping.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYMLcdb556438d1a: Move DEBUGSIG.ML into DEBUG.sig and change the name. (authored by dcjm).
Move DEBUGSIG.ML into DEBUG.sig and change the name.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML7878a4aa5cdd: Remove old bootstrap file. (authored by dcjm).
Remove old bootstrap file.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYMLa90f19386801: Turn off instruction profiling. (authored by dcjm).
Turn off instruction profiling.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML651e42ac8921: Add instructions that need to be implemented differently in 32-in-64. (authored by dcjm).
Add instructions that need to be implemented differently in 32-in-64.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML2e1fa3ae6328: Closure objects can now appear in non-32-in-64. (authored by dcjm).
Closure objects can now appear in non-32-in-64.
Nov 14 2020, 12:52 PM
dcjm committed rPOLYML21d81b1d877b: Add derived instructions and also more load_locals. (authored by dcjm).
Add derived instructions and also more load_locals.
Nov 14 2020, 12:52 PM

Nov 4 2020

dcjm committed rPOLYML7e49fce62e3d: Memoise the cif. It's in C memory and not persistent. (authored by dcjm).
Memoise the cif. It's in C memory and not persistent.
Nov 4 2020, 5:59 PM
dcjm committed rPOLYMLffc26e62a0d0: Define a small subset of the Foreign structure during bootstrapping so that the… (authored by dcjm).
Define a small subset of the Foreign structure during bootstrapping so that the…
Nov 4 2020, 5:59 PM
dcjm committed rPOLYML890b558608f0: Handle exception if foreign call is used in interpreter but libffi is not… (authored by dcjm).
Handle exception if foreign call is used in interpreter but libffi is not…
Nov 4 2020, 12:22 PM
dcjm committed rPOLYML1affa68f0414: Write immutable byte data to the .rodata section without a relocation section. (authored by dcjm).
Write immutable byte data to the .rodata section without a relocation section.
Nov 4 2020, 12:22 PM
dcjm committed rPOLYMLfac9677d33a5: Add SHF_WRITE to the flags for the read-only data area. This is necessary for… (authored by dcjm).
Add SHF_WRITE to the flags for the read-only data area. This is necessary for…
Nov 4 2020, 12:22 PM

Oct 29 2020

dcjm committed rPOLYMLcf46747fee61: Fix syntax of call instruction. Mac OS seems to be picky about it. (authored by dcjm).
Fix syntax of call instruction. Mac OS seems to be picky about it.
Oct 29 2020, 10:19 AM
dcjm committed rPOLYMLe7324ea7a4f0: Replace call to X86TrapHandler by an indirect call through the "memory… (authored by dcjm).
Replace call to X86TrapHandler by an indirect call through the "memory…
Oct 29 2020, 10:19 AM

Oct 22 2020

dcjm committed rPOLYMLcea4c79cc7ef: Change to commit e631964. Only want to leave one word unused but it must be… (authored by dcjm).
Change to commit e631964. Only want to leave one word unused but it must be…
Oct 22 2020, 3:56 PM
dcjm committed rPOLYML1c3436bd9e65: Change various cases of calls to SpaceForAddress that can now be handled by… (authored by dcjm).
Change various cases of calls to SpaceForAddress that can now be handled by…
Oct 22 2020, 3:55 PM
dcjm committed rPOLYMLfa009e9d8399: Fix the calls to gMem.SpaceForAddress(obj)->writeAble(obj). gMem. (authored by dcjm).
Fix the calls to gMem.SpaceForAddress(obj)->writeAble(obj). gMem.
Oct 22 2020, 3:55 PM
dcjm committed rPOLYML8eef024a21bc: On use MAP_STACK on OpenBSD. It causes problems on FreeBSD. (authored by dcjm).
On use MAP_STACK on OpenBSD. It causes problems on FreeBSD.
Oct 22 2020, 3:55 PM
dcjm committed rPOLYMLbe6ebc6da885: Remove some old references to sys/signal.h and sys/termios.h. (authored by dcjm).
Remove some old references to sys/signal.h and sys/termios.h.
Oct 22 2020, 3:55 PM

Oct 20 2020

dcjm committed rPOLYMLe6319646261e: Make sure the stack pointer is actually in the mapped area rather than at the… (authored by dcjm).
Make sure the stack pointer is actually in the mapped area rather than at the…
Oct 20 2020, 9:56 AM
dcjm committed rPOLYML42079b58255e: Fix incorrect change to configure.ac. (authored by dcjm).
Fix incorrect change to configure.ac.
Oct 20 2020, 9:56 AM
dcjm committed rPOLYML079b3a6b5d42: Put the CODEISNOTEXECUTABLE flag in the Makefile rather than in configure. (authored by dcjm).
Put the CODEISNOTEXECUTABLE flag in the Makefile rather than in configure.
Oct 20 2020, 9:56 AM
dcjm committed rPOLYML801714a708bc: Use a .data.rel.ro section for the read-only data instead of a .rodata section. (authored by dcjm).
Use a .data.rel.ro section for the read-only data instead of a .rodata section.
Oct 20 2020, 9:56 AM
dcjm committed rPOLYMLd224e17f95a0: Rebuild the configuration files after fixing the change to configure.ac. (authored by dcjm).
Rebuild the configuration files after fixing the change to configure.ac.
Oct 20 2020, 9:56 AM
dcjm committed rPOLYML3183ddd7ef69: Add a define to indicate building for the interpreter and don't want the… (authored by dcjm).
Add a define to indicate building for the interpreter and don't want the…
Oct 20 2020, 9:56 AM

Oct 19 2020

dcjm committed rPOLYML2eed06577510: Change threadId argument to FirstArgument. These were merged after the change… (authored by dcjm).
Change threadId argument to FirstArgument. These were merged after the change…
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML2dcaf593e4e7: Merge branch 'VolatileRef' into CompiledFFITesting (authored by dcjm).
Merge branch 'VolatileRef' into CompiledFFITesting
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML03c23e724928: Fix MutexBlock after change to mutex values. (authored by dcjm).
Fix MutexBlock after change to mutex values.
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML76a9c2d1321c: Minor fixes. (authored by dcjm).
Minor fixes.
Oct 19 2020, 12:39 PM
dcjm committed rPOLYMLe4ca9570364c: Merge branch 'VolatileRef' into CompiledFFITesting (authored by dcjm).
Merge branch 'VolatileRef' into CompiledFFITesting
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML577b743e2b30: Move the creation of the atExit list up to LibrarySupport so that it can be… (authored by dcjm).
Move the creation of the atExit list up to LibrarySupport so that it can be…
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML554e9a26bbea: Fix atExit. (authored by dcjm).
Fix atExit.
Oct 19 2020, 12:39 PM
dcjm committed rPOLYMLaff77383269a: Remove atExit functions from RTS since it's now handled entirely in ML. (authored by dcjm).
Remove atExit functions from RTS since it's now handled entirely in ML.
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML3c3179664d88: When exporting a volatile ref we can clear it if it is in hierarchy zero i.e. (authored by dcjm).
When exporting a volatile ref we can clear it if it is in hierarchy zero i.e.
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML7b258292fd45: Merge branch 'master' into ForkRTSModule (authored by dcjm).
Merge branch 'master' into ForkRTSModule
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML47edaa46b73b: Merge branch 'master' into VolatileRef (authored by dcjm).
Merge branch 'master' into VolatileRef
Oct 19 2020, 12:39 PM
dcjm committed rPOLYMLd3b1b22f3b26: Remove ProcessExternal::SetSingleThreaded since this is handled by RtsModule… (authored by dcjm).
Remove ProcessExternal::SetSingleThreaded since this is handled by RtsModule…
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML958394264734: Add a virtual function to the RtsModules class to handle the very specific case… (authored by dcjm).
Add a virtual function to the RtsModules class to handle the very specific case…
Oct 19 2020, 12:39 PM
dcjm committed rPOLYMLe16e73a30b45: Note a problem with clearing before exporting. The exported version of a saved… (authored by dcjm).
Note a problem with clearing before exporting. The exported version of a saved…
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML3fdba2e620c4: Use volatile refs explicitly. Convert OS.Process.atExit to use them so that it… (authored by dcjm).
Use volatile refs explicitly. Convert OS.Process.atExit to use them so that it…
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML5069d7f22b68: Clear no-overwrite word ref values when they are exported. This avoids (authored by dcjm).
Clear no-overwrite word ref values when they are exported. This avoids
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML8f3d4133c678: Change comment to reflect the changes to the code. (authored by dcjm).
Change comment to reflect the changes to the code.
Oct 19 2020, 12:39 PM
dcjm committed rPOLYMLf5bd8f5d7ac8: Change the X86 code-generator so that resetting a mutex sets it to zero. (authored by dcjm).
Change the X86 code-generator so that resetting a mutex sets it to zero.
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML1a0edce725cc: Change the way mutexes are locked and unlocked. They are now created as zero… (authored by dcjm).
Change the way mutexes are locked and unlocked. They are now created as zero…
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML7708643e1098: Change the buildClosure functions into buildCallback functions that take the ML… (authored by dcjm).
Change the buildClosure functions into buildCallback functions that take the ML…
Oct 19 2020, 12:39 PM
dcjm committed rPOLYMLea1d81c08167: Merge branch 'master' into CompiledFFITesting (authored by dcjm).
Merge branch 'master' into CompiledFFITesting
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML0cf2b206fec8: Merge branch 'AnotherPollBranch' into CompiledFFITesting (authored by dcjm).
Merge branch 'AnotherPollBranch' into CompiledFFITesting
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML595b0a71904d: Merge branch 'master' into AnotherPollBranch (authored by dcjm).
Merge branch 'master' into AnotherPollBranch
Oct 19 2020, 12:39 PM
dcjm committed rPOLYMLd88a3edcb98c: Merge branch 'master' into AnotherPollBranch (authored by dcjm).
Merge branch 'master' into AnotherPollBranch
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML04a4c1ed1756: Merge branch 'master' into AnotherPollBranch (authored by dcjm).
Merge branch 'master' into AnotherPollBranch
Oct 19 2020, 12:39 PM
dcjm committed rPOLYML8e316fd16edd: Remove the code to make trampolines since they are no longer used. (authored by dcjm).
Remove the code to make trampolines since they are no longer used.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML3d031d25a475: Merge branch 'CompileForeignCall' into CompliedFFITesting (authored by dcjm).
Merge branch 'CompileForeignCall' into CompliedFFITesting
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML48cb2b24ff27: Revert "Remove FlushInstructionCache" d3c42ae. We may need this for the ARM… (authored by dcjm).
Revert "Remove FlushInstructionCache" d3c42ae. We may need this for the ARM…
Oct 19 2020, 12:38 PM
dcjm committed rPOLYMLc89f66c8ee6e: The abi type is always a short int. (authored by dcjm).
The abi type is always a short int.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYMLbbfff949ac36: Merge branch 'master' into CompileForeignCall (authored by dcjm).
Merge branch 'master' into CompileForeignCall
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML0433fa46ab63: Remove PolyInterpretedCreateCallback since we're not supporting callbacks in… (authored by dcjm).
Remove PolyInterpretedCreateCallback since we're not supporting callbacks in…
Oct 19 2020, 12:38 PM
dcjm committed rPOLYMLf569b0e3e8ed: Fixes, mainly with structs. (authored by dcjm).
Fixes, mainly with structs.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML03439e5b3c54: Pass a vector of addresses to ffi_call rather than the arguments themselves. (authored by dcjm).
Pass a vector of addresses to ffi_call rather than the arguments themselves.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML32d30a3f8d98: Include a temporary version of RunCall.rtsCallFull4 because it isn't included… (authored by dcjm).
Include a temporary version of RunCall.rtsCallFull4 because it isn't included…
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML7977da2fa662: Tidy up to fix some issues. (authored by dcjm).
Tidy up to fix some issues.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYMLf91979dbb293: Raise an exception if FFI is not supported. (authored by dcjm).
Raise an exception if FFI is not supported.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYMLdc3fe8d79cbb: Added support for foreign function calling. (authored by dcjm).
Added support for foreign function calling.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML3078ee3a3193: Add initial support for FFI in interpreted version. (authored by dcjm).
Add initial support for FFI in interpreted version.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYMLdaae1dd83d51: Merge branch 'CompileForeignCall' of https://github.com/dcjm/polyml into… (authored by dcjm).
Merge branch 'CompileForeignCall' of https://github.com/dcjm/polyml into…
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML5f27082311fa: Add configure tests for libffi and ffi.h in case we're building the interpreted… (authored by dcjm).
Add configure tests for libffi and ffi.h in case we're building the interpreted…
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML27c401732751: Added Inet6Sock and removed NetHostDB. This brings it in line for polyml.pyp. (authored by dcjm).
Added Inet6Sock and removed NetHostDB. This brings it in line for polyml.pyp.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML3136b9e2ad76: Rename the configurations to build the interpreted versions so Debug and… (authored by dcjm).
Rename the configurations to build the interpreted versions so Debug and…
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML9f1501d89010: Turn abiList into a function so it is only constructed when initGlobalEnv is… (authored by dcjm).
Turn abiList into a function so it is only constructed when initGlobalEnv is…
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML0e4a53fdf878: Another basis file that needs a different version after the compiler has been… (authored by dcjm).
Another basis file that needs a different version after the compiler has been…
Oct 19 2020, 12:38 PM
dcjm committed rPOLYMLa7c1ad60d382: Rebuild to incorporate changes to Makefile.am. (authored by dcjm).
Rebuild to incorporate changes to Makefile.am.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYMLd049d85ff591: Forgot to include this. (authored by dcjm).
Forgot to include this.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML183f259793cf: Merge branch 'master' into CompileForeignCall (authored by dcjm).
Merge branch 'master' into CompileForeignCall
Oct 19 2020, 12:38 PM
dcjm committed rPOLYMLb20f645a47d8: 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…
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML659ee6b884d0: Move changed files now that the base version is 5.8.1. (authored by dcjm).
Move changed files now that the base version is 5.8.1.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML96cac5d31cff: Rebuild configure and Makefiles after removing libffi. (authored by dcjm).
Rebuild configure and Makefiles after removing libffi.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML9b3de2006d5d: No longer use libffi for anything. (authored by dcjm).
No longer use libffi for anything.
Oct 19 2020, 12:38 PM
dcjm committed rPOLYML04d02b420f73: Remove libffi completely. (authored by dcjm).
Remove libffi completely.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML7707bcf6dd7f: Switch to using the ML representation of the data structure for C types. (authored by dcjm).
Switch to using the ML representation of the data structure for C types.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML6b111a0974e6: Use an internal representation for the ABI rather than libffi's. (authored by dcjm).
Use an internal representation for the ABI rather than libffi's.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML6961db963d31: Create a Foreign structure in Initialise and use that when building the basis… (authored by dcjm).
Create a Foreign structure in Initialise and use that when building the basis…
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML8c6694eff2b5: Remove RTS calls from poly_ffi. (authored by dcjm).
Remove RTS calls from poly_ffi.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYMLbdbd450fbc48: Add old version for bootstrap. (authored by dcjm).
Add old version for bootstrap.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML41b61aa395a9: Switch to using the separate RTS calls. (authored by dcjm).
Switch to using the separate RTS calls.
Oct 19 2020, 12:37 PM
dcjm committed rPOLYMLc8403b6d1259: Complete closures for Unix 64-bit by implementing structs as arguments and… (authored by dcjm).
Complete closures for Unix 64-bit by implementing structs as arguments and…
Oct 19 2020, 12:37 PM
dcjm committed rPOLYML3c59e5fcd416: Small fix to FFI RTS call for Unix. (authored by dcjm).
Small fix to FFI RTS call for Unix.
Oct 19 2020, 12:37 PM