summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2017-08-25Move LFSC checker out of the CVC repository. (#222)Aina Niemetz
2017-08-25Added missing includes (algorithm).Aina Niemetz
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-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-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-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-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-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-22Deprecating the unused convenience_node_builders.h (#203)Tim King
2017-07-22Consolidating the opaque pointers in SymbolTable. (#204)Tim King
2017-07-20Merge branch 'master' into cleanup-regexpTim King
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-20Fix a few bugs related to sygus.ajreynol
2017-07-19Removing the unused CDAttribute. This makes CDHashMap::obliterate unused. Rem...Tim King
2017-07-19Fix simple_vc_compat_cxx example (#202)Andres Noetzli
2017-07-18Adding a garbage list that get collected during the ~Scope. Removing the CDHa...Tim King
2017-07-17Fixing the order of the comparison operation.Tim King
2017-07-17Merge branch 'master' into cleanup-regexpTim King
2017-07-17Use is_sorted, merge, copy from std (#199)Andres Noetzli
2017-07-17Remove PtrCloser (#198)Andres Noetzli
2017-07-16Moving to static_assert now that c++11 is available.Tim King
2017-07-16Use CXXFLAGS when compiling parsers (#197)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback