Skip to content

Actions: SimonGuilloud/lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
add arithmetic examples. LISA CI #638: Commit f6083f7 pushed by SimonGuilloud
3m 37s presentation
presentation
3m 37s
Bugfix for tableau and reenable tests (#257) LISA CI #637: Commit d651110 pushed by SimonGuilloud
4m 0s main
main
4m 0s
Merge branch 'main' into tableaux-overflow-fix LISA CI #636: Commit 450c42c pushed by SimonGuilloud
4m 1s tableaux-overflow-fix
tableaux-overflow-fix
4m 1s
add tableau tests back, remove some prints, correct a step name in co… LISA CI #635: Commit 096df1a pushed by SimonGuilloud
4m 5s fix-sorries
fix-sorries
4m 5s
scalafix, scalafmt LISA CI #634: Commit 6a7951a pushed by SimonGuilloud
3m 54s fix-sorries
fix-sorries
3m 54s
Prove all sorry holes in the library. LISA CI #633: Commit e1dc515 pushed by SimonGuilloud
3m 53s fix-sorries
fix-sorries
3m 53s
add a tactic _INST_TYPE_RENAME that rename variable symbols to mainta… LISA CI #632: Commit 1a4428f pushed by SimonGuilloud
3m 33s INST_TYPE_RENAME
INST_TYPE_RENAME
3m 33s
remove leftover sleep. LISA CI #631: Commit 4c224f3 pushed by SimonGuilloud
4m 0s tableaux-overflow-fix
tableaux-overflow-fix
4m 0s
fix small issue in OL checker. LISA CI #630: Commit 69d3e56 pushed by SimonGuilloud
3m 51s tableaux-overflow-fix
tableaux-overflow-fix
3m 51s
scalafixAll, scalafmtALL, fix one test case in congruence tests. LISA CI #629: Commit 118b2b7 pushed by SimonGuilloud
3m 55s tableaux-overflow-fix
tableaux-overflow-fix
3m 55s
fix tabulation in WellFoundedRelation.scala LISA CI #628: Commit 0da687e pushed by SimonGuilloud
3m 53s tableaux-overflow-fix
tableaux-overflow-fix
3m 53s
fix one completeness bug and one proof reconstruction bug in Tableau,… LISA CI #627: Commit 7826fa2 pushed by SimonGuilloud
3m 51s tableaux-overflow-fix
tableaux-overflow-fix
3m 51s
Fix congruence issues (some statements where missing assumptions tha… LISA CI #626: Commit 3a98281 pushed by SimonGuilloud
3m 57s congruence-fix-2
congruence-fix-2
3m 57s
update examples. LISA CI #625: Commit ec5c09c pushed by SimonGuilloud
3m 52s thesisdef
thesisdef
3m 52s
Reimplement HOL mechanizing. (#254) LISA CI #624: Commit 3d37f17 pushed by SimonGuilloud
3m 50s thesisdef
thesisdef
3m 50s
add HOL tactics that auto-have, and rename. LISA CI #623: Commit 600642b pushed by SimonGuilloud
3m 54s holtypes
holtypes
3m 54s
fix issues and remove duplicates. LISA CI #622: Commit 78ed9d9 pushed by SimonGuilloud
3m 47s holtypes
holtypes
3m 47s
scalafix, scalafmt LISA CI #621: Commit b59d95a pushed by SimonGuilloud
3m 49s holtypes
holtypes
3m 49s
add missing file LISA CI #620: Commit a316ecf pushed by SimonGuilloud
3m 30s holtypes
holtypes
3m 30s
add file LISA CI #619: Commit c3bff66 pushed by SimonGuilloud
2m 10s holtypes
holtypes
2m 10s
add file LISA CI #618: Commit b9e19e6 pushed by SimonGuilloud
2m 8s holtypes
holtypes
2m 8s
add examples LISA CI #617: Commit 77e6656 pushed by SimonGuilloud
1m 59s holtypes
holtypes
1m 59s
made test suites for HOL, various small improvements. LISA CI #616: Commit 2534b75 pushed by SimonGuilloud
2m 3s holtypes
holtypes
2m 3s
cleanup, removed unused imports, add HOLAbstraction. LISA CI #615: Commit b55616f pushed by SimonGuilloud
1m 56s holtypes
holtypes
1m 56s
about to remove all unused imports using scalafix. LISA CI #614: Commit b87e646 pushed by SimonGuilloud
2m 6s holtypes
holtypes
2m 6s