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

Support verification coverage in batch mode Boogie CI #1356: Pull request #792 opened by atomb
October 5, 2023 23:46 12m 24s atomb:batch-verification-coverage
atomb:batch-verification-coverage
October 5, 2023 23:46 12m 24s
Add options to detect brittleness across multiple runs and portfolio results. Boogie CI #1355: Pull request #790 opened by zafer-esen
September 29, 2023 18:28 11m 48s zafer-esen:portfolio
zafer-esen:portfolio
September 29, 2023 18:28 11m 48s
Fix: Inconsistent printing of type synonyms that use builtins Boogie CI #1354: Pull request #789 synchronize by shazqadeer
September 25, 2023 17:32 13m 49s zafer-esen:issue775-fix
zafer-esen:issue775-fix
September 25, 2023 17:32 13m 49s
Fix: Inconsistent printing of type synonyms that use builtins Boogie CI #1353: Pull request #789 opened by zafer-esen
September 25, 2023 14:53 12m 5s zafer-esen:issue775-fix
zafer-esen:issue775-fix
September 25, 2023 14:53 12m 5s
Allow setting options.OutputWriter Boogie CI #1352: Pull request #788 opened by keyboardDrummer
September 25, 2023 14:23 13m 56s allowWritingToDafnyOptions
allowWritingToDafnyOptions
September 25, 2023 14:23 13m 56s
Update version to 3.0.4 (#783) Boogie CI #1351: Commit 8cadc53 pushed by atomb
September 14, 2023 15:48 13m 35s v3.0.4
v3.0.4
September 14, 2023 15:48 13m 35s
Update version to 3.0.4 Boogie CI #1350: Pull request #783 opened by atomb
September 13, 2023 17:33 13m 34s atomb:release-3.0.4
atomb:release-3.0.4
September 13, 2023 17:33 13m 34s
Fix crash in type checking of nested field assign lhs Boogie CI #1349: Pull request #782 synchronize by shazqadeer
September 13, 2023 14:35 12m 56s tc-crash-fix
tc-crash-fix
September 13, 2023 14:35 12m 56s
Fix crash in type checking of nested field assign lhs Boogie CI #1348: Pull request #782 opened by shazqadeer
September 13, 2023 14:13 15m 32s tc-crash-fix
tc-crash-fix
September 13, 2023 14:13 15m 32s
Consistent augmented execution trace after multiple verification runs Boogie CI #1347: Pull request #780 synchronize by keyboardDrummer
September 13, 2023 12:04 13m 44s Dargones:DebugInfo
Dargones:DebugInfo
September 13, 2023 12:04 13m 44s
Add RUN command to one of the Civl tests Boogie CI #1346: Pull request #781 opened by atomb
September 12, 2023 23:08 11m 24s atomb:add-run-command
atomb:add-run-command
September 12, 2023 23:08 11m 24s
Consistent augmented execution trace after multiple verification runs Boogie CI #1345: Pull request #780 opened by Dargones
September 11, 2023 00:44 9m 36s Dargones:DebugInfo
Dargones:DebugInfo
September 11, 2023 00:44 9m 36s
Fix silly concurrency bug (#778) Boogie CI #1344: Commit f088818 pushed by atomb
September 6, 2023 15:06 12m 14s v3.0.3
v3.0.3
September 6, 2023 15:06 12m 14s
Fix silly concurrency bug Boogie CI #1343: Pull request #778 opened by atomb
September 5, 2023 23:55 16m 12s atomb:concurrent-covered-components
atomb:concurrent-covered-components
September 5, 2023 23:55 16m 12s
Actually parse structured program elements (#777) Boogie CI #1342: Commit 85191e1 pushed by atomb
September 5, 2023 23:00 12m 8s v3.0.2
v3.0.2
September 5, 2023 23:00 12m 8s
Actually parse structured program elements Boogie CI #1341: Pull request #777 synchronize by atomb
September 5, 2023 22:44 15m 44s atomb:structured-program-elements
atomb:structured-program-elements
September 5, 2023 22:44 15m 44s
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
ProTip! You can narrow down the results and go further in time using created:<2023-08-16 or the other filters available.