Skip to content

Actions: goblint/analyzer

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
1,929 workflow runs
1,929 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve flat string domain hash docs #1893: Pull request #1602 opened by sim642
October 18, 2024 09:38 5m 0s stringdomain-hash
stringdomain-hash
October 18, 2024 09:38 5m 0s
Improve StringDomain type safety by matching all domains docs #1892: Commit 2284da8 pushed by sim642
October 18, 2024 09:36 4m 30s stringdomain-hash
stringdomain-hash
October 18, 2024 09:36 4m 30s
SV-COMP 2025 development docs #1891: Pull request #1601 synchronize by sim642
October 18, 2024 09:21 20m 11s svcomp25-dev
svcomp25-dev
October 18, 2024 09:21 20m 11s
Document SV-COMP bench-defs MR docs #1890: Commit d3c5d35 pushed by sim642
October 18, 2024 09:21 19m 54s svcomp25-dev
svcomp25-dev
October 18, 2024 09:21 19m 54s
SV-COMP 2025 development docs #1889: Pull request #1601 synchronize by sim642
October 17, 2024 12:33 4m 37s svcomp25-dev
svcomp25-dev
October 17, 2024 12:33 4m 37s
Merge branch 'yaml-witness-invariant-set-widen-token' into svcomp25-dev docs #1888: Commit 010c422 pushed by sim642
October 17, 2024 12:33 4m 27s svcomp25-dev
svcomp25-dev
October 17, 2024 12:33 4m 27s
SV-COMP 2025 development docs #1887: Pull request #1601 opened by sim642
October 17, 2024 12:31 4m 19s svcomp25-dev
svcomp25-dev
October 17, 2024 12:31 4m 19s
Update sv-comp/archive.sh for 2025 docs #1886: Commit 6a97380 pushed by sim642
October 17, 2024 12:29 4m 46s svcomp25-dev
svcomp25-dev
October 17, 2024 12:29 4m 46s
Lock zarith 1.14 for better hash (issue #1594) docs #1885: Commit 732b69a pushed by sim642
October 17, 2024 12:17 4m 54s master
master
October 17, 2024 12:17 4m 54s
Partially support imaxabs for SV-COMP docs #1884: Pull request #1519 synchronize by sim642
October 16, 2024 14:55 4m 24s imaxabs
imaxabs
October 16, 2024 14:55 4m 24s
Unroll cast type in BaseInvariant docs #1883: Commit 6283468 pushed by sim642
October 16, 2024 14:55 4m 27s imaxabs
imaxabs
October 16, 2024 14:55 4m 27s
Partially support imaxabs for SV-COMP docs #1882: Pull request #1519 synchronize by sim642
October 16, 2024 14:00 4m 28s imaxabs
imaxabs
October 16, 2024 14:00 4m 28s
Hack imaxabs CI to debug MacOS docs #1881: Commit 59006fa pushed by sim642
October 16, 2024 14:00 4m 40s imaxabs
imaxabs
October 16, 2024 14:00 4m 40s
Partially support imaxabs for SV-COMP docs #1880: Pull request #1519 synchronize by sim642
October 16, 2024 13:54 4m 58s imaxabs
imaxabs
October 16, 2024 13:54 4m 58s
Revert "Add hacky imaxabs sqrt refine support" docs #1879: Commit 2f5b50f pushed by sim642
October 16, 2024 13:54 4m 28s imaxabs
imaxabs
October 16, 2024 13:54 4m 28s
Merge branch 'master' into imaxabs docs #1878: Commit 85cbda6 pushed by sim642
October 16, 2024 13:12 4m 33s imaxabs
imaxabs
October 16, 2024 13:12 4m 33s
Partially support imaxabs for SV-COMP docs #1877: Pull request #1519 synchronize by sim642
October 16, 2024 13:12 4m 26s imaxabs
imaxabs
October 16, 2024 13:12 4m 26s
Merge pull request #1599 from goblint/loopUnroll-casts-in-loopStatment docs #1876: Commit d120e34 pushed by sim642
October 15, 2024 17:47 5m 12s master
master
October 15, 2024 17:47 5m 12s
Improve loop bound detection for loop unrolling by handling casts in loop statements docs #1875: Pull request #1599 synchronize by karoliineh
October 15, 2024 13:21 4m 58s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 4m 58s
Refactor: Simplify pattern matching of casts by using Cil.stripCasts docs #1874: Commit 872b159 pushed by karoliineh
October 15, 2024 13:21 4m 24s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 13:21 4m 24s
Improve loop bound detection for loop unrolling by handling casts in loop statements docs #1873: Pull request #1599 opened by karoliineh
October 15, 2024 10:24 4m 29s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:24 4m 29s
Handle casts in loop statements for unrolling docs #1872: Commit f54ce55 pushed by karoliineh
October 15, 2024 10:15 4m 43s loopUnroll-casts-in-loopStatment
loopUnroll-casts-in-loopStatment
October 15, 2024 10:15 4m 43s
Merge pull request #1598 from goblint/gas_fundec_needs_to_be_min docs #1871: Commit fa96209 pushed by michael-schwarz
October 14, 2024 19:27 4m 40s master
master
October 14, 2024 19:27 4m 40s
⛽: Use minimum to combine incoming gas values in per-context gas docs #1870: Pull request #1598 opened by michael-schwarz
October 14, 2024 11:12 4m 25s gas_fundec_needs_to_be_min
gas_fundec_needs_to_be_min
October 14, 2024 11:12 4m 25s
Fix per fundec gas docs #1869: Commit ce1866b pushed by michael-schwarz
October 14, 2024 11:07 4m 38s gas_fundec_needs_to_be_min
gas_fundec_needs_to_be_min
October 14, 2024 11:07 4m 38s