projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix segfault by making unit conflict CDMaybe
2017-06-16
Andres Nötzli
Fix segfault by making unit conflict CDMaybe
commit
|
commitdiff
|
tree
2017-05-13
Andres Notzli
Fix out-of-bounds access in test
commit
|
commitdiff
|
tree
2017-05-12
Andres Notzli
Make signal handlers safer
commit
|
commitdiff
|
tree
2017-04-21
Andres Notzli
Add check for C++ exceptions to config script
commit
|
commitdiff
|
tree
2017-04-05
Andres Notzli
[LFSC] Fix segfault
commit
|
commitdiff
|
tree
2017-03-31
Andres Notzli
Remove decl. of getStatisticsRegistry(SmtEngine*)
commit
|
commitdiff
|
tree
2017-03-30
Andres Notzli
[Coverity] Remove throw qualifiers in src/smt
commit
|
commitdiff
|
tree
2017-03-27
Andres Notzli
Remove throw qualifiers in type enumerators
commit
|
commitdiff
|
tree
2017-03-15
Andres Notzli
Fix win-build script to use MinGW-w64 by default
commit
|
commitdiff
|
tree
2017-03-14
Andres Notzli
fix uninitialized variable
commit
|
commitdiff
|
tree
2017-03-08
Andres Notzli
Fix MinGW-w64 build
commit
|
commitdiff
|
tree
2017-01-16
Andres Notzli
[LFSC] Fix performance issues, more determinism
commit
|
commitdiff
|
tree
2016-12-28
Andres Notzli
[LFSC] Minor fixes/improvements
commit
|
commitdiff
|
tree
2016-12-28
Andres Notzli
[LFSC] Fix memory leaks when creating CExprs
commit
|
commitdiff
|
tree
2016-12-17
Andres Notzli
Fix dependency tracing for fewerPreprocessingHoles
commit
|
commitdiff
|
tree
2016-12-14
Andres Notzli
Switch from SMT-LIB v2.0 to v2.5 for smt2 files
commit
|
commitdiff
|
tree
2016-12-12
Andres Notzli
Fix split-find-unsat-w-emp test
commit
|
commitdiff
|
tree
2016-12-09
Andres Notzli
Fix initialization order
commit
|
commitdiff
|
tree
2016-12-09
Andres Notzli
Fix (inactive) `MultSlice` rewrite
commit
|
commitdiff
|
tree
2016-12-02
Andres Notzli
Fix build on macOS Sierra
commit
|
commitdiff
|
tree
2016-11-30
Andres Notzli
Remove wrong `ExtractMultLeadingBit` rule
commit
|
commitdiff
|
tree
2016-11-30
Andres Notzli
Fix parsing of BVROTR by CVC parser
commit
|
commitdiff
|
tree
2016-11-30
Andres Notzli
Add unit test for `MultDistrib` rule
commit
|
commitdiff
|
tree
2016-11-22
Andres Notzli
Fix `MultDistrib` rewrite rule
commit
|
commitdiff
|
tree
2016-11-22
Andres Notzli
Remove unused, libstdc++-exclusive include
commit
|
commitdiff
|
tree
2016-11-18
Andres Notzli
Fix Makefiles in test
commit
|
commitdiff
|
tree
2016-11-05
Andres Notzli
Fix three leaks in unit tests
commit
|
commitdiff
|
tree
2016-11-03
Andres Notzli
Fix back() of empty deque in context_mm_black test
commit
|
commitdiff
|
tree
2016-10-27
Andres Notzli
Fix typo in Makefile that makes distcheck fail
commit
|
commitdiff
|
tree
2016-10-24
Andres Notzli
Fix TRAVIS_CVC4 + TRAVIS_CVC4_DISTCHECK build
commit
|
commitdiff
|
tree
2016-10-19
Andres Notzli
Fix minor bug and typo in boolean rewriter
commit
|
commitdiff
|
tree
2016-08-12
Andres Notzli
Add support for fewer preprocessing holes
commit
|
commitdiff
|
tree
2016-08-09
Andres Notzli
Fix missing/redundant spaces in proofs
commit
|
commitdiff
|
tree
2016-08-05
Andres Notzli
Minor: add/fix comments, remove redundant includes
commit
|
commitdiff
|
tree
2016-07-28
Andres Notzli
Fix out-of-bounds access in ExprManager
commit
|
commitdiff
|
tree
2016-07-27
Andres Notzli
Fix warnings in src/proof
commit
|
commitdiff
|
tree