Skip to content

Actions: gauravpartha/foundational_boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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