Skip to content

Actions: OCamlPro/alt-ergo

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
97 workflow run results
97 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Partial support of the primitive bvnot (#745) Build #441: Commit 084d746 pushed by Halbaroth
July 25, 2023 14:46 29m 49s next
next
July 25, 2023 14:46 29m 49s
Partial support of the primitive bvnot Build #440: Pull request #745 synchronize by Halbaroth
July 25, 2023 13:21 21m 37s Halbaroth:solve_bvnot
Halbaroth:solve_bvnot
July 25, 2023 13:21 21m 37s
Sane(r) error messages for produce-models error situations (#753) Build #439: Commit 9f6f717 pushed by Halbaroth
July 25, 2023 11:27 21m 47s next
next
July 25, 2023 11:27 21m 47s
Temporary fix of issue 744 (#747) Build #438: Commit 47b7923 pushed by Halbaroth
July 25, 2023 11:26 18m 56s next
next
July 25, 2023 11:26 18m 56s
Use dune's include stanza for generated tests Build #437: Pull request #729 synchronize by bclement-ocp
July 25, 2023 10:27 17m 42s bclement-ocp:gentest
bclement-ocp:gentest
July 25, 2023 10:27 17m 42s
Sane(r) error messages for produce-models error situations Build #436: Pull request #753 opened by bclement-ocp
July 25, 2023 10:21 22m 42s bclement-ocp:bclement/pm-errors
bclement-ocp:bclement/pm-errors
July 25, 2023 10:21 22m 42s
Use dune's include stanza for generated tests Build #435: Pull request #729 synchronize by bclement-ocp
July 25, 2023 09:55 15m 42s bclement-ocp:gentest
bclement-ocp:gentest
July 25, 2023 09:55 15m 42s
Define abs_{real,int} as ites *for external users only* Build #434: Pull request #752 opened by bclement-ocp
July 25, 2023 09:48 21m 33s bclement-ocp:bclement/fpabs_ext
bclement-ocp:bclement/fpabs_ext
July 25, 2023 09:48 21m 33s
Temporary fix of issue 744 Build #433: Pull request #747 synchronize by Halbaroth
July 25, 2023 09:03 24m 33s Halbaroth:temporary-fix-744
Halbaroth:temporary-fix-744
July 25, 2023 09:03 24m 33s
Add explicit definitions for abs_{real,int} Build #432: Pull request #750 opened by bclement-ocp
July 24, 2023 16:47 22m 14s bclement-ocp:bclement/fpabs
bclement-ocp:bclement/fpabs
July 24, 2023 16:47 22m 14s
Fix issue 737 Build #431: Pull request #738 synchronize by Halbaroth
July 24, 2023 16:20 30m 50s Halbaroth:fix-737
Halbaroth:fix-737
July 24, 2023 16:20 30m 50s
Temporary fix of issue 744 Build #430: Pull request #747 synchronize by Halbaroth
July 24, 2023 16:20 29m 46s Halbaroth:temporary-fix-744
Halbaroth:temporary-fix-744
July 24, 2023 16:20 29m 46s
Remove plateform-dependent message in the cram test (#742) Build #429: Commit 46077ed pushed by Halbaroth
July 24, 2023 16:18 22m 0s next
next
July 24, 2023 16:18 22m 0s
Partial support of the primitive bvnot Build #428: Pull request #745 synchronize by Halbaroth
July 24, 2023 16:17 23m 28s Halbaroth:solve_bvnot
Halbaroth:solve_bvnot
July 24, 2023 16:17 23m 28s
Propagate equalities within int2bv Build #427: Pull request #749 opened by bclement-ocp
July 24, 2023 15:59 24m 34s bclement-ocp:bclement/bv2nat_rel
bclement-ocp:bclement/bv2nat_rel
July 24, 2023 15:59 24m 34s
Temporary fix of issue 744 Build #426: Pull request #747 opened by Halbaroth
July 24, 2023 15:34 27m 18s Halbaroth:temporary-fix-744
Halbaroth:temporary-fix-744
July 24, 2023 15:34 27m 18s
Remove plateform-dependent message in the cram test Build #425: Pull request #742 synchronize by Halbaroth
July 24, 2023 15:12 24m 40s Halbaroth:fix-macos-ci
Halbaroth:fix-macos-ci
July 24, 2023 15:12 24m 40s
Remove plateform-dependent message in the cram test Build #424: Pull request #742 synchronize by Halbaroth
July 24, 2023 12:05 32m 4s Halbaroth:fix-macos-ci
Halbaroth:fix-macos-ci
July 24, 2023 12:05 32m 4s
Partial support of the primitive bvnot Build #423: Pull request #745 synchronize by Halbaroth
July 24, 2023 11:24 22m 54s Halbaroth:solve_bvnot
Halbaroth:solve_bvnot
July 24, 2023 11:24 22m 54s
Partial support of the primitive bvnot Build #422: Pull request #745 opened by Halbaroth
July 21, 2023 14:40 15m 5s Halbaroth:solve_bvnot
Halbaroth:solve_bvnot
July 21, 2023 14:40 15m 5s
Expose the bv2nat and int2bv primitives (#743) Build #421: Commit 1ac7e92 pushed by Halbaroth
July 21, 2023 12:35 20m 16s next
next
July 21, 2023 12:35 20m 16s
Fix issue 737 Build #420: Pull request #738 synchronize by Halbaroth
July 21, 2023 12:08 23m 38s Halbaroth:fix-737
Halbaroth:fix-737
July 21, 2023 12:08 23m 38s
Expose the bv2nat and int2bv primitives Build #419: Pull request #743 opened by bclement-ocp
July 20, 2023 16:09 24m 41s bclement-ocp:bclement/int2bv_prim
bclement-ocp:bclement/int2bv_prim
July 20, 2023 16:09 24m 41s
Fix 715 (#741) Build #418: Commit cadeb41 pushed by Halbaroth
July 19, 2023 16:31 21m 58s next
next
July 19, 2023 16:31 21m 58s
Fix issue 719 (#739) Build #417: Commit 3fc32d3 pushed by Halbaroth
July 19, 2023 16:22 19m 55s next
next
July 19, 2023 16:22 19m 55s