Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (5)

Low (6)

Wishlist (4)

Active Repositories

Recent Activity

Yesterday

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…
Tue, Oct 20, 9:56 AM
dcjm committed rPOLYML42079b58255e: Fix incorrect change to configure.ac. (authored by dcjm).
Fix incorrect change to configure.ac.
Tue, Oct 20, 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.
Tue, Oct 20, 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.
Tue, Oct 20, 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.
Tue, Oct 20, 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…
Tue, Oct 20, 9:56 AM
paulson committed rISABELLEa9aaef9fcf86: merged.
merged
Tue, Oct 20, 12:16 AM
paulson <lp15@cam.ac.uk> committed rISABELLE7956d958ef5b: tidying and de-applying.
tidying and de-applying
Tue, Oct 20, 12:16 AM

Mon, Oct 19

makarius created Blog Post: Update external prover components for Sledgehammer etc..
Mon, Oct 19, 5:02 PM
makarius created Blog Post: Include veriT component for "smt" method.
Mon, Oct 19, 4:59 PM
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…
Mon, Oct 19, 12:39 PM
dcjm committed rPOLYML2dcaf593e4e7: Merge branch 'VolatileRef' into CompiledFFITesting (authored by dcjm).
Merge branch 'VolatileRef' into CompiledFFITesting
Mon, Oct 19, 12:39 PM
dcjm committed rPOLYML03c23e724928: Fix MutexBlock after change to mutex values. (authored by dcjm).
Fix MutexBlock after change to mutex values.
Mon, Oct 19, 12:39 PM
dcjm committed rPOLYML76a9c2d1321c: Minor fixes. (authored by dcjm).
Minor fixes.
Mon, Oct 19, 12:39 PM
dcjm committed rPOLYMLe4ca9570364c: Merge branch 'VolatileRef' into CompiledFFITesting (authored by dcjm).
Merge branch 'VolatileRef' into CompiledFFITesting
Mon, Oct 19, 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…
Mon, Oct 19, 12:39 PM
dcjm committed rPOLYML554e9a26bbea: Fix atExit. (authored by dcjm).
Fix atExit.
Mon, Oct 19, 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.
Mon, Oct 19, 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.
Mon, Oct 19, 12:39 PM
dcjm committed rPOLYML7b258292fd45: Merge branch 'master' into ForkRTSModule (authored by dcjm).
Merge branch 'master' into ForkRTSModule
Mon, Oct 19, 12:39 PM
dcjm committed rPOLYML47edaa46b73b: Merge branch 'master' into VolatileRef (authored by dcjm).
Merge branch 'master' into VolatileRef
Mon, Oct 19, 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…
Mon, Oct 19, 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…
Mon, Oct 19, 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…
Mon, Oct 19, 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…
Mon, Oct 19, 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
Mon, Oct 19, 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.
Mon, Oct 19, 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.
Mon, Oct 19, 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…
Mon, Oct 19, 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…
Mon, Oct 19, 12:39 PM
dcjm committed rPOLYMLea1d81c08167: Merge branch 'master' into CompiledFFITesting (authored by dcjm).
Merge branch 'master' into CompiledFFITesting
Mon, Oct 19, 12:39 PM
dcjm committed rPOLYML0cf2b206fec8: Merge branch 'AnotherPollBranch' into CompiledFFITesting (authored by dcjm).
Merge branch 'AnotherPollBranch' into CompiledFFITesting
Mon, Oct 19, 12:39 PM
dcjm committed rPOLYML595b0a71904d: Merge branch 'master' into AnotherPollBranch (authored by dcjm).
Merge branch 'master' into AnotherPollBranch
Mon, Oct 19, 12:39 PM
dcjm committed rPOLYMLd88a3edcb98c: Merge branch 'master' into AnotherPollBranch (authored by dcjm).
Merge branch 'master' into AnotherPollBranch
Mon, Oct 19, 12:39 PM
dcjm committed rPOLYML04a4c1ed1756: Merge branch 'master' into AnotherPollBranch (authored by dcjm).
Merge branch 'master' into AnotherPollBranch
Mon, Oct 19, 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.
Mon, Oct 19, 12:38 PM
dcjm committed rPOLYML3d031d25a475: Merge branch 'CompileForeignCall' into CompliedFFITesting (authored by dcjm).
Merge branch 'CompileForeignCall' into CompliedFFITesting
Mon, Oct 19, 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…
Mon, Oct 19, 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.
Mon, Oct 19, 12:38 PM
dcjm committed rPOLYMLbbfff949ac36: Merge branch 'master' into CompileForeignCall (authored by dcjm).
Merge branch 'master' into CompileForeignCall
Mon, Oct 19, 12:38 PM