Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Modular analysis: Simplify handling of index-offsets. options #6895: Commit 6f2483b pushed by jerhard
December 8, 2023 08:12 22s modular_function_summaries
modular_function_summaries
December 8, 2023 08:12 22s
More precise abstractions of trigonometric functions using c-stubs options #6894: Pull request #1277 synchronize by FelixKrayer
December 7, 2023 22:18 21s FelixKrayer:math_funeval
FelixKrayer:math_funeval
December 7, 2023 22:18 21s
Add GobApron to goblint_lib.ml #1283 options #6893: Commit c2e0e16 pushed by michael-schwarz
December 7, 2023 19:10 22s master
master
December 7, 2023 19:10 22s
Merge pull request #1283 from goblint/apron_libification options #6892: Commit 6be8d60 pushed by michael-schwarz
December 7, 2023 16:53 23s master
master
December 7, 2023 16:53 23s
Simplify relational domains interface somewhat options #6891: Pull request #1283 synchronize by michael-schwarz
December 7, 2023 16:24 21s apron_libification
apron_libification
December 7, 2023 16:24 21s
Switch GobApron.Var to Apron.Var options #6890: Commit 129b9c3 pushed by michael-schwarz
December 7, 2023 16:24 24s apron_libification
apron_libification
December 7, 2023 16:24 24s
Simplify relational domains interface somewhat options #6889: Pull request #1283 synchronize by michael-schwarz
December 7, 2023 10:22 2m 31s apron_libification
apron_libification
December 7, 2023 10:22 2m 31s
Directly use Apron.Var.t options #6888: Commit 5f5c1c8 pushed by michael-schwarz
December 7, 2023 10:22 4m 28s apron_libification
apron_libification
December 7, 2023 10:22 4m 28s
Simplify relational domains interface somewhat options #6886: Pull request #1283 synchronize by michael-schwarz
December 7, 2023 10:22 19s apron_libification
apron_libification
December 7, 2023 10:22 19s
Directly use Apron.Var.t options #6887: Commit 4fae8c6 pushed by michael-schwarz
December 7, 2023 10:22 38s apron_libification
apron_libification
December 7, 2023 10:22 38s
Simplify relational domains interface somewhat options #6885: Pull request #1283 synchronize by michael-schwarz
December 7, 2023 10:22 22s apron_libification
apron_libification
December 7, 2023 10:22 22s
Add newline back for ocamldoc options #6884: Commit 029c1e9 pushed by michael-schwarz
December 7, 2023 10:22 22s apron_libification
apron_libification
December 7, 2023 10:22 22s
Use (include_subdirs no) for new dune libraries options #6883: Commit a6095e7 pushed by sim642
December 7, 2023 10:09 23s goblint-dune-libs-2
goblint-dune-libs-2
December 7, 2023 10:09 23s
Merge pull request #1282 from goblint/batteries_bump options #6882: Commit 1110826 pushed by michael-schwarz
December 7, 2023 09:18 23s master
master
December 7, 2023 09:18 23s
Fix LibraryFunctions.invalidate_actions indentation options #6881: Commit 5662024 pushed by sim642
December 7, 2023 09:07 21s goblint-dune-libs-2
goblint-dune-libs-2
December 7, 2023 09:07 21s
Extract library specificaton to goblint_library dune library options #6880: Commit 9261b71 pushed by sim642
December 7, 2023 08:53 24s goblint-dune-libs-2
goblint-dune-libs-2
December 7, 2023 08:53 24s
Extract incremental to goblint_incremental dune library options #6879: Commit deb727b pushed by sim642
December 6, 2023 15:49 20s goblint-dune-libs-2
goblint-dune-libs-2
December 6, 2023 15:49 20s
Update Gobview dependencies on Goblint libraries options #6878: Commit b5f6272 pushed by sim642
December 6, 2023 15:18 22s goblint-dune-libs-2
goblint-dune-libs-2
December 6, 2023 15:18 22s
Extract configuration to goblint_config dune library options #6877: Commit 54d7fdf pushed by sim642
December 6, 2023 15:08 27s goblint-dune-libs-2
goblint-dune-libs-2
December 6, 2023 15:08 27s
Move general domains to goblint_domain library options #6876: Commit 5937314 pushed by sim642
December 6, 2023 14:32 25s goblint-dune-libs-2
goblint-dune-libs-2
December 6, 2023 14:32 25s
Generalize mutex-meet over digest domain options #6875: Commit 7f5b3bd pushed by sim642
December 6, 2023 12:46 19s mutex-meet-digest-more
mutex-meet-digest-more
December 6, 2023 12:46 19s
Extract digest domain functor in mutex-meet options #6874: Commit ae3ac62 pushed by sim642
December 6, 2023 11:05 20s mutex-meet-digest-more
mutex-meet-digest-more
December 6, 2023 11:05 20s
Add may-ever-have-been-locked digests for relational mutex-meet options #6873: Pull request #1286 synchronize by sim642
December 5, 2023 15:25 18s lock-digest
lock-digest
December 5, 2023 15:25 18s
Merge branch 'mutex-meet-digest' into lock-digest options #6872: Commit 65a572a pushed by sim642
December 5, 2023 15:25 20s lock-digest
lock-digest
December 5, 2023 15:25 20s
Generalize mutex-meet-tid privatization to arbitrary digest options #6871: Pull request #1278 synchronize by sim642
December 5, 2023 15:11 22s mutex-meet-digest
mutex-meet-digest
December 5, 2023 15:11 22s
ProTip! You can narrow down the results and go further in time using created:<2023-12-05 or the other filters available.