Skip to content

Actions: goblint/analyzer

Actions

locked

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
locked.yml
413 workflow run results
413 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace direct stdout printing with logging locked #9966: Pull request #1117 synchronize by sim642
February 13, 2024 12:46 21m 48s logs
logs
February 13, 2024 12:46 21m 48s
Merge branch 'master' into logs locked #9965: Commit b61a064 pushed by sim642
February 13, 2024 12:46 25m 5s logs
logs
February 13, 2024 12:46 25m 5s
Merge pull request #1350 from goblint/rm-libmaincil locked #9964: Commit 8610b20 pushed by sim642
February 13, 2024 12:34 20m 49s master
master
February 13, 2024 12:34 20m 49s
Adapt to removed Libmaincil module locked #9963: Pull request #1350 synchronize by sim642
February 13, 2024 12:01 29m 15s rm-libmaincil
rm-libmaincil
February 13, 2024 12:01 29m 15s
Merge branch 'master' into rm-libmaincil locked #9962: Commit 77103df pushed by sim642
February 13, 2024 12:01 29m 20s rm-libmaincil
rm-libmaincil
February 13, 2024 12:01 29m 20s
Linear Two-Variable Equalities Analysis locked #9961: Pull request #1297 synchronize by DrMichaelPetter
February 13, 2024 10:33 16m 54s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 13, 2024 10:33 16m 54s
Linear Two-Variable Equalities Analysis locked #9960: Pull request #1297 synchronize by DrMichaelPetter
February 13, 2024 10:03 20m 14s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 13, 2024 10:03 20m 14s
Use context tags in warnings instead of hash locked #9959: Commit 776ea81 pushed by karoliineh
February 13, 2024 09:34 28m 42s context-warnings
context-warnings
February 13, 2024 09:34 28m 42s
Linear Two-Variable Equalities Analysis locked #9958: Pull request #1297 synchronize by DrMichaelPetter
February 13, 2024 09:20 17m 42s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 13, 2024 09:20 17m 42s
Linear Two-Variable Equalities Analysis locked #9957: Pull request #1297 synchronize by DrMichaelPetter
February 13, 2024 08:36 24m 0s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 13, 2024 08:36 24m 0s
locked locked #9956: Scheduled
February 13, 2024 01:59 1h 17m 36s master
master
February 13, 2024 01:59 1h 17m 36s
Linear Two-Variable Equalities Analysis locked #9955: Pull request #1297 synchronize by DrMichaelPetter
February 12, 2024 20:56 20m 56s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 12, 2024 20:56 20m 56s
Adapt graph to also include loops including the goal. locked #9954: Commit 81b71d8 pushed by jerhard
February 12, 2024 13:04 19m 12s modular_function_summaries
modular_function_summaries
February 12, 2024 13:04 19m 12s
Modular analysis: Collect graphs locked #9953: Commit 88e3983 pushed by jerhard
February 12, 2024 12:55 21m 37s modular_function_summaries
modular_function_summaries
February 12, 2024 12:55 21m 37s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) locked #9952: Pull request #1340 synchronize by SchiJoha
February 12, 2024 08:47 22m 14s SchiJoha:master
SchiJoha:master
February 12, 2024 08:47 22m 14s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9951: Pull request #1330 synchronize by FungOliver
February 12, 2024 03:48 24m 6s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 03:48 24m 6s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9950: Pull request #1330 synchronize by FungOliver
February 12, 2024 03:41 23m 56s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 03:41 23m 56s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9949: Pull request #1330 synchronize by FungOliver
February 12, 2024 02:44 58m 34s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 02:44 58m 34s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9948: Pull request #1330 synchronize by FungOliver
February 12, 2024 02:29 1h 10m 44s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 02:29 1h 10m 44s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9947: Pull request #1330 synchronize by FungOliver
February 12, 2024 02:16 1h 16m 42s FungOliver:relationalArray
FungOliver:relationalArray
February 12, 2024 02:16 1h 16m 42s
locked locked #9946: Scheduled
February 12, 2024 02:00 1h 32m 36s master
master
February 12, 2024 02:00 1h 32m 36s
Enhance detection of buffer overflows by introducing variable for length of array/blob locked #9945: Pull request #1330 synchronize by FungOliver
February 11, 2024 21:25 22m 28s FungOliver:relationalArray
FungOliver:relationalArray
February 11, 2024 21:25 22m 28s
master thesis: Taming Recursion with Three Context-Sensitive Analyses (Callstring, LoopfreeCallstring, Context Gas) locked #9944: Pull request #1340 synchronize by SchiJoha
February 11, 2024 15:18 21m 0s SchiJoha:master
SchiJoha:master
February 11, 2024 15:18 21m 0s
locked locked #9943: Scheduled
February 11, 2024 02:02 1h 13m 33s master
master
February 11, 2024 02:02 1h 13m 33s
Linear Two-Variable Equalities Analysis locked #9942: Pull request #1297 synchronize by DrMichaelPetter
February 10, 2024 17:42 20m 50s reb-ddm:linear-two-var-equality
reb-ddm:linear-two-var-equality
February 10, 2024 17:42 20m 50s