Skip to content

Actions: OCamlPro/alt-ergo

Actions

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
documentation.yml
24 workflow run results
24 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make the organization of the issue tests uniform Documentation #1168: Pull request #723 synchronize by hra687261
July 8, 2023 09:52 9m 40s uniformize-issues-tests
uniformize-issues-tests
July 8, 2023 09:52 9m 40s
Make the organization of the issue tests uniform Documentation #1167: Pull request #723 synchronize by hra687261
July 8, 2023 09:47 12m 7s uniformize-issues-tests
uniformize-issues-tests
July 8, 2023 09:47 12m 7s
[bitv] slightly better printing of terms and simple terms Documentation #1166: Pull request #727 opened by hra687261
July 8, 2023 09:39 9m 57s bv-debug
bv-debug
July 8, 2023 09:39 9m 57s
[bitv] Add support for (bvnot) in the solver Documentation #1165: Pull request #726 opened by bclement-ocp
July 7, 2023 14:55 12m 33s bclement-ocp:bvnot
bclement-ocp:bvnot
July 7, 2023 14:55 12m 33s
Add knowledge about floor/ceil bounds (#718) Documentation #1164: Commit 5c0b9f0 pushed by bclement-ocp
July 7, 2023 14:52 11m 25s next
next
July 7, 2023 14:52 11m 25s
Differentiate between Dolmen exceptions and others Documentation #1163: Pull request #725 opened by hra687261
July 7, 2023 10:06 10m 53s dolmen-exns
dolmen-exns
July 7, 2023 10:06 10m 53s
[Bitv] Add support for the SMT-LIB2's BV primitives Documentation #1161: Pull request #669 synchronize by hra687261
July 6, 2023 22:29 11m 53s bv-primitives
bv-primitives
July 6, 2023 22:29 11m 53s
[Bitv] Add support for the SMT-LIB2's BV primitives Documentation #1162: Pull request #669 synchronize by hra687261
July 6, 2023 22:29 9m 51s bv-primitives
bv-primitives
July 6, 2023 22:29 9m 51s
Forbit size-0 bitvectors (#724) Documentation #1160: Commit a345515 pushed by bclement-ocp
July 6, 2023 09:35 10m 53s next
next
July 6, 2023 09:35 10m 53s
Forbit size-0 bitvectors Documentation #1159: Pull request #724 opened by bclement-ocp
July 6, 2023 08:34 12m 25s bclement-ocp:bitv0
bclement-ocp:bitv0
July 6, 2023 08:34 12m 25s
Make the organization of the issue tests uniform Documentation #1158: Pull request #723 synchronize by hra687261
July 6, 2023 07:01 10m 4s uniformize-issues-tests
uniformize-issues-tests
July 6, 2023 07:01 10m 4s
[Bitv] Add support for the SMT-LIB2's BV primitives Documentation #1157: Pull request #669 synchronize by bclement-ocp
July 4, 2023 08:42 11m 20s bv-primitives
bv-primitives
July 4, 2023 08:42 11m 20s
Re-enable builtin preludes (#720) Documentation #1156: Commit 9e3ad20 pushed by bclement-ocp
July 4, 2023 07:34 11m 19s next
next
July 4, 2023 07:34 11m 19s
Make the organization of the issue tests uniform Documentation #1155: Pull request #723 opened by hra687261
July 4, 2023 05:15 10m 45s uniformize-issues-tests
uniformize-issues-tests
July 4, 2023 05:15 10m 45s
[Bitv] Add support for the SMT-LIB2's BV primitives Documentation #1154: Pull request #669 synchronize by hra687261
July 4, 2023 05:02 9m 57s bv-primitives
bv-primitives
July 4, 2023 05:02 9m 57s
[Bitv] Add support for the SMT-LIB2's BV primitives Documentation #1153: Pull request #669 synchronize by hra687261
July 4, 2023 05:02 11m 51s bv-primitives
bv-primitives
July 4, 2023 05:02 11m 51s
Display "timeout" result even if timeout occurs in model generation Documentation #1152: Pull request #722 opened by bclement-ocp
July 3, 2023 09:19 10m 3s bclement-ocp:model_timeout
bclement-ocp:model_timeout
July 3, 2023 09:19 10m 3s
[refactor] Always represent classes as sets Documentation #1151: Pull request #721 opened by bclement-ocp
July 3, 2023 08:09 11m 16s bclement-ocp:class_set
bclement-ocp:class_set
July 3, 2023 08:09 11m 16s
Re-enable builtin preludes Documentation #1150: Pull request #720 opened by bclement-ocp
July 3, 2023 07:41 11m 29s bclement-ocp:enable_preludes
bclement-ocp:enable_preludes
July 3, 2023 07:41 11m 29s
Add knowledge about floor/ceil bounds Documentation #1149: Pull request #718 synchronize by bclement-ocp
July 3, 2023 07:35 11m 59s bclement-ocp:floor_ceil
bclement-ocp:floor_ceil
July 3, 2023 07:35 11m 59s
[dolmen] Add support for semantic triggers (#681) Documentation #1148: Commit be0a5c0 pushed by bclement-ocp
July 2, 2023 10:28 10m 38s next
next
July 2, 2023 10:28 10m 38s
[Bitv] Add support for the SMT-LIB2's BV primitives Documentation #1147: Pull request #669 synchronize by hra687261
July 2, 2023 09:00 10m 13s bv-primitives
bv-primitives
July 2, 2023 09:00 10m 13s
[Bitv] Add support for the SMT-LIB2's BV primitives Documentation #1146: Pull request #669 synchronize by hra687261
July 2, 2023 09:00 9m 43s bv-primitives
bv-primitives
July 2, 2023 09:00 9m 43s
[Bitv] Add support for the SMT-LIB2's BV primitives Documentation #1145: Pull request #669 synchronize by hra687261
July 2, 2023 08:59 9m 57s bv-primitives
bv-primitives
July 2, 2023 08:59 9m 57s