Skip to content

Actions: viperproject/gobra-libs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 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
update syntax for 'assign such that' (#46) Verify the Gobra library #188: Commit 00adb8d pushed by jcp19
5m 5s main
main
5m 5s
update syntax for 'assign such that' Verify the Gobra library #187: Pull request #46 opened by jcp19
8m 48s update-assing-st-syntax
update-assing-st-syntax
8m 48s
[refinementguard] Drop abstract method, use new feature 'assign-such-… Verify the Gobra library #186: Commit b4d1a48 pushed by jcp19
5m 23s main
main
5m 23s
[refinementguard] Drop abstract method, use new feature 'assign-such-that' instead Verify the Gobra library #185: Pull request #45 opened by jcp19
19m 3s use-assign-such-that
use-assign-such-that
19m 3s
Replace resalgebra with resalgebraNoAxioms (#44) Verify the Gobra library #184: Commit d248cb5 pushed by jcp19
21m 0s main
main
21m 0s
Replace resalgebra with resalgebraNoAxioms Verify the Gobra library #183: Pull request #44 synchronize by jcp19
3m 34s replace-resalgebra
replace-resalgebra
3m 34s
Replace resalgebra with resalgebraNoAxioms Verify the Gobra library #182: Pull request #44 opened by jcp19
4m 1s replace-resalgebra
replace-resalgebra
4m 1s
Add body to all functions that inhaled the invariant Verify the Gobra library #181: Pull request #35 synchronize by jcp19
1m 37s resalgebra2-invs
resalgebra2-invs
1m 37s
resalgebraNoAxioms: Verify global validity of ghost locations (#43) Verify the Gobra library #180: Commit 8827154 pushed by jcp19
3m 53s main
main
3m 53s
Add body to all functions that inhaled the invariant Verify the Gobra library #179: Pull request #35 synchronize by jcp19
1m 29s resalgebra2-invs
resalgebra2-invs
1m 29s
resalgebraNoAxioms: Verify global validity of ghost locations Verify the Gobra library #178: Pull request #43 synchronize by jcp19
3m 26s proof-remaining-assumption-resalgebra
proof-remaining-assumption-resalgebra
3m 26s
resalgebraNoAxioms: Verify global validity of ghost locations Verify the Gobra library #177: Pull request #43 synchronize by jcp19
3m 11s proof-remaining-assumption-resalgebra
proof-remaining-assumption-resalgebra
3m 11s
resalgebraNoAxioms: Verify global validity of ghost locations Verify the Gobra library #176: Pull request #43 synchronize by jcp19
1h 32m 5s proof-remaining-assumption-resalgebra
proof-remaining-assumption-resalgebra
1h 32m 5s
resalgebraNoAxioms: Verify global validity of ghost locations Verify the Gobra library #175: Pull request #43 synchronize by jcp19
35m 24s proof-remaining-assumption-resalgebra
proof-remaining-assumption-resalgebra
35m 24s
resalgebraNoAxioms: Verify global validity of ghost locations Verify the Gobra library #174: Pull request #43 synchronize by jcp19
18m 49s proof-remaining-assumption-resalgebra
proof-remaining-assumption-resalgebra
18m 49s
resalgebraNoAxioms: Verify global validity of ghost locations Verify the Gobra library #173: Pull request #43 synchronize by jcp19
9m 21s proof-remaining-assumption-resalgebra
proof-remaining-assumption-resalgebra
9m 21s
resalgebraNoAxioms: Verify global validity of ghost locations Verify the Gobra library #172: Pull request #43 synchronize by jcp19
3m 3s proof-remaining-assumption-resalgebra
proof-remaining-assumption-resalgebra
3m 3s
resalgebraNoAxioms: Verify global validity of ghost locations Verify the Gobra library #171: Pull request #43 opened by jcp19
5m 35s proof-remaining-assumption-resalgebra
proof-remaining-assumption-resalgebra
5m 35s
claude.md for resalgebra (#42) Verify the Gobra library #170: Commit 8e5e701 pushed by jcp19
2m 30s main
main
2m 30s
claude.md for resalgebra Verify the Gobra library #169: Pull request #42 synchronize by jcp19
5m 36s add-res-algebra-claudemd
add-res-algebra-claudemd
5m 36s
claude.md for resalgebra Verify the Gobra library #168: Pull request #42 opened by jcp19
2m 34s add-res-algebra-claudemd
add-res-algebra-claudemd
2m 34s
Add CLAUDE.md with project overview and development guide (#41) Verify the Gobra library #167: Commit 72e2909 pushed by jcp19
2m 31s main
main
2m 31s
Add CLAUDE.md with project overview and development guide Verify the Gobra library #166: Pull request #41 synchronize by jcp19
2m 29s add-claude-md
add-claude-md
2m 29s
Add CLAUDE.md with project overview and development guide Verify the Gobra library #165: Pull request #41 opened by jcp19
5m 34s add-claude-md
add-claude-md
5m 34s
Make more global variables ghost (#40) Verify the Gobra library #164: Commit 9b17f9b pushed by jcp19
1m 57s main
main
1m 57s