Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
2,965 workflow run results
2,965 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

C-2PO: Thesis About a Weakly-Relational Pointer Analysis options #9155: Pull request #1485 synchronize by reb-ddm
September 9, 2024 10:50 17s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
September 9, 2024 10:50 17s
C-2PO: Thesis About a Weakly-Relational Pointer Analysis options #9154: Pull request #1485 synchronize by reb-ddm
September 9, 2024 10:43 18s reb-ddm:thesis-weakly-relational-pointer
reb-ddm:thesis-weakly-relational-pointer
September 9, 2024 10:43 18s
Merge pull request #1562 from goblint/base-invalidate-may options #9153: Commit 46f2fbd pushed by sim642
September 9, 2024 10:35 22s master
master
September 9, 2024 10:35 22s
Merge pull request #1560 from goblint/issue-1541 options #9152: Commit f03d729 pushed by sim642
September 9, 2024 10:33 2m 19s master
master
September 9, 2024 10:33 2m 19s
Merge pull request #1554 from goblint/ppx_blob-unvendor options #9151: Commit a881e9f pushed by sim642
September 9, 2024 10:32 40s master
master
September 9, 2024 10:32 40s
Unvendor ppx_blob options #9150: Pull request #1554 synchronize by sim642
September 9, 2024 10:30 20s ppx_blob-unvendor
ppx_blob-unvendor
September 9, 2024 10:30 20s
Merge branch 'master' into ppx_blob-unvendor options #9149: Commit ce29e39 pushed by sim642
September 9, 2024 10:30 19s ppx_blob-unvendor
ppx_blob-unvendor
September 9, 2024 10:30 19s
Merge pull request #1523 from goblint/stdlib-starts_with options #9148: Commit 2b17599 pushed by sim642
September 9, 2024 10:25 18s master
master
September 9, 2024 10:25 18s
Optimize none base privatization, add eager Vojdani privatization options #9147: Pull request #1552 synchronize by sim642
September 9, 2024 09:26 26s traces-vojdani
traces-vojdani
September 9, 2024 09:26 26s
Merge branch 'master' into traces-vojdani options #9146: Commit 1e70e33 pushed by sim642
September 9, 2024 09:26 20s traces-vojdani
traces-vojdani
September 9, 2024 09:26 20s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables options #9145: Pull request #1394 synchronize by sim642
September 2, 2024 08:15 20s yaml-witness-ghost
yaml-witness-ghost
September 2, 2024 08:15 20s
Add value and format to ghost_instrumentation options #9144: Commit 852297b pushed by sim642
September 2, 2024 08:15 23s yaml-witness-ghost
yaml-witness-ghost
September 2, 2024 08:15 23s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables options #9143: Pull request #1394 synchronize by sim642
August 29, 2024 10:30 19s yaml-witness-ghost
yaml-witness-ghost
August 29, 2024 10:30 19s
Remove ghost_ prefix from ghost_instrumentation update entries options #9142: Commit 2c99550 pushed by sim642
August 29, 2024 10:30 22s yaml-witness-ghost
yaml-witness-ghost
August 29, 2024 10:30 22s
Not-republish-like example for one-clusters options #9141: Commit c3403df pushed by sim642
August 28, 2024 14:19 20s simmo-phd-thesis
simmo-phd-thesis
August 28, 2024 14:19 20s
Merge pull request #1563 from goblint/location_of_yojson options #9140: Commit f27ae52 pushed by sim642
August 26, 2024 07:20 21s master
master
August 26, 2024 07:20 21s
Not-republish-like example for clusters options #9139: Commit c5733d2 pushed by sim642
August 23, 2024 13:15 20s simmo-phd-thesis
simmo-phd-thesis
August 23, 2024 13:15 20s
Default the value of CilType.Location.Byte to -1 if missing in JSON options #9138: Pull request #1563 opened by karoliineh
August 23, 2024 08:59 25s location_of_yojson
location_of_yojson
August 23, 2024 08:59 25s
Default location.byte to -1 if missing in JSON options #9137: Commit 3c54188 pushed by karoliineh
August 22, 2024 13:28 25s location_of_yojson
location_of_yojson
August 22, 2024 13:28 25s
Improve history thread ID may_create options #9136: Pull request #1561 synchronize by sim642
August 20, 2024 12:18 20s threadid-history-may_create
threadid-history-may_create
August 20, 2024 12:18 20s
Rename to must_be_ancestor and may_be_ancestor options #9135: Commit fc9ecfc pushed by sim642
August 20, 2024 12:18 19s threadid-history-may_create
threadid-history-may_create
August 20, 2024 12:18 19s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables options #9134: Pull request #1394 synchronize by sim642
August 20, 2024 12:02 19s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 12:02 19s
Make invariant_set and ghost_instrumentation deterministic in tests options #9133: Commit 431b34d pushed by sim642
August 20, 2024 12:02 26s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 12:02 26s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables options #9132: Pull request #1394 synchronize by sim642
August 20, 2024 09:56 25s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 09:56 25s
Use invariant_set in svcomp-ghost conf options #9131: Commit e9e652d pushed by sim642
August 20, 2024 09:56 20s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 09:56 20s