Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
788 workflow run results
788 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix tracing call in base options #6795: Commit 6b1dce9 pushed by sim642
November 28, 2023 09:12 24s master
master
November 28, 2023 09:12 24s
Merge pull request #1265 from goblint/mutex-meet-tid-memsafety options #6794: Commit 24943a1 pushed by michael-schwarz
November 27, 2023 16:19 17s master
master
November 27, 2023 16:19 17s
Add some hacky atomic privatizations options #6793: Pull request #1216 synchronize by sim642
November 27, 2023 15:15 24s priv-atomic
priv-atomic
November 27, 2023 15:15 24s
Use strengthening in 36-apron/98-loc options #6792: Commit fa1f6fa pushed by sim642
November 27, 2023 15:15 19s priv-atomic
priv-atomic
November 27, 2023 15:15 19s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned options #6791: Pull request #1265 synchronize by michael-schwarz
November 27, 2023 14:19 18s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 27, 2023 14:19 18s
Reduce activated analsyses and add test options #6790: Commit 209a560 pushed by michael-schwarz
November 27, 2023 14:19 20s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 27, 2023 14:19 20s
Merge with master. options #6789: Commit 4d2783c pushed by jerhard
November 27, 2023 14:18 24s modular_function_summaries
modular_function_summaries
November 27, 2023 14:18 24s
Merge branch 'master' into priv-atomic options #6788: Commit 2beea6e pushed by sim642
November 27, 2023 14:06 18s priv-atomic
priv-atomic
November 27, 2023 14:06 18s
Add some hacky atomic privatizations options #6787: Pull request #1216 synchronize by sim642
November 27, 2023 14:06 24s priv-atomic
priv-atomic
November 27, 2023 14:06 24s
Generalize and clean up abs invariant in base analysis options #6786: Pull request #1274 opened by sim642
November 27, 2023 12:37 23s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 27, 2023 12:37 23s
Klever concurrency safety support options #6785: Pull request #688 synchronize by sim642
November 27, 2023 12:32 27s klever
klever
November 27, 2023 12:32 27s
Fix LibraryDslTest compilation options #6784: Commit 5a6362e pushed by sim642
November 27, 2023 12:32 17s klever
klever
November 27, 2023 12:32 17s
Remove BaseInvariant tmpSpecial TODOs options #6783: Commit 1730aa7 pushed by sim642
November 27, 2023 12:03 18s base-invariant-abs-cleanup
base-invariant-abs-cleanup
November 27, 2023 12:03 18s
Fix indentation in MemLeak options #6782: Commit 778d883 pushed by sim642
November 27, 2023 10:36 19s master
master
November 27, 2023 10:36 19s
Add multiple flag to ThreadCreate options #6781: Commit 8a95c8a pushed by sim642
November 27, 2023 10:29 27s klever
klever
November 27, 2023 10:29 27s
Klever concurrency safety support options #6780: Pull request #688 synchronize by sim642
November 27, 2023 10:29 20s klever
klever
November 27, 2023 10:29 20s
Merge pull request #1208 from goblint/string-unit-domain options #6779: Commit d5163c9 pushed by sim642
November 27, 2023 08:46 19s master
master
November 27, 2023 08:46 19s
Merge branch 'master' into string-unit-domain options #6778: Commit d01ef63 pushed by sim642
November 27, 2023 08:44 19s string-unit-domain
string-unit-domain
November 27, 2023 08:44 19s
Add ana.base.strings.domain option and unit string domain options #6777: Pull request #1208 synchronize by sim642
November 27, 2023 08:44 22s string-unit-domain
string-unit-domain
November 27, 2023 08:44 22s
Merge pull request #1264 from goblint/base-special-lval options #6776: Commit 0fdea44 pushed by sim642
November 27, 2023 08:32 25s master
master
November 27, 2023 08:32 25s
Add few people to .mailmap options #6775: Commit 975b502 pushed by sim642
November 27, 2023 08:27 21s master
master
November 27, 2023 08:27 21s
Add opam pin revert step to releasing guide options #6774: Commit 6d4f9e7 pushed by sim642
November 27, 2023 08:20 24s master
master
November 27, 2023 08:20 24s
Revert "Disable pins for v2.3.0 release" options #6773: Commit ed5f259 pushed by sim642
November 27, 2023 08:19 17s master
master
November 27, 2023 08:19 17s
Null Byte Array Domain options #6772: Pull request #1076 synchronize by michael-schwarz
November 26, 2023 20:01 13s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 26, 2023 20:01 13s
Null Byte Array Domain options #6771: Pull request #1076 synchronize by michael-schwarz
November 26, 2023 19:00 15s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 26, 2023 19:00 15s
ProTip! You can narrow down the results and go further in time using created:<2023-11-26 or the other filters available.