projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add type to uninterpreted constant values (#8891)
[cvc5.git] / test / regress / cli / regress0 / arith /
2022-06-07 Andrew ReynoldsUse STRING_NTH in strings reductions and eliminate... tree | commitdiff
2022-05-23 Andrew ReynoldsRemove spurious assertion in isLegalElimination (#8812) tree | commitdiff
2022-05-09 Andrew ReynoldsImprovements for evaluation in model (#8738) tree | commitdiff
2022-04-29 Andrew ReynoldsTowards proper usage of TO_REAL (#8680) tree | commitdiff
2022-04-18 Abdalrhman MohamedRemove instances of `check-proofs` in regressions.... tree | commitdiff
2022-04-12 Andrew ReynoldsMaking some benchmarks SMT-LIB compliant for subtypes... tree | commitdiff
2022-04-05 Gereon KremerMake rewriter more robust against RAN becoming rational... tree | commitdiff
2022-03-23 Andrew ReynoldsClean options (#8309) tree | commitdiff
2022-03-16 Aina NiemetzFirst step towards refactoring regression tests. (... tree | commitdiff