Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Feb 5 2021

dcjm committed rPOLYMLf1d41a9330e7: Remove unused variable. (authored by dcjm).
Remove unused variable.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML8df90e16c8d9: Enable 32-in-64 bit mode for the interpreted version. (authored by dcjm).
Enable 32-in-64 bit mode for the interpreted version.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML71bd73eff7da: Remove some old compatibility code. (authored by dcjm).
Remove some old compatibility code.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML219d8b8db2cc: Fix defines to select assembly code only on X86. (authored by dcjm).
Fix defines to select assembly code only on X86.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLc8a92f236d4a: Updated bootstrap files with change to constant areas. (authored by dcjm).
Updated bootstrap files with change to constant areas.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLc8a18d236ae8: Merge branch 'master' into Interpret32in64 (authored by dcjm).
Merge branch 'master' into Interpret32in64
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLf063d7ea5086: Merge branch 'master' into BootFromInterpreter (authored by dcjm).
Merge branch 'master' into BootFromInterpreter
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLa2d179e87407: Rebuild 64-bit bootstrap with Unix directory separators. (authored by dcjm).
Rebuild 64-bit bootstrap with Unix directory separators.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML8a56057685ff: Rebuild bootstrap file with Unix directory separators. (authored by dcjm).
Rebuild bootstrap file with Unix directory separators.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLa29d900da145: Changes to bootstrap for Unix. (authored by dcjm).
Changes to bootstrap for Unix.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLf560f7ecb0d9: Remove old bootstrap files. (authored by dcjm).
Remove old bootstrap files.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLd5ffa7fa639d: Fixes for Unix. (authored by dcjm).
Fixes for Unix.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML43331b8216c6: Add the interpreter to the x86-specific code. Change the atomic operations… (authored by dcjm).
Add the interpreter to the x86-specific code. Change the atomic operations…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLdd568339c3a7: Remove ForkFromRTS which no longer seems to be used and remove arg argument… (authored by dcjm).
Remove ForkFromRTS which no longer seems to be used and remove arg argument…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLa129c2e746dc: Bootstrap from the interpreted version. The bootstrap process takes much… (authored by dcjm).
Bootstrap from the interpreted version. The bootstrap process takes much…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLa6166783e4c1: Split the byte-code interpreted version. (authored by dcjm).
Split the byte-code interpreted version.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLd67eb744ef9c: Rename interpret.cpp as bytecode.cpp prior to split. (authored by dcjm).
Rename interpret.cpp as bytecode.cpp prior to split.
Feb 5 2021, 5:44 PM

Feb 3 2021

dcjm committed rPOLYML62a56474f04a: Fix boxed version. (authored by dcjm).
Fix boxed version.
Feb 3 2021, 7:26 PM
dcjm committed rPOLYML8dc557b8b55e: Add PackReal32Big/Little. This has to be done differently on 32 and 64-bit… (authored by dcjm).
Add PackReal32Big/Little. This has to be done differently on 32 and 64-bit…
Feb 3 2021, 7:26 PM
dcjm committed rPOLYML37e1609bc855: Remove old code-generation support functions. (authored by dcjm).
Remove old code-generation support functions.
Feb 3 2021, 7:26 PM
dcjm committed rPOLYML4bab8c102f27: After building the basis library copy specific items into the final name-space… (authored by dcjm).
After building the basis library copy specific items into the final name-space…
Feb 3 2021, 7:26 PM
dcjm committed rPOLYML9e77b4a6cd7b: Add the exchange-and-add instruction to the interpreted version. CPUPause is… (authored by dcjm).
Add the exchange-and-add instruction to the interpreted version. CPUPause is…
Feb 3 2021, 7:26 PM
dcjm committed rPOLYMLf323c60338c0: Improve handling of mutex spin-lock. Replace atomic-increment/decrement by… (authored by dcjm).
Improve handling of mutex spin-lock. Replace atomic-increment/decrement by…
Feb 3 2021, 7:26 PM

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