Skip to content

Actions: kappelmann/Isabelle-Set

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(*) bump isabelle version + required changes Build Isabelle/Set #124: Commit 9c0cebe pushed by kappelmann
October 8, 2024 06:46 25m 30s master
master
October 8, 2024 06:46 25m 30s
chore(*VERSION) bump version Build Isabelle/Set #123: Commit 1d6d2e1 pushed by kappelmann
September 11, 2024 07:46 25m 25s master
master
September 11, 2024 07:46 25m 25s
feat(*) cleaner wellorder theorem + order setups Build Isabelle/Set #122: Commit 18cbc4a pushed by kappelmann
September 10, 2024 23:23 18s master
master
September 10, 2024 23:23 18s
Merge pull request #8 from nkrofta/master Build Isabelle/Set #121: Commit 6fbb71f pushed by kappelmann
September 3, 2024 07:21 25m 34s master
master
September 3, 2024 07:21 25m 34s
feat(HOTG) tune schroeder-bernstein contribution Build Isabelle/Set #120: Commit 76491d8 pushed by kappelmann
July 23, 2024 07:09 25m 27s master
master
July 23, 2024 07:09 25m 27s
Merge pull request #7 from nkrofta/master Build Isabelle/Set #119: Commit 2ee4eef pushed by kappelmann
July 22, 2024 18:15 1m 10s master
master
July 22, 2024 18:15 1m 10s
fix(TSRings) fix typeschecking fail Build Isabelle/Set #118: Commit 7ab317b pushed by kappelmann
July 5, 2024 15:32 8m 27s master
master
July 5, 2024 15:32 8m 27s
feat(*) tuning of PR by Krofta Build Isabelle/Set #117: Commit b4c9591 pushed by kappelmann
July 5, 2024 15:14 8m 17s master
master
July 5, 2024 15:14 8m 17s
Merge pull request #6 from nkrofta/master Build Isabelle/Set #116: Commit 2763979 pushed by kappelmann
July 5, 2024 10:28 22m 48s master
master
July 5, 2024 10:28 22m 48s
feat(*) bump versions; use the_inverse in set-extension Build Isabelle/Set #115: Commit b2e0905 pushed by kappelmann
June 19, 2024 06:46 24m 35s master
master
June 19, 2024 06:46 24m 35s
feat(HOTG) clean up transitive closures and move general stuff to AFP Build Isabelle/Set #114: Commit 3aa64e1 pushed by kappelmann
June 18, 2024 15:48 5m 33s master
master
June 18, 2024 15:48 5m 33s
feat(HOTG) tuning of well-founded recursion theories Build Isabelle/Set #113: Commit 9e25775 pushed by kappelmann
June 17, 2024 20:05 4m 54s master
master
June 17, 2024 20:05 4m 54s
Merge pull request #5 from nkrofta/master Build Isabelle/Set #112: Commit 23713e3 pushed by kappelmann
June 17, 2024 08:58 21m 26s master
master
June 17, 2024 08:58 21m 26s
Build Isabelle/Set Build Isabelle/Set #111: by kappelmann
May 29, 2024 14:41 8m 0s master
master
May 29, 2024 14:41 8m 0s
Merge pull request #4 from kappelmann/nkrofta-master Build Isabelle/Set #110: Commit 4e9d338 pushed by kappelmann
May 29, 2024 14:29 5m 48s master
master
May 29, 2024 14:29 5m 48s
feat(*) fine-tuning Build Isabelle/Set #109: Commit 5454e95 pushed by kappelmann
May 29, 2024 14:27 6m 5s nkrofta-master
nkrofta-master
May 29, 2024 14:27 6m 5s
fix(Soft_Types/ROOT) increase timeout Build Isabelle/Set #108: Commit b0c9f8e pushed by kappelmann
May 28, 2024 07:40 20m 21s master
master
May 28, 2024 07:40 20m 21s
feat(*) major revamp: base concepts on semantics in HOL_Basics Build Isabelle/Set #107: Commit 1e6b56a pushed by kappelmann
May 28, 2024 07:19 17m 53s master
master
May 28, 2024 07:19 17m 53s
feat(HOTG) fix sorry Build Isabelle/Set #106: Commit 9928096 pushed by kappelmann
May 17, 2024 15:40 15m 32s master
master
May 17, 2024 15:40 15m 32s
feat(HOTG) major upgrade: move concepts to semantical HOL basis Build Isabelle/Set #105: Commit 70d9e6e pushed by kappelmann
May 16, 2024 14:12 14m 48s master
master
May 16, 2024 14:12 14m 48s
fix(HOTG/Root) threads=1 due to isabelle bug Build Isabelle/Set #104: Commit 44ccb60 pushed by kappelmann
March 27, 2024 20:33 19m 1s master
master
March 27, 2024 20:33 19m 1s
feat(*) bump all dependencies; fix many (but not all) errors due to c… Build Isabelle/Set #103: Commit d4f2012 pushed by kappelmann
March 27, 2024 20:14 14m 52s master
master
March 27, 2024 20:14 14m 52s
Merge pull request #2 from fangcq/master Build Isabelle/Set #102: Commit 7e33d73 pushed by kappelmann
March 25, 2024 10:06 26m 15s master
master
March 25, 2024 10:06 26m 15s
fix(Integers_Transport) new method names Build Isabelle/Set #101: Commit 5c3be13 pushed by kappelmann
October 17, 2023 08:43 26m 55s master
master
October 17, 2023 08:43 26m 55s
feat(*) remove submodules that are in the AFP Build Isabelle/Set #100: Commit c95bd7b pushed by kappelmann
October 17, 2023 07:58 24m 5s master
master
October 17, 2023 07:58 24m 5s