projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Remove forward declarations in quantifiers engine (#3156)
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