Skip to content

Actions: OCamlPro/owi

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1,144 workflow run results
1,144 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Integration of E-ACSL specification language in owi build #1414: Pull request #324 synchronize by zapashcanon
August 1, 2024 23:29 24m 36s Laplace-Demon:eacsl
Laplace-Demon:eacsl
August 1, 2024 23:29 24m 36s
Simplify out_of_bounds checks build #1413: Pull request #393 synchronize by filipeom
August 1, 2024 21:46 6m 46s filipeom:simplify-bounds-checks
filipeom:simplify-bounds-checks
August 1, 2024 21:46 6m 46s
Add flags --fail-on-trap-only and fail-on-assertion-only build #1412: Commit c661ea0 pushed by zapashcanon
August 1, 2024 21:12 6m 30s main
main
August 1, 2024 21:12 6m 30s
Simplify out_of_bounds checks build #1411: Pull request #393 synchronize by filipeom
August 1, 2024 21:01 4m 28s filipeom:simplify-bounds-checks
filipeom:simplify-bounds-checks
August 1, 2024 21:01 4m 28s
Add flags --fail-on-trap-only and fail-on-assertion-only build #1410: Pull request #392 synchronize by filipeom
August 1, 2024 21:01 6m 49s filipeom:273-add-an-option-to-stop-looking-for-a-model-only-if-an-assertion-failure-is-found-but-not-a-wasm-trap
filipeom:273-add-an-option-to-stop-looking-for-a-model-only-if-an-assertion-failure-is-found-but-not-a-wasm-trap
August 1, 2024 21:01 6m 49s
Simplify out_of_bounds checks build #1409: Pull request #393 synchronize by filipeom
August 1, 2024 20:52 6m 1s filipeom:simplify-bounds-checks
filipeom:simplify-bounds-checks
August 1, 2024 20:52 6m 1s
Simplify out_of_bounds checks build #1408: Pull request #393 opened by filipeom
August 1, 2024 20:51 6m 37s filipeom:simplify-bounds-checks
filipeom:simplify-bounds-checks
August 1, 2024 20:51 6m 37s
Add flags --fail-on-trap-only and fail-on-assertion-only build #1407: Pull request #392 synchronize by filipeom
August 1, 2024 20:46 5m 54s filipeom:273-add-an-option-to-stop-looking-for-a-model-only-if-an-assertion-failure-is-found-but-not-a-wasm-trap
filipeom:273-add-an-option-to-stop-looking-for-a-model-only-if-an-assertion-failure-is-found-but-not-a-wasm-trap
August 1, 2024 20:46 5m 54s
Add flags --fail-on-trap-only and fail-on-assertion-only build #1406: Pull request #392 opened by filipeom
August 1, 2024 20:45 6m 29s filipeom:273-add-an-option-to-stop-looking-for-a-model-only-if-an-assertion-failure-is-found-but-not-a-wasm-trap
filipeom:273-add-an-option-to-stop-looking-for-a-model-only-if-an-assertion-failure-is-found-but-not-a-wasm-trap
August 1, 2024 20:45 6m 29s
fix printing of names (used in data section for instance) build #1405: Pull request #391 opened by zapashcanon
July 31, 2024 23:14 23m 57s zapashcanon:dataprint
zapashcanon:dataprint
July 31, 2024 23:14 23m 57s
add a owi_bool function build #1404: Pull request #380 synchronize by zapashcanon
July 31, 2024 22:00 4m 53s Laplace-Demon:bool
Laplace-Demon:bool
July 31, 2024 22:00 4m 53s
add a owi_bool function build #1403: Pull request #380 synchronize by zapashcanon
July 31, 2024 21:52 5m 31s Laplace-Demon:bool
Laplace-Demon:bool
July 31, 2024 21:52 5m 31s
add a owi_bool function build #1402: Pull request #380 synchronize by zapashcanon
July 31, 2024 21:49 6m 39s Laplace-Demon:bool
Laplace-Demon:bool
July 31, 2024 21:49 6m 39s
Adds memsight memory model build #1401: Pull request #338 synchronize by filipeom
July 31, 2024 21:33 5m 30s filipeom:memsight
filipeom:memsight
July 31, 2024 21:33 5m 30s
Testcomp script zulip webhook integration build #1400: Commit a99b768 pushed by zapashcanon
July 31, 2024 20:58 4m 29s main
main
July 31, 2024 20:58 4m 29s
Testcomp script zulip webhook integration build #1399: Pull request #390 synchronize by filipeom
July 31, 2024 20:03 5m 49s filipeom:testcomp-webhook
filipeom:testcomp-webhook
July 31, 2024 20:03 5m 49s
Testcomp script zulip webhook integration build #1398: Pull request #390 synchronize by filipeom
July 31, 2024 19:59 6m 58s filipeom:testcomp-webhook
filipeom:testcomp-webhook
July 31, 2024 19:59 6m 58s
Create parametric symbolic memory functor build #1397: Commit 6efe62e pushed by zapashcanon
July 31, 2024 19:14 7m 13s main
main
July 31, 2024 19:14 7m 13s
Testcomp script zulip webhook integration build #1396: Pull request #390 synchronize by filipeom
July 31, 2024 17:31 4m 30s filipeom:testcomp-webhook
filipeom:testcomp-webhook
July 31, 2024 17:31 4m 30s
Testcomp script zulip webhook integration build #1395: Pull request #390 opened by filipeom
July 31, 2024 17:24 4m 34s filipeom:testcomp-webhook
filipeom:testcomp-webhook
July 31, 2024 17:24 4m 34s
Make symbolic memory parametric and concretise every symbolic address build #1394: Pull request #371 synchronize by filipeom
July 31, 2024 13:13 13m 50s filipeom:parametric-mem
filipeom:parametric-mem
July 31, 2024 13:13 13m 50s
Reintroduce symbolic_choice.mli build #1393: Commit 48b0113 pushed by zapashcanon
July 31, 2024 12:44 6m 43s main
main
July 31, 2024 12:44 6m 43s
Adds memsight memory model build #1392: Pull request #338 synchronize by filipeom
July 31, 2024 11:17 6m 6s filipeom:memsight
filipeom:memsight
July 31, 2024 11:17 6m 6s
Adds memsight memory model build #1391: Pull request #338 synchronize by filipeom
July 31, 2024 09:58 6m 12s filipeom:memsight
filipeom:memsight
July 31, 2024 09:58 6m 12s
Make symbolic memory parametric and concretise every symbolic address build #1390: Pull request #371 synchronize by filipeom
July 31, 2024 09:57 6m 36s filipeom:parametric-mem
filipeom:parametric-mem
July 31, 2024 09:57 6m 36s