projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2017-10-10 Aina NiemetzCBQI BV: Add inverse for more operators. (#1213) commit | commitdiff | tree
2017-10-05 Clark BarrettFix typo in comment. commit | commitdiff | tree
2017-10-05 Mathias PreinerSplit COPYING file, add missing licenses. (#1195) commit | commitdiff | tree
2017-10-05 Andrew ReynoldsMinor change to how SyGus commands are translated to... commit | commitdiff | tree
2017-10-05 Andrew ReynoldsHo model (#1120) commit | commitdiff | tree
2017-10-05 MartinAllow CDHashMaps for objects without default constructo... commit | commitdiff | tree
2017-10-05 Aina NiemetzAdd mkZero, mkOne and mkUmulo to bv utils. (#1200) commit | commitdiff | tree
2017-10-04 Andrew ReynoldsHo quant util (#1119) commit | commitdiff | tree
2017-10-04 Tim KingRemoving the throw specifier from ArrayStoreAll constru... commit | commitdiff | tree
2017-10-04 Andrew ReynoldsAdd regression from #50 regarding "as" parsing in smt2... commit | commitdiff | tree
2017-10-03 Mathias PreinerAdd Cryptominisat and LFSC to --show-config output... commit | commitdiff | tree
2017-10-03 Andrew ReynoldsMove sygus grammar utilities to separate file. (#1184) commit | commitdiff | tree
2017-10-03 Andrew ReynoldsOp overload parser (#1162) commit | commitdiff | tree
2017-10-03 Andres NoetzliAdd initial version of the SMTCOMP2018 run scripts... commit | commitdiff | tree
2017-10-03 Andres NoetzliUnify hash functions for pairs (#1161) commit | commitdiff | tree
2017-10-03 MartinAdd 5 FP kinds for partial to total fn conversion ... commit | commitdiff | tree
2017-10-02 Mathias PreinerAddress comments from PR #1164. (#1174) commit | commitdiff | tree
2017-10-02 Tim KingRemoving throw specifiers from SymbolTable::Implementat... commit | commitdiff | tree
2017-10-02 Tim KingRemoving throw specifiers from TypeEnumeratorBase's... commit | commitdiff | tree
2017-10-02 Tim KingCID 1457268: Initializing CegConjecture::d_syntax_guide... commit | commitdiff | tree
2017-10-01 Andrew ReynoldsRefactor check function in last call effort of non... commit | commitdiff | tree
2017-09-30 Andrew ReynoldsSyGuS streaming solution mode (#1131) commit | commitdiff | tree
2017-09-29 Mathias PreinerMove BvInverter class into separate file. (#1173) commit | commitdiff | tree
2017-09-29 Clark BarrettA few updates to license files. commit | commitdiff | tree
2017-09-29 Andres NoetzliAdd license information for GMP commit | commitdiff | tree
2017-09-29 Andrew ReynoldsSimplify representation of inversion Skolems for bv... commit | commitdiff | tree
2017-09-29 Andrew ReynoldsInitial working version of BV word-level instantiation... commit | commitdiff | tree
2017-09-29 Andres NoetzliBetter hash function for pairs (#1157) commit | commitdiff | tree
2017-09-29 Andrew ReynoldsUpdate symbol table to support operator overloading... commit | commitdiff | tree
2017-09-29 Mathias PreinerFix output of --show-config for readline. (#1159) commit | commitdiff | tree
2017-09-28 Andrew ReynoldsCegqi refactor prep bv (#1155) commit | commitdiff | tree
2017-09-28 Andrew ReynoldsImprove finite model finding for recursive predicates... commit | commitdiff | tree
2017-09-27 Andrew ReynoldsMinor fixes for partial quantifier elimination. (#1147) commit | commitdiff | tree
2017-09-27 Aina NiemetzCEGQI for BV: Add inverse for BITVECTOR_MULT. (#1153) commit | commitdiff | tree
2017-09-27 Andrew ReynoldsAdd quantifiers API example, fixes #879 (#1146) commit | commitdiff | tree
2017-09-27 Andres NoetzliFix seeking for buffered input (#1145) commit | commitdiff | tree
2017-09-27 Martin BrainFix type checking of to_real (#1127) commit | commitdiff | tree
2017-09-27 Martin BrainImprove FP rewriter: const folding, other (#1126) commit | commitdiff | tree
2017-09-26 Tim KingFixing CIDs 1172014 and 1172013: Initializing members... commit | commitdiff | tree
2017-09-26 Tim KingFixing Cid 1172009 (#1141) commit | commitdiff | tree
2017-09-26 Tim KingFixing CID 1172020: Initializing CDHashMap::iterator... commit | commitdiff | tree
2017-09-26 Tim KingFixing CID 1362903: Initializing d_bvp to nullptr.... commit | commitdiff | tree
2017-09-26 Tim KingCID 1362904: Initializing GetInstantiationsCommand... commit | commitdiff | tree
2017-09-26 Andres NoetzliFix build for old GMP version (#1114) commit | commitdiff | tree
2017-09-26 Tim KingFixing CIDs 1172012 and 1172011: Initiallzing d_exprMan... commit | commitdiff | tree
2017-09-26 Andrew ReynoldsCegqi refactor substitutions (#1129) commit | commitdiff | tree
2017-09-25 Tim KingInitializing BVMinisat Solver::notify to nullptr. ... commit | commitdiff | tree
2017-09-25 Andrew ReynoldsFix bug related to sort inference + subtypes. (#1125) commit | commitdiff | tree
2017-09-25 Tim KingFixing CID 1362917: There was a branch where d_issup... commit | commitdiff | tree
2017-09-25 Tim KingFixing CID 1362895: Initializing d_bvp to nullptr.... commit | commitdiff | tree
2017-09-25 Tim KingCID 1362907: Initializing d_smtEngine to nullptr. ... commit | commitdiff | tree
2017-09-21 Andrew ReynoldsSygus inv templ refactor (#1110) commit | commitdiff | tree
2017-09-21 Andrew ReynoldsExtend quantifier-free UF solver to higher-order. This... commit | commitdiff | tree
2017-09-20 Andres NoetzliFix issue #1081, memory leak in cmd executor (#1109) commit | commitdiff | tree
2017-09-20 MartinAdd FP type enumerator and cardinality computer (#1104) commit | commitdiff | tree
2017-09-19 Tim KingFixing a null pointer dereference in the cvc3 compatibi... commit | commitdiff | tree
2017-09-19 Tim KingRemoving a potentially invalid comparison in the TPTP... commit | commitdiff | tree
2017-09-19 Andres NoetzliFix issue #1074, improve non-fatal error handling ... commit | commitdiff | tree
2017-09-19 Andrew ReynoldsRefactor cegqi instantiation infrastructure so that... commit | commitdiff | tree
2017-09-19 Andrew ReynoldsFix issue #1105 involving string to int (#1112) commit | commitdiff | tree
2017-09-19 MartinFloating point symfpu support (#1103) commit | commitdiff | tree
2017-09-18 Tim KingMoving the CVC4_PUBLIC attribute to the beginning of... commit | commitdiff | tree
2017-09-15 MartinMake floating-point comparison operators chainable... commit | commitdiff | tree
2017-09-15 makaimannAdd missing CVC4_PUBLIC in kind_template (#1078) commit | commitdiff | tree
2017-09-14 Andres NoetzliEnable ccache compression, increase cache size (#1099) commit | commitdiff | tree
2017-09-14 Andrew ReynoldsRemove unhandled subtypes (#1098) commit | commitdiff | tree
2017-09-14 Tim KingSimplifying the throw specifier of SmtEngine::checkSat... commit | commitdiff | tree
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
next