Skip to content

Actions: opencompl/valaig

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
199 workflow runs
199 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
experiment: disable strashing on std aig creation Lean Action CI #199: Commit 8354217 pushed by georgerennie
25s george/uncached
george/uncached
25s
more error reporting for lrat checks Lean Action CI #198: Commit 8ee02c7 pushed by georgerennie
25s main
main
25s
experiment: disable strashing on std aig creation Lean Action CI #197: Commit 7c46496 pushed by georgerennie
40s george/uncached
george/uncached
40s
valaigcert: better error reporting Lean Action CI #196: Commit d1cc89f pushed by georgerennie
28s main
main
28s
experiment: disable strashing on std aig creation Lean Action CI #195: Commit 12c743f pushed by georgerennie
2m 12s george/uncached
george/uncached
2m 12s
Bump lean for new LRAT checker Lean Action CI #194: Commit bedf953 pushed by georgerennie
2m 4s main
main
2m 4s
experiment: disable strashing on std aig creation Lean Action CI #193: Commit e6582e7 pushed by georgerennie
32s george/uncached
george/uncached
32s
WIP Lean Action CI #192: Commit dcd1e77 pushed by georgerennie
41s george/memo_unroll
george/memo_unroll
41s
remove more unnecessary simp attrs Lean Action CI #191: Commit 160d3d1 pushed by georgerennie
1m 5s main
main
1m 5s
WIP: use Memo for Transform.Unroll Lean Action CI #190: Commit ad4c88a pushed by georgerennie
57s george/memo_unroll
george/memo_unroll
57s
remove more unnecessary simp attrs Lean Action CI #189: Commit 8038bbc pushed by georgerennie
2m 0s main
main
2m 0s
remove some simp attrs for faster proofs Lean Action CI #188: Commit bc6f617 pushed by georgerennie
1m 57s main
main
1m 57s
bump lean Lean Action CI #187: Commit 4b76259 pushed by georgerennie
2m 5s main
main
2m 5s
define liveness Lean Action CI #186: Commit 599f13f pushed by georgerennie
2m 22s main
main
2m 22s
add Apache 2.0 with LLVM exceptions LICENSE Lean Action CI #185: Commit 9b5a033 pushed by georgerennie
25s main
main
25s
simplify Set definition Lean Action CI #184: Commit a376bd8 pushed by georgerennie
1m 33s main
main
1m 33s
remove last sorry Lean Action CI #183: Commit efbe143 pushed by georgerennie
1m 59s main
main
1m 59s
prove unreachable_of_relative_induction Lean Action CI #182: Commit b061e7a pushed by georgerennie
1m 49s main
main
1m 49s
prove denoteS_eq Lean Action CI #181: Commit da619a4 pushed by georgerennie
1m 9s main
main
1m 9s
fix some more sorries for FinitePartialOrder instances Lean Action CI #180: Commit a589429 pushed by georgerennie
3m 14s main
main
3m 14s
Remove a few sorries Lean Action CI #179: Commit 794fdea pushed by georgerennie
1m 5s main
main
1m 5s
top level proofs for walkers Lean Action CI #178: Commit 62ee388 pushed by georgerennie
2m 28s main
main
2m 28s
Fix walker proofs for toStd Lean Action CI #177: Commit ac22d8a pushed by georgerennie
1m 46s main
main
1m 46s
Add TFI based cache correctness result to TFIWalker Lean Action CI #176: Commit 3f2bfe2 pushed by georgerennie
2m 35s main
main
2m 35s
experiment: disable strashing on std aig creation Lean Action CI #175: Commit 954ef28 pushed by georgerennie
43s george/uncached
george/uncached
43s