Skip to content

Actions: boogie-org/boogie

Actions

Boogie CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
513 workflow runs
513 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Civl] Add snapshot with parallel scans Boogie CI #1908: Pull request #984 opened by shazqadeer
November 14, 2024 18:35 5m 52s add-par-snapshot
add-par-snapshot
November 14, 2024 18:35 5m 52s
Provide more flexibility in configuring which return statements get s… Boogie CI #1907: Commit 6450474 pushed by keyboardDrummer
November 14, 2024 13:34 6m 16s v3.4.2
v3.4.2
November 14, 2024 13:34 6m 16s
Support multi-binding var expressions in Lean backend Boogie CI #1906: Pull request #983 synchronize by atomb
November 13, 2024 22:26 5m 57s atomb:lean-multi-let-expr
atomb:lean-multi-let-expr
November 13, 2024 22:26 5m 57s
Support multi-binding var expressions in Lean backend Boogie CI #1905: Pull request #983 opened by atomb
November 13, 2024 21:57 5m 24s atomb:lean-multi-let-expr
atomb:lean-multi-let-expr
November 13, 2024 21:57 5m 24s
Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions Boogie CI #1904: Pull request #979 synchronize by keyboardDrummer
November 13, 2024 16:25 6m 3s keyboardDrummer:tokenFixJumpsHandler
keyboardDrummer:tokenFixJumpsHandler
November 13, 2024 16:25 6m 3s
Inline call [Stylistic Refactoring] Boogie CI #1903: Pull request #982 synchronize by typerSniper
November 12, 2024 14:43 8m 5s typerSniper:inline-call
typerSniper:inline-call
November 12, 2024 14:43 8m 5s
Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions Boogie CI #1902: Pull request #979 synchronize by keyboardDrummer
November 11, 2024 16:40 5m 43s keyboardDrummer:tokenFixJumpsHandler
keyboardDrummer:tokenFixJumpsHandler
November 11, 2024 16:40 5m 43s
[Civl] Bug fix in anonymous actions Boogie CI #1901: Pull request #981 synchronize by shazqadeer
November 9, 2024 15:34 5m 39s bug-fix-anon
bug-fix-anon
November 9, 2024 15:34 5m 39s
implement inlining for call attributes Boogie CI #1900: Pull request #980 synchronize by typerSniper
November 8, 2024 21:34 6m 2s typerSniper:inline-call
typerSniper:inline-call
November 8, 2024 21:34 6m 2s
[Civl] Bug fix in anonymous actions Boogie CI #1899: Pull request #981 opened by shazqadeer
November 7, 2024 15:42 5m 45s bug-fix-anon
bug-fix-anon
November 7, 2024 15:42 5m 45s
implement inlining for call attributes Boogie CI #1898: Pull request #980 synchronize by typerSniper
November 7, 2024 15:38 5m 37s typerSniper:inline-call
typerSniper:inline-call
November 7, 2024 15:38 5m 37s
implement inlining for call attributes Boogie CI #1897: Pull request #980 synchronize by typerSniper
November 7, 2024 15:30 5m 25s typerSniper:inline-call
typerSniper:inline-call
November 7, 2024 15:30 5m 25s
implement inlining for call attributes Boogie CI #1896: Pull request #980 synchronize by typerSniper
November 7, 2024 14:58 1m 1s typerSniper:inline-call
typerSniper:inline-call
November 7, 2024 14:58 1m 1s
implement inlining for call attributes Boogie CI #1895: Pull request #980 opened by typerSniper
November 7, 2024 14:56 1m 15s typerSniper:inline-call
typerSniper:inline-call
November 7, 2024 14:56 1m 15s
Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions Boogie CI #1894: Pull request #979 opened by keyboardDrummer
November 6, 2024 14:10 5m 40s keyboardDrummer:tokenFixJumpsHandler
keyboardDrummer:tokenFixJumpsHandler
November 6, 2024 14:10 5m 40s
[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