Skip to content

Actions: FormalSAT/trestle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
319 workflow runs
319 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: added SR theorems, some sorries left ci #634: Commit 4943fa8 pushed by ccodel
3m 11s dev
dev
3m 11s
chore(Keller): minor fixes from refactor; remove C3MinZeros from crit… ci #633: Commit aec0d74 pushed by JamesGallicchio
3m 12s dev
dev
3m 12s
chore(Keller): move files ci #632: Commit 5662fce pushed by JamesGallicchio
3m 2s dev
dev
3m 2s
fix(Keller): fix everything up to ConjectureResults.lean and finish p… ci #631: Commit 5fdb92d pushed by JamesGallicchio
3m 9s dev
dev
3m 9s
fix(Keller): various things downstream of the automorphisms ci #630: Commit 08490cf pushed by JamesGallicchio
3m 9s dev
dev
3m 9s
feat(Keller): automorphisms + SB on colorings instead of cliques ci #629: Commit 0b84320 pushed by JamesGallicchio
3m 5s dev
dev
3m 5s
feat(Keller): geom reduction change graph -> coloring ci #628: Commit 1986882 pushed by JamesGallicchio
3m 15s dev
dev
3m 15s
feat(Keller): coloring problem & some basic operations on it ci #627: Commit 5f46c4c pushed by JamesGallicchio
3m 11s dev
dev
3m 11s
feat(Keller): remove EuclideanSpace dependency from reduction ci #626: Commit 13c2ef5 pushed by JamesGallicchio
3m 14s dev
dev
3m 14s
feat(Keller): split the hardest cube ci #625: Commit 3ee5c24 pushed by JamesGallicchio
3m 3s dev
dev
3m 3s
feat(Keller): even smaller split ci #624: Commit 49dbb2f pushed by JamesGallicchio
3m 12s dev
dev
3m 12s
feat(Keller): simplify SR proof to work for G7,3 ci #623: Commit 598a0ad pushed by JamesGallicchio
3m 18s dev
dev
3m 18s
feat(Keller): script updates ci #622: Commit caa1ce8 pushed by JamesGallicchio
3m 4s dev
dev
3m 4s
fix(Keller): test script ci #621: Commit 1e560b1 pushed by JamesGallicchio
3m 20s dev
dev
3m 20s
feat(Keller): we're trying to get G7,2 fast ci #620: Commit 76b0661 pushed by JamesGallicchio
3m 13s dev
dev
3m 13s
feat(Keller): fix hardest lastcol swap ci #619: Commit d8a02f2 pushed by JamesGallicchio
3m 10s dev
dev
3m 10s
feat(Keller): more SB ci #618: Commit c94151b pushed by JamesGallicchio
3m 15s dev
dev
3m 15s
feat(Keller): finish reverse proof! ci #617: Commit 00c9e6b pushed by JamesGallicchio
3m 13s dev
dev
3m 13s
chore(Keller): test script logs cadical run ci #616: Commit 943e4b9 pushed by JamesGallicchio
3m 13s dev
dev
3m 13s
feat(Keller): further progress on <- graph reduction ci #615: Commit 76f3dfd pushed by JamesGallicchio
3m 12s dev
dev
3m 12s
fix(Trestle): examples ci #614: Commit 2b98784 pushed by JamesGallicchio
3m 9s dev
dev
3m 9s
feat(Keller): update test script to produce proofs for cubes ci #613: Commit 49b210b pushed by JamesGallicchio
3m 33s dev
dev
3m 33s
chore: bump to v4.21.0 ci #612: Commit 21e589d pushed by JamesGallicchio
3m 9s main
main
3m 9s
chore: bump to v4.21.0 ci #611: Pull request #41 opened by JamesGallicchio
3m 8s dev
dev
3m 8s
chore: bump to v4.21.0 ci #610: Commit 21e589d pushed by JamesGallicchio
3m 37s dev
dev
3m 37s