Skip to content

Actions: viperproject/gobra-libs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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