Skip to content

Actions: static-analysis-engineering/codehawk

Actions

Makefile CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
makefiles.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 Makefile CI #225: Commit 66ecadb pushed by sipma
2m 56s performance
performance
2m 56s
CHT:CHC: update tests Makefile CI #224: Commit d9105b2 pushed by sipma
5m 53s performance
performance
5m 53s
escape carriage return and double quote characters Makefile CI #223: Commit 932c594 pushed by sipma
7m 41s master
master
7m 41s
Escape carriage return and double quote characters Makefile CI #222: Pull request #224 synchronize by waskyo
4m 31s waskyo:escape_more_characters
waskyo:escape_more_characters
4m 31s
Escape carriage return and double quote characters Makefile CI #221: Pull request #224 opened by waskyo
7m 8s waskyo:escape_more_characters
waskyo:escape_more_characters
7m 8s
CHC:add proof obligations to calls Makefile CI #220: Commit 11e6e19 pushed by sipma
3m 1s performance
performance
3m 1s
CHC: add invariant prioritization to the PLocallyInitialized checker Makefile CI #219: Commit 1e2f9c3 pushed by sipma
6m 2s performance
performance
6m 2s
CHB: add scaled expression term arrangement Makefile CI #218: Commit 02f95a2 pushed by sipma
7m 7s master
master
7m 7s
Stackframe Makefile CI #217: Pull request #223 opened by sipma
7m 17s sipma:stackframe
sipma:stackframe
7m 17s
CHC: add primary proofobligation creation for output parameters Makefile CI #216: Commit 499cc76 pushed by sipma
2m 55s performance
performance
2m 55s
CHC: update Makefiles Makefile CI #215: Commit e603b94 pushed by sipma
1m 48s performance
performance
1m 48s
CHC: add outputparameter proof obligations insertion and checking Makefile CI #214: Commit ab826a0 pushed by sipma
5m 0s performance
performance
5m 0s
CHB:ARM: transmit ldrsh/ldrsb aggregates Makefile CI #213: Commit 7010e7d pushed by sipma
4m 36s master
master
4m 36s
CHB:ARM: transmit ldrsh/ldrsb aggregates Makefile CI #212: Pull request #222 opened by sipma
4m 8s sipma:aggregate
sipma:aggregate
4m 8s
CHB:ARM: handle MOV aggregates without predicate Makefile CI #211: Commit 89421bd pushed by sipma
7m 27s master
master
7m 27s
Typereconstruction Makefile CI #210: Pull request #221 opened by sipma
7m 21s sipma:typereconstruction
sipma:typereconstruction
7m 21s
Add codehawk.opam file Makefile CI #209: Commit d7904d7 pushed by sipma
7m 18s master
master
7m 18s
Add codehawk.opam file Makefile CI #208: Pull request #220 opened by brk
7m 27s brk:push-srrqwkvmrzwv
brk:push-srrqwkvmrzwv
7m 27s
CHB:ARM:remove exituse typing rules Makefile CI #207: Commit 01a9e20 pushed by sipma
4m 19s master
master
4m 19s
CHB:ARM:remove exituse typing rules Makefile CI #206: Pull request #219 opened by sipma
4m 14s sipma:typingrules
sipma:typingrules
4m 14s
CHB:ARM: allow for printing data sections Makefile CI #205: Commit 083f306 pushed by sipma
4m 15s master
master
4m 15s
CHB:ARM: allow for printing data sections Makefile CI #204: Pull request #218 opened by sipma
4m 21s sipma:datalayout
sipma:datalayout
4m 21s
CHB: support for conversion to c expr of pointer arithmetic Makefile CI #203: Commit c2782f7 pushed by sipma
7m 11s master
master
7m 11s
Expressionsinc Makefile CI #202: Pull request #217 opened by sipma
7m 7s sipma:expressionsinc
sipma:expressionsinc
7m 7s
CHB: enable LDR-memop-tc rule Makefile CI #201: Commit 767fe1a pushed by sipma
4m 14s master
master
4m 14s