Page MenuHomeIsabelle/Phabricator
Feed Advanced Search

Apr 18 2021

dcjm committed rPOLYMLd7ccfc354be5: Implement multiply, div and mod on word. (authored by dcjm).
Implement multiply, div and mod on word.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML4fade6eadc61: Implement indexed case. (authored by dcjm).
Implement indexed case.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLb62670f0b474: Fix moving arguments when calling the interpreter. (authored by dcjm).
Fix moving arguments when calling the interpreter.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML6040b9a37493: Implement word logical operations. (authored by dcjm).
Implement word logical operations.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLd11100f2f7c3: Implement check-rts-exception. (authored by dcjm).
Implement check-rts-exception.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML55216d15e979: Implement exception handlers. (authored by dcjm).
Implement exception handlers.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML26e6b003f1f3: Handle the case of interpreted code raising an exception with a native code… (authored by dcjm).
Handle the case of interpreted code raising an exception with a native code…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML94bce7809ccd: Implement move-to-container. (authored by dcjm).
Implement move-to-container.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLb9365f8ce526: Move the construction of the instruction list into the upper level of the code… (authored by dcjm).
Move the construction of the instruction list into the upper level of the code…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML17a4aa28ac2a: Avoid pushing and popping arguments to unary and binary built-ins. (authored by dcjm).
Avoid pushing and popping arguments to unary and binary built-ins.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML0acc41dbe997: Implemented load-byte and load-word with indexing and set-stack-value, used in… (authored by dcjm).
Implemented load-byte and load-word with indexing and set-stack-value, used in…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML61716971971b: Add a general function for addition/subtraction of constants. (authored by dcjm).
Add a general function for addition/subtraction of constants.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLbeef3d685808: Use X0 to hold the top of the stack where possible. This avoids a lot of… (authored by dcjm).
Use X0 to hold the top of the stack where possible. This avoids a lot of…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML5dd033ec3f28: Fix stack check limit. (authored by dcjm).
Fix stack check limit.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML9e0169191cb2: Implement addition and subtraction for fixed precision int and word. Implement… (authored by dcjm).
Implement addition and subtraction for fixed precision int and word. Implement…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLf72ddb572816: Implement "not" and get-thread-index. (authored by dcjm).
Implement "not" and get-thread-index.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML409083024d76: Add various instructions to the low-level so they can be used by the code… (authored by dcjm).
Add various instructions to the low-level so they can be used by the code…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLe0830b50f505: Add logical operations with constants, shifts and byte loads and stores. (authored by dcjm).
Add logical operations with constants, shifts and byte loads and stores.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML1c201bcd6b7d: Return a SysWord.word value when trying to create a CIF if libffi is not… (authored by dcjm).
Return a SysWord.word value when trying to create a CIF if libffi is not…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLa87320521c22: Print the unimplemented interpreter instructions that force fallback. (authored by dcjm).
Print the unimplemented interpreter instructions that force fallback.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLdbbbacbf35dd: Add functions to encode and decode bit pattern constants used in AND, OR and… (authored by dcjm).
Add functions to encode and decode bit pattern constants used in AND, OR and…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLb03b08e32ebf: Implement test of tag bit. Fix bug in closure construction. Work around… (authored by dcjm).
Implement test of tag bit. Fix bug in closure construction. Work around…
Apr 18 2021, 12:29 PM
dcjm committed rPOLYML053b455a093a: Implement memory allocation for tupling and closures. (authored by dcjm).
Implement memory allocation for tupling and closures.
Apr 18 2021, 12:29 PM
dcjm committed rPOLYMLda501f7a281d: Implement comparisons. (authored by dcjm).
Implement comparisons.
Apr 18 2021, 12:29 PM

Apr 16 2021

dcjm committed rPOLYMLd621a0b55b42: Reinstate tests on the command argument to Unix.execute to check it is… (authored by dcjm).
Reinstate tests on the command argument to Unix.execute to check it is…
Apr 16 2021, 6:59 PM
dcjm committed rPOLYML752120226579: Implement Unix.executeInEnv and hence Unix.execute largely in C rather (authored by dcjm).
Implement Unix.executeInEnv and hence Unix.execute largely in C rather
Apr 16 2021, 6:59 PM
dcjm committed rPOLYMLa9a1347362b3: Update the Windows library code for the FFI changes. (authored by dcjm).
Update the Windows library code for the FFI changes.
Apr 16 2021, 6:59 PM

