Skip to content

Actions: viperproject/gobra-libs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
92 workflow runs
92 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
rename asserting to Asserting and use new predicate expression syntax… Verify the Gobra library #194: Commit cab4eb7 pushed by jcp19
4m 29s main
main
4m 29s
Standardize function naming: rename asserting to Asserting Verify the Gobra library #193: Pull request #48 synchronize by jcp19
3m 11s claude/gobra-predicate-syntax-vudube
claude/gobra-predicate-syntax-vudube
3m 11s
Standardize function naming: rename asserting to Asserting Verify the Gobra library #192: Pull request #48 synchronize by jcp19
4m 53s claude/gobra-predicate-syntax-vudube
claude/gobra-predicate-syntax-vudube
4m 53s
Standardize function naming: rename asserting to Asserting Verify the Gobra library #191: Pull request #48 opened by jcp19
4m 54s claude/gobra-predicate-syntax-vudube
claude/gobra-predicate-syntax-vudube
4m 54s
Refactor asserting/Asserting to use in syntax and remove function definitions Verify the Gobra library #190: Pull request #47 synchronize by jcp19
4m 18s claude/amazing-mccarthy-y1ro1r
claude/amazing-mccarthy-y1ro1r
4m 18s
Refactor asserting/Asserting to use in syntax and remove function definitions Verify the Gobra library #189: Pull request #47 opened by jcp19
3m 54s claude/amazing-mccarthy-y1ro1r
claude/amazing-mccarthy-y1ro1r
3m 54s
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