+
Skip to content

Actions: VCA-EPFL/graphiti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
620 workflow runs
620 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add ports to traces CI #564: Commit 9d37929 pushed by ymherklotz
17m 2s main
main
17m 2s
Merge branch 'main' of github.com:VCA-EPFL/graphiti CI #563: Commit 58ae4f7 pushed by Mai-LinhC
16m 37s main
main
16m 37s
Started main proof CI #562: Commit 71b4762 pushed by ortolino
16m 34s main
main
16m 34s
Liveness: Fix composed module internal CI #561: Commit 9c046f2 pushed by Mai-LinhC
16m 30s main
main
16m 30s
Liveness: Fix lemmas with new module def CI #560: Commit 481f905 pushed by Mai-LinhC
16m 31s main
main
16m 31s
Liveness: Fix composed module to have 2 lists as state CI #559: Commit 2a62a45 pushed by Mai-LinhC
1m 32s main
main
1m 32s
点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载