Skip to content

Actions: Gbury/dolmen

Actions

install

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
install.yml
79 workflow runs
79 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Make smt-lib2 printer not drop (as ...) on applied symbols install #762: Pull request #270 synchronize by hra687261
15m 19s hra687261:fix_smt_lib2_as_print
hra687261:fix_smt_lib2_as_print
15m 19s
Separate rounding modes into their own type install #761: Pull request #271 synchronize by hra687261
14m 58s hra687261:split_rm
hra687261:split_rm
14m 58s
Add support for SMT-LIB's :global-declarations options (#269) install #760: Commit 5c9161a pushed by Gbury
25m 1s master
master
25m 1s
Separate rounding modes into their own type install #759: Pull request #271 opened by hra687261
25m 14s hra687261:split_rm
hra687261:split_rm
25m 14s
Make smt-lib2 printer not drop (as ...) on applied symbols install #758: Pull request #270 opened by hra687261
23m 51s hra687261:fix_smt_lib2_as_print
hra687261:fix_smt_lib2_as_print
23m 51s
Add support for SMT-LIB's :global-declarations options install #757: Pull request #269 synchronize by Gbury
14m 51s global_decls
global_decls
14m 51s
Add support for SMT-LIB's :global-declarations options install #756: Pull request #269 opened by Gbury
1h 23m 42s global_decls
global_decls
1h 23m 42s
promote tests install #755: Commit 242c9c4 pushed by Gbury
54m 25s master
master
54m 25s
Fix printing of type annotation for poly ho maps install #754: Commit ff23e37 pushed by Gbury
15m 23s master
master
15m 23s
install install #753: by Gbury
16m 20s master
master
16m 20s
Implement 'dumb' polymophism for SMT-LIB + various HO fixes install #752: Pull request #268 synchronize by Gbury
19m 52s dumb_poly
dumb_poly
19m 52s
Implement 'dumb' polymophism for SMT-LIB + various HO fixes install #751: Pull request #268 synchronize by Gbury
16m 21s dumb_poly
dumb_poly
16m 21s
Implement 'dumb' polymophism for SMT-LIB + various HO fixes install #750: Pull request #268 synchronize by Gbury
26m 39s dumb_poly
dumb_poly
26m 39s
Emit less exit statements, notably for preludes (#263) install #749: Commit f7d9fd5 pushed by Gbury
23m 58s master
master
23m 58s
Implement 'dumb' polymophism for SMT-LIB + various HO fixes install #748: Pull request #268 synchronize by Gbury
54m 7s dumb_poly
dumb_poly
54m 7s
Emit less exit statements, notably for preludes install #747: Pull request #263 synchronize by Gbury
5m 27s exit_cleanup
exit_cleanup
5m 27s
More precise error for lexing errors (#265) install #746: Commit 278dfe9 pushed by Gbury
53m 48s master
master
53m 48s
Split HO into a separate builtin theory for typechecking (#267) install #745: Commit aa28797 pushed by Gbury
33m 45s master
master
33m 45s
Implement 'dumb' polymophism for SMT-LIB + various HO fixes install #744: Pull request #268 opened by Gbury
18m 26s dumb_poly
dumb_poly
18m 26s
More precise error for lexing errors install #743: Pull request #265 synchronize by Gbury
24m 38s better_lexing_error
better_lexing_error
24m 38s
Split HO into a separate builtin theory for typechecking install #742: Pull request #267 synchronize by Gbury
17m 8s ho_in_logic
ho_in_logic
17m 8s
Update ocaml compiler version in CI (#266) install #741: Commit d77f7bb pushed by Gbury
23m 33s master
master
23m 33s
Update ocaml compiler version in CI install #740: Pull request #266 synchronize by Gbury
39m 9s ci_update_versions
ci_update_versions
39m 9s
Split HO into a separate builtin theory for typechecking install #739: Pull request #267 opened by Gbury
28m 4s ho_in_logic
ho_in_logic
28m 4s
Update ocaml compiler version in CI install #738: Pull request #266 opened by Gbury
29m 16s ci_update_versions
ci_update_versions
29m 16s