2017-09-19 |
Andres Noetzli | Fix issue #1074, improve non-fatal error handling ...
|
commit | commitdiff | tree |
2017-09-14 |
Andres Noetzli | Enable ccache compression, increase cache size (#1099)
|
commit | commitdiff | tree |
2017-09-13 |
Andres Noetzli | Make ccache work with Clang on Travis (#1097)
|
commit | commitdiff | tree |
2017-09-13 |
Andres Noetzli | Remove unused RecordSelect and TupleSelect (#1087)
|
commit | commitdiff | tree |
2017-09-13 |
Andres Noetzli | Enable ccache on Travis, disable debug symbols (#1094)
|
commit | commitdiff | tree |
2017-09-01 |
Andres Noetzli | Add GCC7 jobs to Travis (#1054)
|
commit | commitdiff | tree |
2017-09-01 |
Andres Noetzli | Replace CVC4_THREADLOCAL in interactive_shell (#1065)
|
commit | commitdiff | tree |
2017-08-31 |
Andres Noetzli | Use thread_local instead of compiler extensions (#210)
|
commit | commitdiff | tree |
2017-08-28 |
Andres Noetzli | Travis: Package instead of download for cxxtest (#1055)
|
commit | commitdiff | tree |
2017-08-17 |
Andres Noetzli | Remove unused SubrangeBound(s) classes (#221)
|
commit | commitdiff | tree |
2017-08-15 |
Andres Noetzli | Minimize includes in expr.h: remove dups, iostream...
|
commit | commitdiff | tree |
2017-08-15 |
Andres Noetzli | Move function definitions from metakind.h to cpp (...
|
commit | commitdiff | tree |
2017-08-15 |
Andres Noetzli | Move function definitions from kind.h to kind.cpp ...
|
commit | commitdiff | tree |
2017-08-14 |
Andres Noetzli | Move function defns from smt_engine_scope.h to cpp...
|
commit | commitdiff | tree |
2017-08-08 |
Andres Noetzli | Optionally split regression tests into test groups...
|
commit | commitdiff | tree |
2017-07-30 |
Andres Noetzli | Fix memory leak in symbol table (#209)
|
commit | commitdiff | tree |
2017-07-30 |
Andres Noetzli | Change remaining hash_set -> unordered_set (#208)
|
commit | commitdiff | tree |
2017-07-27 |
Andres Noetzli | -Og for non-opt build, parallel pcvc4 check (#206)
|
commit | commitdiff | tree |
2017-07-19 |
Andres Noetzli | Fix simple_vc_compat_cxx example (#202)
|
commit | commitdiff | tree |
2017-07-17 |
Andres Noetzli | Use is_sorted, merge, copy from std (#199)
|
commit | commitdiff | tree |
2017-07-17 |
Andres Noetzli | Remove PtrCloser (#198)
|
commit | commitdiff | tree |
2017-07-16 |
Andres Noetzli | Use CXXFLAGS when compiling parsers (#197)
|
commit | commitdiff | tree |
2017-07-15 |
Andres Noetzli | Fix warning about unknown escape sequence (#196)
|
commit | commitdiff | tree |
2017-07-15 |
Andres Noetzli | Disable separate gnu++11 tests on Travis (#193)
|
commit | commitdiff | tree |
2017-07-07 |
Andres Noetzli | Remove unused stacking_vector class (#185)
|
commit | commitdiff | tree |
2017-07-07 |
Andres Noetzli | Avoid invoking copy constructor when safe printing...
|
commit | commitdiff | tree |
2017-07-04 |
Andres Nötzli | Update README for 1.5 release (#182)
|
commit | commitdiff | tree |
2017-06-30 |
Andres Nötzli | Fix use-after-free with unsat cores/proofs (#174)
|
commit | commitdiff | tree |
2017-06-23 |
Andres Nötzli | Fix assertion failure due to missing clause id (#180)
|
commit | commitdiff | tree |
2017-06-22 |
Andres Nötzli | Fix unsat cores script for SMT-COMP (#179)
|
commit | commitdiff | tree |
2017-06-21 |
Andres Nötzli | Add run script for unsat cores track at SMT-COMP (...
|
commit | commitdiff | tree |
2017-06-17 |
Andres Nötzli | Change language in competition script to smt2.6 (#171)
|
commit | commitdiff | tree |
2017-06-17 |
Andres Nötzli | Fix stream parsing
|
commit | commitdiff | tree |
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 |
|