Skip to content

Actions: static-analysis-engineering/codehawk

Actions

Makefile CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
makefiles.yaml
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CHC: support pointer arithmetic on argv Makefile CI #241: Commit 6c0bfad pushed by sipma
4m 23s master
master
4m 23s
CHC: support pointer arithmetic on argv Makefile CI #240: Pull request #231 opened by waskyo
4m 20s waskyo:upper_bound_deref_argv_as_pointer
waskyo:upper_bound_deref_argv_as_pointer
4m 20s
CHB: fix Makefile dependency Makefile CI #239: Commit 3093c20 pushed by sipma
7m 37s master
master
7m 37s
Propagation Makefile CI #238: Pull request #230 opened by sipma
7m 43s sipma:propagation
sipma:propagation
7m 43s
CHC: add attribute post request for initialized value Makefile CI #237: Commit 5eaebca pushed by sipma
4m 23s master
master
4m 23s
CHC: add attribute post request for initialized value Makefile CI #236: Pull request #229 opened by sipma
4m 25s sipma:postrequest
sipma:postrequest
4m 25s
CHB:ELF: enable retrieval of last n bytes from section Makefile CI #235: Commit c56db3b pushed by sipma
4m 23s master
master
4m 23s
CHB:ELF: enable retrieval of last n bytes from section Makefile CI #234: Pull request #228 opened by sipma
4m 22s sipma:disassembly
sipma:disassembly
4m 22s
CHC: fix regression tests by switching to another memref representation Makefile CI #233: Commit e35d9c3 pushed by sipma
7m 37s master
master
7m 37s
Cmdlineargs Makefile CI #232: Pull request #227 opened by sipma
7m 22s sipma:cmdlineargs
sipma:cmdlineargs
7m 22s
CHC: add check on returnsites written Makefile CI #231: Commit 5414e06 pushed by sipma
3m 50s master
master
3m 50s
Performance Makefile CI #230: Pull request #226 opened by sipma
2m 59s performance
performance
2m 59s
CHC: add check on returnsites written Makefile CI #229: Commit 5793efd pushed by sipma
3m 59s performance
performance
3m 59s
CHB:ARM: restore conversion in arguments Makefile CI #228: Commit 1007191 pushed by sipma
7m 8s master
master
7m 8s
Stackframe Makefile CI #227: Pull request #225 opened by sipma
7m 7s sipma:stackframe
sipma:stackframe
7m 7s
CHC:add representation for output parameter rejection reasons Makefile CI #226: Commit bc25988 pushed by sipma
3m 13s performance
performance
3m 13s
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