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

⌥ + 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
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
CHB:ARM: add support for tail call returning a value (CHB:Issue:223) Build and deploy odoc documentation #92: Commit 5bf2a02 pushed by sipma
6m 45s master
master
6m 45s
Pin goblint-cil.2.0.6 in CI Build and deploy odoc documentation #91: Commit a882fc5 pushed by Databean
5m 30s master
master
5m 30s
CHB: fix Makefile Build and deploy odoc documentation #90: Commit 72ed1b8 pushed by sipma
5m 53s master
master
5m 53s
CHB:ARM:more support for c-style representation Build and deploy odoc documentation #89: Commit fe4a014 pushed by sipma
4m 19s master
master
4m 19s
CHC: Add command-line argument handling to a number of checkers Build and deploy odoc documentation #88: Commit b7151cf pushed by sipma
2m 35s master
master
2m 35s
Remove summary file for __assert_fail Build and deploy odoc documentation #87: Commit c443f5e pushed by sipma
7m 42s master
master
7m 42s
CHB:TI: allow join of struct type and type of first field Build and deploy odoc documentation #86: Commit 71fe191 pushed by sipma
2m 38s master
master
2m 38s
CHB: add more support for conversion to C expressions Build and deploy odoc documentation #85: Commit 8b90183 pushed by sipma
3m 52s master
master
3m 52s
add more diagnostic logging Build and deploy odoc documentation #84: Commit 19e1350 pushed by sipma
5m 41s master
master
5m 41s
CHB:ARM: more support for c-style representation Build and deploy odoc documentation #83: Commit 07a84f7 pushed by sipma
5m 47s master
master
5m 47s
Bump tagged versions in docs.yaml Build and deploy odoc documentation #82: Commit 9537df9 pushed by sipma
2m 39s master
master
2m 39s