projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Support ackermannization on uninterpreted sorts in BV (#3372)
[cvc5.git]
/
test
/
regress
/
regress0
/
nl
/
drwxr-xr-x
..
-rw-r--r--
105
all-logic.smt2
blob
|
history
|
raw
-rw-r--r--
236
coeff-sat.smt2
blob
|
history
|
raw
-rw-r--r--
8691
ext-rew-aggr-test.smt2
blob
|
history
|
raw
-rw-r--r--
602
issue3003.smt2
blob
|
history
|
raw
-rw-r--r--
170
issue3407.smt2
blob
|
history
|
raw
-rw-r--r--
184
issue3411.smt2
blob
|
history
|
raw
-rw-r--r--
135
issue3475.smt2
blob
|
history
|
raw
-rw-r--r--
2580
magnitude-wrong-1020-m.smt2
blob
|
history
|
raw
-rw-r--r--
330
mult-po.smt2
blob
|
history
|
raw
-rw-r--r--
1224
nia-wrong-tl.smt2
blob
|
history
|
raw
-rw-r--r--
843
nlExtPurify-test.smt2
blob
|
history
|
raw
drwxr-xr-x
-
nta
tree
|
history
-rw-r--r--
234
real-as-int.smt2
blob
|
history
|
raw
-rw-r--r--
275
real-div-ufnra.smt2
blob
|
history
|
raw
-rw-r--r--
649
sin-cos-346-b-chunk-0169.smt2
blob
|
history
|
raw
-rw-r--r--
576
sqrt.smt2
blob
|
history
|
raw
-rw-r--r--
201
sqrt2-value.smt2
blob
|
history
|
raw
-rw-r--r--
378
subs0-unsat-confirm.smt2
blob
|
history
|
raw
-rw-r--r--
1036
very-easy-sat.smt2
blob
|
history
|
raw
-rw-r--r--
288
very-simple-unsat.smt2
blob
|
history
|
raw