Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (4)

Low (6)

Wishlist (3)

Recent Activity

Today

florian.haftmann committed rISABELLEa36db1c8238e: separation of reversed bit lists from other material.
separation of reversed bit lists from other material
Wed, Aug 5, 7:07 PM
florian.haftmann committed rAFP3e79743d7844: separation of reversed bit lists from other material.
separation of reversed bit lists from other material
Wed, Aug 5, 7:07 PM
makarius committed rISABELLE43a43b182a81: merged.
merged
Wed, Aug 5, 6:46 PM
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…
Wed, Aug 5, 6:46 PM
makarius committed rISABELLE3afd6b1c7ab5: more robust: insist in finished future;.
more robust: insist in finished future;
Wed, Aug 5, 6:46 PM
makarius committed rISABELLEdf99d26efeeb: unused;.
unused;
Wed, Aug 5, 6:46 PM
florian.haftmann committed rAFPcac1c67360f3: further refinement of code equations for mask operation.
further refinement of code equations for mask operation
Wed, Aug 5, 1:05 PM
florian.haftmann committed rISABELLE3ec876181527: further refinement of code equations for mask operation.
further refinement of code equations for mask operation
Wed, Aug 5, 1:05 PM

Yesterday

florian.haftmann committed rISABELLE41393ecb57ac: uniform mask operation.
uniform mask operation
Tue, Aug 4, 3:26 PM
florian.haftmann committed rISABELLEe4d42f5766dc: clearer separation of pre-word bit list material.
clearer separation of pre-word bit list material
Tue, Aug 4, 3:25 PM
florian.haftmann committed rAFPf28d68deefa8: uniform mask operation.
uniform mask operation
Tue, Aug 4, 3:25 PM
florian.haftmann committed rAFP52ddcd32c0c9: clearer separation of pre-word bit list material.
clearer separation of pre-word bit list material
Tue, Aug 4, 3:25 PM
florian.haftmann committed rAFP9b629e0e6654: repaired document slip.
repaired document slip
Tue, Aug 4, 7:22 AM

Mon, Aug 3

nipkow committed rISABELLE2030eacf3a72: added lemma.
added lemma
Mon, Aug 3, 4:23 PM

Sat, Aug 1

florian.haftmann committed rAFPef3c8932106a: more consequent transferability.
more consequent transferability
Sat, Aug 1, 9:18 PM
florian.haftmann committed rISABELLE8c355e2dd7db: more consequent transferability.
more consequent transferability
Sat, Aug 1, 8:55 PM

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…
Thu, Jul 30, 1:46 PM
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…
Thu, Jul 30, 1:46 PM
dcjm committed rPOLYML6442ac3a51c6: Remove unused parameters. (authored by dcjm).
Remove unused parameters.
Thu, Jul 30, 1:46 PM
dcjm committed rPOLYML654e1adee079: Merge branch 'master' of github.com:dcjm/polyml (authored by dcjm).
Merge branch 'master' of github.com:dcjm/polyml
Thu, Jul 30, 1:46 PM
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…
Thu, Jul 30, 1:46 PM
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.
Thu, Jul 30, 1:46 PM

Wed, Jul 29

makarius committed rISABELLEb8d0b8659e0a: more robust scheduler shutdown, notably for spurious crashes;.
more robust scheduler shutdown, notably for spurious crashes;
Wed, Jul 29, 8:46 PM

Mon, Jul 27

nipkow committed rISABELLE1d6c3cba47fe: unclear why I ever asked for type tree2.
unclear why I ever asked for type tree2
Mon, Jul 27, 3:59 PM

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;
Sun, Jul 26, 10:39 PM
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…
Sun, Jul 26, 10:39 PM

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 =…
Sat, Jul 25, 11:27 PM
makarius committed rISABELLEf56522a44564: clarified names;.
clarified names;
Sat, Jul 25, 11:27 PM
makarius committed rISABELLEfed7b0ae20d8: more errors;.
more errors;
Sat, Jul 25, 12:49 PM

Fri, Jul 24

makarius committed rAFP40e16c534243: much faster proofs (cf. Isabelle/bad75618fb82);.
much faster proofs (cf. Isabelle/bad75618fb82);
Fri, Jul 24, 10:38 PM
makarius committed rISABELLEd3cad9ecd0cc: follow Phabricator update 2020 Week 27;.
follow Phabricator update 2020 Week 27;
Fri, Jul 24, 8:47 PM
makarius committed rISABELLEb17be02a0a11: tuned;.
tuned;
Fri, Jul 24, 8:47 PM
Achim D. Brucker <adbrucker@0x5f.org> committed rAFP7757456aafcf: Fixed failing proofs..
Fixed failing proofs.
Fri, Jul 24, 8:18 PM
makarius committed rISABELLEebf3ba74bc4c: unused;.
unused;
Fri, Jul 24, 3:37 PM
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…
Fri, Jul 24, 3:37 PM
makarius committed rISABELLEba5b37671528: clarified signature;.
clarified signature;
Fri, Jul 24, 3:37 PM
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…
Fri, Jul 24, 3:37 PM
makarius committed rISABELLE11dc8929832d: clarified order --- proper sorting of requirements;.
clarified order --- proper sorting of requirements;
Fri, Jul 24, 3:37 PM
makarius committed rISABELLEce844442e2ab: obsolete (see 9cde8c4ea5a5);.
obsolete (see 9cde8c4ea5a5);
Fri, Jul 24, 3:37 PM
makarius committed rISABELLE25985d757b0a: tuned --- based on hints by IntelliJ;.
tuned --- based on hints by IntelliJ;
Fri, Jul 24, 3:37 PM