Skip to content

Actions: opencompl/valaig

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
92 workflow runs
92 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename private inputs/latches fields so public iterators can these names Lean Action CI #92: Commit 1aecf41 pushed by georgerennie
46s main
main
46s
Prove that projection functions maintain wellformedness Lean Action CI #91: Commit 273228d pushed by georgerennie
31s main
main
31s
Add proof that reset/trans projections of aig are Comb Lean Action CI #90: Commit b018b9b pushed by georgerennie
45s main
main
45s
Add get/set lemmas for size/numInputs/numLatches Lean Action CI #89: Commit 0559372 pushed by georgerennie
41s main
main
41s
Missing variable Lean Action CI #88: Commit 6b00a28 pushed by georgerennie
48s main
main
48s
Add Refs.mapTo(Var) Lean Action CI #87: Commit ac5ff09 pushed by georgerennie
47s main
main
47s
Add proof that our unsat matches Std Lean Action CI #86: Commit 71f3bc4 pushed by georgerennie
1m 5s main
main
1m 5s
Add basic functions for constructing reset and transition relation aigs Lean Action CI #85: Commit d2afe3a pushed by georgerennie
30s main
main
30s
Add stronger properties to Var iterator and foldmap Lean Action CI #84: Commit 4cf9c3d pushed by georgerennie
38s main
main
38s
Expose contiguous nature of Var/Lit Lean Action CI #83: Commit 5fd1d6e pushed by georgerennie
53s main
main
53s
Proof golfing Lean Action CI #82: Commit 807ba46 pushed by georgerennie
35s main
main
35s
Add params directly to theorem, reducing elab time Lean Action CI #81: Commit f5c1a42 pushed by georgerennie
29s main
main
29s
Add proof that comb denotation matches Std.Sat.AIG Lean Action CI #80: Commit 153a93f pushed by georgerennie
43s main
main
43s
Smaller proof for safety up to cardinality Lean Action CI #79: Commit 2230223 pushed by georgerennie
2m 6s george/finmc
george/finmc
2m 6s
Bump toolchain Lean Action CI #78: Commit 2d3ffad pushed by georgerennie
43s main
main
43s
Steps towards faster LeafIdx grind patterns Lean Action CI #77: Commit 46bff1f pushed by georgerennie
51s main
main
51s
Use a better strategy for grind well-formedness ematching Lean Action CI #76: Commit 3fdc58e pushed by georgerennie
35s main
main
35s
Prove that a combinational denotation has an equivalent sequential de… Lean Action CI #75: Commit 3fb81d2 pushed by georgerennie
40s main
main
40s
Some theorems about iterators Lean Action CI #74: Commit b67e9ef pushed by georgerennie
36s main
main
36s
Add comb semantics and define seq semantics in terms of it Lean Action CI #73: Commit be384eb pushed by georgerennie
1m 0s main
main
1m 0s
Add back definition of denote Lean Action CI #72: Commit 4df7945 pushed by georgerennie
40s main
main
40s
Reduce includes Lean Action CI #71: Commit 5f43b31 pushed by georgerennie
32s main
main
32s
More always_inline Lean Action CI #70: Commit e293845 pushed by georgerennie
34s main
main
34s
RefValidIn -> ValidIn Lean Action CI #69: Commit 3570ec3 pushed by georgerennie
37s main
main
37s
Commenting/tidying in Valaig.Aig.Iter Lean Action CI #68: Commit 04dcfb2 pushed by georgerennie
34s main
main
34s