Skip to content

Actions: rems-project/archsem-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 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
Rearange Nondeterministic Monad lemmas Lean Action CI #44: Commit 5229edd pushed by Chris-F5
1m 11s main
main
1m 11s
Prove fuel monotonicity for promise first model Lean Action CI #43: Commit 544b9ac pushed by Chris-F5
48s main
main
48s
Simplify some proofs (still wip) Lean Action CI #42: Commit 4cf721e pushed by Chris-F5
39s main
main
39s
Finish proving promising naive monotonic in fuel Lean Action CI #41: Commit 9282903 pushed by Chris-F5
23s main
main
23s
Finish proving promising naive monotonic in fuel Lean Action CI #40: Commit 0db3d41 pushed by Chris-F5
43s main
main
43s
Prove some more promising functions monotonic Lean Action CI #39: Commit 73c27ec pushed by Chris-F5
58s main
main
58s
Simplify NExcept.bind_iff proof Lean Action CI #38: Commit 1460329 pushed by Chris-F5
26s main
main
26s
Prove promising runToTermination monotonic in fuel Lean Action CI #37: Commit 38070f2 pushed by Chris-F5
34s main
main
34s
Prove promising runToTermination monotonic in fuel Lean Action CI #36: Commit 29880fc pushed by Chris-F5
43s main
main
43s
Switch all remaining HashMap instances to ExtTreeMap Lean Action CI #35: Commit 3298272 pushed by Chris-F5
52s main
main
52s
Improve printing of test results Lean Action CI #34: Commit 0db2bd6 pushed by Chris-F5
29s main
main
29s
Remove Mathlib dependency (no Finset, no Cslib.FreeM) and update to n… Lean Action CI #33: Commit 5880a40 pushed by Chris-F5
1m 0s main
main
1m 0s
Fix critical promising bugs Lean Action CI #32: Commit a17360c pushed by Chris-F5
2m 31s main
main
2m 31s
Fix some critical bugs Lean Action CI #31: Commit 2080287 pushed by Chris-F5
1m 39s main
main
1m 39s
Complete some small TODOs Lean Action CI #30: Commit bf49aa5 pushed by Chris-F5
1m 47s main
main
1m 47s
Switch to Mathlib.Finset and ExtTreeMap Lean Action CI #29: Commit 67fb0b2 pushed by Chris-F5
3m 8s main
main
3m 8s
Switch to Cslib free monad Lean Action CI #28: Commit bc9e411 pushed by Chris-F5
3m 2s main
main
3m 2s
Remove choice source from sequential model Lean Action CI #27: Commit 24f4f8e pushed by Chris-F5
58s main
main
58s
Fix order of NEStateM arguments Lean Action CI #26: Commit b1dd141 pushed by Chris-F5
40s main
main
40s
Comment TerminatingModel.lean Lean Action CI #25: Commit d0d4097 pushed by Chris-F5
45s main
main
45s
Rename nondeterministic monad types Lean Action CI #24: Commit a4d6f69 pushed by Chris-F5
43s main
main
43s
Comment promising model and update test cli Lean Action CI #23: Commit d34bdef pushed by Chris-F5
53s main
main
53s
Comment promising model and update test cli Lean Action CI #22: Commit 09a27c4 pushed by Chris-F5
1m 12s main
main
1m 12s
Fix litmus test handling and promising bug Lean Action CI #21: Commit 3dd9672 pushed by Chris-F5
40s main
main
40s
Add comments and correct LitmusTest file names Lean Action CI #20: Commit 4dfdde8 pushed by Chris-F5
31s main
main
31s