git.libre-soc.org Git - cvc5.git/search

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
2021-02-23	Aina Niemetz	google test: preprocessing: Migrate pass_bv_gauss_white...	commit \| commitdiff \| tree
2021-02-22	Aina Niemetz	google test: preprocessing: Migrate pass_foreign_theory_rewr...	commit \| commitdiff \| tree
2021-02-19	Aina Niemetz	Add Gereon to AUTHORS list. (#5930)	commit \| commitdiff \| tree
2021-02-16	Aina Niemetz	google test: parser: Migrate parser_builder_black....	commit \| commitdiff \| tree
2021-02-11	Aina Niemetz	google test: parser: Migrate parser_black. (#5886)	commit \| commitdiff \| tree
2021-02-09	Aina Niemetz	google test: expr: Migrate node_manager_black. (#5857)	commit \| commitdiff \| tree
2021-02-09	Aina Niemetz	google test: main: Migrate interactive_shell_black...	commit \| commitdiff \| tree
2021-02-09	Aina Niemetz	google test: expr: Migrate type_cardinality_black....	commit \| commitdiff \| tree
2021-02-09	Aina Niemetz	google test: expr: Migrate node_self_iterator_black...	commit \| commitdiff \| tree
2021-02-09	Aina Niemetz	google test: expr: Migrate type_node_white. (#5872)	commit \| commitdiff \| tree
2021-02-08	Aina Niemetz	google test: expr: Migrate node_white. (#5869)	commit \| commitdiff \| tree
2021-02-08	Aina Niemetz	Use consistent names for fixtures in unit tests. (...	commit \| commitdiff \| tree
2021-02-08	Aina Niemetz	google test: expr: Migrate node_traversal_black. (...	commit \| commitdiff \| tree
2021-02-05	Aina Niemetz	google test: expr: Migrate symbol_table_black. (#5870)	commit \| commitdiff \| tree
2021-02-05	Aina Niemetz	google test: expr: Migrate node_manager_white. (#5864)	commit \| commitdiff \| tree
2021-02-05	Aina Niemetz	Remove obsolete include from node_black unit test....	commit \| commitdiff \| tree
2021-02-05	Aina Niemetz	google test: expr: Migrate node_builder_black. (#5855)	commit \| commitdiff \| tree
2021-01-20	Aina Niemetz	SMT2 parser: Do not add non-linear symbols for linear...	commit \| commitdiff \| tree
2021-01-12	Aina Niemetz	google test: expr: Migrate node_black. (#5764)	commit \| commitdiff \| tree
2021-01-12	Aina Niemetz	google test: Use ASSERT_* instead of EXPECT_*. (#5765)	commit \| commitdiff \| tree
2020-12-10	Aina Niemetz	google test: expr: Migrate node_algorithm_black. (...	commit \| commitdiff \| tree
2020-12-10	Aina Niemetz	google test: expr: Migrate kind_black. (#5634)	commit \| commitdiff \| tree
2020-12-09	Aina Niemetz	Fix compiler warnings. (#5644)	commit \| commitdiff \| tree
2020-12-09	Aina Niemetz	google test: expr: Migrate kind_map_black. (#5640)	commit \| commitdiff \| tree
2020-12-09	Aina Niemetz	kind_map: Remove unused Accessor class. (#5641)	commit \| commitdiff \| tree
2020-12-09	Aina Niemetz	google test: expr: Migrate attribute_white. (#5632)	commit \| commitdiff \| tree
2020-12-09	Aina Niemetz	google test: context: Migrate context_white. (#5630)	commit \| commitdiff \| tree
2020-12-09	Aina Niemetz	Delete obsolete unit tests for Expr and ExprManager...	commit \| commitdiff \| tree
2020-12-09	Aina Niemetz	ite_utilities: Fix infinite loop in compressTerm. ...	commit \| commitdiff \| tree
2020-12-08	Aina Niemetz	google test: context: Migrate context_mm_black. (#5592)	commit \| commitdiff \| tree
2020-12-08	Aina Niemetz	google test: context: Migrate context_black. (#5587)	commit \| commitdiff \| tree
2020-12-04	Aina Niemetz	google test: expr: Migrate attribute_black. (#5598)	commit \| commitdiff \| tree
2020-12-04	Aina Niemetz	google test: context: Migrate cdo_black. (#5586)	commit \| commitdiff \| tree
2020-12-04	Aina Niemetz	google test: context: Migrate cdmap_white. (#5585)	commit \| commitdiff \| tree
2020-12-04	Aina Niemetz	google test: api: Migrate sort_black. (#5594)	commit \| commitdiff \| tree
2020-12-04	Aina Niemetz	google test: context: Migrate cdmap_black. (#5584)	commit \| commitdiff \| tree
2020-12-04	Aina Niemetz	google test: context: Migrate cdlist_black. (#5582)	commit \| commitdiff \| tree
next

RSS Atom