projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2017-09-14 MartinFloating point symfpu support (#1093) commit | commitdiff | tree
2017-09-14 Andrew ReynoldsAdd new kinds required for higher-order. (#1083) commit | commitdiff | tree
2017-09-14 Andrew ReynoldsAdd isConst check for lambda expressions. (#1084) commit | commitdiff | tree
2017-09-13 Andres NoetzliMake ccache work with Clang on Travis (#1097) commit | commitdiff | tree
2017-09-13 Andrew ReynoldsModify equality engine to allow operators to be marked... commit | commitdiff | tree
2017-09-13 Andres NoetzliRemove unused RecordSelect and TupleSelect (#1087) commit | commitdiff | tree
2017-09-13 Andres NoetzliEnable ccache on Travis, disable debug symbols (#1094) commit | commitdiff | tree
2017-09-12 Andrew ReynoldsInitial infrastructure for BV instantiation via word... commit | commitdiff | tree
2017-09-12 Tim KingAdding reasonable breaks in switch statement in TheoryS... commit | commitdiff | tree
2017-09-11 Tim KingAddressing a coverity scan complaint in theory_strings... commit | commitdiff | tree
2017-09-10 Andrew ReynoldsEnsure that expand definitions is called on all non... commit | commitdiff | tree
2017-09-07 Andrew ReynoldsProperly handle user cardinality constraints for uf... commit | commitdiff | tree
2017-09-05 Mathias PreinerFix link in configure.ac. commit | commitdiff | tree
2017-09-05 Andrew ReynoldsRemove support for conversions between uint32/uint16... commit | commitdiff | tree
2017-09-01 Aina NiemetzAdd travis debug build with cln. (#1066) commit | commitdiff | tree
2017-09-01 Andres NoetzliAdd GCC7 jobs to Travis (#1054) commit | commitdiff | tree
2017-09-01 Andres NoetzliReplace CVC4_THREADLOCAL in interactive_shell (#1065) commit | commitdiff | tree
2017-08-31 Andrew ReynoldsAnswer unknown when uf-ss=no-minimal is combined with... commit | commitdiff | tree
2017-08-31 Andres NoetzliUse thread_local instead of compiler extensions (#210) commit | commitdiff | tree
2017-08-30 Andrew ReynoldsFix model construction for parametric types (#1059) commit | commitdiff | tree
2017-08-30 Mathias PreinerRemove Coverity SSL certificate workaround from Travis... commit | commitdiff | tree
2017-08-29 Mathias PreinerFix indentation for disabled Java tests. commit | commitdiff | tree
2017-08-29 Mathias PreinerDisable Java tests for now until they get fixed. commit | commitdiff | tree
2017-08-28 Pat HawksRun Ant on Travis commit | commitdiff | tree
2017-08-28 Andres NoetzliTravis: Package instead of download for cxxtest (#1055) commit | commitdiff | tree
2017-08-25 Aina NiemetzMove LFSC checker out of the CVC repository. (#222) commit | commitdiff | tree
2017-08-25 Aina NiemetzAdded missing includes (algorithm). commit | commitdiff | tree
2017-08-24 Pat HawksTest Java API on CI commit | commitdiff | tree
2017-08-24 Andres NoetzliAdd include to fix build commit | commitdiff | tree
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp commit | commitdiff | tree
2017-08-24 Andres NoetzliFix typos commit | commitdiff | tree
2017-08-23 Tim KingRemoving TODO for 'Optimize via the iterator'. Not... commit | commitdiff | tree
2017-08-22 Aina NiemetzCleanup: use Assert rather than C assert. (#1052) commit | commitdiff | tree
2017-08-22 Clark BarrettUpdated NYU -> Stanford commit | commitdiff | tree
2017-08-21 Mathias PreinerChange Bugzilla urls to Github issues. commit | commitdiff | tree
2017-08-17 Andres NoetzliRemove unused SubrangeBound(s) classes (#221) commit | commitdiff | tree
2017-08-17 ajreynolAdd mbqi interleave option, change option fs-inst to... commit | commitdiff | tree
2017-08-15 Andres NoetzliMinimize includes in expr.h: remove dups, iostream... commit | commitdiff | tree
2017-08-15 Andres NoetzliMove function definitions from metakind.h to cpp (... commit | commitdiff | tree
2017-08-15 Andres NoetzliMove function definitions from kind.h to kind.cpp ... commit | commitdiff | tree
2017-08-14 Andres NoetzliMove function defns from smt_engine_scope.h to cpp... commit | commitdiff | tree
2017-08-14 Mathias PreinerUse antlr-3.4 directory if already present in CVC4... commit | commitdiff | tree
2017-08-14 Aina NiemetzMerge pull request #214 from CVC4/fix_warn_nonlinear commit | commitdiff | tree
2017-08-14 Mark LawsBuild and test suite fixes for Windows (#186) commit | commitdiff | tree
2017-08-12 Aina NiemetzFix compiler warnings in theory/arith/nonlinear_extensi... commit | commitdiff | tree
2017-08-11 ajreynolMaintain frontier for tangent planes. commit | commitdiff | tree
2017-08-10 Andres NoetzliFix line numbers in options_template commit | commitdiff | tree
2017-08-09 Mathias PreinerFix compiler warning in src/context/context.h. commit | commitdiff | tree
2017-08-09 Aina NiemetzFix help message for disable-unit-testing in configure... commit | commitdiff | tree
2017-08-09 Mathias PreinerRemove AigBitblaster implementation if ABC is not compi... commit | commitdiff | tree
2017-08-09 Aina NiemetzFix Assertion (compiler warning) in theory/bv/theory_bv.cpp commit | commitdiff | tree
2017-08-09 Andres NoetzliFix compiler warning in sat_proof_implementation commit | commitdiff | tree
2017-08-08 ajreynolUse cache for datatypes cycle check, add regression. commit | commitdiff | tree
2017-08-08 Andrew ReynoldsMerge pull request #211 from CVC4/fix_warn_sygus commit | commitdiff | tree
2017-08-08 Andres NoetzliOptionally split regression tests into test groups... commit | commitdiff | tree
2017-08-08 Aina NiemetzFix compiler warning in theory/quantifiers/term_databas... commit | commitdiff | tree
2017-08-07 ajreynolChange sygus output for failed reconstruction case. commit | commitdiff | tree
2017-08-07 ajreynolMake quantifier elimination more robust to preprocessing. commit | commitdiff | tree
2017-08-05 Aina NiemetzReorganized bitvector.h commit | commitdiff | tree
2017-08-04 Aina NiemetzFix comments commit | commitdiff | tree
2017-08-04 Aina NiemetzFix typos in comments commit | commitdiff | tree
2017-08-04 ajreynolSet default language to smt lib 2.6 (including as a... commit | commitdiff | tree
2017-08-02 Mathias PreinerDisable debug symbols for production builds. commit | commitdiff | tree
2017-07-31 ajreynolMinor improvement for enumerative instantiation. commit | commitdiff | tree
2017-07-30 Andres NoetzliFix memory leak in symbol table (#209) commit | commitdiff | tree
2017-07-30 Andres NoetzliChange remaining hash_set -> unordered_set (#208) commit | commitdiff | tree
2017-07-29 ajreynolAdd support for charat in native language, minor cleanup. commit | commitdiff | tree
2017-07-28 ajreynolFix cache issues for cyclic string equations. commit | commitdiff | tree
2017-07-27 Andres Noetzli-Og for non-opt build, parallel pcvc4 check (#206) commit | commitdiff | tree
2017-07-26 Mathias PreinerUse TEST_CPPFLAGS/TEST_CXXFLAGS to add path to CxxTest... commit | commitdiff | tree
2017-07-23 Tim KingDisabling compiling unit tests with coverity scan for... commit | commitdiff | tree
2017-07-23 Tim KingDeprecating the unused convenience_node_builders.h... commit | commitdiff | tree
2017-07-23 Tim KingConsolidating the opaque pointers in SymbolTable. ... commit | commitdiff | tree
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp commit | commitdiff | tree
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... commit | commitdiff | tree
2017-07-20 ajreynolFix a few bugs related to sygus. commit | commitdiff | tree
2017-07-20 Tim KingRemoving the unused CDAttribute. This makes CDHashMap... commit | commitdiff | tree
2017-07-19 Andres NoetzliFix simple_vc_compat_cxx example (#202) commit | commitdiff | tree
2017-07-18 Tim KingAdding a garbage list that get collected during the... commit | commitdiff | tree
2017-07-17 Tim KingFixing the order of the comparison operation. commit | commitdiff | tree
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp commit | commitdiff | tree
2017-07-17 Andres NoetzliUse is_sorted, merge, copy from std (#199) commit | commitdiff | tree
2017-07-17 Andres NoetzliRemove PtrCloser (#198) commit | commitdiff | tree
2017-07-17 Tim KingMoving to static_assert now that c++11 is available. commit | commitdiff | tree
2017-07-16 Andres NoetzliUse CXXFLAGS when compiling parsers (#197) commit | commitdiff | tree
2017-07-15 Andres NoetzliFix warning about unknown escape sequence (#196) commit | commitdiff | tree
2017-07-15 Andres NoetzliDisable separate gnu++11 tests on Travis (#193) commit | commitdiff | tree
2017-07-14 Tim KingRemoving BOOST_FOREACH usage. commit | commitdiff | tree
2017-07-14 Tim KingCleaning up the CVC4::String class. commit | commitdiff | tree
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11 commit | commitdiff | tree
2017-07-13 Aina Niemetzautoconf: make -std=gnu++11 mandatory commit | commitdiff | tree
2017-07-12 ajreynolFix unit tests for subranges. Fix destructors for conte... commit | commitdiff | tree
2017-07-12 ajreynolFix .i files from last commit. commit | commitdiff | tree
2017-07-12 ajreynolMake type rules more strict for operators whose type... commit | commitdiff | tree
2017-07-11 Mathias PreinerRemove trailing slashes from directories if specified... commit | commitdiff | tree
2017-07-10 ajreynolDo not exit when value/model/unsat-core/proof is reques... commit | commitdiff | tree
2017-07-10 ajreynolAdd nl regression. commit | commitdiff | tree
2017-07-10 ajreynolMerge ntExt branch. Adds support for transcendental... commit | commitdiff | tree
2017-07-10 ajreynolSeparate sygus term utilities to new file, minor cleanu... commit | commitdiff | tree
2017-07-10 ajreynolMerge datatype shared selectors/sygus comp 2017 branch... commit | commitdiff | tree
next