Skip to content

Actions: static-analysis-engineering/codehawk

Actions

dune CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dune.yaml
129 workflow runs
129 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
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
CHC: fixes Bool Integer Promotion Crash (CodeHawk-C Issue #69) dune CI #282: Pull request #243 opened by sipma
4m 58s sipma:boolintegerpromotion
sipma:boolintegerpromotion
4m 58s
GIT: update compiler to 5.2.0 and remove makefiles workflow dune CI #281: Commit 9fc6ecd pushed by sipma
8m 31s master
master
8m 31s
Scanfhandling dune CI #280: Pull request #242 opened by sipma
7m 34s sipma:scanfhandling
sipma:scanfhandling
7m 34s
CHB: update version dune CI #279: Commit cf0e105 pushed by sipma
7m 59s master
master
7m 59s
Proofobligations dune CI #278: Pull request #241 opened by sipma
7m 55s sipma:proofobligations
sipma:proofobligations
7m 55s
CHB:PO: delegate BlockWrite without external length term dune CI #277: Commit 2d42553 pushed by sipma
11m 0s master
master
11m 0s
Preconditions dune CI #276: Pull request #240 opened by sipma
11m 3s sipma:preconditions
sipma:preconditions
11m 3s
CHB: recognize function signature with varargs and printf/scanf forma… dune CI #275: Commit 568d90d pushed by sipma
12m 47s master
master
12m 47s
CHB: recognize function signature with varargs and printf/scanf forma… dune CI #274: Pull request #239 opened by sipma
5m 22s sipma:formatargs
sipma:formatargs
5m 22s
CHB:SUM: fix returntype for inet_addr dune CI #273: Commit 4afc104 pushed by sipma
8m 38s master
master
8m 38s
CHB:SUM: fix returntype for inet_addr dune CI #272: Pull request #238 opened by sipma
8m 42s sipma:functionsummaries
sipma:functionsummaries
8m 42s
Outputparameters (#237) dune CI #271: Commit 5a300fa pushed by sipma
6m 39s master
master
6m 39s
Outputparameters dune CI #270: Pull request #237 opened by sipma
6m 3s outputparameters
outputparameters
6m 3s
CHC: merge result-value migration with Errno changes dune CI #269: Commit c25aab3 pushed by sipma
5m 28s outputparameters
outputparameters
5m 28s
CHC: Errno dependency analysis (#233) dune CI #268: Commit 7e01d90 pushed by abakst
5m 36s master
master
5m 36s
Merge remote-tracking branch 'origin/master' into abakst/errno dune CI #267: Commit 0ae6299 pushed by abakst
5m 38s abakst/errno
abakst/errno
5m 38s
Errno dependency analysis dune CI #266: Pull request #233 synchronize by abakst
5m 18s abakst:abakst/errno
abakst:abakst/errno
5m 18s
Errno dependency analysis dune CI #265: Pull request #233 synchronize by abakst
5m 38s abakst:abakst/errno
abakst:abakst/errno
5m 38s