Skip to content

Actions: opencompl/valaig

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add explicit grind args to get/sets, improving elab time Lean Action CI #53: Commit cda626f pushed by georgerennie
50s main
main
50s
Add some simp attrs Lean Action CI #52: Commit 6646186 pushed by georgerennie
15m 3s main
main
15m 3s
Bump toolchain Lean Action CI #51: Commit 069aa18 pushed by georgerennie
42s main
main
42s
Reduce unnecessary deriving instances Lean Action CI #50: Commit 904d1ef pushed by georgerennie
35s main
main
35s
Better grind matching for theorems Lean Action CI #49: Commit 3cb196d pushed by georgerennie
22s main
main
22s
Small section renaming Lean Action CI #48: Commit f63557a pushed by georgerennie
23s main
main
23s
Define structural well-formedness and start proving preservation Lean Action CI #47: Commit 683b47f pushed by georgerennie
40s main
main
40s
WIP: Switch to our own nodes instead of Std.Sat.AIG Lean Action CI #46: Commit 2533c97 pushed by georgerennie
26s george/custom_nodes
george/custom_nodes
26s
Better comments and implementations for Valaig.Aig.Refs Lean Action CI #45: Commit add0dc5 pushed by georgerennie
46s main
main
46s
Slightly faster proofs Lean Action CI #44: Commit 34c4f56 pushed by georgerennie
36s main
main
36s
Remove InputIdx/LatchIdx.setVar Lean Action CI #43: Commit d9517ea pushed by georgerennie
47s main
main
47s
Use scorr/pdr for abc solver Lean Action CI #42: Commit 97fc5d8 pushed by georgerennie
21s blase
blase
21s
Add ToString Error and rIC3 timeout constructor Lean Action CI #41: Commit 7bcb9df pushed by georgerennie
20s blase
blase
20s
Add get/set lemmas Lean Action CI #40: Commit 662f9cf pushed by georgerennie
39s main
main
39s
Explicit variables for Valid Lean Action CI #39: Commit 02ed2ae pushed by georgerennie
32s main
main
32s
Add validity lemmas in VeIR style, like InBounds Lean Action CI #38: Commit fbd531f pushed by georgerennie
38s main
main
38s
Don't bother closing public section Lean Action CI #37: Commit 6241035 pushed by georgerennie
39s main
main
39s
Comment tidying Lean Action CI #36: Commit d143cef pushed by georgerennie
36s main
main
36s
Start to move to VeIR style structure Lean Action CI #35: Commit 5b4da78 pushed by georgerennie
42s main
main
42s
Switch Valaig.Aig.Refs to module system Lean Action CI #34: Commit 210fbb2 pushed by georgerennie
46s main
main
46s
Require all latches to have a next and init lit Lean Action CI #33: Commit 1a306bc pushed by georgerennie
41s main
main
41s
Tidying inductive constructor syntax Lean Action CI #32: Commit 1074f92 pushed by georgerennie
43s main
main
43s
Add ToString Error and rIC3 timeout constructor Lean Action CI #31: Commit 7bcb9df pushed by georgerennie
30s main
main
30s
External: support timeouts and more structured errors Lean Action CI #30: Commit e0e170f pushed by georgerennie
21s main
main
21s
fix: Space before reset literal in aag writer Lean Action CI #29: Commit 7898704 pushed by georgerennie
20s main
main
20s