Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (5)

Low (6)

Wishlist (4)

Active Repositories

Recent Activity

Yesterday

florian.haftmann committed rISABELLE974071d873ba: tuned interfaces.
tuned interfaces
Sat, Oct 24, 9:35 PM
florian.haftmann committed rISABELLE13032e920fea: tuned.
tuned
Sat, Oct 24, 9:35 PM

Fri, Oct 23

makarius committed rISABELLE05d0977ec706: index for https://isabelle.in.tum.de/components (or clones);.
index for https://isabelle.in.tum.de/components (or clones);
Fri, Oct 23, 2:33 PM
paulson <lp15@cam.ac.uk> committed rAFP8e40beb6e45c: Simplified some definitions and proofs by eliminating the constant cconcat.
Simplified some definitions and proofs by eliminating the constant cconcat
Fri, Oct 23, 1:40 PM
paulson committed rAFPebfb92f8c614: merged.
merged
Fri, Oct 23, 1:40 PM
florian.haftmann committed rAFP86066860b37d: enforce strict nesting of local theories.
enforce strict nesting of local theories
Fri, Oct 23, 9:21 AM
florian.haftmann committed rISABELLEff181cd78bb7: enforce strict nesting of local theories.
enforce strict nesting of local theories
Fri, Oct 23, 9:11 AM

Thu, Oct 22

nipkow committed rISABELLE7d7fa4e35053: merged.
merged
Thu, Oct 22, 3:56 PM
nipkow committed rISABELLE70b420065a07: tuned names: t_ -> T_.
tuned names: t_ -> T_
Thu, Oct 22, 3:56 PM
nipkow committed rISABELLEf3ec4c151ab1: tuned names.
tuned names
Thu, Oct 22, 3:56 PM
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…
Thu, Oct 22, 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…
Thu, Oct 22, 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.
Thu, Oct 22, 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.
Thu, Oct 22, 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.
Thu, Oct 22, 3:55 PM

Wed, Oct 21

makarius committed rISABELLEd59242549b7f: support arm64-linux;.
support arm64-linux;
Wed, Oct 21, 10:01 PM

Tue, Oct 20

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