Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
1,180 workflow run results
1,180 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not print top thread ID in warnings options #7059: Commit 5e10539 pushed by karoliineh
January 2, 2024 11:51 18s issue-1192
issue-1192
January 2, 2024 11:51 18s
Do not print disabled malloc uniqueness counter options #7058: Commit 47e11ee pushed by karoliineh
January 2, 2024 11:29 19s issue-1192
issue-1192
January 2, 2024 11:29 19s
Prettify top intervals (Unknown int([-63,63]),[-9223372036854775808,9… options #7057: Commit 68f5fba pushed by karoliineh
January 2, 2024 11:10 26s issue-1192
issue-1192
January 2, 2024 11:10 26s
Some Refactoring of Affeq & Printing Bug options #7056: Pull request #1309 synchronize by michael-schwarz
December 29, 2023 09:03 22s refactor_affeq
refactor_affeq
December 29, 2023 09:03 22s
Merge branch 'master' into refactor_affeq options #7055: Commit 8ac3384 pushed by michael-schwarz
December 29, 2023 09:02 24s refactor_affeq
refactor_affeq
December 29, 2023 09:02 24s
Merge pull request #1313 from goblint/goblint-dune-libs-3 options #7054: Commit 9d1dc02 pushed by sim642
December 29, 2023 07:20 17s master
master
December 29, 2023 07:20 17s
Organize constraint system and value domain modules into dune libraries options #7053: Pull request #1313 synchronize by sim642
December 29, 2023 07:09 26s goblint-dune-libs-3
goblint-dune-libs-3
December 29, 2023 07:09 26s
Merge branch 'master' into goblint-dune-libs-3 options #7052: Commit cedbc19 pushed by sim642
December 29, 2023 07:09 22s goblint-dune-libs-3
goblint-dune-libs-3
December 29, 2023 07:09 22s
Small output readability improvements options #7051: Pull request #1312 synchronize by karoliineh
December 28, 2023 19:07 19s issue-1192
issue-1192
December 28, 2023 19:07 19s
Add --disable warn.info hack for MacOS CI build options #7050: Commit b41967d pushed by karoliineh
December 28, 2023 19:07 20s issue-1192
issue-1192
December 28, 2023 19:07 20s
Small output readability improvements options #7049: Pull request #1312 synchronize by karoliineh
December 28, 2023 16:14 18s issue-1192
issue-1192
December 28, 2023 16:14 18s
Fix missing parentheses in cram test options #7048: Commit 74a333a pushed by karoliineh
December 28, 2023 16:14 18s issue-1192
issue-1192
December 28, 2023 16:14 18s
Extract value domain to goblint_cdomain_value dune library options #7047: Commit 7ee115a pushed by sim642
December 28, 2023 15:51 22s goblint-dune-libs-3
goblint-dune-libs-3
December 28, 2023 15:51 22s
Remove duplicate ctx-derived arguments in base analysis options #7046: Pull request #1308 synchronize by karoliineh
December 28, 2023 15:28 24s issue-1266
issue-1266
December 28, 2023 15:28 24s
Simplify matches in combine_st options #7045: Commit 06a2d54 pushed by karoliineh
December 28, 2023 15:28 20s issue-1266
issue-1266
December 28, 2023 15:28 20s
Merge pull request #1311 from goblint/rm_old_domain_facade options #7044: Commit b671ffa pushed by michael-schwarz
December 28, 2023 14:32 19s master
master
December 28, 2023 14:32 19s
Update Gobview with goblint.constraint and goblint.solver dependencies options #7043: Commit 580e5dc pushed by sim642
December 28, 2023 14:25 16s goblint-dune-libs-3
goblint-dune-libs-3
December 28, 2023 14:25 16s
Small output readability improvements options #7042: Pull request #1312 opened by karoliineh
December 28, 2023 14:24 19s issue-1192
issue-1192
December 28, 2023 14:24 19s
Do not repeat constants in intervals in warning outputs options #7041: Commit 3713f67 pushed by karoliineh
December 28, 2023 14:20 18s issue-1192
issue-1192
December 28, 2023 14:20 18s
Add goblint_config dependency to goblint_solver options #7040: Commit 4149931 pushed by sim642
December 28, 2023 14:11 17s goblint-dune-libs-3
goblint-dune-libs-3
December 28, 2023 14:11 17s
Fix SolverTest compilation options #7039: Commit 27295d7 pushed by sim642
December 28, 2023 14:05 24s goblint-dune-libs-3
goblint-dune-libs-3
December 28, 2023 14:05 24s
Rename src/solvers -> src/solver options #7038: Commit e9c0cc3 pushed by sim642
December 28, 2023 13:54 21s goblint-dune-libs-3
goblint-dune-libs-3
December 28, 2023 13:54 21s
Extract constraint systems from Analyses module options #7037: Commit 0602af0 pushed by sim642
December 28, 2023 12:56 17s goblint-dune-libs-3
goblint-dune-libs-3
December 28, 2023 12:56 17s
Remove OldDomainFacade options #7036: Pull request #1311 opened by michael-schwarz
December 28, 2023 12:50 19s rm_old_domain_facade
rm_old_domain_facade
December 28, 2023 12:50 19s
Remove OldDomainFacade options #7035: Commit afdbcf5 pushed by michael-schwarz
December 28, 2023 12:49 18s rm_old_domain_facade
rm_old_domain_facade
December 28, 2023 12:49 18s