Skip to content

Actions: static-analysis-engineering/codehawk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
247 workflow runs
247 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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 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 dune CI #222: Commit 02f95a2 pushed by sipma
8m 41s master
master
8m 41s
CHB: add scaled expression term arrangement Makefile CI #218: Commit 02f95a2 pushed by sipma
7m 7s master
master
7m 7s
CHB: add scaled expression term arrangement Build and deploy odoc documentation #116: Commit 02f95a2 pushed by sipma
5m 31s master
master
5m 31s
Stackframe Makefile CI #217: Pull request #223 opened by sipma
7m 17s sipma:stackframe
sipma:stackframe
7m 17s
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 Makefile CI #216: Commit 499cc76 pushed by sipma
2m 55s performance
performance
2m 55s
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 Makefile CI #215: Commit e603b94 pushed by sipma
1m 48s performance
performance
1m 48s
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 Makefile CI #214: Commit ab826a0 pushed by sipma
5m 0s performance
performance
5m 0s
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 Makefile CI #213: Commit 7010e7d pushed by sipma
4m 36s master
master
4m 36s
CHB:ARM: transmit ldrsh/ldrsb aggregates Build and deploy odoc documentation #115: Commit 7010e7d pushed by sipma
2m 30s master
master
2m 30s
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 Makefile CI #212: Pull request #222 opened by sipma
4m 8s sipma:aggregate
sipma:aggregate
4m 8s
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 Makefile CI #211: Commit 89421bd pushed by sipma
7m 27s master
master
7m 27s
CHB:ARM: handle MOV aggregates without predicate Build and deploy odoc documentation #114: Commit 89421bd pushed by sipma
5m 31s master
master
5m 31s
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
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 Build and deploy odoc documentation #113: Commit d7904d7 pushed by sipma
5m 41s master
master
5m 41s
Add codehawk.opam file dune CI #213: Commit d7904d7 pushed by sipma
8m 47s master
master
8m 47s