Skip to content

Actions: boogie-org/boogie

Actions

LeanAuto CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-lean-auto.yml
425 workflow runs
425 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions LeanAuto CI #403: Pull request #979 synchronize by keyboardDrummer
November 13, 2024 16:25 5m 48s keyboardDrummer:tokenFixJumpsHandler
keyboardDrummer:tokenFixJumpsHandler
November 13, 2024 16:25 5m 48s
Inline call [Stylistic Refactoring] LeanAuto CI #402: Pull request #982 synchronize by typerSniper
November 12, 2024 14:43 7m 28s typerSniper:inline-call
typerSniper:inline-call
November 12, 2024 14:43 7m 28s
Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions LeanAuto CI #401: Pull request #979 synchronize by keyboardDrummer
November 11, 2024 16:40 5m 52s keyboardDrummer:tokenFixJumpsHandler
keyboardDrummer:tokenFixJumpsHandler
November 11, 2024 16:40 5m 52s
[Civl] Bug fix in anonymous actions LeanAuto CI #400: Pull request #981 synchronize by shazqadeer
November 9, 2024 15:34 5m 29s bug-fix-anon
bug-fix-anon
November 9, 2024 15:34 5m 29s
implement inlining for call attributes LeanAuto CI #399: Pull request #980 synchronize by typerSniper
November 8, 2024 21:34 5m 25s typerSniper:inline-call
typerSniper:inline-call
November 8, 2024 21:34 5m 25s
[Civl] Bug fix in anonymous actions LeanAuto CI #398: Pull request #981 opened by shazqadeer
November 7, 2024 15:42 6m 5s bug-fix-anon
bug-fix-anon
November 7, 2024 15:42 6m 5s
implement inlining for call attributes LeanAuto CI #397: Pull request #980 synchronize by typerSniper
November 7, 2024 15:38 5m 39s typerSniper:inline-call
typerSniper:inline-call
November 7, 2024 15:38 5m 39s
implement inlining for call attributes LeanAuto CI #396: Pull request #980 synchronize by typerSniper
November 7, 2024 15:30 5m 50s typerSniper:inline-call
typerSniper:inline-call
November 7, 2024 15:30 5m 50s
implement inlining for call attributes LeanAuto CI #395: Pull request #980 synchronize by typerSniper
November 7, 2024 14:58 55s typerSniper:inline-call
typerSniper:inline-call
November 7, 2024 14:58 55s
implement inlining for call attributes LeanAuto CI #394: Pull request #980 opened by typerSniper
November 7, 2024 14:56 54s typerSniper:inline-call
typerSniper:inline-call
November 7, 2024 14:56 54s
Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions LeanAuto CI #393: Pull request #979 opened by keyboardDrummer
November 6, 2024 14:10 5m 59s keyboardDrummer:tokenFixJumpsHandler
keyboardDrummer:tokenFixJumpsHandler
November 6, 2024 14:10 5m 59s
[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
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
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
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 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
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 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 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
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 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
[Civl] Anonymous actions in refinement specification of yield procedures LeanAuto CI #380: Pull request #972 opened by shazqadeer
October 23, 2024 19:38 5m 39s anonymous-action
anonymous-action
October 23, 2024 19:38 5m 39s
Enable marking if commands as {:allow_split} or not LeanAuto CI #379: Pull request #970 synchronize by keyboardDrummer
October 23, 2024 13:25 5m 37s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 23, 2024 13:25 5m 37s