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

Add pushScope, popScope, hide and reveal commands Boogie CI #1617: Pull request #891 synchronize by keyboardDrummer
July 2, 2024 08:43 5m 19s keyboardDrummer:splits
keyboardDrummer:splits
July 2, 2024 08:43 5m 19s
Move some classes into separate files Boogie CI #1616: Pull request #897 opened by keyboardDrummer
July 1, 2024 17:03 6m 19s keyboardDrummer:prepHideRevealRefactor
keyboardDrummer:prepHideRevealRefactor
July 1, 2024 17:03 6m 19s
Add pushScope, popScope, hide and reveal commands Boogie CI #1615: Pull request #891 synchronize by keyboardDrummer
July 1, 2024 16:53 5m 33s keyboardDrummer:splits
keyboardDrummer:splits
July 1, 2024 16:53 5m 33s
[Civl] Fix scatter gather sample Boogie CI #1614: Pull request #896 synchronize by shazqadeer
June 27, 2024 14:34 6m 43s fix-sg
fix-sg
June 27, 2024 14:34 6m 43s
[Civl] Fix scatter gather sample Boogie CI #1613: Pull request #896 synchronize by shazqadeer
June 26, 2024 18:21 5m 32s fix-sg
fix-sg
June 26, 2024 18:21 5m 32s
[Civl] Fix scatter gather sample Boogie CI #1612: Pull request #896 synchronize by shazqadeer
June 26, 2024 14:02 6m 11s fix-sg
fix-sg
June 26, 2024 14:02 6m 11s
[Civl] Fix scatter gather sample Boogie CI #1611: Pull request #896 synchronize by NamrathaG
June 26, 2024 13:40 5m 53s fix-sg
fix-sg
June 26, 2024 13:40 5m 53s
[Civl] Fix scatter gather sample Boogie CI #1610: Pull request #896 synchronize by NamrathaG
June 26, 2024 13:28 5m 45s fix-sg
fix-sg
June 26, 2024 13:28 5m 45s
[Civl] Fix scatter gather sample Boogie CI #1609: Pull request #896 opened by shazqadeer
June 26, 2024 04:31 6h 0m 22s fix-sg
fix-sg
June 26, 2024 04:31 6h 0m 22s
goto bug Boogie CI #1608: Pull request #895 synchronize by NamrathaG
June 25, 2024 14:03 6h 0m 26s ISR-empty-goto-bug
ISR-empty-goto-bug
June 25, 2024 14:03 6h 0m 26s
goto bug Boogie CI #1607: Pull request #895 opened by NamrathaG
June 25, 2024 12:38 6m 21s ISR-empty-goto-bug
ISR-empty-goto-bug
June 25, 2024 12:38 6m 21s
Empty goto bug fix Boogie CI #1606: Pull request #894 opened by NamrathaG
June 25, 2024 12:29 6m 43s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 25, 2024 12:29 6m 43s
ISR SideCondition and InconsistencyChecker Boogie CI #1605: Pull request #893 synchronize by shazqadeer
June 24, 2024 17:02 6m 39s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 24, 2024 17:02 6m 39s
ISR SideCondition and InconsistencyChecker Boogie CI #1604: Pull request #893 synchronize by NamrathaG
June 24, 2024 16:38 6m 42s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 24, 2024 16:38 6m 42s
ISR SideCondition and InconsistencyChecker Boogie CI #1603: Pull request #893 synchronize by NamrathaG
June 24, 2024 13:45 6m 35s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 24, 2024 13:45 6m 35s
ISR SideCondition and InconsistencyChecker Boogie CI #1602: Pull request #893 synchronize by NamrathaG
June 24, 2024 08:30 7m 18s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 24, 2024 08:30 7m 18s
ISR SideCondition and InconsistencyChecker Boogie CI #1601: Pull request #893 synchronize by shazqadeer
June 22, 2024 06:05 6m 33s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 22, 2024 06:05 6m 33s
ISR SideCondition and InconsistencyChecker Boogie CI #1600: Pull request #893 synchronize by NamrathaG
June 21, 2024 15:32 6m 21s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 21, 2024 15:32 6m 21s
ISR SideCondition and InconsistencyChecker Boogie CI #1599: Pull request #893 synchronize by NamrathaG
June 21, 2024 15:31 6m 43s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 21, 2024 15:31 6m 43s
ISR SideCondition and InconsistencyChecker Boogie CI #1598: Pull request #893 synchronize by NamrathaG
June 21, 2024 15:17 6m 46s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 21, 2024 15:17 6m 46s
ISR SideCondition and InconsistencyChecker Boogie CI #1597: Pull request #893 synchronize by NamrathaG
June 21, 2024 15:08 5m 49s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 21, 2024 15:08 5m 49s
ISR SideCondition and InconsistencyChecker Boogie CI #1596: Pull request #893 synchronize by NamrathaG
June 21, 2024 14:19 5m 37s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 21, 2024 14:19 5m 37s
ISR SideCondition and InconsistencyChecker Boogie CI #1595: Pull request #893 synchronize by NamrathaG
June 21, 2024 14:19 5m 49s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 21, 2024 14:19 5m 49s
ISR SideCondition and InconsistencyChecker Boogie CI #1594: Pull request #893 synchronize by NamrathaG
June 21, 2024 14:18 5m 38s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 21, 2024 14:18 5m 38s
ISR SideCondition and InconsistencyChecker Boogie CI #1593: Pull request #893 synchronize by shazqadeer
June 20, 2024 16:15 5m 23s ISR-Side-and-Inconsistency
ISR-Side-and-Inconsistency
June 20, 2024 16:15 5m 23s