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

Bump jinja2 from 3.0.3 to 3.1.3 in /docs options #7164: Pull request #1325 opened by dependabot bot
January 11, 2024 19:19 21s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 11, 2024 19:19 21s
Bump jinja2 from 3.0.3 to 3.1.3 in /docs options #7163: Commit 28d5ea2 pushed by dependabot bot
January 11, 2024 19:19 23s dependabot/pip/docs/jinja2-3.1.3
dependabot/pip/docs/jinja2-3.1.3
January 11, 2024 19:19 23s
Linear Two-Variable Equalities Analysis options #7162: Pull request #1297 synchronize by jennieliangga
January 11, 2024 19:00 22s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 19:00 22s
Unbox some types options #7161: Pull request #1310 synchronize by sim642
January 11, 2024 15:33 24s unboxed
unboxed
January 11, 2024 15:33 24s
Merge branch 'master' into unboxed options #7160: Commit e4ab634 pushed by sim642
January 11, 2024 15:33 19s unboxed
unboxed
January 11, 2024 15:33 19s
Linear Two-Variable Equalities Analysis options #7159: Pull request #1297 synchronize by reb-ddm
January 11, 2024 15:17 18s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 11, 2024 15:17 18s
Merge branch 'master' into priv-atomic options #7158: Commit 0308c25 pushed by sim642
January 11, 2024 15:04 23s priv-atomic
priv-atomic
January 11, 2024 15:04 23s
Add some hacky atomic privatizations options #7157: Pull request #1216 synchronize by sim642
January 11, 2024 15:04 23s priv-atomic
priv-atomic
January 11, 2024 15:04 23s
Comment out atomic mutex protecting everything again options #7156: Commit 696a35f pushed by sim642
January 11, 2024 14:58 21s priv-atomic
priv-atomic
January 11, 2024 14:58 21s
Add __goblint_globalize special function options #7155: Commit 92eac6d pushed by sim642
January 11, 2024 14:53 18s priv-atomic
priv-atomic
January 11, 2024 14:53 18s
Delete duplicate priv-atomic tests options #7154: Commit b12b6e8 pushed by sim642
January 11, 2024 14:44 19s priv-atomic
priv-atomic
January 11, 2024 14:44 19s
Separate relation mutex-meet-tid with atomic support options #7153: Commit d4a1fe4 pushed by sim642
January 11, 2024 14:34 26s priv-atomic
priv-atomic
January 11, 2024 14:34 26s
Separate base privatization with atomic support options #7152: Commit f754362 pushed by sim642
January 11, 2024 14:01 19s priv-atomic
priv-atomic
January 11, 2024 14:01 19s
Fix goblint-lib-modules.py output options #7151: Commit 69f28b2 pushed by sim642
January 11, 2024 13:46 21s master
master
January 11, 2024 13:46 21s
Document ReturnUtil options #7150: Commit e847c8f pushed by sim642
January 11, 2024 13:46 17s master
master
January 11, 2024 13:46 17s
Merge pull request #1323 from goblint/threadEscape-combine_assign options #7149: Commit bacedc7 pushed by sim642
January 11, 2024 13:42 22s master
master
January 11, 2024 13:42 22s
Implement combine_assign in threadEscape options #7148: Pull request #1323 synchronize by karoliineh
January 11, 2024 11:51 26s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 26s
Add comment about f_ask in combine_assign options #7147: Commit 34d30fe pushed by karoliineh
January 11, 2024 11:51 19s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 11:51 19s
Consider Alloca everywhere where Malloc, Calloc and Realloc are handled options #7146: Pull request #1324 opened by karoliineh
January 11, 2024 11:02 18s alloca
alloca
January 11, 2024 11:02 18s
Consider alloca for loopUnrolling options #7145: Commit c76a0a2 pushed by karoliineh
January 11, 2024 10:56 19s alloca
alloca
January 11, 2024 10:56 19s
Replace direct stdout printing with logging options #7144: Pull request #1117 synchronize by sim642
January 11, 2024 10:47 1m 20s logs
logs
January 11, 2024 10:47 1m 20s
Do not use stdout for logs if server.mode is stdio options #7143: Commit 05d9cce pushed by sim642
January 11, 2024 10:47 44s logs
logs
January 11, 2024 10:47 44s
Implement combine_assign in threadEscape options #7142: Pull request #1323 synchronize by karoliineh
January 11, 2024 10:44 34s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 10:44 34s
Use ask variable instead of Analyses.ask_of_ctx ctx options #7141: Commit d719842 pushed by karoliineh
January 11, 2024 10:44 18s threadEscape-combine_assign
threadEscape-combine_assign
January 11, 2024 10:44 18s
Replace direct stdout printing with logging options #7140: Pull request #1117 synchronize by sim642
January 11, 2024 10:39 35s logs
logs
January 11, 2024 10:39 35s