Mar 15 2021

dcjm committed rPOLYML1d8e4c644a70: Don't block signals if we run with --singlethread. (authored by dcjm).
Don't block signals if we run with --singlethread.
Mar 15 2021, 9:52 AM
dcjm committed rPOLYMLbab587394374: Add an option to disable thread creation and run everything on a single thread. (authored by dcjm).
Add an option to disable thread creation and run everything on a single thread.
Mar 15 2021, 9:52 AM

Mar 8 2021

dcjm committed rPOLYMLbf2020d077bf: Only check for libffi if we are building the interpreted version. (authored by dcjm).
Only check for libffi if we are building the interpreted version.
Mar 8 2021, 8:29 PM

Mar 5 2021

dcjm committed rPOLYMLf1eb0b453418: Fix offset of RBX in "memory register" array. Needed for callbacks in 32-in-64. (authored by dcjm).
Fix offset of RBX in "memory register" array. Needed for callbacks in 32-in-64.
Mar 5 2021, 2:22 PM

Feb 22 2021

dcjm committed rPOLYMLe1c3b8b57002: Reset the C stack pointer after a call to a C function on Unix 64-bits. This… (authored by dcjm).
Reset the C stack pointer after a call to a C function on Unix 64-bits. This…
Feb 22 2021, 4:26 PM
dcjm committed rPOLYML795465d5c91e: Change type of touchClosure to 'a closure -> unit. Allow "load" in the… (authored by dcjm).
Change type of touchClosure to 'a closure -> unit. Allow "load" in the…
Feb 22 2021, 4:26 PM
dcjm committed rPOLYML2c090e1e8175: Print the exception if an ML callback raises an exception. (authored by dcjm).
Print the exception if an ML callback raises an exception.
Feb 22 2021, 4:26 PM
dcjm committed rPOLYMLa07c58e9a829: Fix shift constants. They did not take account of the tag shift. (authored by dcjm).
Fix shift constants. They did not take account of the tag shift.
Feb 22 2021, 8:45 AM

Feb 5 2021

