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

Remove duplicate ctx-derived arguments in base analysis options #7089: Pull request #1308 synchronize by karoliineh
January 5, 2024 12:52 24s issue-1266
issue-1266
January 5, 2024 12:52 24s
Add st back to reachable_vars and reachable_from_address options #7088: Commit 7af5e41 pushed by karoliineh
January 5, 2024 12:52 22s issue-1266
issue-1266
January 5, 2024 12:52 22s
Remove duplicate ctx-derived arguments in base analysis options #7087: Pull request #1308 synchronize by karoliineh
January 5, 2024 12:10 23s issue-1266
issue-1266
January 5, 2024 12:10 23s
Replace ask in evalbinop_base with ctx for consistency options #7086: Commit 2d4f7f2 pushed by karoliineh
January 5, 2024 12:10 25s issue-1266
issue-1266
January 5, 2024 12:10 25s
Remove duplicate ctx-derived arguments in base analysis options #7085: Pull request #1308 synchronize by karoliineh
January 5, 2024 11:39 20s issue-1266
issue-1266
January 5, 2024 11:39 20s
Add st back everywhere (as for now) options #7084: Commit 7c50968 pushed by karoliineh
January 5, 2024 11:39 20s issue-1266
issue-1266
January 5, 2024 11:39 20s
Linear Two-Variable Equalities Analysis options #7083: Pull request #1297 synchronize by reb-ddm
January 4, 2024 17:49 23s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 4, 2024 17:49 23s
Linear Two-Variable Equalities Analysis options #7082: Pull request #1297 synchronize by alina-weber
January 4, 2024 17:41 22s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 4, 2024 17:41 22s
Linear Two-Variable Equalities Analysis options #7081: Pull request #1297 synchronize by alina-weber
January 4, 2024 17:11 18s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 4, 2024 17:11 18s
Linear Two-Variable Equalities Analysis options #7080: Pull request #1297 synchronize by reb-ddm
January 4, 2024 16:35 21s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 4, 2024 16:35 21s
Linear Two-Variable Equalities Analysis options #7079: Pull request #1297 synchronize by reb-ddm
January 4, 2024 14:44 22s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 4, 2024 14:44 22s
Linear Two-Variable Equalities Analysis options #7078: Pull request #1297 synchronize by reb-ddm
January 4, 2024 14:28 20s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 4, 2024 14:28 20s
Linear Two-Variable Equalities Analysis options #7077: Pull request #1297 synchronize by reb-ddm
January 4, 2024 14:21 21s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 4, 2024 14:21 21s
Linear Two-Variable Equalities Analysis options #7076: Pull request #1297 synchronize by reb-ddm
January 4, 2024 13:55 25s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 4, 2024 13:55 25s
Linear Two-Variable Equalities Analysis options #7075: Pull request #1297 synchronize by alina-weber
January 4, 2024 13:01 26s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 4, 2024 13:01 26s
Linear Two-Variable Equalities Analysis options #7073: Pull request #1297 synchronize by alina-weber
January 4, 2024 12:48 22s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 4, 2024 12:48 22s
Linear Two-Variable Equalities Analysis options #7072: Pull request #1297 synchronize by alina-weber
January 4, 2024 12:24 24s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 4, 2024 12:24 24s
Linear Two-Variable Equalities Analysis options #7070: Pull request #1297 synchronize by reb-ddm
January 3, 2024 18:06 22s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 3, 2024 18:06 22s
Linear Two-Variable Equalities Analysis options #7069: Pull request #1297 synchronize by reb-ddm
January 3, 2024 17:52 21s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 3, 2024 17:52 21s
Do not show excessive top thread id uniqueness counter in warnings options #7068: Commit 2686841 pushed by karoliineh
January 3, 2024 14:23 24s issue-1192
issue-1192
January 3, 2024 14:23 24s
Linear Two-Variable Equalities Analysis options #7067: Pull request #1297 synchronize by alina-weber
January 3, 2024 13:58 23s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 3, 2024 13:58 23s
Do not print mhp results when empty options #7065: Commit d0a2a28 pushed by karoliineh
January 3, 2024 13:23 27s issue-1192
issue-1192
January 3, 2024 13:23 27s
Linear Two-Variable Equalities Analysis options #7062: Pull request #1297 synchronize by reb-ddm
January 3, 2024 11:50 23s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 3, 2024 11:50 23s
Linear Two-Variable Equalities Analysis options #7061: Pull request #1297 synchronize by alina-weber
January 2, 2024 17:31 22s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
January 2, 2024 17:31 22s
Make IntDomLifter show similar to pretty options #7060: Commit 1864fed pushed by karoliineh
January 2, 2024 12:16 22s issue-1192
issue-1192
January 2, 2024 12:16 22s