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

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
2018-09-22	Aina Niemetz	cmake: Generate trace and debug tags	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: .cpp generation done, .h generation not yet...	commit \| commitdiff \| tree
2018-09-22	Aina Niemetz	cmake: Added initial build infrastructure.	commit \| commitdiff \| tree
2018-09-19	Aina Niemetz	New C++ API: Introduce new macro and exception for...	commit \| commitdiff \| tree
2018-09-12	Aina Niemetz	New C++ API: Try to fix (false positive) Coverity warnings...	commit \| commitdiff \| tree
2018-09-12	Aina Niemetz	Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES....	commit \| commitdiff \| tree
2018-09-11	Aina Niemetz	Fixe compiler warning in line_buffer.cpp. (#2453)	commit \| commitdiff \| tree
2018-09-11	Aina Niemetz	Refactor non-clausal simplify preprocessing pass. ...	commit \| commitdiff \| tree
2018-09-04	Aina Niemetz	Transfer ownership of learned literals from SMT engine...	commit \| commitdiff \| tree
2018-09-04	Aina Niemetz	Fix merge mishap of #2359.	commit \| commitdiff \| tree
2018-08-28	Aina Niemetz	Reorder circuit propagator class.	commit \| commitdiff \| tree
2018-08-28	Aina Niemetz	Move flag needsFinish from SMT engine to circuit propagator.	commit \| commitdiff \| tree
2018-08-28	Aina Niemetz	New C++ API: Fix isDefinedKind() to not be ambigious...	commit \| commitdiff \| tree
2018-08-24	Aina Niemetz	New C++ API: Add checks for kind arguments. (#2369)	commit \| commitdiff \| tree
2018-08-23	Aina Niemetz	Refactor ITE simplification preprocessing pass. (#2360)	commit \| commitdiff \| tree
2018-08-21	Aina Niemetz	Fix initialization of d_smt in ValidityChecker for...	commit \| commitdiff \| tree
2018-08-21	Aina Niemetz	Remove disabled system test cvc3_george. (#2342)	commit \| commitdiff \| tree
2018-08-18	Aina Niemetz	run-regress script: Exit with exit code > 0 on failure...	commit \| commitdiff \| tree
2018-08-14	Aina Niemetz	autotools: Remove personal builds, rename build 'default...	commit \| commitdiff \| tree
2018-08-10	Aina Niemetz	Fix portfolio command executor for changes from #2240...	commit \| commitdiff \| tree
2018-08-09	Aina Niemetz	Plug solver API object into parser. (#2240)	commit \| commitdiff \| tree
2018-08-07	Aina Niemetz	Add rewrite for nested BITVECTOR_ITE that can be merged...	commit \| commitdiff \| tree
2018-08-04	Aina Niemetz	Add rewrite for nested BITVECTOR_ITE with cond_outer...	commit \| commitdiff \| tree
2018-08-04	Aina Niemetz	Add rewrite for BITVECTOR_ITE with const children....	commit \| commitdiff \| tree
2018-08-03	Aina Niemetz	Add rewrite for BITVECTOR_ITE with term_then == term_else...	commit \| commitdiff \| tree
2018-08-03	Aina Niemetz	Add timer for BV inequality solver. (#2265)	commit \| commitdiff \| tree
2018-08-02	Aina Niemetz	Add rewrites for BITVECTOR_ITE and BITVECTOR_COMP with...	commit \| commitdiff \| tree
2018-08-01	Aina Niemetz	InteractiveShell: Remove redundant options argument...	commit \| commitdiff \| tree
2018-08-01	Aina Niemetz	New C++ API: Fixed ownership of options object. (#2243)	commit \| commitdiff \| tree
2018-07-26	Aina Niemetz	New C++ API: Enable examples. (#2222)	commit \| commitdiff \| tree
2018-07-26	Aina Niemetz	New C++ API: Third batch of commands (SMT-LIB). (#2212)	commit \| commitdiff \| tree
2018-07-26	Aina Niemetz	New C++ API: Second batch of commands (SMT-LIB). (...	commit \| commitdiff \| tree
2018-07-24	Aina Niemetz	New C++ API: First batch of commands (SMT-LIB and...	commit \| commitdiff \| tree
2018-07-23	Aina Niemetz	New C++ API: Implementation of Solver class: OpTerm...	commit \| commitdiff \| tree
2018-07-23	Aina Niemetz	New C++ API: declare-datatype. (#2166)	commit \| commitdiff \| tree
2018-07-13	Aina Niemetz	New C++ API: Minor reorder. (#2163)	commit \| commitdiff \| tree
2018-07-13	Aina Niemetz	New C++ API: Implementation of datatype classes. (...	commit \| commitdiff \| tree
2018-07-13	Aina Niemetz	New C++ API: Implementation of Solver class: Consts...	commit \| commitdiff \| tree
2018-07-06	Aina Niemetz	New C++ API: Implementation of Solver class: Term handling...	commit \| commitdiff \| tree
2018-07-06	Aina Niemetz	New C++ API: Implementation of Solver class: Sort handling...	commit \| commitdiff \| tree
2018-07-04	Aina Niemetz	New C++ API: Implementation of datatype declaration...	commit \| commitdiff \| tree
2018-07-04	Aina Niemetz	New C++ API: Implementation of OpTerm. (#2132)	commit \| commitdiff \| tree
2018-07-03	Aina Niemetz	New C++ API: Implementation of Term. (#2131)	commit \| commitdiff \| tree
2018-07-03	Aina Niemetz	New C++ API: Implementation of Kind maps. (#2130)	commit \| commitdiff \| tree
2018-07-03	Aina Niemetz	Fix datatypes example: nil constructor was missing...	commit \| commitdiff \| tree
2018-07-02	Aina Niemetz	Refactor ApplySubsts preprocessing pass. (#2120)	commit \| commitdiff \| tree
2018-07-02	Aina Niemetz	New C++ API: Implementation of Sort. (#2122)	commit \| commitdiff \| tree
2018-06-29	Aina Niemetz	New C++ API: Implementation of Result. (#2112)	commit \| commitdiff \| tree
2018-06-27	Aina Niemetz	Header for new C++ API. (#1697)	commit \| commitdiff \| tree
2018-06-26	Aina Niemetz	Bump library version to 1.7-prerelease.	commit \| commitdiff \| tree
2018-06-26	Aina Niemetz	Cutting release 1.6.	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	More updates to NEWS for 1.6.	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Update AUTHORS, NEWS, README, RELEASE-NOTES and THANKS...	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Bump library version.	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Update copyright year in configuration.cpp:copyright().	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Updated copyright headers.	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Do not use git blame -C in get-authors (too many false...	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Fix update-copyright script for files without a header.	commit \| commitdiff \| tree
2018-06-25	Aina Niemetz	Added Makai and Yoni to get-authors script.	commit \| commitdiff \| tree
2018-06-21	Aina Niemetz	Updated installation instructions to mention autogen...	commit \| commitdiff \| tree
next

RSS Atom