dcjm committed rPOLYMLb340a46e07f8: Handle some cases of moving constants using mov/movn/movk. (authored by dcjm).
Handle some cases of moving constants using mov/movn/movk.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML898721e721a4: Implement stack overflow checking which also allows code to be interrupted. (authored by dcjm).
Implement stack overflow checking which also allows code to be interrupted.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML0514a5c795d2: Separate address constants from non-address constants. Provide a non-address… (authored by dcjm).
Separate address constants from non-address constants. Provide a non-address…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLc67255f09856: Merge branch 'master' into ARM64Development (authored by dcjm).
Merge branch 'master' into ARM64Development
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLf5771cbec221: Change project file for changes to Pack structures. (authored by dcjm).
Change project file for changes to Pack structures.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML2a1ea177739a: Implement function call and tail-recursive call. (authored by dcjm).
Implement function call and tail-recursive call.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML3ff4ebf0f41c: Implement conditional and unconditional branches and a simple comparison. (authored by dcjm).
Implement conditional and unconditional branches and a simple comparison.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML48dad937cc8a: Handle calls from the interpreter to functions with more than one argument. (authored by dcjm).
Handle calls from the interpreter to functions with more than one argument.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML9c440f934226: Implement raising an exception. We need to align the code address of an… (authored by dcjm).
Implement raising an exception. We need to align the code address of an…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLa2aef9aa51af: Use the basic code-generator for interpreted code as the frame-work for the… (authored by dcjm).
Use the basic code-generator for interpreted code as the frame-work for the…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML332e27f1bb40: Only generate ARM code if compilerDebug is non-zero. (authored by dcjm).
Only generate ARM code if compilerDebug is non-zero.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLa60c7b350ced: Introduce registers. Start to generate code in the code-generator. (authored by dcjm).
Introduce registers. Start to generate code in the code-generator.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML3f6aec9bb41f: Implement constants in the constant area. (authored by dcjm).
Implement constants in the constant area.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLc690b9397ca8: Add RTS-call to extract a constant from the constant area for debugging. (authored by dcjm).
Add RTS-call to extract a constant from the constant area for debugging.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML1de9e7bec41c: Update the version to 5.8.3. The addition of compilerDebugTag requires a new… (authored by dcjm).
Update the version to 5.8.3. The addition of compilerDebugTag requires a new…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLb3f8e3851ff0: Add disassembly to print the code. This is a first step in encoding ARM64… (authored by dcjm).
Add disassembly to print the code. This is a first step in encoding ARM64…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLe2e766f7b4f1: Add compilerDebug switch. It's useful to be able to switch experimental… (authored by dcjm).
Add compilerDebug switch. It's useful to be able to switch experimental…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLf6280e031ee4: Fix some bootstrapping issues. (authored by dcjm).
Fix some bootstrapping issues.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLd0da28adff43: Add a stack check because we're bypassing the check in the interpreter itself. (authored by dcjm).
Add a stack check because we're bypassing the check in the interpreter itself.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML6e95cc92b252: Add initial ARM64 "code-generator" which simply falls back to the interpreter. (authored by dcjm).
Add initial ARM64 "code-generator" which simply falls back to the interpreter.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLab0276695b67: Merge remote-tracking branch 'remotes/origin/master' into ARM64Development (authored by dcjm).
Merge remote-tracking branch 'remotes/origin/master' into ARM64Development
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML89d24690f841: Assembly code and C++ code to enter native ARM64 code. Handles enter… (authored by dcjm).
Assembly code and C++ code to enter native ARM64 code. Handles enter…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML5b2d4185f0da: Initial trivial code-generator. Add code to flush the instruction cache. (authored by dcjm).
Initial trivial code-generator. Add code to flush the instruction cache.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML6fbb119d85fb: Merge remote-tracking branch 'remotes/origin/AdditionalEnterInt' into… (authored by dcjm).
Merge remote-tracking branch 'remotes/origin/AdditionalEnterInt' into…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML75455bb35d09: Remove unused savedErrno (authored by dcjm).
Remove unused savedErrno
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLd3a1a96b1cc8: Updated boot file which will generate appropriate enter-interpreter… (authored by dcjm).
Updated boot file which will generate appropriate enter-interpreter…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML258c2c781ae8: Add new enter-int instructions for ARM64. (authored by dcjm).
Add new enter-int instructions for ARM64.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML76f9243b0ebe: Merge AdditionalEnterInt into ARM64Development. Use AtomicExchangeAndAdd… (authored by dcjm).
Merge AdditionalEnterInt into ARM64Development. Use AtomicExchangeAndAdd…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLe8e13c4e7d38: Change the ARM64 enter-int sequence to include a move to save the original link… (authored by dcjm).
Change the ARM64 enter-int sequence to include a move to save the original link…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLacaa073cc0af: Add comments on register usage. (authored by dcjm).
Add comments on register usage.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML28e3f5d5f29d: Begin writing the assembly code file with the atomic operations. (authored by dcjm).
Begin writing the assembly code file with the atomic operations.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML844f2aecf5d6: Add configuration for ARM64 (authored by dcjm).
Add configuration for ARM64
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLfd549e5fce77: Improve debugging project builds. (authored by dcjm).
Improve debugging project builds.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLe3a39c9aa7ca: Fix typo and rebuild configure script. (authored by dcjm).
Fix typo and rebuild configure script.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLc45542aacf50: Set up the files for ARM64 support. (authored by dcjm).
Set up the files for ARM64 support.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLe0995089bb4d: Add some derived instructions for access to constants. (authored by dcjm).
Add some derived instructions for access to constants.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLf5bb56c59c94: Update pre-built compilers with latest change. (authored by dcjm).
Update pre-built compilers with latest change.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML6692eb34e25f: Add projects and interpreter support for ARM64. (authored by dcjm).
Add projects and interpreter support for ARM64.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLf53f2d8e1cc8: Change interpreter "load-from-constant-area" instructions to take an offset to… (authored by dcjm).
Change interpreter "load-from-constant-area" instructions to take an offset to…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML1d5454e50cb5: Use arbitrary precision multiplication for all signed multiplications in the… (authored by dcjm).
Use arbitrary precision multiplication for all signed multiplications in the…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML208cd718f1e5: Add print function to Bootstrap structure to allow for a print before each… (authored by dcjm).
Add print function to Bootstrap structure to allow for a print before each…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLceb7e8eee231: Merge branch 'master' into BootFromInterpreter (authored by dcjm).
Merge branch 'master' into BootFromInterpreter
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML9480d413ec0d: Fix setting overflow exception. (authored by dcjm).
Fix setting overflow exception.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML97823e2f1b82: Remove some redundant typedefs. (authored by dcjm).
Remove some redundant typedefs.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLc0bc2c37df7c: Merge branch 'BootStrapSpeedUp' into BootFromInterpreter (authored by dcjm).
Merge branch 'BootStrapSpeedUp' into BootFromInterpreter
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML4e501bbc2a99: Remove virtual prefix from Load/SaveInterpreterState. These are no longer… (authored by dcjm).
Remove virtual prefix from Load/SaveInterpreterState. These are no longer…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLbd951d6dfb2f: Remove legacy entries. (authored by dcjm).
Remove legacy entries.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLe7b18c4d9d8e: Add arbitrary precision addition, subtraction and multiplication to the… (authored by dcjm).
Add arbitrary precision addition, subtraction and multiplication to the…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLedd3943627a0: Correct stack frame size for backward jumps. (authored by dcjm).
Correct stack frame size for backward jumps.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLf47a7ee08da8: Merge branch 'master' into BootStrapSpeedUp (authored by dcjm).
Merge branch 'master' into BootStrapSpeedUp
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLb527f0359342: Correct type of function. (authored by dcjm).
Correct type of function.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML64c734c4272e: Replace virtual calls to Load/SaveInterpreterState with non-virtual to see if… (authored by dcjm).
Replace virtual calls to Load/SaveInterpreterState with non-virtual to see if…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML36e71d3003b1: Further changes to remove virtuals. Make the stack-limit register explicit. (authored by dcjm).
Further changes to remove virtuals. Make the stack-limit register explicit.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLe3929e5b7a69: Merge branch 'master' into BootFromInterpreter (authored by dcjm).
Merge branch 'master' into BootFromInterpreter
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLf39391060c1a: Remove some unused declarations. (authored by dcjm).
Remove some unused declarations.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML9bc63eb4e3f7: Fix typo. (authored by dcjm).
Fix typo.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML4919e08f1fb6: Avoid locking when testing for interrupts in the interpreter. (authored by dcjm).
Avoid locking when testing for interrupts in the interpreter.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLf3e8ed038893: Fix paths so that building in a separate directory works. (authored by dcjm).
Fix paths so that building in a separate directory works.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLa8ed4801cb79: Merge branch 'BootFromInterpreter' of https://github.com/dcjm/polyml into… (authored by dcjm).
Merge branch 'BootFromInterpreter' of https://github.com/dcjm/polyml into…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML4ccc98296c4b: Remove some debugging code. (authored by dcjm).
Remove some debugging code.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML4bf6b4b2d520: Remove conversion functions from Bootstrap structure now that they are no… (authored by dcjm).
Remove conversion functions from Bootstrap structure now that they are no…
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML287873f3d544: Remove unused variable. (authored by dcjm).
Remove unused variable.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYMLf33801c0694e: Fix project file after correcting spelling mistake in file name. (authored by dcjm).
Fix project file after correcting spelling mistake in file name.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML0e526a92b0be: Simplify the building options now that there are only two bootstrap files. (authored by dcjm).
Simplify the building options now that there are only two bootstrap files.
Feb 5 2021, 5:44 PM
dcjm committed rPOLYML2f14e46474ad: Add type constraint to suppress warning message. (authored by dcjm).
Add type constraint to suppress warning message.
Feb 5 2021, 5:44 PM