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] Rewrite primitives in YieldProcedureDecl's Boogie CI #1381: Pull request #809 synchronize by shazqadeer
November 16, 2023 03:16 6m 14s rewrite-fix
rewrite-fix
November 16, 2023 03:16 6m 14s
[Civl] Rewrite primitives in YieldProcedureDecl's Boogie CI #1380: Pull request #809 opened by shazqadeer
November 16, 2023 01:50 6m 23s rewrite-fix
rewrite-fix
November 16, 2023 01:50 6m 23s
Add smt_option attribute Boogie CI #1379: Pull request #808 synchronize by atomb
November 16, 2023 00:19 6m 23s atomb:smt-option-attribute
atomb:smt-option-attribute
November 16, 2023 00:19 6m 23s
Add smt_option attribute Boogie CI #1378: Pull request #808 synchronize by atomb
November 15, 2023 21:44 6m 15s atomb:smt-option-attribute
atomb:smt-option-attribute
November 15, 2023 21:44 6m 15s
Add smt_option attribute Boogie CI #1377: Pull request #808 synchronize by atomb
November 15, 2023 21:44 6m 19s atomb:smt-option-attribute
atomb:smt-option-attribute
November 15, 2023 21:44 6m 19s
Add smt_option attribute Boogie CI #1376: Pull request #808 synchronize by atomb
November 15, 2023 21:17 5m 51s atomb:smt-option-attribute
atomb:smt-option-attribute
November 15, 2023 21:17 5m 51s
Add smt_option attribute Boogie CI #1375: Pull request #808 synchronize by atomb
November 15, 2023 18:49 5m 52s atomb:smt-option-attribute
atomb:smt-option-attribute
November 15, 2023 18:49 5m 52s
Add smt_option attribute Boogie CI #1374: Pull request #808 synchronize by atomb
November 15, 2023 18:25 5m 44s atomb:smt-option-attribute
atomb:smt-option-attribute
November 15, 2023 18:25 5m 44s
Add smt_option attribute Boogie CI #1373: Pull request #808 opened by atomb
November 15, 2023 17:34 5m 27s atomb:smt-option-attribute
atomb:smt-option-attribute
November 15, 2023 17:34 5m 27s
[Civl] fixed pack rule when linear types are involved Boogie CI #1372: Pull request #807 opened by shazqadeer
November 15, 2023 13:56 6m 34s linear-typing-fix
linear-typing-fix
November 15, 2023 13:56 6m 34s
Add option to print passive version of program Boogie CI #1371: Pull request #805 synchronize by atomb
November 10, 2023 23:00 12m 42s atomb:print-passive
atomb:print-passive
November 10, 2023 23:00 12m 42s
[Civl] miscellaneous bug fixes Boogie CI #1370: Pull request #806 synchronize by shazqadeer
November 9, 2023 14:00 14m 26s misc-fixes
misc-fixes
November 9, 2023 14:00 14m 26s
[Civl] miscellaneous bug fixes Boogie CI #1369: Pull request #806 opened by shazqadeer
November 9, 2023 13:57 11m 43s misc-fixes
misc-fixes
November 9, 2023 13:57 11m 43s
Add option to print passive version of program Boogie CI #1368: Pull request #805 opened by atomb
November 8, 2023 00:12 6m 29s atomb:print-passive
atomb:print-passive
November 8, 2023 00:12 6m 29s
[Civl] eliminated one layer in reserve example Boogie CI #1367: Pull request #804 opened by shazqadeer
October 30, 2023 01:41 15m 35s fix-reserve
fix-reserve
October 30, 2023 01:41 15m 35s
[Civl] Fix initialization in Paxos Boogie CI #1366: Pull request #802 opened by shazqadeer
October 22, 2023 00:04 15m 45s paxos-init-fix
paxos-init-fix
October 22, 2023 00:04 15m 45s
Add :reproducible_resource_limit attribute Boogie CI #1365: Pull request #796 synchronize by atomb
October 17, 2023 22:25 15m 26s atomb:reproducible-resource-limit
atomb:reproducible-resource-limit
October 17, 2023 22:25 15m 26s
Add :reproducible_resource_limit attribute Boogie CI #1364: Pull request #796 synchronize by atomb
October 17, 2023 19:59 11m 16s atomb:reproducible-resource-limit
atomb:reproducible-resource-limit
October 17, 2023 19:59 11m 16s
Add :reproducible_resource_limit attribute Boogie CI #1363: Pull request #796 synchronize by atomb
October 17, 2023 18:17 10m 53s atomb:reproducible-resource-limit
atomb:reproducible-resource-limit
October 17, 2023 18:17 10m 53s
Add :reproducible_resource_limit attribute Boogie CI #1362: Pull request #796 synchronize by atomb
October 17, 2023 18:17 12m 4s atomb:reproducible-resource-limit
atomb:reproducible-resource-limit
October 17, 2023 18:17 12m 4s
Remove all references to bv2int Boogie CI #1361: Pull request #800 opened by atomb
October 16, 2023 22:05 14m 0s atomb:no-bv2int
atomb:no-bv2int
October 16, 2023 22:05 14m 0s
Add :reproducible_resource_limit attribute Boogie CI #1360: Pull request #796 opened by atomb
October 13, 2023 22:41 12m 10s atomb:reproducible-resource-limit
atomb:reproducible-resource-limit
October 13, 2023 22:41 12m 10s
Allow task scheduler parameter to ExecutionEngine (#794) Boogie CI #1359: Commit c59e3cb pushed by atomb
October 10, 2023 15:38 16m 32s v3.0.5
v3.0.5
October 10, 2023 15:38 16m 32s
Allow task scheduler parameter to ExecutionEngine Boogie CI #1358: Pull request #794 opened by atomb
October 10, 2023 15:22 14m 32s atomb:client-provided-task-scheduler
atomb:client-provided-task-scheduler
October 10, 2023 15:22 14m 32s
Improve help of /prune option Boogie CI #1357: Pull request #793 opened by keyboardDrummer
October 10, 2023 08:56 14m 34s keyboardDrummer:pruningHelp
keyboardDrummer:pruningHelp
October 10, 2023 08:56 14m 34s
ProTip! You can narrow down the results and go further in time using created:<2023-10-10 or the other filters available.