Skip to content

Actions: boogie-org/boogie

Actions

Boogie CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
527 workflow runs
527 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use large stack for verification task execution Boogie CI #1667: Pull request #910 synchronize by keyboardDrummer
July 18, 2024 10:20 6m 53s keyboardDrummer:useLargeStackForVerificationTaskExecution
keyboardDrummer:useLargeStackForVerificationTaskExecution
July 18, 2024 10:20 6m 53s
Use large stack for verification task execution Boogie CI #1666: Pull request #910 synchronize by keyboardDrummer
July 18, 2024 09:41 1m 33s keyboardDrummer:useLargeStackForVerificationTaskExecution
keyboardDrummer:useLargeStackForVerificationTaskExecution
July 18, 2024 09:41 1m 33s
Use large stack for verification task execution Boogie CI #1665: Pull request #910 synchronize by keyboardDrummer
July 18, 2024 09:41 7m 22s keyboardDrummer:useLargeStackForVerificationTaskExecution
keyboardDrummer:useLargeStackForVerificationTaskExecution
July 18, 2024 09:41 7m 22s
Use larger stack when preprocessing Boogie CI #1664: Pull request #899 synchronize by keyboardDrummer
July 18, 2024 09:32 1m 21s keyboardDrummer:dotnet8
keyboardDrummer:dotnet8
July 18, 2024 09:32 1m 21s
[Civl] Added explicit gates to atomic actions (#911) Boogie CI #1663: Commit eb568e6 pushed by keyboardDrummer
July 18, 2024 09:30 6m 45s v3.2.1
v3.2.1
July 18, 2024 09:30 6m 45s
[Civl] Added explicit gates to atomic actions Boogie CI #1662: Pull request #911 synchronize by shazqadeer
July 18, 2024 03:51 6m 49s treiber-investigation
treiber-investigation
July 18, 2024 03:51 6m 49s
[Civl] Added explicit gates to atomic actions Boogie CI #1661: Pull request #911 opened by shazqadeer
July 18, 2024 03:02 6m 59s treiber-investigation
treiber-investigation
July 18, 2024 03:02 6m 59s
Use large stack for verification task execution Boogie CI #1660: Pull request #910 opened by keyboardDrummer
July 17, 2024 13:45 1m 24s keyboardDrummer:useLargeStackForVerificationTaskExecution
keyboardDrummer:useLargeStackForVerificationTaskExecution
July 17, 2024 13:45 1m 24s
Fix reveal analysis when focus blocks are used Boogie CI #1659: Pull request #908 synchronize by keyboardDrummer
July 17, 2024 11:39 6m 58s keyboardDrummer:fixFocusAndPushPop
keyboardDrummer:fixFocusAndPushPop
July 17, 2024 11:39 6m 58s
Fix reveal analysis when focus blocks are used Boogie CI #1658: Pull request #908 opened by keyboardDrummer
July 17, 2024 09:09 7m 16s keyboardDrummer:fixFocusAndPushPop
keyboardDrummer:fixFocusAndPushPop
July 17, 2024 09:09 7m 16s
Only async call to M Boogie CI #1657: Pull request #905 synchronize by shazqadeer
July 16, 2024 17:12 7m 0s only-async-call-M
only-async-call-M
July 16, 2024 17:12 7m 0s
Only async call to M Boogie CI #1656: Pull request #905 synchronize by NamrathaG
July 16, 2024 15:53 6m 50s only-async-call-M
only-async-call-M
July 16, 2024 15:53 6m 50s
Only async call to M Boogie CI #1655: Pull request #905 synchronize by NamrathaG
July 16, 2024 15:47 6m 55s only-async-call-M
only-async-call-M
July 16, 2024 15:47 6m 55s
Only async call to M Boogie CI #1654: Pull request #905 synchronize by NamrathaG
July 16, 2024 14:23 6m 17s only-async-call-M
only-async-call-M
July 16, 2024 14:23 6m 17s
Only async call to M Boogie CI #1653: Pull request #905 synchronize by NamrathaG
July 16, 2024 13:13 7m 3s only-async-call-M
only-async-call-M
July 16, 2024 13:13 7m 3s
Only async call to M Boogie CI #1652: Pull request #905 synchronize by NamrathaG
July 16, 2024 13:06 6m 40s only-async-call-M
only-async-call-M
July 16, 2024 13:06 6m 40s
Add test and fix bug in RevealedAnalysis Boogie CI #1651: Pull request #907 opened by keyboardDrummer
July 15, 2024 13:22 5m 58s keyboardDrummer:fixRevealedAnalysis
keyboardDrummer:fixRevealedAnalysis
July 15, 2024 13:22 5m 58s
[Pool-based quantifier instantiation] Drop quantifier even if no instantiation found Boogie CI #1650: Pull request #906 opened by shazqadeer
July 14, 2024 06:44 6m 8s fix-qi
fix-qi
July 14, 2024 06:44 6m 8s
Only async call to M Boogie CI #1649: Pull request #905 synchronize by NamrathaG
July 12, 2024 12:57 6m 57s only-async-call-M
only-async-call-M
July 12, 2024 12:57 6m 57s
Only async call to M Boogie CI #1648: Pull request #905 synchronize by NamrathaG
July 12, 2024 12:22 6m 36s only-async-call-M
only-async-call-M
July 12, 2024 12:22 6m 36s
Only async call to M Boogie CI #1647: Pull request #905 synchronize by NamrathaG
July 12, 2024 12:04 7m 3s only-async-call-M
only-async-call-M
July 12, 2024 12:04 7m 3s
Only async call to M Boogie CI #1646: Pull request #905 synchronize by NamrathaG
July 12, 2024 11:48 6m 59s only-async-call-M
only-async-call-M
July 12, 2024 11:48 6m 59s
Only async call to M Boogie CI #1645: Pull request #905 synchronize by NamrathaG
July 12, 2024 11:30 5m 43s only-async-call-M
only-async-call-M
July 12, 2024 11:30 5m 43s
Only async call to M Boogie CI #1644: Pull request #905 synchronize by NamrathaG
July 11, 2024 14:25 5m 48s only-async-call-M
only-async-call-M
July 11, 2024 14:25 5m 48s
Only async call to M Boogie CI #1643: Pull request #905 synchronize by NamrathaG
July 11, 2024 13:10 5m 17s only-async-call-M
only-async-call-M
July 11, 2024 13:10 5m 17s