Open Tasks
Open Tasks
Normal (4)
Normal (4)
Low (6)
Low (6)
Wishlist (3)
Wishlist (3)
Active Repositories
Active Repositories
Recent Activity
Recent Activity
Today
Today
florian.haftmann committed rISABELLEa36db1c8238e: separation of reversed bit lists from other material.
separation of reversed bit lists from other material
separation of reversed bit lists from other material
makarius committed rISABELLE41e1e2395a67: avoid exhaustion of worker threads, notably due to complex interaction of….
avoid exhaustion of worker threads, notably due to complex interaction of…
more robust: insist in finished future;
florian.haftmann committed rAFPcac1c67360f3: further refinement of code equations for mask operation.
further refinement of code equations for mask operation
florian.haftmann committed rISABELLE3ec876181527: further refinement of code equations for mask operation.
further refinement of code equations for mask operation
Yesterday
Yesterday
uniform mask operation
clearer separation of pre-word bit list material
uniform mask operation
clearer separation of pre-word bit list material
repaired document slip
Mon, Aug 3
Mon, Aug 3
Sat, Aug 1
Sat, Aug 1
more consequent transferability
more consequent transferability
Thu, Jul 30
Thu, Jul 30
dcjm committed rPOLYMLd471c5e6e1cf: 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…
dcjm committed rPOLYML8e4d341bd778: Check inside the simplifier that the body of a potential inline function is… (authored by dcjm).
Check inside the simplifier that the body of a potential inline function is…
Remove unused parameters.
dcjm committed rPOLYML654e1adee079: Merge branch 'master' of github.com:dcjm/polyml (authored by dcjm).
Merge branch 'master' of github.com:dcjm/polyml
dcjm committed rPOLYML5dc69bc3a7d5: Search for machine/reloc.h separately from elf_abi.h. These seem to have been… (authored by dcjm).
Search for machine/reloc.h separately from elf_abi.h. These seem to have been…
dcjm committed rPOLYML7d72f11eeab9: Change all the casts from PolyWord* to stackItem*. Some had been missed. (authored by dcjm).
Change all the casts from PolyWord* to stackItem*. Some had been missed.
Wed, Jul 29
Wed, Jul 29
makarius committed rISABELLEb8d0b8659e0a: more robust scheduler shutdown, notably for spurious crashes;.
more robust scheduler shutdown, notably for spurious crashes;
Mon, Jul 27
Mon, Jul 27
nipkow committed rISABELLE1d6c3cba47fe: unclear why I ever asked for type tree2.
unclear why I ever asked for type tree2
Sun, Jul 26
Sun, Jul 26
makarius committed rISABELLEbd9d1ce274c9: enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;.
enforce pide_session to see if all isabelle_cronjob tasks work smoothly with it;
makarius committed rISABELLE9c0b835d4cc2: proper pretty printing for latex output, notably for pide_session=true….
proper pretty printing for latex output, notably for pide_session=true…
Sat, Jul 25
Sat, Jul 25
makarius committed rISABELLEf3e1144a1cec: clarified name to avoid duplication (no distinction of data on host =….
clarified name to avoid duplication (no distinction of data on host =…
Fri, Jul 24
Fri, Jul 24
much faster proofs (cf. Isabelle/bad75618fb82);
follow Phabricator update 2020 Week 27;
Achim D. Brucker <adbrucker@0x5f.org> committed rAFP7757456aafcf: Fixed failing proofs..
Fixed failing proofs.
makarius committed rISABELLE4768b1facec2: clarified errors: avoid hiding of import_errors/dir_errors by their….
clarified errors: avoid hiding of import_errors/dir_errors by their…
clarified signature;
makarius committed rISABELLE17507b48b6f5: clarified errors: avoid accidental import from other session that happens to be….
clarified errors: avoid accidental import from other session that happens to be…
clarified order --- proper sorting of requirements;
obsolete (see 9cde8c4ea5a5);
tuned --- based on hints by IntelliJ;