Skip to content

Actions: opencompl/datapath-verification-paper

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
359 workflow runs
359 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
abstract Compile paper #179: Commit ec330b9 pushed by osmanyasar05
2m 41s main
main
2m 41s
abstract Push copy to private repo #179: Commit ec330b9 pushed by osmanyasar05
6s main
main
6s
abstract Push copy to private repo #178: Commit 1fb1c80 pushed by osmanyasar05
10s main
main
10s
abstract Compile paper #178: Commit 1fb1c80 pushed by osmanyasar05
1m 58s main
main
1m 58s
Add synthesis time discussion Push copy to private repo #177: Commit a12d13d pushed by cowardsa
1s main
main
1s
Add synthesis time discussion Compile paper #177: Commit a12d13d pushed by cowardsa
2m 14s main
main
2m 14s
chore Compile paper #176: Commit 39a7e21 pushed by osmanyasar05
2m 12s main
main
2m 12s
chore Push copy to private repo #176: Commit 39a7e21 pushed by osmanyasar05
10s main
main
10s
Merge branch 'main' of https://github.com/opencompl/datapath-verifica… Push copy to private repo #175: Commit a03ba3e pushed by cowardsa
9s main
main
9s
Merge branch 'main' of https://github.com/opencompl/datapath-verifica… Compile paper #175: Commit a03ba3e pushed by cowardsa
1m 53s main
main
1m 53s
references Compile paper #174: Commit c6730e4 pushed by osmanyasar05
2m 35s main
main
2m 35s
references Push copy to private repo #174: Commit c6730e4 pushed by osmanyasar05
1s main
main
1s
Conclusion Compile paper #173: Commit 31a0960 pushed by cowardsa
1m 57s main
main
1m 57s
Conclusion Push copy to private repo #173: Commit 31a0960 pushed by cowardsa
1s main
main
1s
Table - remove maj Push copy to private repo #172: Commit 6573ad4 pushed by cowardsa
1s main
main
1s
Table - remove maj Compile paper #172: Commit 6573ad4 pushed by cowardsa
2m 33s main
main
2m 33s
Eqns Compile paper #171: Commit 1507ea4 pushed by cowardsa
2m 1s main
main
2m 1s
Eqns Push copy to private repo #171: Commit 1507ea4 pushed by cowardsa
1s main
main
1s
Eqn corrections Push copy to private repo #170: Commit 78567e6 pushed by cowardsa
1s main
main
1s
Eqn corrections Compile paper #170: Commit 78567e6 pushed by cowardsa
2m 7s main
main
2m 7s
Dots in eqns Compile paper #169: Commit 00330e3 pushed by cowardsa
1m 45s main
main
1m 45s
Dots in eqns Push copy to private repo #169: Commit 00330e3 pushed by cowardsa
1s main
main
1s
Sec III.B - formalization and defs Compile paper #168: Commit c6f455b pushed by cowardsa
2m 9s main
main
2m 9s
Sec III.B - formalization and defs Push copy to private repo #168: Commit c6f455b pushed by cowardsa
1s main
main
1s
More intro Compile paper #167: Commit 3dc5ba1 pushed by cowardsa
2m 24s main
main
2m 24s