Skip to content

Actions: boogie-org/boogie

Actions

Boogie CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
530 workflow runs
530 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update version number Boogie CI #1934: Pull request #999 synchronize by keyboardDrummer
February 11, 2025 17:31 3m 27s keyboardDrummer:updateVersionNumber
keyboardDrummer:updateVersionNumber
February 11, 2025 17:31 3m 27s
Update version number Boogie CI #1933: Pull request #999 opened by keyboardDrummer
February 11, 2025 17:04 5m 0s keyboardDrummer:updateVersionNumber
keyboardDrummer:updateVersionNumber
February 11, 2025 17:04 5m 0s
Move to dotnet 8 Boogie CI #1932: Pull request #998 synchronize by keyboardDrummer
February 11, 2025 16:11 6m 6s keyboardDrummer:cceRename
keyboardDrummer:cceRename
February 11, 2025 16:11 6m 6s
Move to dotnet 8 Boogie CI #1931: Pull request #998 opened by keyboardDrummer
February 11, 2025 16:07 53s keyboardDrummer:cceRename
keyboardDrummer:cceRename
February 11, 2025 16:07 53s
Move to dotnet8 Boogie CI #1930: Pull request #997 opened by keyboardDrummer
February 11, 2025 15:37 1m 14s keyboardDrummer:dotnet8_3
keyboardDrummer:dotnet8_3
February 11, 2025 15:37 1m 14s
Fix split printing Boogie CI #1929: Pull request #996 synchronize by keyboardDrummer
January 23, 2025 15:07 6m 1s keyboardDrummer:fixSplitPrinting
keyboardDrummer:fixSplitPrinting
January 23, 2025 15:07 6m 1s
Fix split printing Boogie CI #1928: Pull request #996 synchronize by keyboardDrummer
January 22, 2025 14:58 5m 15s keyboardDrummer:fixSplitPrinting
keyboardDrummer:fixSplitPrinting
January 22, 2025 14:58 5m 15s
Fix split printing Boogie CI #1927: Pull request #996 opened by keyboardDrummer
January 13, 2025 13:09 5m 23s keyboardDrummer:fixSplitPrinting
keyboardDrummer:fixSplitPrinting
January 13, 2025 13:09 5m 23s
Fixed type resolution crash Boogie CI #1925: Pull request #992 synchronize by shazqadeer
December 2, 2024 03:02 6m 1s blah-blah
blah-blah
December 2, 2024 03:02 6m 1s
Fixed type resolution crash Boogie CI #1924: Pull request #992 synchronize by shazqadeer
December 2, 2024 02:53 5m 13s blah-blah
blah-blah
December 2, 2024 02:53 5m 13s
Fixed type resolution crash Boogie CI #1923: Pull request #992 opened by shazqadeer
December 2, 2024 02:30 5m 48s blah-blah
blah-blah
December 2, 2024 02:30 5m 48s
[Civl] rename procedures in cache coherence and add more comments Boogie CI #1922: Pull request #991 opened by shazqadeer
November 28, 2024 00:07 5m 47s var-rename
var-rename
November 28, 2024 00:07 5m 47s
Export hidden functions (#989) Boogie CI #1921: Commit 517cdac pushed by keyboardDrummer
November 26, 2024 15:16 5m 53s v3.4.3
v3.4.3
November 26, 2024 15:16 5m 53s
Export hidden functions Boogie CI #1920: Pull request #989 synchronize by keyboardDrummer
November 26, 2024 14:59 6m 0s keyboardDrummer:exportHiddenFunctions
keyboardDrummer:exportHiddenFunctions
November 26, 2024 14:59 6m 0s
[Civl] Cache coherence improvements Boogie CI #1919: Pull request #990 opened by shazqadeer
November 24, 2024 17:21 6m 38s coherence-cleanup
coherence-cleanup
November 24, 2024 17:21 6m 38s
Export hidden functions Boogie CI #1918: Pull request #989 synchronize by keyboardDrummer
November 22, 2024 15:09 6m 53s keyboardDrummer:exportHiddenFunctions
keyboardDrummer:exportHiddenFunctions
November 22, 2024 15:09 6m 53s
Export hidden functions Boogie CI #1917: Pull request #989 synchronize by keyboardDrummer
November 22, 2024 15:08 6m 33s keyboardDrummer:exportHiddenFunctions
keyboardDrummer:exportHiddenFunctions
November 22, 2024 15:08 6m 33s
Export hidden functions Boogie CI #1916: Pull request #989 opened by keyboardDrummer
November 22, 2024 15:07 6m 39s keyboardDrummer:exportHiddenFunctions
keyboardDrummer:exportHiddenFunctions
November 22, 2024 15:07 6m 39s
[Civl] Cache coherence protocol Boogie CI #1915: Pull request #988 synchronize by shazqadeer
November 22, 2024 14:45 6m 58s coherence-proof
coherence-proof
November 22, 2024 14:45 6m 58s
[Civl] Cache coherence protocol Boogie CI #1914: Pull request #988 synchronize by shazqadeer
November 22, 2024 14:37 6m 6s coherence-proof
coherence-proof
November 22, 2024 14:37 6m 6s
[Civl] Cache coherence protocol Boogie CI #1913: Pull request #988 opened by shazqadeer
November 22, 2024 03:21 5m 37s coherence-proof
coherence-proof
November 22, 2024 03:21 5m 37s
[Civl] Turn modset analysis on Boogie CI #1912: Pull request #987 opened by shazqadeer
November 21, 2024 20:04 5m 44s modset-analysis-on
modset-analysis-on
November 21, 2024 20:04 5m 44s
Convert TypecheckingContext.CheckModifies to a property Boogie CI #1911: Pull request #986 opened by shazqadeer
November 17, 2024 21:37 5m 56s fix-check-modifies
fix-check-modifies
November 17, 2024 21:37 5m 56s
[Civl] remove unnecessary modifies in a sample Boogie CI #1910: Pull request #985 opened by shazqadeer
November 17, 2024 17:20 5m 49s minor-fix
minor-fix
November 17, 2024 17:20 5m 49s
[Civl] Add snapshot with parallel scans Boogie CI #1909: Pull request #984 synchronize by shazqadeer
November 14, 2024 19:44 6m 8s add-par-snapshot
add-par-snapshot
November 14, 2024 19:44 6m 8s