Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
783 workflow run results
783 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TUM Practical Course Summer 2023: Termination Analyses options #6525: Pull request #1093 synchronize by michael-schwarz
November 10, 2023 18:24 20s serenita:master
serenita:master
November 10, 2023 18:24 20s
Remove redundant code for setting todo variable options #6524: Commit 5810c48 pushed by jerhard
November 10, 2023 09:58 18s termination_dev
termination_dev
November 10, 2023 09:58 18s
Make type of variables used for loop termination analysis more easily… options #6523: Commit 704a8f1 pushed by jerhard
November 9, 2023 17:12 21s termination_dev
termination_dev
November 9, 2023 17:12 21s
Merge branch 'yaml-witness-2.0' into svcomp24-dev options #6522: Commit 39b9834 pushed by sim642
November 9, 2023 13:34 18s svcomp24-dev
svcomp24-dev
November 9, 2023 13:34 18s
Remove default Apron polyhedra in svcomp24-validate conf options #6521: Commit fbc66e3 pushed by sim642
November 9, 2023 13:19 24s svcomp24-dev
svcomp24-dev
November 9, 2023 13:19 24s
Fix relation read_globals_to_locals reading untracked variables options #6520: Commit 7fc8343 pushed by sim642
November 9, 2023 11:56 19s svcomp24-dev
svcomp24-dev
November 9, 2023 11:56 19s
Merge branch 'yaml-witness-2.0' into svcomp24-dev options #6519: Commit 0698aad pushed by sim642
November 9, 2023 11:09 20s svcomp24-dev
svcomp24-dev
November 9, 2023 11:09 20s
Add support for YAML witness entry type invariant_set options #6518: Pull request #1240 synchronize by sim642
November 9, 2023 11:09 16s yaml-witness-2.0
yaml-witness-2.0
November 9, 2023 11:09 16s
Fix invariant_set loop_invariant option check options #6517: Commit a933266 pushed by sim642
November 9, 2023 11:09 20s yaml-witness-2.0
yaml-witness-2.0
November 9, 2023 11:09 20s
Add support for YAML witness entry type invariant_set options #6516: Pull request #1240 synchronize by sim642
November 9, 2023 10:43 14s yaml-witness-2.0
yaml-witness-2.0
November 9, 2023 10:43 14s
Add option witness.yaml.format-version options #6515: Commit d884744 pushed by sim642
November 9, 2023 10:43 20s yaml-witness-2.0
yaml-witness-2.0
November 9, 2023 10:43 20s
Improve SV-COMP conf for no-data-race options #6514: Pull request #1207 synchronize by sim642
November 9, 2023 10:33 23s svcomp24-conf
svcomp24-conf
November 9, 2023 10:33 23s
Merge branch 'master' into svcomp24-conf options #6513: Commit 6aed24f pushed by sim642
November 9, 2023 10:33 16s svcomp24-conf
svcomp24-conf
November 9, 2023 10:33 16s
Merge pull request #1234 from goblint/path_sens_memleak options #6512: Commit 03e17b6 pushed by michael-schwarz
November 9, 2023 10:21 26s master
master
November 9, 2023 10:21 26s
Merge pull request #1242 from goblint/issue_1239 options #6511: Commit d47e429 pushed by michael-schwarz
November 9, 2023 10:20 34s master
master
November 9, 2023 10:20 34s
Improve SV-COMP conf for no-data-race options #6510: Pull request #1207 synchronize by sim642
November 9, 2023 09:59 21s svcomp24-conf
svcomp24-conf
November 9, 2023 09:59 21s
Merge branch 'master' into svcomp24-conf options #6509: Commit afdf566 pushed by sim642
November 9, 2023 09:59 26s svcomp24-conf
svcomp24-conf
November 9, 2023 09:59 26s
Add some library functions from SV-COMP options #6508: Pull request #1242 synchronize by michael-schwarz
November 9, 2023 09:18 28s issue_1239
issue_1239
November 9, 2023 09:18 28s
Move fread_unlocked to glibc options #6507: Commit 39a9427 pushed by michael-schwarz
November 9, 2023 09:18 24s issue_1239
issue_1239
November 9, 2023 09:18 24s
Add some library functions from SV-COMP options #6506: Pull request #1242 synchronize by michael-schwarz
November 9, 2023 09:16 20s issue_1239
issue_1239
November 9, 2023 09:16 20s
Move _exit back options #6505: Commit dd3de9e pushed by michael-schwarz
November 9, 2023 09:16 28s issue_1239
issue_1239
November 9, 2023 09:16 28s
Account for allocated heap memory which is unreachable from globals options #6504: Pull request #1241 synchronize by mrstanb
November 8, 2023 21:52 24s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 21:52 24s
Account for allocated heap memory which is unreachable from globals options #6503: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:53 24s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:53 24s
Account for allocated heap memory which is unreachable from globals options #6502: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:52 16s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:52 16s
Account for allocated heap memory which is unreachable from globals options #6501: Pull request #1241 synchronize by mrstanb
November 8, 2023 19:51 23s mrstanb:improve-valid-memtrack-for-single-threaded-programs
mrstanb:improve-valid-memtrack-for-single-threaded-programs
November 8, 2023 19:51 23s
ProTip! You can narrow down the results and go further in time using created:<2023-11-08 or the other filters available.