Skip to content

Actions: OCamlPro/alt-ergo

Actions

Linter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linter.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) Linter #968: Commit 084d746 pushed by Halbaroth
July 25, 2023 14:46 8m 14s next
next
July 25, 2023 14:46 8m 14s
Partial support of the primitive bvnot Linter #967: Pull request #745 synchronize by Halbaroth
July 25, 2023 13:21 7m 42s Halbaroth:solve_bvnot
Halbaroth:solve_bvnot
July 25, 2023 13:21 7m 42s
Sane(r) error messages for produce-models error situations (#753) Linter #966: Commit 9f6f717 pushed by Halbaroth
July 25, 2023 11:27 8m 18s next
next
July 25, 2023 11:27 8m 18s
Temporary fix of issue 744 (#747) Linter #965: Commit 47b7923 pushed by Halbaroth
July 25, 2023 11:26 7m 53s next
next
July 25, 2023 11:26 7m 53s
Use dune's include stanza for generated tests Linter #964: Pull request #729 synchronize by bclement-ocp
July 25, 2023 10:27 8m 15s bclement-ocp:gentest
bclement-ocp:gentest
July 25, 2023 10:27 8m 15s
Sane(r) error messages for produce-models error situations Linter #963: Pull request #753 opened by bclement-ocp
July 25, 2023 10:21 7m 56s bclement-ocp:bclement/pm-errors
bclement-ocp:bclement/pm-errors
July 25, 2023 10:21 7m 56s
Use dune's include stanza for generated tests Linter #962: Pull request #729 synchronize by bclement-ocp
July 25, 2023 09:55 8m 33s bclement-ocp:gentest
bclement-ocp:gentest
July 25, 2023 09:55 8m 33s
Define abs_{real,int} as ites *for external users only* Linter #961: Pull request #752 opened by bclement-ocp
July 25, 2023 09:48 7m 43s bclement-ocp:bclement/fpabs_ext
bclement-ocp:bclement/fpabs_ext
July 25, 2023 09:48 7m 43s
Temporary fix of issue 744 Linter #960: Pull request #747 synchronize by Halbaroth
July 25, 2023 09:03 6m 28s Halbaroth:temporary-fix-744
Halbaroth:temporary-fix-744
July 25, 2023 09:03 6m 28s
Add explicit definitions for abs_{real,int} Linter #959: Pull request #750 opened by bclement-ocp
July 24, 2023 16:47 6m 50s bclement-ocp:bclement/fpabs
bclement-ocp:bclement/fpabs
July 24, 2023 16:47 6m 50s
Fix issue 737 Linter #958: Pull request #738 synchronize by Halbaroth
July 24, 2023 16:20 14m 37s Halbaroth:fix-737
Halbaroth:fix-737
July 24, 2023 16:20 14m 37s
Temporary fix of issue 744 Linter #957: Pull request #747 synchronize by Halbaroth
July 24, 2023 16:20 8m 44s Halbaroth:temporary-fix-744
Halbaroth:temporary-fix-744
July 24, 2023 16:20 8m 44s
Remove plateform-dependent message in the cram test (#742) Linter #956: Commit 46077ed pushed by Halbaroth
July 24, 2023 16:18 7m 7s next
next
July 24, 2023 16:18 7m 7s
Partial support of the primitive bvnot Linter #955: Pull request #745 synchronize by Halbaroth
July 24, 2023 16:17 7m 55s Halbaroth:solve_bvnot
Halbaroth:solve_bvnot
July 24, 2023 16:17 7m 55s
Propagate equalities within int2bv Linter #954: Pull request #749 opened by bclement-ocp
July 24, 2023 15:59 9m 24s bclement-ocp:bclement/bv2nat_rel
bclement-ocp:bclement/bv2nat_rel
July 24, 2023 15:59 9m 24s
Temporary fix of issue 744 Linter #953: Pull request #747 opened by Halbaroth
July 24, 2023 15:34 6m 42s Halbaroth:temporary-fix-744
Halbaroth:temporary-fix-744
July 24, 2023 15:34 6m 42s
Remove plateform-dependent message in the cram test Linter #952: Pull request #742 synchronize by Halbaroth
July 24, 2023 15:12 6m 52s Halbaroth:fix-macos-ci
Halbaroth:fix-macos-ci
July 24, 2023 15:12 6m 52s
Remove plateform-dependent message in the cram test Linter #951: Pull request #742 synchronize by Halbaroth
July 24, 2023 12:05 7m 24s Halbaroth:fix-macos-ci
Halbaroth:fix-macos-ci
July 24, 2023 12:05 7m 24s
Partial support of the primitive bvnot Linter #950: Pull request #745 synchronize by Halbaroth
July 24, 2023 11:24 7m 4s Halbaroth:solve_bvnot
Halbaroth:solve_bvnot
July 24, 2023 11:24 7m 4s
Partial support of the primitive bvnot Linter #949: Pull request #745 opened by Halbaroth
July 21, 2023 14:40 7m 56s Halbaroth:solve_bvnot
Halbaroth:solve_bvnot
July 21, 2023 14:40 7m 56s
Expose the bv2nat and int2bv primitives (#743) Linter #948: Commit 1ac7e92 pushed by Halbaroth
July 21, 2023 12:35 8m 2s next
next
July 21, 2023 12:35 8m 2s
Fix issue 737 Linter #947: Pull request #738 synchronize by Halbaroth
July 21, 2023 12:08 8m 10s Halbaroth:fix-737
Halbaroth:fix-737
July 21, 2023 12:08 8m 10s
Expose the bv2nat and int2bv primitives Linter #946: Pull request #743 opened by bclement-ocp
July 20, 2023 16:09 8m 7s bclement-ocp:bclement/int2bv_prim
bclement-ocp:bclement/int2bv_prim
July 20, 2023 16:09 8m 7s
Fix 715 (#741) Linter #945: Commit cadeb41 pushed by Halbaroth
July 19, 2023 16:31 7m 12s next
next
July 19, 2023 16:31 7m 12s
Fix issue 719 (#739) Linter #944: Commit 3fc32d3 pushed by Halbaroth
July 19, 2023 16:22 6m 57s next
next
July 19, 2023 16:22 6m 57s