Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,029 workflow runs
1,029 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
Add sample for building mutex over a futex Boogie CI #1315: Pull request #763 synchronize by shazqadeer
August 9, 2023 18:21 13m 44s add-futex-sample
add-futex-sample
August 9, 2023 18:21 13m 44s
Fixes lost dependencies for pruning during monomorphization. Boogie CI #1314: Pull request #767 synchronize by zafer-esen
August 9, 2023 16:07 12m 44s zafer-esen:master
zafer-esen:master
August 9, 2023 16:07 12m 44s
Fixes lost dependencies for pruning during monomorphization. Boogie CI #1313: Pull request #767 synchronize by zafer-esen
August 9, 2023 15:45 12m 42s zafer-esen:master
zafer-esen:master
August 9, 2023 15:45 12m 42s
Fixes lost dependencies for pruning during monomorphization. Boogie CI #1312: Pull request #767 synchronize by zafer-esen
August 8, 2023 23:50 14m 56s zafer-esen:master
zafer-esen:master
August 8, 2023 23:50 14m 56s
Fixes lost dependencies for pruning during monomorphization. Boogie CI #1311: Pull request #767 synchronize by zafer-esen
August 8, 2023 21:58 14m 25s zafer-esen:master
zafer-esen:master
August 8, 2023 21:58 14m 25s
Fixes lost dependencies for pruning during monomorphization. Boogie CI #1310: Pull request #767 synchronize by zafer-esen
August 8, 2023 19:06 13m 19s zafer-esen:master
zafer-esen:master
August 8, 2023 19:06 13m 19s
Fixes lost dependencies for pruning during monomorphization. Boogie CI #1309: Pull request #767 synchronize by zafer-esen
August 8, 2023 18:55 12m 22s zafer-esen:master
zafer-esen:master
August 8, 2023 18:55 12m 22s
Fixes lost dependencies for pruning during monomorphization. Boogie CI #1308: Pull request #767 synchronize by zafer-esen
August 7, 2023 21:43 13m 49s zafer-esen:master
zafer-esen:master
August 7, 2023 21:43 13m 49s
Fixes lost dependencies for pruning during monomorphization. Boogie CI #1307: Pull request #767 synchronize by zafer-esen
August 7, 2023 21:33 53s zafer-esen:master
zafer-esen:master
August 7, 2023 21:33 53s
ProTip! You can narrow down the results and go further in time using created:<2023-08-07 or the other filters available.