Skip to content

Actions: Z3Prover/z3

Actions

OCaml Binding CI (Ubuntu + macOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yaml
1,326 workflow runs
1,326 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

disable preprocessing only after formulas are internalized OCaml Binding CI (Ubuntu + macOS) #1939: Commit c7f6cea pushed by NikolajBjorner
19m 51s master
master
19m 51s
t OCaml Binding CI (Ubuntu + macOS) #1938: Commit 70ba990 pushed by levnach
48m 37s lws
lws
48m 37s
canonicalize polinomals in todo_set OCaml Binding CI (Ubuntu + macOS) #1937: Commit bf32a43 pushed by levnach
25m 37s lws
lws
25m 37s
do not refactor again multivariate polynomials OCaml Binding CI (Ubuntu + macOS) #1936: Commit aa6dae8 pushed by levnach
24m 33s lws
lws
24m 33s
allow parsing declared arrays without requiring explicit select OCaml Binding CI (Ubuntu + macOS) #1935: Commit 20d1357 pushed by NikolajBjorner
19m 29s master
master
19m 29s
remove incorrect assertion, make sat case for range + size conservative OCaml Binding CI (Ubuntu + macOS) #1934: Commit 1d3f6a7 pushed by NikolajBjorner
19m 53s finite-sets
finite-sets
19m 53s
simplify expressions before range local check (#8061) OCaml Binding CI (Ubuntu + macOS) #1933: Commit e905123 pushed by NikolajBjorner
19m 20s finite-sets
finite-sets
19m 20s
use polynomial_ref instead of poly* OCaml Binding CI (Ubuntu + macOS) #1932: Commit 3db21b9 pushed by levnach
19m 9s lws
lws
19m 9s
Finite Sets: Simplify expressions before range local check OCaml Binding CI (Ubuntu + macOS) #1931: Pull request #8061 opened by stromberger
19m 24s stromberger:finite-sets-range-local-simplify
stromberger:finite-sets-range-local-simplify
19m 24s
remove an out of place assert OCaml Binding CI (Ubuntu + macOS) #1930: Commit ff739d1 pushed by levnach
18m 54s lws
lws
18m 54s
cosmetics OCaml Binding CI (Ubuntu + macOS) #1929: Commit e895cfb pushed by levnach
19m 32s lws
lws
19m 32s
call levelwise on a correct set of polynomials OCaml Binding CI (Ubuntu + macOS) #1928: Commit 230ee01 pushed by levnach
19m 23s lws
lws
19m 23s
remove debug instruction OCaml Binding CI (Ubuntu + macOS) #1927: Commit fc11b7c pushed by levnach
1h 11m 24s lws
lws
1h 11m 24s
fix a bug in Rule 4.2 OCaml Binding CI (Ubuntu + macOS) #1926: Commit dffe5c1 pushed by levnach
1h 15m 42s lws
lws
1h 15m 42s
catch and fail on an exception OCaml Binding CI (Ubuntu + macOS) #1925: Commit e199137 pushed by levnach
1h 8m 31s lws
lws
1h 8m 31s
add stats to track levelwise calls OCaml Binding CI (Ubuntu + macOS) #1924: Commit 2cff9e2 pushed by levnach
31m 58s lws
lws
31m 58s
fixing cause of divergence OCaml Binding CI (Ubuntu + macOS) #1923: Commit 21dc380 pushed by NikolajBjorner
22m 57s arie
arie
22m 57s
rebase with master OCaml Binding CI (Ubuntu + macOS) #1922: Commit 2a66618 pushed by levnach
1h 40m 54s lws
lws
1h 40m 54s
fix the build OCaml Binding CI (Ubuntu + macOS) #1921: Commit 52949f2 pushed by levnach
19m 6s master
master
19m 6s
Disable C++98 compatibility warnings for Clang builds (#8060) OCaml Binding CI (Ubuntu + macOS) #1920: Commit 5955136 pushed by NikolajBjorner
20m 9s master
master
20m 9s
remove unused *_signed_project() methods OCaml Binding CI (Ubuntu + macOS) #1915: Commit 7de648f pushed by levnach
19m 58s master
master
19m 58s
various code bug fixes and algorithm fixes in factorization and track… OCaml Binding CI (Ubuntu + macOS) #1914: Commit f352cc6 pushed by NikolajBjorner
19m 35s arie
arie
19m 35s
enable logging of mbp lemmas OCaml Binding CI (Ubuntu + macOS) #1913: Commit e324269 pushed by levnach
19m 6s restore_sp
restore_sp
19m 6s
fix bug checking for strictness before abandoning resolution OCaml Binding CI (Ubuntu + macOS) #1912: Commit cbe1fc5 pushed by NikolajBjorner
19m 11s arie
arie
19m 11s
restore signed_project OCaml Binding CI (Ubuntu + macOS) #1911: Commit a425121 pushed by levnach
19m 3s restore_sp
restore_sp
19m 3s