Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
329 workflow run results
329 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Boogie CI #1450: Pull request #838 synchronize by shazqadeer
January 26, 2024 15:15 6m 54s shazqadeer-patch-1
shazqadeer-patch-1
January 26, 2024 15:15 6m 54s
Renames Boogie CI #1449: Pull request #842 synchronize by keyboardDrummer
January 26, 2024 14:36 6m 26s keyboardDrummer:solverOutcome
keyboardDrummer:solverOutcome
January 26, 2024 14:36 6m 26s
Renames Boogie CI #1448: Pull request #842 opened by keyboardDrummer
January 26, 2024 14:29 1m 0s keyboardDrummer:solverOutcome
keyboardDrummer:solverOutcome
January 26, 2024 14:29 1m 0s
Verification task per split Boogie CI #1447: Pull request #841 synchronize by keyboardDrummer
January 26, 2024 13:56 6m 29s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
January 26, 2024 13:56 6m 29s
Verification task per split Boogie CI #1446: Pull request #841 synchronize by keyboardDrummer
January 26, 2024 13:06 6m 28s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
January 26, 2024 13:06 6m 28s
Verification task per split Boogie CI #1445: Pull request #841 opened by keyboardDrummer
January 26, 2024 12:51 6m 8s keyboardDrummer:verificationTaskPerSplit
keyboardDrummer:verificationTaskPerSplit
January 26, 2024 12:51 6m 8s
Some refactoring in the VCGeneration assembly Boogie CI #1444: Pull request #840 synchronize by keyboardDrummer
January 26, 2024 12:50 6m 27s keyboardDrummer:refactoring
keyboardDrummer:refactoring
January 26, 2024 12:50 6m 27s
Some refactoring in the VCGeneration assembly Boogie CI #1443: Pull request #840 synchronize by keyboardDrummer
January 26, 2024 12:49 6m 42s keyboardDrummer:refactoring
keyboardDrummer:refactoring
January 26, 2024 12:49 6m 42s
Some refactoring in the VCGeneration assembly Boogie CI #1442: Pull request #840 opened by keyboardDrummer
January 26, 2024 12:45 1m 28s keyboardDrummer:refactoring
keyboardDrummer:refactoring
January 26, 2024 12:45 1m 28s
[Civl] remove multiple domains in tests Boogie CI #1441: Pull request #839 synchronize by shazqadeer
January 26, 2024 03:30 6m 42s remove-multiple-domains
remove-multiple-domains
January 26, 2024 03:30 6m 42s
[Civl] remove multiple domains in tests Boogie CI #1440: Pull request #839 opened by shazqadeer
January 26, 2024 03:30 6m 28s remove-multiple-domains
remove-multiple-domains
January 26, 2024 03:30 6m 28s
Update README.md Boogie CI #1439: Pull request #838 opened by shazqadeer
January 22, 2024 18:01 6m 26s shazqadeer-patch-1
shazqadeer-patch-1
January 22, 2024 18:01 6m 26s
Update Version to 3.0.10 (#837) Boogie CI #1438: Commit 40bb2d9 pushed by atomb
January 22, 2024 17:02 6m 32s v3.0.10
v3.0.10
January 22, 2024 17:02 6m 32s
Update Version to 3.0.10 Boogie CI #1437: Pull request #837 opened by Dargones
January 22, 2024 16:38 6m 40s Dargones:newRelease
Dargones:newRelease
January 22, 2024 16:38 6m 40s
Allow attributes on datatype fields Boogie CI #1436: Pull request #836 synchronize by shazqadeer
January 22, 2024 02:04 6m 38s datatype-field-attrs
datatype-field-attrs
January 22, 2024 02:04 6m 38s
Allow attributes on datatype fields Boogie CI #1435: Pull request #836 opened by shazqadeer
January 22, 2024 01:48 6m 24s datatype-field-attrs
datatype-field-attrs
January 22, 2024 01:48 6m 24s
Use correct flag when checking if captureState assumptions need to be inserted Boogie CI #1434: Pull request #835 opened by Dargones
January 19, 2024 00:33 6m 39s Dargones:CounterexampleModelFix
Dargones:CounterexampleModelFix
January 19, 2024 00:33 6m 39s
[Civl] Simplify and generalize invariants for ticket protocol Boogie CI #1433: Pull request #834 opened by shazqadeer
January 16, 2024 09:12 6m 55s ticket-fix
ticket-fix
January 16, 2024 09:12 6m 55s
[Civl] Fix primitives Boogie CI #1432: Pull request #833 opened by shazqadeer
January 13, 2024 12:16 6m 25s fix-treiber-primitives
fix-treiber-primitives
January 13, 2024 12:16 6m 25s
[Civl] Gc cleanup Boogie CI #1431: Pull request #832 opened by shazqadeer
January 13, 2024 01:05 6m 26s gc-fixup
gc-fixup
January 13, 2024 01:05 6m 26s
[Civl] allow variable hiding in action refinement Boogie CI #1430: Pull request #831 opened by shazqadeer
January 11, 2024 18:01 7m 36s is-hide
is-hide
January 11, 2024 18:01 7m 36s
[Civl] Combine linear heaps and maps into a single abstraction Boogie CI #1429: Pull request #830 synchronize by shazqadeer
January 3, 2024 13:05 6m 22s lheap-refactor
lheap-refactor
January 3, 2024 13:05 6m 22s
[Civl] Combine linear heaps and maps into a single abstraction Boogie CI #1428: Pull request #830 synchronize by shazqadeer
January 3, 2024 12:54 6m 48s lheap-refactor
lheap-refactor
January 3, 2024 12:54 6m 48s
[Civl] Combine linear heaps and maps into a single abstraction Boogie CI #1427: Pull request #830 synchronize by shazqadeer
January 3, 2024 12:23 6m 53s lheap-refactor
lheap-refactor
January 3, 2024 12:23 6m 53s
[Civl] Combine linear heaps and maps into a single abstraction Boogie CI #1426: Pull request #830 synchronize by shazqadeer
January 3, 2024 03:13 6m 24s lheap-refactor
lheap-refactor
January 3, 2024 03:13 6m 24s