Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.yml
3,603 workflow runs
3,603 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into traces-vojdani indentation #11127: Commit 1e70e33 pushed by sim642
September 9, 2024 09:26 2m 11s traces-vojdani
traces-vojdani
September 9, 2024 09:26 2m 11s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables indentation #11126: Pull request #1394 synchronize by sim642
September 2, 2024 08:15 1m 38s yaml-witness-ghost
yaml-witness-ghost
September 2, 2024 08:15 1m 38s
Add value and format to ghost_instrumentation indentation #11125: Commit 852297b pushed by sim642
September 2, 2024 08:15 1m 37s yaml-witness-ghost
yaml-witness-ghost
September 2, 2024 08:15 1m 37s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables indentation #11124: Pull request #1394 synchronize by sim642
August 29, 2024 10:30 1m 43s yaml-witness-ghost
yaml-witness-ghost
August 29, 2024 10:30 1m 43s
Remove ghost_ prefix from ghost_instrumentation update entries indentation #11123: Commit 2c99550 pushed by sim642
August 29, 2024 10:30 1m 40s yaml-witness-ghost
yaml-witness-ghost
August 29, 2024 10:30 1m 40s
Not-republish-like example for one-clusters indentation #11122: Commit c3403df pushed by sim642
August 28, 2024 14:19 1m 37s simmo-phd-thesis
simmo-phd-thesis
August 28, 2024 14:19 1m 37s
Merge pull request #1563 from goblint/location_of_yojson indentation #11121: Commit f27ae52 pushed by sim642
August 26, 2024 07:20 1m 38s master
master
August 26, 2024 07:20 1m 38s
Not-republish-like example for clusters indentation #11120: Commit c5733d2 pushed by sim642
August 23, 2024 13:15 3s simmo-phd-thesis
simmo-phd-thesis
August 23, 2024 13:15 3s
Default the value of CilType.Location.Byte to -1 if missing in JSON indentation #11119: Pull request #1563 opened by karoliineh
August 23, 2024 08:59 3s location_of_yojson
location_of_yojson
August 23, 2024 08:59 3s
Default location.byte to -1 if missing in JSON indentation #11118: Commit 3c54188 pushed by karoliineh
August 22, 2024 13:28 3s location_of_yojson
location_of_yojson
August 22, 2024 13:28 3s
Improve history thread ID may_create indentation #11117: Pull request #1561 synchronize by sim642
August 20, 2024 12:18 1m 48s threadid-history-may_create
threadid-history-may_create
August 20, 2024 12:18 1m 48s
Rename to must_be_ancestor and may_be_ancestor indentation #11116: Commit fc9ecfc pushed by sim642
August 20, 2024 12:18 1m 37s threadid-history-may_create
threadid-history-may_create
August 20, 2024 12:18 1m 37s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables indentation #11115: Pull request #1394 synchronize by sim642
August 20, 2024 12:02 1m 47s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 12:02 1m 47s
Make invariant_set and ghost_instrumentation deterministic in tests indentation #11114: Commit 431b34d pushed by sim642
August 20, 2024 12:02 1m 49s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 12:02 1m 49s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables indentation #11113: Pull request #1394 synchronize by sim642
August 20, 2024 09:56 1m 30s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 09:56 1m 30s
Use invariant_set in svcomp-ghost conf indentation #11112: Commit e9e652d pushed by sim642
August 20, 2024 09:56 1m 29s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 09:56 1m 29s
Generate flow-insensitive YAML witness invariants with ghosts for privatized variables indentation #11111: Pull request #1394 synchronize by sim642
August 20, 2024 09:28 1m 35s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 09:28 1m 35s
Add ghost_instrumentation support to mutexGhosts indentation #11110: Commit d220653 pushed by sim642
August 20, 2024 09:28 1m 32s yaml-witness-ghost
yaml-witness-ghost
August 20, 2024 09:28 1m 32s
Fix base must-writing all invalidated variables indentation #11109: Pull request #1562 opened by sim642
August 16, 2024 12:51 3s base-invalidate-may
base-invalidate-may
August 16, 2024 12:51 3s
Pin CIL with attr-enumerator fix for MacOS indentation #11108: Commit 0d6d3a8 pushed by sim642
August 16, 2024 12:45 1m 35s master
master
August 16, 2024 12:45 1m 35s
Fix base must-writing all invalidated variables indentation #11107: Commit cf9d190 pushed by sim642
August 16, 2024 12:44 2s base-invalidate-may
base-invalidate-may
August 16, 2024 12:44 2s
Refactor writing to pointers indentation #11106: Pull request #1531 synchronize by karoliineh
August 16, 2024 11:31 1m 35s base_set_fold
base_set_fold
August 16, 2024 11:31 1m 35s
Use sem.null-pointer.dereference option for writing as well indentation #11105: Commit 6843784 pushed by karoliineh
August 16, 2024 11:31 6m 27s base_set_fold
base_set_fold
August 16, 2024 11:31 6m 27s
Refactor address type in base reachability computation indentation #11104: Commit 4c68fff pushed by sim642
August 16, 2024 11:13 2s base-reachability-addr
base-reachability-addr
August 16, 2024 11:13 2s
Pin CIL with attr-enumerator fix for MacOS indentation #11103: Commit 0d6d3a8 pushed by sim642
August 16, 2024 09:21 3s cil-attr-enumerator
cil-attr-enumerator
August 16, 2024 09:21 3s