Skip to content

Actions: static-analysis-engineering/codehawk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
283 workflow runs
283 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CHC:add proof obligations to calls Makefile CI #220: Commit 11e6e19 pushed by sipma
3m 1s performance
performance
3m 1s
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
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