projects
/
cvc5.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cvc5.git
2021-03-04
Aina Niemetz
Fix nightlies. (#6052)
commit
|
commitdiff
|
tree
2021-03-04
Gereon Kremer
Ignore isInConflict when adding conflicts (#5995)
commit
|
commitdiff
|
tree
2021-03-04
Aina Niemetz
Fix nightlies. (#6048)
commit
|
commitdiff
|
tree
2021-03-04
Aina Niemetz
context_black: Clean up classes. (#6046)
commit
|
commitdiff
|
tree
2021-03-04
Aina Niemetz
New C++ API: Clean up usage of internal Type/TypeNodes...
commit
|
commitdiff
|
tree
2021-03-04
Aina Niemetz
New C++ API: Clean up usage of internal Result. (#6043)
commit
|
commitdiff
|
tree
2021-03-04
Aina Niemetz
New C++ API: Clean up usage of internal types in Op...
commit
|
commitdiff
|
tree
2021-03-03
Gereon Kremer
Remove obsolete gcc check. (#6041)
commit
|
commitdiff
|
tree
2021-03-03
Andrew Reynolds
(proof-new) Simplifications to arithmetic operator...
commit
|
commitdiff
|
tree
2021-03-03
Gereon Kremer
More cleanup of includes to reduce compilation times...
commit
|
commitdiff
|
tree
2021-03-03
Abdalrhman...
Remove uses of SExpr class. (#6035)
commit
|
commitdiff
|
tree
2021-03-03
mudathirmahgoub
Add tuple projection operator (#5904)
commit
|
commitdiff
|
tree
2021-03-02
Mathias Preiner
Remove non-ASCII characters from source files. (#6039)
commit
|
commitdiff
|
tree
2021-03-02
Gereon Kremer
Improve handling of utf8 encoded inputs (#5694)
commit
|
commitdiff
|
tree
2021-03-02
Aina Niemetz
Remove obsolete dependency on CxxTest. (#6038)
commit
|
commitdiff
|
tree
2021-03-02
Mathias Preiner
Add aarch64 (ARM64) cross-compile support. (#6033)
commit
|
commitdiff
|
tree
2021-03-02
Mathias Preiner
Fix nightly errors. (#6034)
commit
|
commitdiff
|
tree
2021-03-02
Andrew Reynolds
Introduce quantifiers term registry (#5983)
commit
|
commitdiff
|
tree
2021-03-02
Gereon Kremer
Clean up includes to reduce compile times (#6031)
commit
|
commitdiff
|
tree
2021-03-02
Aina Niemetz
google test: util: Migrate floatingpoint_black. (#6021)
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: theory: Migrate theory_quantifiers_bv_inve...
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: util: Migrate bitvector_black. (#6015)
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: theory: Migrate theory_quantifiers_bv_inst...
commit
|
commitdiff
|
tree
2021-03-01
Gereon Kremer
Refactor collection of debug and trace tags (#5996)
commit
|
commitdiff
|
tree
2021-03-01
Mathias Preiner
Make -Werror optional but enable it for CI. (#6032)
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: util: Migrate stats_black. (#6029)
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: util: Migrate real_algebraic_number_black...
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: util: Migrate rational_white. (#6027)
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: util: Migrate rational_black. (#6026)
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: util: Migrate output_black. (#6025)
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: util: Migrate integer_black. (#6023)
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: util: Migrate datatype_black. (#6019)
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: util: Migrate configuration_black. (#6018)
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: util: Migrate boolean_simplification_black...
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: util: Migrate array_store_all_white. ...
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: util: Migrate integer_white. (#6024)
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: theory: Migrate theory_strings_skolem_cach...
commit
|
commitdiff
|
tree
2021-03-01
Aina Niemetz
google test: theory: Migrate theory_strings_word_white...
commit
|
commitdiff
|
tree
2021-02-27
Aina Niemetz
google test: util: Migrate exception_black. (#6020)
commit
|
commitdiff
|
tree
2021-02-27
Aina Niemetz
google test: util: Migrate check_white. (#6017)
commit
|
commitdiff
|
tree
2021-02-27
Aina Niemetz
google test: util: Migrate cardinality_black. (#6016)
commit
|
commitdiff
|
tree
2021-02-27
Aina Niemetz
google test: theory: Migrate theory_white. (#6006)
commit
|
commitdiff
|
tree
2021-02-26
Aina Niemetz
google test: theory: Migrate type_enumerator_white...
commit
|
commitdiff
|
tree
2021-02-26
Haniel Barbosa
Some formatting and better tracing in prop engine ...
commit
|
commitdiff
|
tree
2021-02-26
Aina Niemetz
google test: theory: Migrate theory_sets_type_rules_whi...
commit
|
commitdiff
|
tree
2021-02-26
Aina Niemetz
google test: theory: Migrate theory_sets_type_enumerato...
commit
|
commitdiff
|
tree
2021-02-26
Mathias Preiner
Fix -Werror issues with clang and use clang for debug...
commit
|
commitdiff
|
tree
2021-02-26
Aina Niemetz
google test: util: Migrate binary_heap_black. (#6012)
commit
|
commitdiff
|
tree
2021-02-26
Aina Niemetz
google test: util: Migrate assert_white. (#6011)
commit
|
commitdiff
|
tree
2021-02-26
Andrew Reynolds
Minor improvement and fix to smt2 printer (#6009)
commit
|
commitdiff
|
tree
2021-02-26
Andrew Reynolds
Optionally permit creation of non-flat function types...
commit
|
commitdiff
|
tree
2021-02-26
Gereon Kremer
Store Node instead of TNode (#5993)
commit
|
commitdiff
|
tree
2021-02-26
Andrew Reynolds
(proof-new) Fix regular expression unfolding under...
commit
|
commitdiff
|
tree
2021-02-25
Gereon Kremer
Move (optional) rewrite from TrustSubstitutionMap to...
commit
|
commitdiff
|
tree
2021-02-25
Andrew Reynolds
Move slow regressions to regress1 (#5999)
commit
|
commitdiff
|
tree
2021-02-25
yoni206
Datatypes lemmas: share only external types (#5997)
commit
|
commitdiff
|
tree
2021-02-25
Aina Niemetz
google test: Merge Node(Manager) fixtures. (#5998)
commit
|
commitdiff
|
tree
2021-02-25
Gereon Kremer
Add regression. (#5994)
commit
|
commitdiff
|
tree
2021-02-25
Aina Niemetz
google test: theory: Migrate theory_bv_white. (#5987)
commit
|
commitdiff
|
tree
2021-02-25
Aina Niemetz
google test: theory: Migrate theory_bv_rewriter_white...
commit
|
commitdiff
|
tree
2021-02-25
Aina Niemetz
google test: printer: Migrate smt2_printer_black. ...
commit
|
commitdiff
|
tree
2021-02-25
Mathias Preiner
Enable -Werror. (#5969)
commit
|
commitdiff
|
tree
2021-02-24
Aina Niemetz
google test: theory: Migrate theory_bags_type_rules_whi...
commit
|
commitdiff
|
tree
2021-02-24
Aina Niemetz
google test: theory: Migrate theory_engine_white. ...
commit
|
commitdiff
|
tree
2021-02-24
Aina Niemetz
google test: theory: Migrate theory_black. (#5985)
commit
|
commitdiff
|
tree
2021-02-24
Gereon Kremer
Ensure static-learning adds rewritten assertions. ...
commit
|
commitdiff
|
tree
2021-02-24
Gereon Kremer
(proof-new) Add proofs for CAD solver (#5981)
commit
|
commitdiff
|
tree
2021-02-24
Aina Niemetz
google test: theory: Migrate sequences_rewriter_white...
commit
|
commitdiff
|
tree
2021-02-24
Aina Niemetz
google test: theory: Migrate theory_bags_normal_form_wh...
commit
|
commitdiff
|
tree
2021-02-24
Aina Niemetz
google test: theory: Migrate logic_info_white. (#5973)
commit
|
commitdiff
|
tree
2021-02-24
Aina Niemetz
google test: theory: Migrate theory_bags_rewriter_white...
commit
|
commitdiff
|
tree
2021-02-24
Aina Niemetz
google test: theory: Migrate theory_arith_white. (...
commit
|
commitdiff
|
tree
2021-02-24
Aina Niemetz
google test: theory: Migrate evaluator_white. (#5972)
commit
|
commitdiff
|
tree
2021-02-24
Aina Niemetz
google test: prop: Migrate cnf_stream_white. (#5971)
commit
|
commitdiff
|
tree
2021-02-24
Andrew Reynolds
Add state and inference manager to inst match generator...
commit
|
commitdiff
|
tree
2021-02-24
Andrew Reynolds
Add interface to TheoryState for sort inference and...
commit
|
commitdiff
|
tree
2021-02-23
Mathias Preiner
Switch to C++17. (#5959)
commit
|
commitdiff
|
tree
2021-02-23
Aina Niemetz
google test: theory: Migrate regexp_operation_black...
commit
|
commitdiff
|
tree
2021-02-23
Aina Niemetz
google test: theory: Migrate strings_rewriter_white...
commit
|
commitdiff
|
tree
2021-02-23
Gereon Kremer
Add proof for mult sign lemma (#5966)
commit
|
commitdiff
|
tree
2021-02-23
Haniel Barbosa
[proof-new] Fix dangling pointer in SAT proof generatio...
commit
|
commitdiff
|
tree
2021-02-23
Gereon Kremer
Add proof for monomial bounds check (#5965)
commit
|
commitdiff
|
tree
2021-02-23
Gereon Kremer
(proof-new) Add proof generator for CAD solver (#5964)
commit
|
commitdiff
|
tree
2021-02-23
Haniel Barbosa
[proof-new] Fix handling of removable clauses in proof...
commit
|
commitdiff
|
tree
2021-02-23
Gereon Kremer
Add trans secant proofs. (#5957)
commit
|
commitdiff
|
tree
2021-02-23
Andrew Reynolds
Explanation of failure for instantiate, use in enumerat...
commit
|
commitdiff
|
tree
2021-02-23
Aina Niemetz
google test: preprocessing: Migrate pass_bv_gauss_white...
commit
|
commitdiff
|
tree
2021-02-22
Andrew Reynolds
Eliminate raw use of output channel and valuation in...
commit
|
commitdiff
|
tree
2021-02-22
Andrew Reynolds
Move quantifiers attributes to quantifiers registry...
commit
|
commitdiff
|
tree
2021-02-22
Andrew Reynolds
(proof-new) Change proof-new option to proof (#5955)
commit
|
commitdiff
|
tree
2021-02-22
Gereon Kremer
(proof-new) Add proofs for exponential functions (...
commit
|
commitdiff
|
tree
2021-02-22
Andrew Reynolds
Require length-in-conclusion form for strings inference...
commit
|
commitdiff
|
tree
2021-02-22
Andrew Reynolds
(proof-new) Option to automatically add SYMM steps...
commit
|
commitdiff
|
tree
2021-02-22
Haniel Barbosa
[proof-new] Optionally print conclusion in the AST...
commit
|
commitdiff
|
tree
2021-02-22
Aina Niemetz
google test: preprocessing: Migrate pass_foreign_theory...
commit
|
commitdiff
|
tree
2021-02-22
Gereon Kremer
Add the LazyTreeProofGenerator. (#5948)
commit
|
commitdiff
|
tree
2021-02-22
Gereon Kremer
(proof-new) Add new arithmetic kind INDEXED_ROOT_PREDIC...
commit
|
commitdiff
|
tree
2021-02-22
Gereon Kremer
(proof-new) Add proofs for sine lemmas in the transcend...
commit
|
commitdiff
|
tree
2021-02-22
Gereon Kremer
Cleanup in transcendental solver, add ApproximationBoun...
commit
|
commitdiff
|
tree
2021-02-22
Gereon Kremer
add pruneRedundantIntervals (#5950)
commit
|
commitdiff
|
tree
next