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

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
2020-12-03	Aina Niemetz	google test: api: Migrate solver_black. (#5570)	commit \| commitdiff \| tree
2020-12-03	Aina Niemetz	google test: Add fixture for context tests. (#5590)	commit \| commitdiff \| tree
2020-12-03	Aina Niemetz	Update copyright headers.	commit \| commitdiff \| tree
2020-12-03	Aina Niemetz	google test: base: Migrate map_util_black. (#5580)	commit \| commitdiff \| tree
2020-12-02	Aina Niemetz	Fix RoundingMode mapping in API. (#5578)	commit \| commitdiff \| tree
2020-12-02	Aina Niemetz	Rename macro Message to CVC4Message. (#5576)	commit \| commitdiff \| tree
2020-12-02	Aina Niemetz	google test: api: Migrate term_black. (#5571)	commit \| commitdiff \| tree
2020-12-02	Aina Niemetz	google test: api: Use individual fixture for datatype_black...	commit \| commitdiff \| tree
2020-12-02	Aina Niemetz	google test: api: Migrate op_black. (#5567)	commit \| commitdiff \| tree
2020-12-02	Aina Niemetz	google test: api: Migrate grammar_black. (#5566)	commit \| commitdiff \| tree
2020-12-02	Aina Niemetz	google test: api: Migrate result_black. (#5569)	commit \| commitdiff \| tree
2020-12-02	Aina Niemetz	Remove use of this-> in FP literal. (#5565)	commit \| commitdiff \| tree
2020-12-02	Aina Niemetz	google test: Infrastructure and first api test. (#5548)	commit \| commitdiff \| tree
2020-11-30	Aina Niemetz	fp_converter: Properly separate out symbolic glue code...	commit \| commitdiff \| tree
2020-11-30	Aina Niemetz	floatingpoint: Use unique_ptr for FloatingPointLiteral...	commit \| commitdiff \| tree
2020-11-21	Aina Niemetz	Rename symfpu_literal.(h.in\|cpp) -> floatingpoint_literal_sy...	commit \| commitdiff \| tree
2020-11-21	Aina Niemetz	Rename floatingpoint.h.in -> floatingpoin.h. (#5500)	commit \| commitdiff \| tree
2020-11-20	Aina Niemetz	RoundingMode: Rename enum values to conform to code...	commit \| commitdiff \| tree
2020-11-20	Aina Niemetz	FloatingPoint: Separate out symFPU glue code. (#5492)	commit \| commitdiff \| tree
2020-11-20	Aina Niemetz	Fix #5493. (#5495)	commit \| commitdiff \| tree
2020-11-20	Aina Niemetz	Fix compiler warnings. (#5493)	commit \| commitdiff \| tree
2020-11-19	Aina Niemetz	floatingpoint.h: Split in preparation to cleanly separate...	commit \| commitdiff \| tree
2020-11-19	Aina Niemetz	Include stddef.h (needed for size_t) in cvc4_public...	commit \| commitdiff \| tree
2020-11-18	Aina Niemetz	FloatingPoint: Use uint32_t instead of unsigned. (...	commit \| commitdiff \| tree
2020-11-18	Aina Niemetz	FloatingPoint: Clean up and document header, format...	commit \| commitdiff \| tree
2020-11-02	Aina Niemetz	contrib: Remove dependency directories. (#5367)	commit \| commitdiff \| tree
2020-10-20	Aina Niemetz	Fix compiler warnings. (#5305)	commit \| commitdiff \| tree
2020-10-20	Aina Niemetz	Integer (CLN): Minor improvements. (#5306)	commit \| commitdiff \| tree
2020-10-19	Aina Niemetz	Integer: CLN: Move implementation of member functions...	commit \| commitdiff \| tree
2020-10-07	Aina Niemetz	New C++ API: Rename Term::isConst() to Term::isValue...	commit \| commitdiff \| tree
2020-10-05	Aina Niemetz	cmake: Add warning when unit testing is disabled due...	commit \| commitdiff \| tree
2020-10-05	Aina Niemetz	SyGuS: Add fp.sub to default FP grammar. (#5206)	commit \| commitdiff \| tree
2020-10-05	Aina Niemetz	Integer: GMP: Move implementation of member functions...	commit \| commitdiff \| tree
2020-10-03	Aina Niemetz	sygus-inst: Add more special BV values. (#5191)	commit \| commitdiff \| tree
2020-10-02	Aina Niemetz	SyGuS: Add min/max (sub)normal constants to FP default...	commit \| commitdiff \| tree
2020-10-01	Aina Niemetz	FloatingPoint: Add utility functions for largest and...	commit \| commitdiff \| tree
2020-10-01	Aina Niemetz	BitVector: Extend interface of setBit to set it to...	commit \| commitdiff \| tree
2020-09-30	Aina Niemetz	FloatingPoint: Add utility functions for largest and...	commit \| commitdiff \| tree
2020-09-26	Aina Niemetz	Restrict bvxnor to only allow two operands (was n-ary...	commit \| commitdiff \| tree
2020-09-24	Aina Niemetz	SyGuS: Add default grammar for FP. (#5133)	commit \| commitdiff \| tree
2020-09-23	Aina Niemetz	Missing format from #5112.	commit \| commitdiff \| tree
2020-09-23	Aina Niemetz	New C++ API: Catch and throw recoverable exception...	commit \| commitdiff \| tree
2020-09-23	Aina Niemetz	FP: Use Assert instead of AlwaysAssert in traits::...	commit \| commitdiff \| tree
2020-09-22	Aina Niemetz	FP: Use Assert instead of PRECONDITION macro in converter...	commit \| commitdiff \| tree
2020-09-15	Aina Niemetz	Rename system tests to api tests and remove obsolete...	commit \| commitdiff \| tree
2020-09-01	Aina Niemetz	CMS: Update to version 5.8.0. (#4991)	commit \| commitdiff \| tree
2020-08-11	Aina Niemetz	New C++ API: Remove redundant API functions for mkReal...	commit \| commitdiff \| tree
2020-08-07	Aina Niemetz	GH Actions: Remove cancel action. (#4843)	commit \| commitdiff \| tree
2020-07-21	Aina Niemetz	GH Actions: Cancel builds on push, remove redundant...	commit \| commitdiff \| tree
2020-06-23	Aina Niemetz	New C++ API: Remove examples for old API. (#4650)	commit \| commitdiff \| tree
2020-06-22	Aina Niemetz	get-authors: Add alias for nafur. (#4646)	commit \| commitdiff \| tree
2020-06-16	Aina Niemetz	Update copyright headers.	commit \| commitdiff \| tree
2020-06-16	Aina Niemetz	Add missing REQUIRES to new regressions. (#4625)	commit \| commitdiff \| tree
2020-06-16	Aina Niemetz	BV: Fix querying equality status in lazy bit-blaster...	commit \| commitdiff \| tree
2020-06-16	Aina Niemetz	Fix regressions in regress1 after #4613. (#4616)	commit \| commitdiff \| tree
2020-06-15	Aina Niemetz	BV: Add missing type check for BITVECTOR_REPEAT_OP...	commit \| commitdiff \| tree
2020-06-15	Aina Niemetz	BV: Add missing type check for INT_TO_BITVECTOR. (...	commit \| commitdiff \| tree
2020-06-04	Aina Niemetz	New C++ Api: Second and last batch of API guards. ...	commit \| commitdiff \| tree
2020-06-04	Aina Niemetz	New C++ Api: First batch of API guards. (#4557)	commit \| commitdiff \| tree
2020-06-02	Aina Niemetz	New C++ API: Keep reference to solver object in non...	commit \| commitdiff \| tree
2020-05-22	Aina Niemetz	CaDiCaL: Clean up initialization on creation. (#4516)	commit \| commitdiff \| tree
2020-05-22	Aina Niemetz	Cryptominisat: Clean up initialization on creation...	commit \| commitdiff \| tree
2020-05-22	Aina Niemetz	Add support for SAT solver Kissat. (#4514)	commit \| commitdiff \| tree
2020-05-20	Aina Niemetz	CegqiBv: Clean up after renaming options. (#4487)	commit \| commitdiff \| tree
2020-05-05	Aina Niemetz	Update copyright year and AUTHORS/THANKS files. (#4468)	commit \| commitdiff \| tree
2020-05-02	Aina Niemetz	SMT-COMP 2020: Enable --fp-exp for new FP logics. ...	commit \| commitdiff \| tree
2020-04-29	Aina Niemetz	SMT-COMP 2020: Fix scripts to use --no-type-checking...	commit \| commitdiff \| tree
2020-04-28	Aina Niemetz	contrib/get-gmp: Rename and update install instructions...	commit \| commitdiff \| tree
2020-04-06	Aina Niemetz	New C++ API: Rename Solver::mkTermInternal. (#4217)	commit \| commitdiff \| tree
2020-04-04	Aina Niemetz	New C++ API: Remove Op::getSort(). (#4208)	commit \| commitdiff \| tree
2020-04-01	Aina Niemetz	Rename checkValid/query to checkEntailed. (#4191)	commit \| commitdiff \| tree
next

RSS Atom