Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (4)

Low (6)

Wishlist (3)

Recent Activity

Today

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
makarius committed rISABELLEd0909b5d88eb: tuned signature;.
tuned signature;
Fri, Jul 24, 3:37 PM
Achim D. Brucker <adbrucker@0x5f.org> committed rAFP226cc9fd1567: Mostly improving theory format (adding line breaks) and added.
Mostly improving theory format (adding line breaks) and added
Fri, Jul 24, 1:42 PM
Achim D. Brucker <adbrucker@0x5f.org> committed rAFP34a339f71b38: Added proofs about get_tag_type..
Added proofs about get_tag_type.
Fri, Jul 24, 1:42 PM
dcjm committed rPOLYML7e214665fa88: Remove push and pop of rcx/ecx in CALL_EXTRA macro. This seems to be a relic… (authored by dcjm).
Remove push and pop of rcx/ecx in CALL_EXTRA macro. This seems to be a relic…
Fri, Jul 24, 1:08 PM
dcjm committed rPOLYMLb9e4e5128d56: Merge commit '196ac3bc7d11b43f488fb945077aac162144bd31' (authored by dcjm).
Merge commit '196ac3bc7d11b43f488fb945077aac162144bd31'
Fri, Jul 24, 1:08 PM
dcjm committed rPOLYML196ac3bc7d11: Move the test for the result of PolyCompareArbitrary up to the top-level of… (authored by dcjm).
Move the test for the result of PolyCompareArbitrary up to the top-level of…
Fri, Jul 24, 1:08 PM