Skip to content

Actions: nathanschmidt/goblint-analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into null-byte-arrayDomain options #176: Commit 4577879 pushed by sim642
December 11, 2023 09:34 21s null-byte-arrayDomain
null-byte-arrayDomain
December 11, 2023 09:34 21s
Add TODOs related to null byte array domain options #175: Commit f2fdb62 pushed by sim642
December 11, 2023 08:54 20s null-byte-arrayDomain
null-byte-arrayDomain
December 11, 2023 08:54 20s
Deduplicate Null declarations options #174: Commit 80c2694 pushed by sim642
November 29, 2023 09:00 17s null-byte-arrayDomain
null-byte-arrayDomain
November 29, 2023 09:00 17s
Use ocamldoc references in ArrayDomain.Str options #173: Commit 44705f4 pushed by sim642
November 29, 2023 08:51 17s null-byte-arrayDomain
null-byte-arrayDomain
November 29, 2023 08:51 17s
Merge branch 'master' into null-byte-arrayDomain options #172: Commit 672650b pushed by michael-schwarz
November 28, 2023 21:06 19s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 21:06 19s
Strange parens options #171: Commit 1a9ce2c pushed by michael-schwarz
November 28, 2023 20:56 18s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 20:56 18s
Use option type options #170: Commit c15ca04 pushed by michael-schwarz
November 28, 2023 20:50 19s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 20:50 19s
Lift one more transfer function to work on MustMay options #169: Commit a73c28d pushed by michael-schwarz
November 28, 2023 20:43 18s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 20:43 18s
Decouple concrete sets from MaySet options #168: Commit d995cc9 pushed by michael-schwarz
November 28, 2023 20:16 16s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 20:16 16s
One less May/MustSet options #167: Commit 20ee375 pushed by michael-schwarz
November 28, 2023 20:05 23s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 20:05 23s
Pull out helper options #166: Commit c85bad9 pushed by michael-schwarz
November 28, 2023 19:46 20s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 19:46 20s
Make types in string_concat make sense options #165: Commit 7a2e9ba pushed by michael-schwarz
November 28, 2023 19:36 23s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 19:36 23s
Replace exists types with options options #164: Commit 55a0dd4 pushed by michael-schwarz
November 28, 2023 19:11 21s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 19:11 21s
Steps towards removing ops on raw sets options #163: Commit b4bb3c1 pushed by michael-schwarz
November 28, 2023 18:42 19s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 18:42 19s
Simplify options #162: Commit 320cc90 pushed by michael-schwarz
November 28, 2023 18:33 16s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 18:33 16s
Remove n_exists construction options #161: Commit 0b3ff15 pushed by michael-schwarz
November 28, 2023 18:30 20s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 18:30 20s
Remove idx_maximal hack options #160: Commit 3ebc74d pushed by michael-schwarz
November 28, 2023 18:08 21s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 18:08 21s
Simplify options #159: Commit 272e496 pushed by michael-schwarz
November 28, 2023 17:50 22s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 17:50 22s
Simplify options #158: Commit 0a47ea2 pushed by michael-schwarz
November 28, 2023 17:43 18s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 17:43 18s
Simplify options #157: Commit 2b8e3fa pushed by michael-schwarz
November 28, 2023 17:19 19s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 17:19 19s
Annotate faialing test as TODO options #156: Commit 1a0fdb9 pushed by michael-schwarz
November 28, 2023 16:09 19s null-byte-arrayDomain
null-byte-arrayDomain
November 28, 2023 16:09 19s
Move to operations on Nulls options #155: Commit df10ad6 pushed by michael-schwarz
November 26, 2023 20:01 20s null-byte-arrayDomain
null-byte-arrayDomain
November 26, 2023 20:01 20s
to_string free of direct set manipulation options #154: Commit 34d2e1c pushed by michael-schwarz
November 26, 2023 19:00 16s null-byte-arrayDomain
null-byte-arrayDomain
November 26, 2023 19:00 16s
Progress options #153: Commit b85ed97 pushed by michael-schwarz
November 26, 2023 17:08 16s null-byte-arrayDomain
null-byte-arrayDomain
November 26, 2023 17:08 16s
Progress options #152: Commit cd57e1f pushed by michael-schwarz
November 26, 2023 16:38 20s null-byte-arrayDomain
null-byte-arrayDomain
November 26, 2023 16:38 20s