Skip to content

Actions: VCA-EPFL/graphiti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
630 workflow runs
630 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make build unbroken CI #589: Commit 8aee4f9 pushed by ymherklotz
19m 37s main
main
19m 37s
Noc: Continue ExprHighSem and reduce type, need further evaluation CI #588: Commit 9ee5d5f pushed by Gurvan-dev
2m 48s main
main
2m 48s
Merge branch 'main' of github.com:VCA-EPFL/graphiti CI #587: Commit db469ed pushed by ortolino
1m 48s main
main
1m 48s
Add inductive phi definition to JoinRewrite CI #586: Commit ebcc9d2 pushed by ymherklotz
1m 33s main
main
1m 33s
Liveness: add reachable_P_implies_empty_state and start reach_empty CI #585: Commit 869aa23 pushed by Mai-LinhC
17m 0s main
main
17m 0s
Update to lean v4.25.0-rc2 CI #584: Commit ce046e3 pushed by ymherklotz
22m 30s main
main
22m 30s
Liveness: restructured the input subproof so that a single lemma has … CI #583: Commit e62edf6 pushed by ortolino
20m 24s main
main
20m 24s
Merge branch 'main' of github.com:VCA-EPFL/graphiti CI #582: Commit 0cd789a pushed by Mai-LinhC
20m 35s main
main
20m 35s
Liveness: modified the empty proof for it to use new steps CI #581: Commit 6509eef pushed by ortolino
20m 22s main
main
20m 22s
Liveness: refactored start of the proof and modified form of the stat… CI #580: Commit 52da3d9 pushed by ortolino
20m 23s main
main
20m 23s
Merge branch 'main' of github.com:VCA-EPFL/graphiti CI #579: Commit 5a376e4 pushed by ortolino
20m 10s main
main
20m 10s
liveness: add P_concat theorem CI #578: Commit 3859cb4 pushed by Mai-LinhC
20m 40s main
main
20m 40s
Liveness: split up final lemma between input and output CI #577: Commit 451c7aa pushed by ortolino
20m 47s main
main
20m 47s
Liveness: continue intermediate proof for liveness CI #576: Commit 0abf1d5 pushed by ortolino
21m 6s main
main
21m 6s
Liveness: add new version of the proof that uses the original lemma CI #575: Commit 417bc50 pushed by ortolino
21m 40s main
main
21m 40s
Modified main gcompfp_liveness lemma for it to make sense with our co… CI #574: Commit e02a194 pushed by ortolino
18m 37s main
main
18m 37s
Merge branch 'main' of github.com:VCA-EPFL/graphiti CI #573: Commit 3431d9b pushed by ortolino
20m 46s main
main
20m 46s
Liveness: Does the refinement implies flushability CI #572: Commit 5bc8906 pushed by Gurvan-dev
20m 34s main
main
20m 34s
Liveness: Add a form of refinement on trace CI #571: Commit 924d27a pushed by Gurvan-dev
20m 45s main
main
20m 45s
Noc: Fix compilation CI #570: Commit 37ddc82 pushed by Gurvan-dev
21m 15s main
main
21m 15s
Noc: Try alternative ExprHigh semantics for Noc compilation CI #569: Commit a44332e pushed by Gurvan-dev
5m 10s main
main
5m 10s
Work around default not being unfolded anymore CI #568: Commit b0ecfaf pushed by ymherklotz
23m 11s main
main
23m 11s
Lean: update to v4.24.0-rc1 CI #567: Commit bcb1a89 pushed by ymherklotz
4m 28s main
main
4m 28s
Noc: Minor cleaning CI #566: Commit 5e5139c pushed by Gurvan-dev
16m 54s main
main
16m 54s
Deprecated duplicate theorem CI #565: Commit b218ef6 pushed by ymherklotz
17m 13s main
main
17m 13s