Skip to content

Actions: viperproject/boogie-proofgen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #59: Pull request #10 synchronize by gauravpartha
April 29, 2024 09:58 6m 47s cfg_optimizations
cfg_optimizations
April 29, 2024 09:58 6m 47s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #58: Pull request #10 synchronize by gauravpartha
April 29, 2024 08:39 7m 6s cfg_optimizations
cfg_optimizations
April 29, 2024 08:39 7m 6s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #57: Pull request #10 synchronize by gauravpartha
April 29, 2024 08:39 26m 19s cfg_optimizations
cfg_optimizations
April 29, 2024 08:39 26m 19s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #56: Pull request #10 synchronize by gauravpartha
April 18, 2024 11:40 26m 47s cfg_optimizations
cfg_optimizations
April 18, 2024 11:40 26m 47s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #55: Pull request #10 synchronize by gauravpartha
April 18, 2024 09:48 38m 44s cfg_optimizations
cfg_optimizations
April 18, 2024 09:48 38m 44s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #54: Pull request #10 synchronize by gauravpartha
April 18, 2024 07:44 38m 55s cfg_optimizations
cfg_optimizations
April 18, 2024 07:44 38m 55s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #53: Pull request #10 synchronize by gauravpartha
April 17, 2024 19:31 51s cfg_optimizations
cfg_optimizations
April 17, 2024 19:31 51s
update link to Isabelle 2022 Boogie Proof Generation CI #52: Commit 306521c pushed by gauravpartha
April 15, 2024 17:34 32m 42s master
master
April 15, 2024 17:34 32m 42s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #51: Pull request #10 synchronize by gauravpartha
April 15, 2024 17:28 1m 5s cfg_optimizations
cfg_optimizations
April 15, 2024 17:28 1m 5s