Skip to content

Actions: zapashcanon/owi

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use a submodule for collections-c tests build #24: Commit f2149f0 pushed by zapashcanon
May 30, 2024 10:32 7m 40s main
main
May 30, 2024 10:32 7m 40s
add binary to perform a diff between two bench results build #23: Commit 76a4e5c pushed by zapashcanon
May 29, 2024 15:29 9m 29s main
main
May 29, 2024 15:29 9m 29s
add binary to perform a diff between two bench results build #22: Commit 3505a9f pushed by zapashcanon
May 29, 2024 15:24 8m 34s main
main
May 29, 2024 15:24 8m 34s
add klee benchmark build #21: Commit 2d377c6 pushed by zapashcanon
May 28, 2024 22:03 8m 32s main
main
May 28, 2024 22:03 8m 32s
add klee benchmark build #20: Commit 16699e3 pushed by zapashcanon
May 28, 2024 21:31 4m 21s main
main
May 28, 2024 21:31 4m 21s
add klee benchmark build #19: Commit aa2f0e3 pushed by zapashcanon
May 28, 2024 21:29 5m 41s main
main
May 28, 2024 21:29 5m 41s
update CI to 5.2 build #18: Commit 525fa7a pushed by zapashcanon
May 28, 2024 14:54 20m 31s main
main
May 28, 2024 14:54 20m 31s
update CI to 5.2 build #17: Commit e50f962 pushed by zapashcanon
May 28, 2024 14:26 20m 41s main
main
May 28, 2024 14:26 20m 41s
remove python instrumentation and fix some inline annotations to work build #16: Commit fbf9f2d pushed by zapashcanon
May 28, 2024 14:16 16m 36s main
main
May 28, 2024 14:16 16m 36s
remove unused copy of files build #15: Commit f4be13b pushed by zapashcanon
May 28, 2024 14:00 15m 7s main
main
May 28, 2024 14:00 15m 7s
remove python instrumentation and fix some inline annotations to work build #14: Commit 6d6a571 pushed by zapashcanon
May 28, 2024 13:52 16m 44s main
main
May 28, 2024 13:52 16m 44s
implement pretty-printing of concolic values build #13: Commit ee4e472 pushed by zapashcanon
May 26, 2024 13:22 22m 50s main
main
May 26, 2024 13:22 22m 50s
allows owi conc to run on .wasm files build #12: Commit 250d3db pushed by zapashcanon
May 7, 2024 12:21 23m 10s main
main
May 7, 2024 12:21 23m 10s
update bisect ignored files build #11: Commit 1dadeeb pushed by zapashcanon
March 29, 2024 14:38 25m 44s main
main
March 29, 2024 14:38 25m 44s
better README build #10: Commit 1a0510e pushed by zapashcanon
February 24, 2024 08:03 41m 47s main
main
February 24, 2024 08:03 41m 47s
better README build #9: Commit 1ba43ee pushed by zapashcanon
February 24, 2024 08:03 22m 1s main
main
February 24, 2024 08:03 22m 1s
Implement the remaining functions in symbolic_table build #8: Commit d17beb3 pushed by zapashcanon
February 24, 2024 08:01 21m 27s main
main
February 24, 2024 08:01 21m 27s
simplify rotl and rotr build #7: Commit f4027ea pushed by zapashcanon
February 23, 2024 15:03 15m 9s main
main
February 23, 2024 15:03 15m 9s
simplify rotl and rotr build #6: Commit 4ca03d7 pushed by zapashcanon
February 23, 2024 15:00 9m 57s main
main
February 23, 2024 15:00 9m 57s
remove useless exception build #5: Commit 2bfae64 pushed by zapashcanon
February 21, 2024 16:37 39m 51s main
main
February 21, 2024 16:37 39m 51s
error properly on unknown label instead of crash build #4: Commit d69e08b pushed by zapashcanon
January 29, 2024 14:30 23m 41s main
main
January 29, 2024 14:30 23m 41s
move malloc_aligned test to the right place build #3: Commit d70d88c pushed by zapashcanon
January 27, 2024 14:07 40m 7s main
main
January 27, 2024 14:07 40m 7s
fmt build #2: Commit 3cd0b8c pushed by zapashcanon
January 23, 2024 00:35 33m 39s main
main
January 23, 2024 00:35 33m 39s
update doc and try to check it in CI build #1: Commit 5e9bada pushed by zapashcanon
January 23, 2024 00:34 25m 14s main
main
January 23, 2024 00:34 25m 14s