Skip to content

Actions: static-analysis-engineering/codehawk

Actions

Build and deploy odoc documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yaml
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

escape carriage return and double quote characters Build and deploy odoc documentation #117: Commit 932c594 pushed by sipma
5m 38s master
master
5m 38s
CHB: add scaled expression term arrangement Build and deploy odoc documentation #116: Commit 02f95a2 pushed by sipma
5m 31s master
master
5m 31s
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: handle MOV aggregates without predicate Build and deploy odoc documentation #114: Commit 89421bd pushed by sipma
5m 31s master
master
5m 31s
Add codehawk.opam file Build and deploy odoc documentation #113: Commit d7904d7 pushed by sipma
5m 41s master
master
5m 41s
CHB:ARM:remove exituse typing rules Build and deploy odoc documentation #112: Commit 01a9e20 pushed by sipma
2m 39s master
master
2m 39s
CHB:ARM: allow for printing data sections Build and deploy odoc documentation #111: Commit 083f306 pushed by sipma
2m 23s master
master
2m 23s
CHB: support for conversion to c expr of pointer arithmetic Build and deploy odoc documentation #110: Commit c2782f7 pushed by sipma
5m 32s master
master
5m 32s
CHB: enable LDR-memop-tc rule Build and deploy odoc documentation #109: Commit 767fe1a pushed by sipma
2m 35s master
master
2m 35s
CHB: preserve address expression of global variable Build and deploy odoc documentation #108: Commit 059024d pushed by sipma
2m 28s master
master
2m 28s
CHB:ARM: fix register spill offset Build and deploy odoc documentation #107: Commit 367a321 pushed by sipma
2m 33s master
master
2m 33s
CHT:CHB:ARM: update unit tests Build and deploy odoc documentation #106: Commit 69440e5 pushed by sipma
2m 45s master
master
2m 45s
CHB: handle void-typed target address Build and deploy odoc documentation #105: Commit b3ba1f6 pushed by sipma
2m 32s master
master
2m 32s
CHB:ARM: add c expressions to some results Build and deploy odoc documentation #104: Commit e4262d8 pushed by sipma
2m 30s master
master
2m 30s
CHB:don't record save/restores of temporary registers Build and deploy odoc documentation #103: Commit 338652e pushed by sipma
3m 13s master
master
3m 13s
CMD: add cmdline option to fail on function analysis failure Build and deploy odoc documentation #102: Commit d8e20c7 pushed by sipma
3m 42s master
master
3m 42s
CHB:ARM: limited support for rotate operand Build and deploy odoc documentation #101: Commit fa6dc35 pushed by sipma
3m 11s master
master
3m 11s
CHB: enable more typing rules Build and deploy odoc documentation #100: Commit f2e2341 pushed by sipma
3m 29s master
master
3m 29s
CHB: incorporate more type info in constructing memory offsets Build and deploy odoc documentation #99: Commit e49da83 pushed by sipma
3m 25s master
master
3m 25s
CHB: convert index expression to c expression Build and deploy odoc documentation #98: Commit f117219 pushed by sipma
5m 32s master
master
5m 32s
CHB:MIPS: add support for some trap instructions Build and deploy odoc documentation #97: Commit f303317 pushed by sipma
3m 23s master
master
3m 23s
CHB: improved handling of sideeffect values Build and deploy odoc documentation #96: Commit 32ab47a pushed by sipma
5m 38s master
master
5m 38s
CHB:ARM: save typing rule applications Build and deploy odoc documentation #95: Commit 164770f pushed by sipma
6m 12s master
master
6m 12s
CHB:ARM: update typing rules (in progress) Build and deploy odoc documentation #94: Commit b255965 pushed by sipma
2m 51s master
master
2m 51s
CHT: fix unit test output Build and deploy odoc documentation #93: Commit 092ca6d pushed by sipma
5m 48s master
master
5m 48s