Skip to content

Actions: static-analysis-engineering/codehawk

Actions

Makefile CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
makefiles.yaml
127 workflow runs
127 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: 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
Typingrules Makefile CI #200: Pull request #216 opened by sipma
4m 11s sipma:typingrules
sipma:typingrules
4m 11s
CHB: preserve address expression of global variable Makefile CI #199: Commit 059024d pushed by sipma
4m 16s master
master
4m 16s
CHB: preserve address expression of global variable Makefile CI #198: Pull request #215 opened by sipma
4m 4s sipma:globalarrays
sipma:globalarrays
4m 4s
CHB:ARM: fix register spill offset Makefile CI #197: Commit 367a321 pushed by sipma
4m 5s master
master
4m 5s
Globalvariables Makefile CI #196: Pull request #214 opened by sipma
4m 19s sipma:globalvariables
sipma:globalvariables
4m 19s
CHT:CHB:ARM: update unit tests Makefile CI #195: Commit 69440e5 pushed by sipma
4m 22s master
master
4m 22s
Armcomparison Makefile CI #194: Pull request #213 opened by sipma
4m 17s sipma:armcomparison
sipma:armcomparison
4m 17s
CHB: handle void-typed target address Makefile CI #193: Commit b3ba1f6 pushed by sipma
4m 10s master
master
4m 10s
Typingrules Makefile CI #192: Pull request #212 opened by sipma
4m 13s sipma:typingrules
sipma:typingrules
4m 13s