Skip to content

Actions: static-analysis-engineering/codehawk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
314 workflow runs
314 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
CHC: add some Stmt validity rules dune CI #229: Commit 66ecadb pushed by sipma
4m 21s performance
performance
4m 21s
CHT:CHC: update tests Makefile CI #224: Commit d9105b2 pushed by sipma
5m 53s performance
performance
5m 53s
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 Build and deploy odoc documentation #117: Commit 932c594 pushed by sipma
5m 38s master
master
5m 38s
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 Makefile CI #223: Commit 932c594 pushed by sipma
7m 41s master
master
7m 41s
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 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 dune CI #225: Pull request #224 opened by waskyo
8m 45s waskyo:escape_more_characters
waskyo:escape_more_characters
8m 45s
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 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