Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
702 workflow run results
702 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

locked locked #9424: Scheduled
January 1, 2024 02:11 2h 4m 55s master
master
January 1, 2024 02:11 2h 4m 55s
locked locked #9423: Scheduled
December 31, 2023 02:07 1h 47m 43s master
master
December 31, 2023 02:07 1h 47m 43s
locked locked #9422: Scheduled
December 30, 2023 02:02 1h 55m 4s master
master
December 30, 2023 02:02 1h 55m 4s
Some Refactoring of Affeq & Printing Bug locked #9421: Pull request #1309 synchronize by michael-schwarz
December 29, 2023 09:03 28m 55s refactor_affeq
refactor_affeq
December 29, 2023 09:03 28m 55s
Merge branch 'master' into refactor_affeq locked #9420: Commit 8ac3384 pushed by michael-schwarz
December 29, 2023 09:02 19m 29s refactor_affeq
refactor_affeq
December 29, 2023 09:02 19m 29s
Merge pull request #1313 from goblint/goblint-dune-libs-3 locked #9419: Commit 9d1dc02 pushed by sim642
December 29, 2023 07:20 21m 56s master
master
December 29, 2023 07:20 21m 56s
Organize constraint system and value domain modules into dune libraries locked #9418: Pull request #1313 synchronize by sim642
December 29, 2023 07:09 20m 2s goblint-dune-libs-3
goblint-dune-libs-3
December 29, 2023 07:09 20m 2s
Merge branch 'master' into goblint-dune-libs-3 locked #9417: Commit cedbc19 pushed by sim642
December 29, 2023 07:09 21m 5s goblint-dune-libs-3
goblint-dune-libs-3
December 29, 2023 07:09 21m 5s
locked locked #9416: Scheduled
December 29, 2023 01:58 1h 59m 51s master
master
December 29, 2023 01:58 1h 59m 51s
Small output readability improvements locked #9415: Pull request #1312 synchronize by karoliineh
December 28, 2023 19:07 19m 35s issue-1192
issue-1192
December 28, 2023 19:07 19m 35s
Add --disable warn.info hack for MacOS CI build locked #9414: Commit b41967d pushed by karoliineh
December 28, 2023 19:07 18m 18s issue-1192
issue-1192
December 28, 2023 19:07 18m 18s
Small output readability improvements locked #9413: Pull request #1312 synchronize by karoliineh
December 28, 2023 16:14 19m 54s issue-1192
issue-1192
December 28, 2023 16:14 19m 54s
Fix missing parentheses in cram test locked #9412: Commit 74a333a pushed by karoliineh
December 28, 2023 16:14 26m 45s issue-1192
issue-1192
December 28, 2023 16:14 26m 45s
Extract value domain to goblint_cdomain_value dune library locked #9411: Commit 7ee115a pushed by sim642
December 28, 2023 15:51 20m 16s goblint-dune-libs-3
goblint-dune-libs-3
December 28, 2023 15:51 20m 16s
Remove duplicate ctx-derived arguments in base analysis locked #9410: Pull request #1308 synchronize by karoliineh
December 28, 2023 15:28 19m 6s issue-1266
issue-1266
December 28, 2023 15:28 19m 6s
Simplify matches in combine_st locked #9409: Commit 06a2d54 pushed by karoliineh
December 28, 2023 15:28 21m 23s issue-1266
issue-1266
December 28, 2023 15:28 21m 23s
Merge pull request #1311 from goblint/rm_old_domain_facade locked #9408: Commit b671ffa pushed by michael-schwarz
December 28, 2023 14:32 19m 44s master
master
December 28, 2023 14:32 19m 44s
Update Gobview with goblint.constraint and goblint.solver dependencies locked #9407: Commit 580e5dc pushed by sim642
December 28, 2023 14:25 19m 23s goblint-dune-libs-3
goblint-dune-libs-3
December 28, 2023 14:25 19m 23s
Small output readability improvements locked #9406: Pull request #1312 opened by karoliineh
December 28, 2023 14:24 17m 58s issue-1192
issue-1192
December 28, 2023 14:24 17m 58s
Do not repeat constants in intervals in warning outputs locked #9405: Commit 3713f67 pushed by karoliineh
December 28, 2023 14:20 33m 33s issue-1192
issue-1192
December 28, 2023 14:20 33m 33s
Add goblint_config dependency to goblint_solver locked #9404: Commit 4149931 pushed by sim642
December 28, 2023 14:11 19m 38s goblint-dune-libs-3
goblint-dune-libs-3
December 28, 2023 14:11 19m 38s
Fix SolverTest compilation locked #9403: Commit 27295d7 pushed by sim642
December 28, 2023 14:05 21m 8s goblint-dune-libs-3
goblint-dune-libs-3
December 28, 2023 14:05 21m 8s
Rename src/solvers -> src/solver locked #9402: Commit e9c0cc3 pushed by sim642
December 28, 2023 13:54 25m 14s goblint-dune-libs-3
goblint-dune-libs-3
December 28, 2023 13:54 25m 14s
Extract constraint systems from Analyses module locked #9401: Commit 0602af0 pushed by sim642
December 28, 2023 12:56 40m 51s goblint-dune-libs-3
goblint-dune-libs-3
December 28, 2023 12:56 40m 51s
Remove OldDomainFacade locked #9400: Pull request #1311 opened by michael-schwarz
December 28, 2023 12:50 42m 25s rm_old_domain_facade
rm_old_domain_facade
December 28, 2023 12:50 42m 25s