Skip to content

Actions: alexoltean61/certimp-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 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
added determinism, dead-code elimination, and new Hoare proof Lean Action CI #106: Pull request #25 opened by mateea326
Action required mateea326:master
mateea326:master
Action required
Re-prove exercises and Hoare metatheory in alternative styles Lean Action CI #105: Pull request #24 opened by Stefan-Ivan
Action required Stefan-Ivan:stefan.ivan
Stefan-Ivan:stefan.ivan
Action required
complete equiv, hoare and transformation exercises Lean Action CI #104: Pull request #23 opened by PatriciaBucataru
Action required PatriciaBucataru:bucataru-patricia
PatriciaBucataru:bucataru-patricia
Action required
misc: Add README Lean Action CI #103: Commit 0a51137 pushed by alexoltean61
2m 37s master
master
2m 37s
misc: Add README Lean Action CI #102: Commit c7c1340 pushed by alexoltean61
1m 16s master
master
1m 16s
misc: Add README Lean Action CI #101: Commit 8386591 pushed by alexoltean61
1m 2s master
master
1m 2s
misc: Add README Lean Action CI #100: Commit 31f60f9 pushed by alexoltean61
57s master
master
57s
misc: Add LICENSE Lean Action CI #99: Commit 57c44d7 pushed by alexoltean61
1m 45s master
master
1m 45s
transform: Finish fold_constants_sound proof Lean Action CI #98: Commit 039b383 pushed by alexoltean61
1m 29s master
master
1m 29s
compile: Complete defs & prove semantics preservation Lean Action CI #97: Commit a7c1938 pushed by alexoltean61
1m 44s master
master
1m 44s
State machine exercises Lean Action CI #96: Pull request #20 synchronize by alexoltean61
1m 54s AndreiNet:state-machine-exercises
AndreiNet:state-machine-exercises
1m 54s
State machine exercises Lean Action CI #95: Pull request #20 synchronize by alexoltean61
1m 41s AndreiNet:state-machine-exercises
AndreiNet:state-machine-exercises
1m 41s
feat: Stack machine compiler & semantics preservation Lean Action CI #94: Commit 01d5493 pushed by alexoltean61
1m 17s master
master
1m 17s
misc: Some cleanups (namespaces, imports, info messages) Lean Action CI #93: Commit e230428 pushed by alexoltean61
2m 3s solutions
solutions
2m 3s
feat: Stack machine compiler & semantics preservation Lean Action CI #92: Commit 05e0e1e pushed by alexoltean61
1m 34s solutions
solutions
1m 34s
feat: Stack machine compiler & semantics preservation Lean Action CI #91: Commit b1d638c pushed by alexoltean61
3m 5s solutions
solutions
3m 5s
Added first part of Lab Lean Action CI #90: Pull request #22 synchronize by DumitruIlie
2m 21s ilie-dumitru
ilie-dumitru
2m 21s
Merge remote-tracking branch 'refs/remotes/origin/ilie-dumitru' into … Lean Action CI #89: Commit d97add7 pushed by DumitruIlie
2m 23s ilie-dumitru
ilie-dumitru
2m 23s
Added first part of Lab Lean Action CI #88: Pull request #22 synchronize by DumitruIlie
2m 0s ilie-dumitru
ilie-dumitru
2m 0s
Merge branch 'master' into ilie-dumitru Lean Action CI #87: Commit 4a9646e pushed by DumitruIlie
2m 6s ilie-dumitru
ilie-dumitru
2m 6s
Added first part of the lab Lean Action CI #86: Commit c04bcd2 pushed by DumitruIlie
2m 4s ilie-dumitru
ilie-dumitru
2m 4s
feat: Stack machine compiler & semantics preservation Lean Action CI #85: Commit b44c365 pushed by DumitruIlie
2m 0s ilie-dumitru
ilie-dumitru
2m 0s
Rebase I think? Lean Action CI #84: Pull request #21 opened by DumitruIlie
2m 1s master
master
2m 1s
State machine exercises Lean Action CI #83: Pull request #20 opened by AndreiNet
3m 7s AndreiNet:state-machine-exercises
AndreiNet:state-machine-exercises
3m 7s
feat: Stack machine compiler & semantics preservation Lean Action CI #82: Commit 4215122 pushed by alexoltean61
1m 49s master
master
1m 49s