projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Improve ManagedStreams (#7367)
2021-04-07
Aina Niemetz
New C++ Api: Initial setup of Api documentation. (...
commit
|
commitdiff
|
tree
2021-04-06
Aina Niemetz
New C++ Api: Rename and move headers. (#6292)
commit
|
commitdiff
|
tree
2021-04-01
Aina Niemetz
FP: Factor out symfpu traits. (#6246)
commit
|
commitdiff
|
tree
2021-04-01
Aina Niemetz
Delete hashsmt example. (#6263)
commit
|
commitdiff
|
tree
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
commit
|
commitdiff
|
tree
2021-04-01
Aina Niemetz
kinds: Remove non-existent properties. (#6253)
commit
|
commitdiff
|
tree
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
commit
|
commitdiff
|
tree
2021-03-31
Aina Niemetz
Bags: Move implementation of type rules from header...
commit
|
commitdiff
|
tree
2021-03-31
Aina Niemetz
Fix years in COPYING. (#6248)
commit
|
commitdiff
|
tree
2021-03-31
Aina Niemetz
FP: Move implementation of type rules from header to...
commit
|
commitdiff
|
tree
2021-03-29
Aina Niemetz
Fix configuration printing. (#6236)
commit
|
commitdiff
|
tree
2021-03-29
Aina Niemetz
FloatingPointLiteral: Constructor for special consts...
commit
|
commitdiff
|
tree
2021-03-27
Aina Niemetz
Use color output to print configuration. (#6219)
commit
|
commitdiff
|
tree
2021-03-26
Aina Niemetz
FloatingPointLiteral: Make constructors that shouldn...
commit
|
commitdiff
|
tree
2021-03-25
Aina Niemetz
FP: Refactor FloatingPointLiteral in preparation for...
commit
|
commitdiff
|
tree
2021-03-23
Aina Niemetz
Remove internal includes of Api header. (#6193)
commit
|
commitdiff
|
tree
2021-03-22
Aina Niemetz
FP: Add documentation for FloatingPointLiteral constructors...
commit
|
commitdiff
|
tree
2021-03-19
Aina Niemetz
BitVector: Change setBit to set the bit in place. ...
commit
|
commitdiff
|
tree
2021-03-19
Aina Niemetz
FP: Use setBit instead of bv or in conversion from...
commit
|
commitdiff
|
tree
2021-03-18
Aina Niemetz
New C++ Api: Comprehensive guards for member functions...
commit
|
commitdiff
|
tree
2021-03-17
Aina Niemetz
New C++ Api: Comprehensive guards for member functions...
commit
|
commitdiff
|
tree
2021-03-17
Aina Niemetz
Rename test/unit/expr to test/unit/node. (#6156)
commit
|
commitdiff
|
tree
2021-03-17
Aina Niemetz
Rename fixtures in test/unit/context to conform to...
commit
|
commitdiff
|
tree
2021-03-17
Aina Niemetz
Rename fixtures in test/unit/base to conform to naming...
commit
|
commitdiff
|
tree
2021-03-16
Aina Niemetz
New C++ Api: Comprehensive guards for member functions...
commit
|
commitdiff
|
tree
2021-03-15
Aina Niemetz
New C++ Api: Comprehensive guards for member functions...
commit
|
commitdiff
|
tree
2021-03-15
Aina Niemetz
New C++ Api: Comprehensive guards for member functions...
commit
|
commitdiff
|
tree
2021-03-15
Aina Niemetz
New C++ Api: Comprehensive guards for member functions...
commit
|
commitdiff
|
tree
2021-03-12
Aina Niemetz
New C++ Api: Move checks to separate file. (#6138)
commit
|
commitdiff
|
tree
2021-03-12
Aina Niemetz
New C++ API: Rename TRY CATCH macros. (#6135)
commit
|
commitdiff
|
tree
2021-03-12
Aina Niemetz
Add more unit tests for api::Sort. (#6122)
commit
|
commitdiff
|
tree
2021-03-11
Aina Niemetz
Delete Expr layer. (#6117)
commit
|
commitdiff
|
tree
2021-03-11
Aina Niemetz
Remove obsolete test/api/statistics.cpp. (#6116)
commit
|
commitdiff
|
tree
2021-03-11
Aina Niemetz
Clean up ownership of Datatypes in NodeManager. (#6113)
commit
|
commitdiff
|
tree
2021-03-11
Aina Niemetz
Refactor Node::getOperator() to fix compiler warning...
commit
|
commitdiff
|
tree
2021-03-10
Aina Niemetz
New C++ Api: Add missing argument checks in Solver...
commit
|
commitdiff
|
tree
2021-03-10
Aina Niemetz
Move ExprManager::isNAryKind to NodeManager. (#6107)
commit
|
commitdiff
|
tree
2021-03-09
Aina Niemetz
New C++ Api: Use const ref for arguments when possible...
commit
|
commitdiff
|
tree
2021-03-09
Aina Niemetz
New C++ Api: Migrate stats collection for consts, vars...
commit
|
commitdiff
|
tree
2021-03-09
Aina Niemetz
ContextObj::destroy(): Guard against invalid use. ...
commit
|
commitdiff
|
tree
2021-03-09
Aina Niemetz
New C++ Api: Clean up usage of internal kind. (#6087)
commit
|
commitdiff
|
tree
2021-03-09
Aina Niemetz
New C++ API: Reorder and clean up cpp file. (#6086)
commit
|
commitdiff
|
tree
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
commit
|
commitdiff
|
tree
2021-03-09
Aina Niemetz
New C++ API: Migrate to Node layer. (#6070)
commit
|
commitdiff
|
tree
2021-03-08
Aina Niemetz
Refactor ouroborous API test to not use Expr. (#6079)
commit
|
commitdiff
|
tree
2021-03-08
Aina Niemetz
Build api tests in build/bin/test/api. (#6076)
commit
|
commitdiff
|
tree
2021-03-05
Aina Niemetz
google test: Remove obsolete Expr test fixtures. (...
commit
|
commitdiff
|
tree
2021-03-05
Aina Niemetz
google test: Remove dependency on ExprManager in type_cardin...
commit
|
commitdiff
|
tree
2021-03-04
Aina Niemetz
New C++ API: Clean up usage of interal datatype classes...
commit
|
commitdiff
|
tree
2021-03-04
Aina Niemetz
Add initial bit-blaster for proof logging. (#6053)
commit
|
commitdiff
|
tree
2021-03-04
Aina Niemetz
New C++ Api: Clean up usage of internal types in Term...
commit
|
commitdiff
|
tree
2021-03-04
Aina Niemetz
Fix nightlies. (#6052)
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-02
Aina Niemetz
Remove obsolete dependency on CxxTest. (#6038)
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_inverter_...
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_instantia...
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_cache_bla...
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
Aina Niemetz
google test: theory: Migrate theory_sets_type_rules_white...
commit
|
commitdiff
|
tree
2021-02-26
Aina Niemetz
google test: theory: Migrate theory_sets_type_enumerator_whi...
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-25
Aina Niemetz
google test: Merge Node(Manager) fixtures. (#5998)
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-24
Aina Niemetz
google test: theory: Migrate theory_bags_type_rules_white...
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
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_white...
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-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
next