Skip to content

Actions: viperproject/gobra-libs

Actions

Verify the Gobra library

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gobra.yml
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[WIP] Verify global validity of ghost locations Verify the Gobra library #159: Pull request #36 synchronize by jcp19
5m 27s verifyGlobalValidity
verifyGlobalValidity
5m 27s
[WIP] Verify global validity of ghost locations Verify the Gobra library #158: Pull request #36 synchronize by jcp19
2m 17s verifyGlobalValidity
verifyGlobalValidity
2m 17s
Add body to all functions that inhaled the invariant Verify the Gobra library #157: Pull request #35 synchronize by jcp19
1m 28s resalgebra2-invs
resalgebra2-invs
1m 28s
quality of life improvements to the refinement library (#38) Verify the Gobra library #156: Commit 53a0779 pushed by jcp19
2m 12s main
main
2m 12s
quality of life improvements to the refinement library Verify the Gobra library #155: Pull request #38 opened by jcp19
2m 12s qol-refinementguard
qol-refinementguard
2m 12s
Refinement with Guards and Locally Inductive Invariants (LIIs) (#37) Verify the Gobra library #154: Commit 499fa7d pushed by jcp19
2m 7s main
main
2m 7s
Refinement with Guards and Locally Inductive Invariants (LIIs) Verify the Gobra library #153: Pull request #37 synchronize by jcp19
2m 22s refinementguard
refinementguard
2m 22s
Refinement with Guards and Locally Inductive Invariants (LIIs) Verify the Gobra library #152: Pull request #37 synchronize by jcp19
2m 22s refinementguard
refinementguard
2m 22s
Refinement with Guards and Locally Inductive Invariants (LIIs) Verify the Gobra library #151: Pull request #37 synchronize by jcp19
2m 47s refinementguard
refinementguard
2m 47s
Refinement with Guards and Locally Inductive Invariants (LIIs) Verify the Gobra library #150: Pull request #37 synchronize by jcp19
42s refinementguard
refinementguard
42s
Refinement with Guards and Locally Inductive Invariants (LIIs) Verify the Gobra library #149: Pull request #37 opened by jcp19
52s refinementguard
refinementguard
52s
Add model for ghost locations (#31) Verify the Gobra library #148: Commit a0fc982 pushed by jcp19
2m 3s main
main
2m 3s
[WIP] Verify global validity of ghost locations Verify the Gobra library #147: Pull request #36 opened by jcp19
2m 8s verifyGlobalValidity
verifyGlobalValidity
2m 8s
Add body to all functions that inhaled the invariant Verify the Gobra library #146: Pull request #35 opened by jcp19
1m 25s resalgebra2-invs
resalgebra2-invs
1m 25s
Add model for ghost locations Verify the Gobra library #145: Pull request #31 synchronize by jcp19
2m 18s resalgebra2
resalgebra2
2m 18s
Add model for ghost locations Verify the Gobra library #144: Pull request #31 synchronize by jcp19
2m 9s resalgebra2
resalgebra2
2m 9s
Add model for ghost locations Verify the Gobra library #143: Pull request #31 synchronize by jcp19
2m 24s resalgebra2
resalgebra2
2m 24s
Add model for ghost locations Verify the Gobra library #142: Pull request #31 synchronize by jcp19
1m 53s resalgebra2
resalgebra2
1m 53s
Add model for ghost locations Verify the Gobra library #141: Pull request #31 synchronize by jcp19
2m 3s resalgebra2
resalgebra2
2m 3s
Add model for ghost locations Verify the Gobra library #140: Pull request #31 synchronize by jcp19
2m 30s resalgebra2
resalgebra2
2m 30s
Add model for ghost locations Verify the Gobra library #139: Pull request #31 synchronize by jcp19
2m 11s resalgebra2
resalgebra2
2m 11s
Add model for ghost locations Verify the Gobra library #138: Pull request #31 synchronize by jcp19
1m 57s resalgebra2
resalgebra2
1m 57s
Add model for ghost locations Verify the Gobra library #137: Pull request #31 synchronize by jcp19
1m 47s resalgebra2
resalgebra2
1m 47s
Add model for ghost locations Verify the Gobra library #136: Pull request #31 synchronize by jcp19
1m 57s resalgebra2
resalgebra2
1m 57s
Add model for ghost locations Verify the Gobra library #135: Pull request #31 synchronize by jcp19
1m 55s resalgebra2
resalgebra2
1m 55s