Skip to content

Actions: static-analysis-engineering/codehawk

Actions

dune CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dune.yaml
131 workflow runs
131 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CHB:ARM:wide operation sequences dune CI #307: Commit 0e24497 pushed by sipma
8m 53s master
master
8m 53s
Predicatedinstructions dune CI #306: Pull request #255 opened by sipma
8m 47s sipma:predicatedinstructions
sipma:predicatedinstructions
8m 47s
CHB: generate proof obligations from postconditions dune CI #305: Commit f8d939a pushed by sipma
4m 56s master
master
4m 56s
Formatstrings dune CI #304: Pull request #254 opened by sipma
4m 56s sipma:formatstrings
sipma:formatstrings
4m 56s
CHB: externalize stack parameters dune CI #303: Commit ce00cbb pushed by sipma
4m 59s master
master
4m 59s
Podischarge dune CI #302: Pull request #253 opened by sipma
4m 52s sipma:podischarge
sipma:podischarge
4m 52s
CHB: add po discharge for trusted-os-cmd-fmt-arg-string dune CI #301: Commit 85c811e pushed by sipma
4m 57s master
master
4m 57s
Preconditions dune CI #300: Pull request #252 opened by sipma
5m 6s sipma:preconditions
sipma:preconditions
5m 6s
CHB: make formatstring recording persistent dune CI #299: Commit 8c9d747 pushed by sipma
5m 2s master
master
5m 2s
CHB: make formatstring recording persistent dune CI #298: Pull request #251 opened by sipma
4m 55s sipma:formatstrings
sipma:formatstrings
4m 55s
CHC: update PO generation for Div and Mod dune CI #297: Commit 64b58b4 pushed by sipma
4m 46s master
master
4m 46s
CHC: update PO generation for Div and Mod dune CI #296: Pull request #250 opened by sipma
4m 54s sipma:proofobligations
sipma:proofobligations
4m 54s
CHB: update version dune CI #295: Commit 300d114 pushed by sipma
4m 55s master
master
4m 55s
Formatstrings dune CI #294: Pull request #249 opened by sipma
4m 57s sipma:formatstrings
sipma:formatstrings
4m 57s
CHB: add precondition for restricted output-format string dune CI #293: Commit 5439c02 pushed by sipma
5m 28s master
master
5m 28s
Restrictedformat dune CI #292: Pull request #248 opened by sipma
5m 18s sipma:restrictedformat
sipma:restrictedformat
5m 18s
CHB: violation discharge for tainted string dune CI #291: Commit 352b1cb pushed by sipma
4m 56s master
master
4m 56s
Attributes dune CI #290: Pull request #247 opened by sipma
4m 56s sipma:attributes
sipma:attributes
4m 56s
CHC: allow for pointer types in lifting to api dune CI #289: Commit f443b0e pushed by sipma
4m 31s master
master
4m 31s
CHC: allow for pointer types in lifting to api dune CI #288: Pull request #246 opened by sipma
4m 52s sipma:conversions
sipma:conversions
4m 52s
CHC: redo usual arithmetic conversions dune CI #287: Commit 1d8bd65 pushed by sipma
4m 24s master
master
4m 24s
Regression dune CI #286: Pull request #245 opened by sipma
4m 51s sipma:regression
sipma:regression
4m 51s
CHC: fixes Integer promotion rejection of enum operands (CodeHawk-C i… dune CI #285: Commit fa7d96d pushed by sipma
5m 6s master
master
5m 6s
CHC: fixes Integer promotion rejection of enum operands (CodeHawk-C i… dune CI #284: Pull request #244 opened by sipma
4m 50s sipma:enumintegerpromotion
sipma:enumintegerpromotion
4m 50s
CHC: fixes Bool Integer Promotion Crash (CodeHawk-C Issue #69) dune CI #283: Commit 222e3e8 pushed by sipma
5m 1s master
master
5m 1s