projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Make linear arithmetic use its inference manager (#5934)
[cvc5.git]
/
test
/
2021-03-11
Gereon Kremer
Make linear arithmetic use its inference manager (...
tree
|
commitdiff
2021-03-11
Gereon Kremer
First refactoring of statistics classes (#6105)
tree
|
commitdiff
2021-03-11
Aina Niemetz
Delete Expr layer. (#6117)
tree
|
commitdiff
2021-03-11
Aina Niemetz
Remove obsolete test/api/statistics.cpp. (#6116)
tree
|
commitdiff
2021-03-11
Aina Niemetz
Refactor Node::getOperator() to fix compiler warning...
tree
|
commitdiff
2021-03-10
Mathias Preiner
Use Assert instead of assert. (#6095)
tree
|
commitdiff
2021-03-10
Aina Niemetz
Move ExprManager::isNAryKind to NodeManager. (#6107)
tree
|
commitdiff
2021-03-10
Mathias Preiner
cmake: Fix optimization level for debug builds. (#6097)
tree
|
commitdiff
2021-03-10
Andrew Reynolds
Fix extended equality rewrite involving replace. (...
tree
|
commitdiff
2021-03-10
Andrew Reynolds
Fix term registration and non-theory-preprocessed terms...
tree
|
commitdiff
2021-03-10
Andrew Reynolds
Add quant elim regression (#6103)
tree
|
commitdiff
2021-03-10
Mathias Preiner
test: Fix missing std::. (#6096)
tree
|
commitdiff
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
tree
|
commitdiff
2021-03-08
Aina Niemetz
Refactor ouroborous API test to not use Expr. (#6079)
tree
|
commitdiff
2021-03-08
Andrew Reynolds
Fix handling of negation of Boolean bound variables...
tree
|
commitdiff
2021-03-08
Aina Niemetz
Build api tests in build/bin/test/api. (#6076)
tree
|
commitdiff
2021-03-06
Mathias Preiner
Remove partial UDIV/UREM operators. (#6069)
tree
|
commitdiff
2021-03-06
Mathias Preiner
Remove SMT-LIB 2.5 and 2.0 support. (#6068)
tree
|
commitdiff
2021-03-05
yoni206
Set logic in interpolation unit test. (#6067)
tree
|
commitdiff
2021-03-05
mcjuneho
Initial implementation of an optimization solver with...
tree
|
commitdiff
2021-03-05
Aina Niemetz
google test: Remove obsolete Expr test fixtures. (...
tree
|
commitdiff
2021-03-05
Aina Niemetz
google test: Remove dependency on ExprManager in type_c...
tree
|
commitdiff
2021-03-04
Aina Niemetz
Fix nightlies. (#6052)
tree
|
commitdiff
2021-03-04
Aina Niemetz
Fix nightlies. (#6048)
tree
|
commitdiff
2021-03-04
Aina Niemetz
context_black: Clean up classes. (#6046)
tree
|
commitdiff
2021-03-04
Aina Niemetz
New C++ API: Clean up usage of internal Result. (#6043)
tree
|
commitdiff
2021-03-04
Aina Niemetz
New C++ API: Clean up usage of internal types in Op...
tree
|
commitdiff
2021-03-03
Gereon Kremer
More cleanup of includes to reduce compilation times...
tree
|
commitdiff
2021-03-03
Abdalrhman Mohamed
Remove uses of SExpr class. (#6035)
tree
|
commitdiff
2021-03-03
mudathirmahgoub
Add tuple projection operator (#5904)
tree
|
commitdiff
2021-03-02
Aina Niemetz
Remove obsolete dependency on CxxTest. (#6038)
tree
|
commitdiff
2021-03-02
Gereon Kremer
Clean up includes to reduce compile times (#6031)
tree
|
commitdiff
2021-03-02
Aina Niemetz
google test: util: Migrate floatingpoint_black. (#6021)
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: theory: Migrate theory_quantifiers_bv_inve...
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: util: Migrate bitvector_black. (#6015)
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: theory: Migrate theory_quantifiers_bv_inst...
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: util: Migrate stats_black. (#6029)
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: util: Migrate real_algebraic_number_black...
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: util: Migrate rational_white. (#6027)
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: util: Migrate rational_black. (#6026)
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: util: Migrate output_black. (#6025)
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: util: Migrate integer_black. (#6023)
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: util: Migrate datatype_black. (#6019)
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: util: Migrate configuration_black. (#6018)
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: util: Migrate boolean_simplification_black...
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: util: Migrate array_store_all_white. ...
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: util: Migrate integer_white. (#6024)
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: theory: Migrate theory_strings_skolem_cach...
tree
|
commitdiff
2021-03-01
Aina Niemetz
google test: theory: Migrate theory_strings_word_white...
tree
|
commitdiff
2021-02-27
Aina Niemetz
google test: util: Migrate exception_black. (#6020)
tree
|
commitdiff
2021-02-27
Aina Niemetz
google test: util: Migrate check_white. (#6017)
tree
|
commitdiff
2021-02-27
Aina Niemetz
google test: util: Migrate cardinality_black. (#6016)
tree
|
commitdiff
2021-02-27
Aina Niemetz
google test: theory: Migrate theory_white. (#6006)
tree
|
commitdiff
2021-02-26
Aina Niemetz
google test: theory: Migrate type_enumerator_white...
tree
|
commitdiff
2021-02-26
Aina Niemetz
google test: theory: Migrate theory_sets_type_rules_whi...
tree
|
commitdiff
2021-02-26
Aina Niemetz
google test: theory: Migrate theory_sets_type_enumerato...
tree
|
commitdiff
2021-02-26
Mathias Preiner
Fix -Werror issues with clang and use clang for debug...
tree
|
commitdiff
2021-02-26
Aina Niemetz
google test: util: Migrate binary_heap_black. (#6012)
tree
|
commitdiff
2021-02-26
Aina Niemetz
google test: util: Migrate assert_white. (#6011)
tree
|
commitdiff
2021-02-25
Gereon Kremer
Move (optional) rewrite from TrustSubstitutionMap to...
tree
|
commitdiff
2021-02-25
Andrew Reynolds
Move slow regressions to regress1 (#5999)
tree
|
commitdiff
2021-02-25
Aina Niemetz
google test: Merge Node(Manager) fixtures. (#5998)
tree
|
commitdiff
2021-02-25
Gereon Kremer
Add regression. (#5994)
tree
|
commitdiff
2021-02-25
Aina Niemetz
google test: theory: Migrate theory_bv_white. (#5987)
tree
|
commitdiff
2021-02-25
Aina Niemetz
google test: theory: Migrate theory_bv_rewriter_white...
tree
|
commitdiff
2021-02-25
Aina Niemetz
google test: printer: Migrate smt2_printer_black. ...
tree
|
commitdiff
2021-02-25
Mathias Preiner
Enable -Werror. (#5969)
tree
|
commitdiff
2021-02-24
Aina Niemetz
google test: theory: Migrate theory_bags_type_rules_whi...
tree
|
commitdiff
2021-02-24
Aina Niemetz
google test: theory: Migrate theory_engine_white. ...
tree
|
commitdiff
2021-02-24
Aina Niemetz
google test: theory: Migrate theory_black. (#5985)
tree
|
commitdiff
2021-02-24
Gereon Kremer
Ensure static-learning adds rewritten assertions. ...
tree
|
commitdiff
2021-02-24
Aina Niemetz
google test: theory: Migrate sequences_rewriter_white...
tree
|
commitdiff
2021-02-24
Aina Niemetz
google test: theory: Migrate theory_bags_normal_form_wh...
tree
|
commitdiff
2021-02-24
Aina Niemetz
google test: theory: Migrate logic_info_white. (#5973)
tree
|
commitdiff
2021-02-24
Aina Niemetz
google test: theory: Migrate theory_bags_rewriter_white...
tree
|
commitdiff
2021-02-24
Aina Niemetz
google test: theory: Migrate theory_arith_white. (...
tree
|
commitdiff
2021-02-24
Aina Niemetz
google test: theory: Migrate evaluator_white. (#5972)
tree
|
commitdiff
2021-02-24
Aina Niemetz
google test: prop: Migrate cnf_stream_white. (#5971)
tree
|
commitdiff
2021-02-23
Aina Niemetz
google test: theory: Migrate regexp_operation_black...
tree
|
commitdiff
2021-02-23
Aina Niemetz
google test: theory: Migrate strings_rewriter_white...
tree
|
commitdiff
2021-02-23
Aina Niemetz
google test: preprocessing: Migrate pass_bv_gauss_white...
tree
|
commitdiff
2021-02-22
Andrew Reynolds
(proof-new) Change proof-new option to proof (#5955)
tree
|
commitdiff
2021-02-22
Andrew Reynolds
Require length-in-conclusion form for strings inference...
tree
|
commitdiff
2021-02-22
Aina Niemetz
google test: preprocessing: Migrate pass_foreign_theory...
tree
|
commitdiff
2021-02-19
Andrew Reynolds
Fix rewrite for contains over replace (#5924)
tree
|
commitdiff
2021-02-17
Gereon Kremer
Add new IntegralHistogramStat (#5898)
tree
|
commitdiff
2021-02-16
Aina Niemetz
google test: parser: Migrate parser_builder_black....
tree
|
commitdiff
2021-02-11
Aina Niemetz
google test: parser: Migrate parser_black. (#5886)
tree
|
commitdiff
2021-02-11
Andrew Reynolds
Fix spurious assertion failure in regexp normalization...
tree
|
commitdiff
2021-02-10
Andrew Reynolds
Fix open proof for factoring lemma (#5885)
tree
|
commitdiff
2021-02-10
Andrew Reynolds
Simplify method for inferring proxy lemmas in strings...
tree
|
commitdiff
2021-02-09
Aina Niemetz
google test: expr: Migrate node_manager_black. (#5857)
tree
|
commitdiff
2021-02-09
Aina Niemetz
google test: main: Migrate interactive_shell_black...
tree
|
commitdiff
2021-02-09
Aina Niemetz
google test: expr: Migrate type_cardinality_black....
tree
|
commitdiff
2021-02-09
Aina Niemetz
google test: expr: Migrate node_self_iterator_black...
tree
|
commitdiff
2021-02-09
Haniel Barbosa
[quantifiers] Fix prenex computation (#5879)
tree
|
commitdiff
2021-02-09
Aina Niemetz
google test: expr: Migrate type_node_white. (#5872)
tree
|
commitdiff
2021-02-08
Andrew Reynolds
Fix disequality between seq.unit terms (#5880)
tree
|
commitdiff
2021-02-08
Aina Niemetz
google test: expr: Migrate node_white. (#5869)
tree
|
commitdiff
2021-02-08
Aina Niemetz
Use consistent names for fixtures in unit tests. (...
tree
|
commitdiff
next