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

Actually parse structured program elements Boogie CI #1340: Pull request #777 synchronize by atomb
September 5, 2023 22:29 11m 36s atomb:structured-program-elements
atomb:structured-program-elements
September 5, 2023 22:29 11m 36s
Actually parse structured program elements Boogie CI #1339: Pull request #777 synchronize by atomb
September 5, 2023 22:17 13m 29s atomb:structured-program-elements
atomb:structured-program-elements
September 5, 2023 22:17 13m 29s
Actually parse structured program elements Boogie CI #1338: Pull request #777 opened by atomb
September 5, 2023 21:58 14m 50s atomb:structured-program-elements
atomb:structured-program-elements
September 5, 2023 21:58 14m 50s
Structured representation for program elements Boogie CI #1337: Pull request #776 synchronize by atomb
September 5, 2023 16:43 11m 46s atomb:structured-program-elements
atomb:structured-program-elements
September 5, 2023 16:43 11m 46s
Structured representation for program elements Boogie CI #1336: Pull request #776 synchronize by atomb
September 5, 2023 16:19 24m 33s atomb:structured-program-elements
atomb:structured-program-elements
September 5, 2023 16:19 24m 33s
Structured representation for program elements Boogie CI #1335: Pull request #776 synchronize by atomb
September 1, 2023 23:50 14m 1s atomb:structured-program-elements
atomb:structured-program-elements
September 1, 2023 23:50 14m 1s
Structured representation for program elements Boogie CI #1334: Pull request #776 opened by atomb
September 1, 2023 23:45 11m 21s atomb:structured-program-elements
atomb:structured-program-elements
September 1, 2023 23:45 11m 21s
Bump version number to 3.0.1 (#774) Boogie CI #1333: Commit b227fc5 pushed by atomb
August 16, 2023 16:28 13m 49s v3.0.1
v3.0.1
August 16, 2023 16:28 13m 49s
Bump version number to 3.0.1 Boogie CI #1332: Pull request #774 opened by atomb
August 16, 2023 15:45 12m 0s atomb:release-v3.0.1
atomb:release-v3.0.1
August 16, 2023 15:45 12m 0s
[Civl] bug fix for noninterference checking for pending asyncs Boogie CI #1331: Pull request #773 synchronize by shazqadeer
August 15, 2023 13:24 11m 42s pa-noninterference-fix
pa-noninterference-fix
August 15, 2023 13:24 11m 42s
Print verification coverage only when -trace used Boogie CI #1330: Pull request #770 synchronize by atomb
August 14, 2023 16:13 14m 39s atomb:coverage-trace
atomb:coverage-trace
August 14, 2023 16:13 14m 39s
Make verif. coverage work with -prune, renaming Boogie CI #1329: Pull request #771 synchronize by keyboardDrummer
August 14, 2023 10:42 12m 33s atomb:coverage-with-renamer
atomb:coverage-with-renamer
August 14, 2023 10:42 12m 33s
[Civl] bug fix for noninterference checking for pending asyncs Boogie CI #1328: Pull request #773 opened by shazqadeer
August 13, 2023 00:14 13m 43s pa-noninterference-fix
pa-noninterference-fix
August 13, 2023 00:14 13m 43s
[Civl] removed redundant code left over from when we had yield commands Boogie CI #1327: Pull request #772 opened by shazqadeer
August 12, 2023 23:05 14m 14s noninterference-cleanup
noninterference-cleanup
August 12, 2023 23:05 14m 14s
Print verification coverage only when -trace used Boogie CI #1326: Pull request #770 synchronize by shazqadeer
August 12, 2023 14:21 11m 39s atomb:coverage-trace
atomb:coverage-trace
August 12, 2023 14:21 11m 39s
Make verif. coverage work with -prune, renaming Boogie CI #1325: Pull request #771 opened by atomb
August 11, 2023 22:33 13m 58s atomb:coverage-with-renamer
atomb:coverage-with-renamer
August 11, 2023 22:33 13m 58s
Print verification coverage only when -trace used Boogie CI #1324: Pull request #770 synchronize by atomb
August 11, 2023 15:49 12m 23s atomb:coverage-trace
atomb:coverage-trace
August 11, 2023 15:49 12m 23s
Print verification coverage only when -trace used Boogie CI #1323: Pull request #770 synchronize by shazqadeer
August 11, 2023 13:11 13m 34s atomb:coverage-trace
atomb:coverage-trace
August 11, 2023 13:11 13m 34s
Print verification coverage only when -trace used Boogie CI #1322: Pull request #770 synchronize by keyboardDrummer
August 11, 2023 10:11 12m 26s atomb:coverage-trace
atomb:coverage-trace
August 11, 2023 10:11 12m 26s
Fixes lost dependencies for pruning during monomorphization. Boogie CI #1321: Pull request #767 synchronize by keyboardDrummer
August 11, 2023 10:09 13m 9s zafer-esen:master
zafer-esen:master
August 11, 2023 10:09 13m 9s
Print verification coverage only when -trace used Boogie CI #1320: Pull request #770 synchronize by atomb
August 10, 2023 18:24 16m 49s atomb:coverage-trace
atomb:coverage-trace
August 10, 2023 18:24 16m 49s
Include the solver used in each VCResult Boogie CI #1319: Pull request #768 synchronize by atomb
August 10, 2023 18:19 14m 41s atomb:track-solver-used
atomb:track-solver-used
August 10, 2023 18:19 14m 41s
Print verification coverage only when -trace used Boogie CI #1318: Pull request #770 opened by atomb
August 10, 2023 15:39 12m 20s atomb:coverage-trace
atomb:coverage-trace
August 10, 2023 15:39 12m 20s
Add sample for building mutex over a futex Boogie CI #1317: Pull request #763 synchronize by shazqadeer
August 10, 2023 12:20 14m 15s add-futex-sample
add-futex-sample
August 10, 2023 12:20 14m 15s
Include the solver used in each VCResult Boogie CI #1316: Pull request #768 opened by atomb
August 9, 2023 20:31 14m 10s atomb:track-solver-used
atomb:track-solver-used
August 9, 2023 20:31 14m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-08-09 or the other filters available.