Skip to content

Actions: m4lvin/modal-tableau-interpolation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

set Content-Type header for jquery.js; update readme about port CI #178: Commit 409296b pushed by m4lvin
December 22, 2024 12:47 9m 7s borzechowski
borzechowski
December 22, 2024 12:47 9m 7s
set Content-Type header for jquery.js; update readme about port CI #177: Commit 9f5d056 pushed by m4lvin
December 22, 2024 12:42 9m 19s main
main
December 22, 2024 12:42 9m 19s
tabToMod more edges again to fix example; use Stringable in DispAble CI #176: Commit e9e63d0 pushed by m4lvin
October 26, 2024 09:52 58s main
main
October 26, 2024 09:52 58s
refute conjecture about non-trivial tests in interpolants CI #175: Commit ba99755 pushed by m4lvin
October 26, 2024 09:11 1m 11s main
main
October 26, 2024 09:11 1m 11s
nicer counter models with sparser relation and generated submodel CI #174: Commit 3ff694b pushed by m4lvin
October 26, 2024 09:06 1m 15s main
main
October 26, 2024 09:06 1m 15s
better distinguish free repeats from loaded-path repeats CI #173: Commit 44eb315 pushed by m4lvin
October 26, 2024 08:39 9m 27s main
main
October 26, 2024 08:39 9m 27s
web ui: copy link to current input CI #172: Commit d0a8462 pushed by m4lvin
October 4, 2024 15:28 2m 29s main
main
October 4, 2024 15:28 2m 29s
allow T^K to be non-binary 🟡⚪️🟣⚫️ CI #171: Commit 9e5fd9f pushed by m4lvin
October 4, 2024 12:02 55s borzechowski
borzechowski
October 4, 2024 12:02 55s
allow T^K to be non-binary 🟡⚪️🟣⚫️ CI #170: Commit 94377e7 pushed by m4lvin
October 4, 2024 11:58 1m 7s main
main
October 4, 2024 11:58 1m 7s
disable countermodel tests for now; give more time for tests CI #169: Commit 67d1881 pushed by m4lvin
October 4, 2024 11:45 17m 12s borzechowski
borzechowski
October 4, 2024 11:45 17m 12s
fix or silence all warnings CI #168: Commit 0778aeb pushed by m4lvin
October 4, 2024 09:40 22m 11s borzechowski
borzechowski
October 4, 2024 09:40 22m 11s
start TeX.hs file with copied SMCDEL tools CI #167: Commit 7618c1a pushed by m4lvin
October 1, 2024 19:51 1m 9s main
main
October 1, 2024 19:51 1m 9s
more wrong-interpolant examples CI #166: Commit f3f2c7c pushed by m4lvin
October 1, 2024 15:43 59s main
main
October 1, 2024 15:43 59s
also show lprs with back-arrows in tableaux (still) without IPs CI #165: Commit d2c1819 pushed by m4lvin
October 1, 2024 13:38 56s main
main
October 1, 2024 13:38 56s
unfold one box at a time CI #164: Commit cbd3780 pushed by m4lvin
September 28, 2024 17:48 58s main
main
September 28, 2024 17:48 58s
add test to trigger bug in interpolant-via-canonProg construction CI #163: Commit 1f69534 pushed by m4lvin
September 28, 2024 14:12 1m 1s main
main
September 28, 2024 14:12 1m 1s
fix countermodel construction for new "LpR _" values CI #162: Commit 7f394c0 pushed by m4lvin
September 28, 2024 14:11 1m 26s main
main
September 28, 2024 14:11 1m 26s
draw LPRs with back edges CI #161: Commit 4a8ff7d pushed by m4lvin
September 28, 2024 14:03 3m 31s main
main
September 28, 2024 14:03 3m 31s
show canonical programs of T^K again in output CI #160: Commit 06b86a2 pushed by m4lvin
September 26, 2024 08:17 1m 47s main
main
September 26, 2024 08:17 1m 47s
web ui: use foldable "details" for intermediate steps CI #159: Commit dcea13e pushed by m4lvin
September 26, 2024 07:21 2m 27s main
main
September 26, 2024 07:21 2m 27s
avoid old package name in ci.yml CI #158: Commit 5b17794 pushed by m4lvin
September 25, 2024 06:28 1m 35s main
main
September 25, 2024 06:28 1m 35s
update CI CI #157: Commit f717c6f pushed by m4lvin
September 25, 2024 06:27 1m 2s main
main
September 25, 2024 06:27 1m 2s
use newer stackage lts, show branch name in web ui CI #156: Commit 7f041c1 pushed by m4lvin
September 24, 2024 15:31 8m 47s borzechowski
borzechowski
September 24, 2024 15:31 8m 47s
a bit more type-safety for RuleName CI #155: Commit 08c3956 pushed by m4lvin
September 24, 2024 15:28 1m 43s main
main
September 24, 2024 15:28 1m 43s
show branch name in web ui CI #154: Commit 4b965e6 pushed by m4lvin
September 24, 2024 14:45 2m 49s main
main
September 24, 2024 14:45 2m 49s