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

2019-06-01	Aina Niemetz	Update QF_BV options for SMT-COMP 2019. (#3033)	commit \| commitdiff \| tree
2019-05-18	Aina Niemetz	FP: Fix regression test and enable SymFPU on Travis...	commit \| commitdiff \| tree
2019-05-15	Aina Niemetz	BV: Do not enable abstraction when eager bit-blasting...	commit \| commitdiff \| tree
2019-04-26	Aina Niemetz	New C++ API: Clean up API: mkVar vs mkConst vs mkBoundVar...	commit \| commitdiff \| tree
2019-04-25	Aina Niemetz	Fix compiler warning. (#2975)	commit \| commitdiff \| tree
2019-04-24	Aina Niemetz	README: Remove project leaders, history.	commit \| commitdiff \| tree
2019-04-24	Aina Niemetz	CONTRIBUTING: Fix project leaders link.	commit \| commitdiff \| tree
2019-04-22	Aina Niemetz	Add CONTRIBUTING file. (#2968)	commit \| commitdiff \| tree
2019-04-09	Aina Niemetz	Fix email address of the bugs email list and delete...	commit \| commitdiff \| tree
2019-04-03	Aina Niemetz	Update copyright headers.	commit \| commitdiff \| tree
2019-04-03	Aina Niemetz	get-authors: Add GitHub user ayveejay -> Andrew V....	commit \| commitdiff \| tree
2019-03-26	Aina Niemetz	Update copyright headers.	commit \| commitdiff \| tree
2019-03-26	Aina Niemetz	update-copyright: Update to 2019.	commit \| commitdiff \| tree
2019-03-25	Aina Niemetz	update-copyright: Fix matching of excluded paths.	commit \| commitdiff \| tree
2019-03-25	Aina Niemetz	get-authors: Readd option -C to git blame command.	commit \| commitdiff \| tree
2019-03-24	Aina Niemetz	New C++ API: Fix include. (#2896)	commit \| commitdiff \| tree
2019-03-24	Aina Niemetz	BV: Fix typerules for rotate operators. (#2895)	commit \| commitdiff \| tree
2019-03-19	Aina Niemetz	New C++: Remove redundant mkBoundVar function.	commit \| commitdiff \| tree
2019-03-19	Aina Niemetz	New C++: Remove redundant mkVar function.	commit \| commitdiff \| tree
2019-03-18	Aina Niemetz	BitVector: Allow base 10 in constructor. (#2870)	commit \| commitdiff \| tree
2019-03-14	Aina Niemetz	Improve INSTALL instructions. (#2866)	commit \| commitdiff \| tree
2019-02-13	Aina Niemetz	New C++ API: Remove redundant declareFun function....	commit \| commitdiff \| tree
2019-02-13	Aina Niemetz	New C++ API: Remove redundant mkTerm function. (#2836)	commit \| commitdiff \| tree
2019-02-11	Aina Niemetz	New C++ API: Unit tests for declare* functions. (#2831)	commit \| commitdiff \| tree
2019-01-29	Aina Niemetz	New C++ API: Fix checks for mkTerm. (#2820)	commit \| commitdiff \| tree
2019-01-22	Aina Niemetz	New README (markdown). (#2797)	commit \| commitdiff \| tree
2019-01-11	Aina Niemetz	New C++ API: Add unit tests for setInfo, setLogic,...	commit \| commitdiff \| tree
2019-01-10	Aina Niemetz	New C++ API: Get rid of mkConst functions (simplify...	commit \| commitdiff \| tree
2019-01-07	Aina Niemetz	New C++ API: Add missing getType() calls to kick off...	commit \| commitdiff \| tree
2019-01-04	Aina Niemetz	New C++ API: Add missing catch blocks for std::invalid_argum...	commit \| commitdiff \| tree
2019-01-03	Aina Niemetz	New C++ API: Add tests for mk-functions in solver object...	commit \| commitdiff \| tree
2018-12-20	Aina Niemetz	Clean up BV kinds and type rules. (#2766)	commit \| commitdiff \| tree
2018-12-20	Aina Niemetz	Add missing type rules for parameterized operator kinds...	commit \| commitdiff \| tree
2018-12-18	Aina Niemetz	Remove noop. (#2763)	commit \| commitdiff \| tree
2018-12-17	Aina Niemetz	New C++ API: Add tests for term object. (#2755)	commit \| commitdiff \| tree
2018-12-14	Aina Niemetz	Fixed typos.	commit \| commitdiff \| tree
2018-12-14	Aina Niemetz	New C++ API: Add tests for opterm object. (#2756)	commit \| commitdiff \| tree
2018-12-13	Aina Niemetz	New C++ API: Add tests for sort functions of solver...	commit \| commitdiff \| tree
2018-12-13	Aina Niemetz	Fix compiler warnings. (#2748)	commit \| commitdiff \| tree
2018-11-05	Aina Niemetz	New C++ API: Split unit tests. (#2688)	commit \| commitdiff \| tree
2018-10-20	Aina Niemetz	BV rewrites (mined): Rule 35: ConcatPullUp with special...	commit \| commitdiff \| tree
2018-10-20	Aina Niemetz	BV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_XOR...	commit \| commitdiff \| tree
2018-10-17	Aina Niemetz	BV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_OR...	commit \| commitdiff \| tree
2018-10-16	Aina Niemetz	BV rewrites (mined): Rule 35: Generalized ConcatPullUp...	commit \| commitdiff \| tree
2018-10-16	Aina Niemetz	BV rewrites (mined): Rule 35: Generalized ConcatPullUp...	commit \| commitdiff \| tree
2018-10-16	Aina Niemetz	BV rewrites (mined): Rule 35: Generalized ConcatPullUp...	commit \| commitdiff \| tree
2018-10-16	Aina Niemetz	BV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_AND...	commit \| commitdiff \| tree
2018-10-09	Aina Niemetz	Random: support URNG interface (#2595)	commit \| commitdiff \| tree
2018-10-09	Aina Niemetz	Fix compiler warnings. (#2601)	commit \| commitdiff \| tree
2018-10-09	Aina Niemetz	BV instantiator: Factor out util functions. (#2604)	commit \| commitdiff \| tree
2018-10-09	Aina Niemetz	BV inverter: Factor out util functions. (#2603)	commit \| commitdiff \| tree
2018-10-09	Aina Niemetz	Cmake: Fix ctest call for example/translator. (#2600)	commit \| commitdiff \| tree
2018-10-04	Aina Niemetz	New C++ API: Add checks for Sorts. (#2519)	commit \| commitdiff \| tree
2018-10-04	Aina Niemetz	Fix mem leak in sha1_collision example. (#2588)	commit \| commitdiff \| tree
2018-10-04	Aina Niemetz	Fix mem leak in sets_translate example. (#2589)	commit \| commitdiff \| tree
2018-10-04	Aina Niemetz	Fix compiler warnings. (#2585)	commit \| commitdiff \| tree
2018-10-01	Aina Niemetz	Fix compiler warnings. (#2555)	commit \| commitdiff \| tree
2018-09-26	Aina Niemetz	cmake: New INSTALL.md for build and testing instructions...	commit \| commitdiff \| tree
2018-09-26	Aina Niemetz	examples/hashsmt/sha1_inversion: Fix includes for newer...	commit \| commitdiff \| tree
2018-09-25	Aina Niemetz	cmake: configure.sh wrapper: Removed unused option...	commit \| commitdiff \| tree
2018-09-25	Aina Niemetz	cmake: Fix git version info (again). (#2523)	commit \| commitdiff \| tree
2018-09-24	Aina Niemetz	cmake: Fix and simplify git version info. (#2516)	commit \| commitdiff \| tree
2018-09-23	Aina Niemetz	New C++ API: Add checks for Terms/OpTerms. (#2455)	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: Use explicit build directory...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Refactor cvc4_add_unit_test macro to support...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add target runexamples.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Do not allow dumping with portfolio build.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: More documentation, clean up.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Move extracting git information to src/base...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Do not build examples and unit and system tests...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: examples: Configure output directory per target.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added java examples	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added target examples (currently .cpp examples...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Refactor and clean up build profile printing.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added target check	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: Fix handling of options...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: Removed env vars help...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: Configurable build directory	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: Create build dirs for...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: done (except: configurable...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Updated and prettified configuration printing.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: configure.sh wrapper: option parsing	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add ENABLE_DEBUG_CONTEXT_MM to enable the debug...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add ENABLE_BEST to enable best configuration...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add dependencies for test targets and support...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Enable parallel execution for test targets regress...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Build unit tests only if -DENABLE_UNIT_TESTING=ON.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added system tests and target make systemtests.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added regression tests and target make regress.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add target units.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Removed obsolete CMakeLists file in test.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add support for CxxTest.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Filter through and disable unused HAVE_* variables...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added support for coverage and profiling.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added 3-valued option handling (to enable detection...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added licensing options and warnings/errors.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Add build configurations.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Fixed compiler flag macros.	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Generate cvc4autoconfig.h (options currently...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added missing dependency for src/util	commit \| commitdiff \| tree
next

RSS Atom