Skip to content

Actions: viperproject/foundational-boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cfg optimizations (unreachable blocks and block coalescing) Foundational Boogie CI #41: Pull request #8 synchronize by gauravpartha
December 8, 2024 15:28 2m 0s cfg_optimizations
cfg_optimizations
December 8, 2024 15:28 2m 0s
Cfg optimizations (unreachable blocks and block coalescing) Foundational Boogie CI #40: Pull request #8 synchronize by gauravpartha
November 21, 2024 09:15 1m 58s cfg_optimizations
cfg_optimizations
November 21, 2024 09:15 1m 58s
Cfg optimizations (unreachable blocks and block coalescing) Foundational Boogie CI #39: Pull request #8 synchronize by gauravpartha
August 21, 2024 15:46 2m 37s cfg_optimizations
cfg_optimizations
August 21, 2024 15:46 2m 37s
Cfg optimizations (unreachable blocks and block coalescing) Foundational Boogie CI #38: Pull request #8 synchronize by gauravpartha
April 25, 2024 07:58 1m 59s cfg_optimizations
cfg_optimizations
April 25, 2024 07:58 1m 59s
Cfg optimizations (unreachable blocks and block coalescing) Foundational Boogie CI #37: Pull request #8 synchronize by gauravpartha
February 10, 2024 19:41 2m 7s cfg_optimizations
cfg_optimizations
February 10, 2024 19:41 2m 7s
Merge pull request #10 from gauravpartha/max_min_disjoint_lemma_2 Foundational Boogie CI #36: Commit 87dc3e1 pushed by gauravpartha
October 31, 2023 16:04 2m 22s master
master
October 31, 2023 16:04 2m 22s
add helper lemma for more efficient disjointness check Foundational Boogie CI #35: Pull request #10 opened by gauravpartha
October 31, 2023 16:01 2m 22s max_min_disjoint_lemma_2
max_min_disjoint_lemma_2
October 31, 2023 16:01 2m 22s
Merge pull request #9 from gauravpartha/int_to_real_conversion Foundational Boogie CI #34: Commit ffc8688 pushed by gauravpartha
October 30, 2023 15:33 2m 47s master
master
October 30, 2023 15:33 2m 47s
add support for integer to real conversion Foundational Boogie CI #33: Pull request #9 synchronize by gauravpartha
October 30, 2023 14:19 2m 36s int_to_real_conversion
int_to_real_conversion
October 30, 2023 14:19 2m 36s
add support for integer to real conversion Foundational Boogie CI #32: Pull request #9 opened by gauravpartha
October 30, 2023 13:51 15s int_to_real_conversion
int_to_real_conversion
October 30, 2023 13:51 15s