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

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
2020-03-17	Aina Niemetz	SmtEngine: Convert members owned by SmtEngine to unique...	commit \| commitdiff \| tree
2020-03-16	Aina Niemetz	DecisionEngine: Use single unique pointer for ITE strategy...	commit \| commitdiff \| tree
2020-03-16	Aina Niemetz	Issue 4077: Add unit test to reproduce issue. (#4107)	commit \| commitdiff \| tree
2020-03-12	Aina Niemetz	New C++ API: Remove support for (reset). (#4037)	commit \| commitdiff \| tree
2020-03-12	Aina Niemetz	Hide options for and related to the BV abstraction...	commit \| commitdiff \| tree
2020-03-11	Aina Niemetz	bv-gauss-elim: Fix handling of inconsistent case. ...	commit \| commitdiff \| tree
2020-03-10	Aina Niemetz	Fix issue with reset-assertions. (#3988)	commit \| commitdiff \| tree
2020-03-10	Aina Niemetz	Use fixed-width types in test/unit/context/contest_mm_black...	commit \| commitdiff \| tree
2020-03-10	Aina Niemetz	Fix -Wshadow warning in test/unit/context/context_mm_black...	commit \| commitdiff \| tree
2020-03-10	Aina Niemetz	Fix -Wshadow warnings in sygus_grammar_cons.cpp. (...	commit \| commitdiff \| tree
2020-03-09	Aina Niemetz	DecisionEngine: Use unique_ptr for enabled strategies...	commit \| commitdiff \| tree
2020-03-05	Aina Niemetz	Move ownership of DecisionEngine into PropEngine. ...	commit \| commitdiff \| tree
2020-03-05	Aina Niemetz	Revert "Move ownership of DecisionEngine into PropEngine...	commit \| commitdiff \| tree
2020-02-29	Aina Niemetz	propEngine: Reorder class declaration according to...	commit \| commitdiff \| tree
2020-02-21	Aina Niemetz	New C++ API: Remove TOTAL kinds. (#3794)	commit \| commitdiff \| tree
2020-02-04	Aina Niemetz	--fp-exp: Better warning message. (#3709)	commit \| commitdiff \| tree
2020-02-04	Aina Niemetz	Increase regression test time limit to 1200s. (#3704)	commit \| commitdiff \| tree
2020-01-15	Aina Niemetz	New C++ API: Add nullary constructor for Result. (...	commit \| commitdiff \| tree
2019-12-13	Aina Niemetz	FP converter: convert: Use std::vector as instead...	commit \| commitdiff \| tree
next

RSS Atom