Skip to content

Actions: boogie-org/boogie

Actions

Boogie CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
613 workflow runs
613 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Civl] Sample for mover procedures in parallel calls Boogie CI #1893: Pull request #978 opened by shazqadeer
October 26, 2024 16:08 6m 0s parcall-sample
parcall-sample
October 26, 2024 16:08 6m 0s
Further cleanup in datatype translation Boogie CI #1892: Pull request #977 opened by shazqadeer
October 25, 2024 19:58 5m 46s random-naming-bug-fix
random-naming-bug-fix
October 25, 2024 19:58 5m 46s
Fix bug in datatype translation Boogie CI #1891: Pull request #975 synchronize by keyboardDrummer
October 25, 2024 09:17 5m 35s random-naming-bug-fix
random-naming-bug-fix
October 25, 2024 09:17 5m 35s
Improve short names for splits (#976) Boogie CI #1890: Commit 678021a pushed by keyboardDrummer
October 25, 2024 09:14 6m 13s v3.4.1
v3.4.1
October 25, 2024 09:14 6m 13s
Improve short names for splits Boogie CI #1889: Pull request #976 opened by keyboardDrummer
October 24, 2024 21:02 5m 48s keyboardDrummer:improveSplitShortNames
keyboardDrummer:improveSplitShortNames
October 24, 2024 21:02 5m 48s
Fix bug in datatype translation Boogie CI #1888: Pull request #975 synchronize by shazqadeer
October 24, 2024 19:44 6m 2s random-naming-bug-fix
random-naming-bug-fix
October 24, 2024 19:44 6m 2s
Fix bug in datatype translation Boogie CI #1887: Pull request #975 opened by shazqadeer
October 24, 2024 19:41 5m 43s random-naming-bug-fix
random-naming-bug-fix
October 24, 2024 19:41 5m 43s
Enable marking if commands as {:allow_split} or not (#970) Boogie CI #1886: Commit 07ae2d8 pushed by keyboardDrummer
October 24, 2024 17:52 5m 49s v3.4.0
v3.4.0
October 24, 2024 17:52 5m 49s
Enable marking if commands as {:allow_split} or not Boogie CI #1885: Pull request #970 synchronize by keyboardDrummer
October 24, 2024 11:57 5m 52s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 24, 2024 11:57 5m 52s
Enable marking if commands as {:allow_split} or not Boogie CI #1884: Pull request #970 synchronize by keyboardDrummer
October 24, 2024 11:56 5m 51s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 24, 2024 11:56 5m 51s
Use axiom instead of variable for globals, consts Boogie CI #1883: Pull request #973 synchronize by keyboardDrummer
October 24, 2024 11:37 5m 45s atomb:var-to-axiom
atomb:var-to-axiom
October 24, 2024 11:37 5m 45s
Use axiom instead of variable for globals, consts Boogie CI #1882: Pull request #973 opened by atomb
October 23, 2024 21:08 5m 53s atomb:var-to-axiom
atomb:var-to-axiom
October 23, 2024 21:08 5m 53s
[Civl] Anonymous actions in refinement specification of yield procedures Boogie CI #1881: Pull request #972 opened by shazqadeer
October 23, 2024 19:38 6m 1s anonymous-action
anonymous-action
October 23, 2024 19:38 6m 1s
Enable marking if commands as {:allow_split} or not Boogie CI #1880: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 13:25 7m 0s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 13:25 7m 0s
Enable marking if commands as {:allow_split} or not Boogie CI #1879: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 13:00 5m 46s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 13:00 5m 46s
Enable marking if commands as {:allow_split} or not Boogie CI #1878: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 12:20 5m 5s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 12:20 5m 5s
Enable marking if commands as {:allow_split} or not Boogie CI #1877: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 12:12 1m 14s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 12:12 1m 14s
Enable marking if commands as {:allow_split} or not Boogie CI #1876: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 11:53 5m 18s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 11:53 5m 18s
Enable marking if commands as {:allow_split} or not Boogie CI #1875: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 11:48 1m 18s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 11:48 1m 18s
Enable marking if commands as {:allow_split} or not Boogie CI #1874: Pull request #970 synchronize by keyboardDrummer
October 22, 2024 20:58 5m 45s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 22, 2024 20:58 5m 45s
Isolate path refactorings Boogie CI #1873: Pull request #969 synchronize by robin-aws
October 22, 2024 16:51 5m 37s keyboardDrummer:isolatePathRefactorings
keyboardDrummer:isolatePathRefactorings
October 22, 2024 16:51 5m 37s
[Civl] Added shared vector sample Boogie CI #1872: Pull request #971 opened by shazqadeer
October 22, 2024 14:48 5m 57s add-new-sample
add-new-sample
October 22, 2024 14:48 5m 57s
Isolate path refactorings Boogie CI #1871: Pull request #969 synchronize by keyboardDrummer
October 22, 2024 14:20 5m 40s keyboardDrummer:isolatePathRefactorings
keyboardDrummer:isolatePathRefactorings
October 22, 2024 14:20 5m 40s
Enable marking if commands as {:allow_split} or not Boogie CI #1870: Pull request #970 synchronize by keyboardDrummer
October 22, 2024 13:44 5m 35s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 22, 2024 13:44 5m 35s
Isolate path refactorings Boogie CI #1869: Pull request #969 synchronize by keyboardDrummer
October 22, 2024 10:27 5m 28s keyboardDrummer:isolatePathRefactorings
keyboardDrummer:isolatePathRefactorings
October 22, 2024 10:27 5m 28s