Skip to content

Actions: static-analysis-engineering/codehawk

Actions

dune CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
dune.yaml
126 workflow runs
126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CHC: add some Stmt validity rules dune CI #229: Commit 66ecadb pushed by sipma
4m 21s performance
performance
4m 21s
CHT:CHC: update tests dune CI #228: Commit d9105b2 pushed by sipma
7m 17s performance
performance
7m 17s
escape carriage return and double quote characters dune CI #227: Commit 932c594 pushed by sipma
8m 37s master
master
8m 37s
Escape carriage return and double quote characters dune CI #226: Pull request #224 synchronize by waskyo
5m 23s waskyo:escape_more_characters
waskyo:escape_more_characters
5m 23s
Escape carriage return and double quote characters dune CI #225: Pull request #224 opened by waskyo
8m 45s waskyo:escape_more_characters
waskyo:escape_more_characters
8m 45s
CHC:add proof obligations to calls dune CI #224: Commit 11e6e19 pushed by sipma
4m 49s performance
performance
4m 49s
CHC: add invariant prioritization to the PLocallyInitialized checker dune CI #223: Commit 1e2f9c3 pushed by sipma
7m 34s performance
performance
7m 34s
CHB: add scaled expression term arrangement dune CI #222: Commit 02f95a2 pushed by sipma
8m 41s master
master
8m 41s
Stackframe dune CI #221: Pull request #223 opened by sipma
8m 31s sipma:stackframe
sipma:stackframe
8m 31s
CHC: add primary proofobligation creation for output parameters dune CI #220: Commit 499cc76 pushed by sipma
4m 33s performance
performance
4m 33s
CHC: update Makefiles dune CI #219: Commit e603b94 pushed by sipma
3m 3s performance
performance
3m 3s
CHC: add outputparameter proof obligations insertion and checking dune CI #218: Commit ab826a0 pushed by sipma
5m 31s performance
performance
5m 31s
CHB:ARM: transmit ldrsh/ldrsb aggregates dune CI #217: Commit 7010e7d pushed by sipma
5m 26s master
master
5m 26s
CHB:ARM: transmit ldrsh/ldrsb aggregates dune CI #216: Pull request #222 opened by sipma
5m 24s sipma:aggregate
sipma:aggregate
5m 24s
CHB:ARM: handle MOV aggregates without predicate dune CI #215: Commit 89421bd pushed by sipma
8m 51s master
master
8m 51s
Typereconstruction dune CI #214: Pull request #221 opened by sipma
8m 40s sipma:typereconstruction
sipma:typereconstruction
8m 40s
Add codehawk.opam file dune CI #213: Commit d7904d7 pushed by sipma
8m 47s master
master
8m 47s
Add codehawk.opam file dune CI #212: Pull request #220 opened by brk
8m 57s brk:push-srrqwkvmrzwv
brk:push-srrqwkvmrzwv
8m 57s
CHB:ARM:remove exituse typing rules dune CI #211: Commit 01a9e20 pushed by sipma
5m 2s master
master
5m 2s
CHB:ARM:remove exituse typing rules dune CI #210: Pull request #219 opened by sipma
5m 53s sipma:typingrules
sipma:typingrules
5m 53s
CHB:ARM: allow for printing data sections dune CI #209: Commit 083f306 pushed by sipma
5m 0s master
master
5m 0s
CHB:ARM: allow for printing data sections dune CI #208: Pull request #218 opened by sipma
5m 12s sipma:datalayout
sipma:datalayout
5m 12s
CHB: support for conversion to c expr of pointer arithmetic dune CI #207: Commit c2782f7 pushed by sipma
8m 16s master
master
8m 16s
Expressionsinc dune CI #206: Pull request #217 opened by sipma
8m 35s sipma:expressionsinc
sipma:expressionsinc
8m 35s
CHB: enable LDR-memop-tc rule dune CI #205: Commit 767fe1a pushed by sipma
5m 10s master
master
5m 10s