Skip to content

Actions: OCamlPro/alt-ergo

Actions

Build Javascript

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_js.yml
45 workflow run results
45 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[bitv] Rewrite the canonizer Build Javascript #1078: Pull request #732 synchronize by bclement-ocp
July 11, 2023 16:29 12m 28s bclement-ocp:bclement/canon
bclement-ocp:bclement/canon
July 11, 2023 16:29 12m 28s
[bitv] Rewrite the canonizer Build Javascript #1077: Pull request #732 opened by bclement-ocp
July 11, 2023 15:45 12m 51s bclement-ocp:bclement/canon
bclement-ocp:bclement/canon
July 11, 2023 15:45 12m 51s
Simplify trivial ites Build Javascript #1076: Pull request #731 opened by bclement-ocp
July 11, 2023 11:19 12m 57s bclement-ocp:bclement/ite
bclement-ocp:bclement/ite
July 11, 2023 11:19 12m 57s
Add basic support for the SMT-LIB BV and QF_BV logics Build Javascript #1075: Pull request #730 synchronize by bclement-ocp
July 11, 2023 10:59 12m 46s bclement-ocp:bclement/bv2
bclement-ocp:bclement/bv2
July 11, 2023 10:59 12m 46s
Add basic support for the SMT-LIB BV and QF_BV logics Build Javascript #1074: Pull request #730 synchronize by bclement-ocp
July 11, 2023 09:29 14m 49s bclement-ocp:bclement/bv2
bclement-ocp:bclement/bv2
July 11, 2023 09:29 14m 49s
Add basic support for the SMT-LIB BV and QF_BV logics Build Javascript #1073: Pull request #730 synchronize by bclement-ocp
July 11, 2023 09:26 12m 22s bclement-ocp:bclement/bv2
bclement-ocp:bclement/bv2
July 11, 2023 09:26 12m 22s
Use dune's include stanza for generated tests Build Javascript #1072: Pull request #729 synchronize by bclement-ocp
July 10, 2023 14:16 12m 33s bclement-ocp:gentest
bclement-ocp:gentest
July 10, 2023 14:16 12m 33s
Add basic support for the SMT-LIB BV and QF_BV logics Build Javascript #1071: Pull request #730 synchronize by bclement-ocp
July 10, 2023 14:15 13m 58s bclement-ocp:bclement/bv2
bclement-ocp:bclement/bv2
July 10, 2023 14:15 13m 58s
Add basic support for the SMT-LIB BV and QF_BV logics Build Javascript #1070: Pull request #730 opened by bclement-ocp
July 10, 2023 14:13 12m 49s bclement-ocp:bclement/bv2
bclement-ocp:bclement/bv2
July 10, 2023 14:13 12m 49s
Merge pull request #727 from hra687261/bv-debug Build Javascript #1069: Commit 12fca0e pushed by hra687261
July 10, 2023 13:56 12m 19s next
next
July 10, 2023 13:56 12m 19s
Use dune's include stanza for generated tests Build Javascript #1068: Pull request #729 opened by bclement-ocp
July 10, 2023 12:20 20m 17s bclement-ocp:gentest
bclement-ocp:gentest
July 10, 2023 12:20 20m 17s
[bitv] slightly better printing of terms and simple terms Build Javascript #1066: Pull request #727 synchronize by hra687261
July 10, 2023 12:18 16m 57s bv-debug
bv-debug
July 10, 2023 12:18 16m 57s
[bitv] slightly better printing of terms and simple terms Build Javascript #1067: Pull request #727 synchronize by hra687261
July 10, 2023 12:18 12m 1s bv-debug
bv-debug
July 10, 2023 12:18 12m 1s
Make the organization of the issue tests uniform (#723) Build Javascript #1065: Commit 094907a pushed by bclement-ocp
July 10, 2023 12:15 15m 29s next
next
July 10, 2023 12:15 15m 29s
Display "timeout" result even if timeout occurs in model generation (… Build Javascript #1064: Commit 6a9a63e pushed by bclement-ocp
July 10, 2023 09:50 12m 22s next
next
July 10, 2023 09:50 12m 22s
promote the test ceil_floor_propagate.ae (#728) Build Javascript #1063: Commit 2832d98 pushed by bclement-ocp
July 10, 2023 09:49 14m 22s next
next
July 10, 2023 09:49 14m 22s
Update the expected output for the test ceil_floor_propagate.ae Build Javascript #1062: Pull request #728 opened by hra687261
July 10, 2023 08:37 12m 16s promote-tests
promote-tests
July 10, 2023 08:37 12m 16s
[Bitv] Add support for the SMT-LIB2's BV primitives Build Javascript #1060: Pull request #669 synchronize by hra687261
July 10, 2023 08:28 12m 9s bv-primitives
bv-primitives
July 10, 2023 08:28 12m 9s
[Bitv] Add support for the SMT-LIB2's BV primitives Build Javascript #1061: Pull request #669 synchronize by hra687261
July 10, 2023 08:28 18m 43s bv-primitives
bv-primitives
July 10, 2023 08:28 18m 43s
[Bitv] Add support for the SMT-LIB2's BV primitives Build Javascript #1059: Pull request #669 synchronize by hra687261
July 10, 2023 08:28 12m 30s bv-primitives
bv-primitives
July 10, 2023 08:28 12m 30s
Merge pull request #714 from Halbaroth/create-timers Build Javascript #1058: Commit 9422063 pushed by hra687261
July 10, 2023 08:15 14m 27s next
next
July 10, 2023 08:15 14m 27s
Make the organization of the issue tests uniform Build Javascript #1057: Pull request #723 synchronize by hra687261
July 8, 2023 09:52 13m 21s uniformize-issues-tests
uniformize-issues-tests
July 8, 2023 09:52 13m 21s
Make the organization of the issue tests uniform Build Javascript #1056: Pull request #723 synchronize by hra687261
July 8, 2023 09:47 15m 18s uniformize-issues-tests
uniformize-issues-tests
July 8, 2023 09:47 15m 18s
[bitv] slightly better printing of terms and simple terms Build Javascript #1055: Pull request #727 opened by hra687261
July 8, 2023 09:39 12m 5s bv-debug
bv-debug
July 8, 2023 09:39 12m 5s
[bitv] Add support for (bvnot) in the solver Build Javascript #1054: Pull request #726 opened by bclement-ocp
July 7, 2023 14:55 12m 57s bclement-ocp:bvnot
bclement-ocp:bvnot
July 7, 2023 14:55 12m 57s