Skip to content

Actions: boogie-org/boogie

Actions

Boogie CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
527 workflow runs
527 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optimize blocks Boogie CI #1693: Pull request #919 synchronize by keyboardDrummer
July 26, 2024 14:58 5m 54s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
July 26, 2024 14:58 5m 54s
Optimize blocks Boogie CI #1692: Pull request #919 synchronize by keyboardDrummer
July 25, 2024 12:08 5m 54s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
July 25, 2024 12:08 5m 54s
Optimize blocks Boogie CI #1690: Pull request #919 synchronize by keyboardDrummer
July 25, 2024 11:09 5m 57s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
July 25, 2024 11:09 5m 57s
Optimize blocks Boogie CI #1689: Pull request #919 synchronize by keyboardDrummer
July 25, 2024 08:25 6m 1s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
July 25, 2024 08:25 6m 1s
Optimize blocks Boogie CI #1688: Pull request #919 synchronize by keyboardDrummer
July 24, 2024 16:16 1m 21s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
July 24, 2024 16:16 1m 21s
Optimize blocks Boogie CI #1687: Pull request #919 synchronize by keyboardDrummer
July 24, 2024 15:50 1m 20s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
July 24, 2024 15:50 1m 20s
Print split Boogie CI #1686: Pull request #918 synchronize by keyboardDrummer
July 24, 2024 15:45 5m 58s keyboardDrummer:printSplit
keyboardDrummer:printSplit
July 24, 2024 15:45 5m 58s
Optimize blocks Boogie CI #1685: Pull request #919 opened by keyboardDrummer
July 24, 2024 15:43 1m 10s keyboardDrummer:optimizeBlocks
keyboardDrummer:optimizeBlocks
July 24, 2024 15:43 1m 10s
Print split Boogie CI #1684: Pull request #918 synchronize by keyboardDrummer
July 24, 2024 15:15 6m 5s keyboardDrummer:printSplit
keyboardDrummer:printSplit
July 24, 2024 15:15 6m 5s
Print split Boogie CI #1683: Pull request #918 synchronize by keyboardDrummer
July 24, 2024 14:02 6m 14s keyboardDrummer:printSplit
keyboardDrummer:printSplit
July 24, 2024 14:02 6m 14s
Print split Boogie CI #1682: Pull request #918 synchronize by keyboardDrummer
July 24, 2024 13:59 6m 18s keyboardDrummer:printSplit
keyboardDrummer:printSplit
July 24, 2024 13:59 6m 18s
Print split Boogie CI #1681: Pull request #918 synchronize by keyboardDrummer
July 24, 2024 13:50 6m 3s keyboardDrummer:printSplit
keyboardDrummer:printSplit
July 24, 2024 13:50 6m 3s
Print split Boogie CI #1680: Pull request #918 opened by keyboardDrummer
July 24, 2024 13:35 1m 5s keyboardDrummer:printSplit
keyboardDrummer:printSplit
July 24, 2024 13:35 1m 5s
Prune assumptions Boogie CI #1679: Pull request #915 synchronize by keyboardDrummer
July 24, 2024 10:14 55s keyboardDrummer:pruneAssumptions
keyboardDrummer:pruneAssumptions
July 24, 2024 10:14 55s
Prune assumptions Boogie CI #1678: Pull request #915 synchronize by keyboardDrummer
July 23, 2024 13:49 57s keyboardDrummer:pruneAssumptions
keyboardDrummer:pruneAssumptions
July 23, 2024 13:49 57s
Prune assumptions Boogie CI #1677: Pull request #915 synchronize by keyboardDrummer
July 23, 2024 13:38 57s keyboardDrummer:pruneAssumptions
keyboardDrummer:pruneAssumptions
July 23, 2024 13:38 57s
[Civl] Eliminated linearity checks in favor of local checks Boogie CI #1676: Pull request #914 synchronize by shazqadeer
July 22, 2024 16:43 7m 10s fix-async
fix-async
July 22, 2024 16:43 7m 10s
[Civl] changed axiom for ChangRoberts sample Boogie CI #1675: Pull request #917 opened by shazqadeer
July 22, 2024 16:34 6m 31s change-axiom-CR
change-axiom-CR
July 22, 2024 16:34 6m 31s
Prune assumptions Boogie CI #1674: Pull request #915 synchronize by keyboardDrummer
July 22, 2024 09:51 1m 22s keyboardDrummer:pruneAssumptions
keyboardDrummer:pruneAssumptions
July 22, 2024 09:51 1m 22s
[Civl] Eliminated linearity checks in favor of local checks Boogie CI #1673: Pull request #914 opened by shazqadeer
July 21, 2024 23:42 6m 17s fix-async
fix-async
July 21, 2024 23:42 6m 17s
Use large stack for verification task execution Boogie CI #1672: Pull request #910 synchronize by keyboardDrummer
July 19, 2024 09:44 7m 24s keyboardDrummer:useLargeStackForVerificationTaskExecution
keyboardDrummer:useLargeStackForVerificationTaskExecution
July 19, 2024 09:44 7m 24s
[Civl] fix bug in implementation of explicit gates Boogie CI #1671: Pull request #913 synchronize by shazqadeer
July 19, 2024 04:05 7m 20s fix-gate-bug
fix-gate-bug
July 19, 2024 04:05 7m 20s
[Civl] fix bug in implementation of explicit gates Boogie CI #1670: Pull request #913 opened by shazqadeer
July 19, 2024 00:55 6m 48s fix-gate-bug
fix-gate-bug
July 19, 2024 00:55 6m 48s
[Civl] Allow pool hints in gates of atomic actions Boogie CI #1669: Pull request #912 opened by shazqadeer
July 19, 2024 00:40 7m 4s add-pool-hint-requires
add-pool-hint-requires
July 19, 2024 00:40 7m 4s
[Civl] Added explicit gates to atomic actions (#911) Boogie CI #1668: Commit eb568e6 pushed by keyboardDrummer
July 18, 2024 13:06 6m 58s v3.2.2
v3.2.2
July 18, 2024 13:06 6m 58s