Skip to content

Actions: gauravpartha/boogie_proofgen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 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 #67: Pull request #10 synchronize by gauravpartha
September 24, 2024 10:12 32m 22s cfg_optimizations
cfg_optimizations
September 24, 2024 10:12 32m 22s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #66: Pull request #10 synchronize by gauravpartha
August 21, 2024 15:50 33m 45s cfg_optimizations
cfg_optimizations
August 21, 2024 15:50 33m 45s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #65: Pull request #10 synchronize by gauravpartha
August 20, 2024 14:32 34m 22s cfg_optimizations
cfg_optimizations
August 20, 2024 14:32 34m 22s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #64: Pull request #10 synchronize by gauravpartha
May 9, 2024 16:24 33m 2s cfg_optimizations
cfg_optimizations
May 9, 2024 16:24 33m 2s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #63: Pull request #10 synchronize by gauravpartha
May 9, 2024 10:41 33m 9s cfg_optimizations
cfg_optimizations
May 9, 2024 10:41 33m 9s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #62: Pull request #10 synchronize by gauravpartha
April 29, 2024 16:52 33m 42s cfg_optimizations
cfg_optimizations
April 29, 2024 16:52 33m 42s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #61: Pull request #10 synchronize by gauravpartha
April 29, 2024 13:08 32m 41s cfg_optimizations
cfg_optimizations
April 29, 2024 13:08 32m 41s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #60: Pull request #10 synchronize by gauravpartha
April 29, 2024 11:46 37m 44s cfg_optimizations
cfg_optimizations
April 29, 2024 11:46 37m 44s
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
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #50: Pull request #10 synchronize by lukashimmelreich
July 28, 2023 06:41 56m 16s cfg_optimizations
cfg_optimizations
July 28, 2023 06:41 56m 16s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #49: Pull request #10 synchronize by lukashimmelreich
July 28, 2023 06:40 56m 57s cfg_optimizations
cfg_optimizations
July 28, 2023 06:40 56m 57s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #48: Pull request #10 synchronize by lukashimmelreich
July 18, 2023 08:30 1h 5m 38s cfg_optimizations
cfg_optimizations
July 18, 2023 08:30 1h 5m 38s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #47: Pull request #10 synchronize by lukashimmelreich
July 13, 2023 12:11 1h 8m 20s cfg_optimizations
cfg_optimizations
July 13, 2023 12:11 1h 8m 20s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #46: Pull request #10 synchronize by gauravpartha
July 12, 2023 15:52 57m 18s cfg_optimizations
cfg_optimizations
July 12, 2023 15:52 57m 18s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #45: Pull request #10 synchronize by lukashimmelreich
July 12, 2023 13:08 1h 17m 37s cfg_optimizations
cfg_optimizations
July 12, 2023 13:08 1h 17m 37s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #44: Pull request #10 synchronize by gauravpartha
July 11, 2023 18:33 56m 1s cfg_optimizations
cfg_optimizations
July 11, 2023 18:33 56m 1s
Proof generation for CFG optimizations (Block coalescing and pruning of unreachable blocks) Boogie Proof Generation CI #43: Pull request #10 synchronize by gauravpartha
July 11, 2023 18:23 10m 17s cfg_optimizations
cfg_optimizations
July 11, 2023 18:23 10m 17s