Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
984 workflow runs
984 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Civl] Sample for mover procedures in parallel calls LeanAuto CI #392: Pull request #978 opened by shazqadeer
October 26, 2024 16:08 5m 34s parcall-sample
parcall-sample
October 26, 2024 16:08 5m 34s
[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 LeanAuto CI #391: Pull request #977 opened by shazqadeer
October 25, 2024 19:58 5m 34s random-naming-bug-fix
random-naming-bug-fix
October 25, 2024 19:58 5m 34s
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 LeanAuto CI #390: Pull request #975 synchronize by keyboardDrummer
October 25, 2024 09:17 5m 42s random-naming-bug-fix
random-naming-bug-fix
October 25, 2024 09:17 5m 42s
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) LeanAuto CI #389: Commit 678021a pushed by keyboardDrummer
October 25, 2024 09:14 5m 37s v3.4.1
v3.4.1
October 25, 2024 09:14 5m 37s
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 LeanAuto CI #388: Pull request #976 opened by keyboardDrummer
October 24, 2024 21:02 5m 31s keyboardDrummer:improveSplitShortNames
keyboardDrummer:improveSplitShortNames
October 24, 2024 21:02 5m 31s
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 LeanAuto CI #387: Pull request #975 synchronize by shazqadeer
October 24, 2024 19:44 5m 41s random-naming-bug-fix
random-naming-bug-fix
October 24, 2024 19:44 5m 41s
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
Fix bug in datatype translation LeanAuto CI #386: Pull request #975 opened by shazqadeer
October 24, 2024 19:41 5m 30s random-naming-bug-fix
random-naming-bug-fix
October 24, 2024 19:41 5m 30s
Enable marking if commands as {:allow_split} or not (#970) LeanAuto CI #385: Commit 07ae2d8 pushed by keyboardDrummer
October 24, 2024 17:52 5m 35s v3.4.0
v3.4.0
October 24, 2024 17:52 5m 35s
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 LeanAuto CI #384: Pull request #970 synchronize by keyboardDrummer
October 24, 2024 11:57 5m 46s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 24, 2024 11:57 5m 46s
Enable marking if commands as {:allow_split} or not LeanAuto CI #383: Pull request #970 synchronize by keyboardDrummer
October 24, 2024 11:56 10m 21s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 24, 2024 11:56 10m 21s
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 LeanAuto CI #382: Pull request #973 synchronize by keyboardDrummer
October 24, 2024 11:37 5m 25s atomb:var-to-axiom
atomb:var-to-axiom
October 24, 2024 11:37 5m 25s
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 LeanAuto CI #381: Pull request #973 opened by atomb
October 23, 2024 21:08 5m 39s atomb:var-to-axiom
atomb:var-to-axiom
October 23, 2024 21:08 5m 39s
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