summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2017-08-28fix java testsfix_java_testsAndres Noetzli
2017-08-28Fix Java testsAndres Noetzli
2017-08-28Run Ant on TravisPat Hawks
2017-08-28Travis: Package instead of download for cxxtest (#1055)Andres Noetzli
2017-08-25Move LFSC checker out of the CVC repository. (#222)Aina Niemetz
2017-08-25Added missing includes (algorithm).Aina Niemetz
2017-08-24Test Java API on CIPat Hawks
2017-08-24Add include to fix buildAndres Noetzli
2017-08-24Merge pull request #191 from timothy-king/cleanup-regexpAndrew Reynolds
2017-08-23Fix typosAndres Noetzli
2017-08-23Removing TODO for 'Optimize via the iterator'. Not a priority. (#1051)Tim King
2017-08-21Cleanup: use Assert rather than C assert. (#1052)Aina Niemetz
2017-08-21Updated NYU -> StanfordClark Barrett
2017-08-21Change Bugzilla urls to Github issues.Mathias Preiner
2017-08-17Remove unused SubrangeBound(s) classes (#221)Andres Noetzli
2017-08-17Add mbqi interleave option, change option fs-inst to fs-interleave.ajreynol
2017-08-14Minimize includes in expr.h: remove dups, iostream (#219)Andres Noetzli
2017-08-14Move function definitions from metakind.h to cpp (#218)Andres Noetzli
2017-08-14Move function definitions from kind.h to kind.cpp (#217)Andres Noetzli
2017-08-14Move function defns from smt_engine_scope.h to cpp (#216)Andres Noetzli
2017-08-14Use antlr-3.4 directory if already present in CVC4 root directory (#213)Mathias Preiner
2017-08-14Merge pull request #214 from CVC4/fix_warn_nonlinearAina Niemetz
2017-08-14Build and test suite fixes for Windows (#186)Mark Laws
2017-08-11Fix compiler warnings in theory/arith/nonlinear_extension.cppAina Niemetz
2017-08-11Maintain frontier for tangent planes.ajreynol
2017-08-10Fix line numbers in options_templateAndres Noetzli
2017-08-09Fix compiler warning in src/context/context.h.Mathias Preiner
2017-08-09Fix help message for disable-unit-testing in configure.ac (don't -> do not)Aina Niemetz
2017-08-09Remove AigBitblaster implementation if ABC is not compiled (#212)Mathias Preiner
2017-08-09Fix Assertion (compiler warning) in theory/bv/theory_bv.cppAina Niemetz
2017-08-09Fix compiler warning in sat_proof_implementationAndres Noetzli
2017-08-08Use cache for datatypes cycle check, add regression.ajreynol
2017-08-08Merge pull request #211 from CVC4/fix_warn_sygusAndrew Reynolds
2017-08-07Optionally split regression tests into test groups (#207)Andres Noetzli
2017-08-07Fix compiler warning in theory/quantifiers/term_database_sygus.cppAina Niemetz
2017-08-07Change sygus output for failed reconstruction case.ajreynol
2017-08-07Make quantifier elimination more robust to preprocessing.ajreynol
2017-08-04Reorganized bitvector.hAina Niemetz
2017-08-04Fix commentsAina Niemetz
2017-08-04Fix typos in commentsAina Niemetz
2017-08-04Set default language to smt lib 2.6 (including as a base language for sygus),...ajreynol
2017-08-02Disable debug symbols for production builds.Mathias Preiner
2017-07-31Minor improvement for enumerative instantiation.ajreynol
2017-07-30Fix memory leak in symbol table (#209)Andres Noetzli
2017-07-29Change remaining hash_set -> unordered_set (#208)Andres Noetzli
2017-07-29Add support for charat in native language, minor cleanup.ajreynol
2017-07-28Fix cache issues for cyclic string equations.ajreynol
2017-07-26-Og for non-opt build, parallel pcvc4 check (#206)Andres Noetzli
2017-07-26Use TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest headers in configure.a...Mathias Preiner
2017-07-23Disabling compiling unit tests with coverity scan for now.Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback