projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2018-08-08 Tim King Proposal for adding map utility functions to CVC4... commit | commitdiff | tree
2018-08-08 Andrew ReynoldsDisable argument relevance for sygus by default (#2288) commit | commitdiff | tree
2018-08-08 Andrew ReynoldsAdd debug test for sygus subcall verify calls. (#2287) commit | commitdiff | tree
2018-08-08 Andrew ReynoldsMove uf model code from uf to quantifiers (#2095) commit | commitdiff | tree
2018-08-08 Andrew ReynoldsDo beta-reduction in expandDefinitions (#2286) commit | commitdiff | tree
2018-08-08 Andres NoetzliRequire Swig 3 (#2283) commit | commitdiff | tree
2018-08-08 Andrew ReynoldsSimplify and improve the sygus parser (#2266) commit | commitdiff | tree
2018-08-08 Andrew ReynoldsDocument/refactor datatypes sygus simple symmetry break... commit | commitdiff | tree
2018-08-08 Andrew Reynolds Fix simple reg exp consume rewrite (#2281) commit | commitdiff | tree
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (... commit | commitdiff | tree
2018-08-07 Andrew Reynolds Wait to do sygus qe preprocess until full effort check... commit | commitdiff | tree
2018-08-07 Andrew ReynoldsFix inference of pre and post conditions for non variab... commit | commitdiff | tree
2018-08-07 Mathias PreinerMake output of flushInformation and safeFlushInformatio... commit | commitdiff | tree
2018-08-07 Aina NiemetzAdd rewrite for nested BITVECTOR_ITE that can be merged... commit | commitdiff | tree
2018-08-07 Andrew ReynoldsMake flat form inferences optional in strings (#2277) commit | commitdiff | tree
2018-08-07 Andrew ReynoldsAdd RegLan to smt2/sygus parsers. (#2276) commit | commitdiff | tree
2018-08-07 Andrew Reynolds Move sygus quantifier elimination step for non-ground... commit | commitdiff | tree
2018-08-07 Andrew ReynoldsRemove support for Enum sygus syntax. (#2264) commit | commitdiff | tree
2018-08-06 Andrew ReynoldsFixes for sygus inference (#2238) commit | commitdiff | tree
2018-08-06 Andrew Reynolds Fixes and improvements for single invocation inference... commit | commitdiff | tree
2018-08-06 Andrew ReynoldsFix degenerate case of sygus grammar construction for... commit | commitdiff | tree
2018-08-04 Aina Niemetz Add rewrite for nested BITVECTOR_ITE with cond_outer... commit | commitdiff | tree
2018-08-04 Aina NiemetzAdd rewrite for BITVECTOR_ITE with const children.... commit | commitdiff | tree
2018-08-03 Aina NiemetzAdd rewrite for BITVECTOR_ITE with term_then == term_el... commit | commitdiff | tree
2018-08-03 Andrew ReynoldsEliminate option for sygus UF evaluation functions... commit | commitdiff | tree
2018-08-03 Mathias PreinerFix printing statistics in case of signals. (#2267) commit | commitdiff | tree
2018-08-03 Aina Niemetz Add timer for BV inequality solver. (#2265) commit | commitdiff | tree
2018-08-02 Andrew ReynoldsParse standard separation logic inputs (#2257) commit | commitdiff | tree
2018-08-02 Andrew ReynoldsImprove CEGQI heuristics involving equality and multipl... commit | commitdiff | tree
2018-08-02 Andrew ReynoldsFix candidate rewrite utilities for non-first-class... commit | commitdiff | tree
2018-08-02 Andrew ReynoldsMake strings robust to regular expression variables... commit | commitdiff | tree
2018-08-02 Aina NiemetzAdd rewrites for BITVECTOR_ITE and BITVECTOR_COMP with... commit | commitdiff | tree
2018-08-02 Andrew Reynolds Remove references to deprecated propagate as decision... commit | commitdiff | tree
2018-08-02 Andres NoetzliRemove Subversion build info (#2250) commit | commitdiff | tree
2018-08-02 Andrew ReynoldsFix API call for reg exp. (#2248) commit | commitdiff | tree
2018-08-02 Andrew ReynoldsImprovements and fixes in cegqi arithmetic (#2247) commit | commitdiff | tree
2018-08-02 Andres NoetzliRemove outdated references to TLS (#2245) commit | commitdiff | tree
2018-08-02 Andrew ReynoldsFix issues with printing parametric datatypes in smt2... commit | commitdiff | tree
2018-08-01 Andres NoetzliFix wrong evaluation of STRING_STOI (#2252) commit | commitdiff | tree
2018-08-01 Mathias PreinerFix bool-to-bv preprocessing pass for non-{bv,bool... commit | commitdiff | tree
2018-08-01 Aina Niemetz InteractiveShell: Remove redundant options argument... commit | commitdiff | tree
2018-08-01 Aina NiemetzNew C++ API: Fixed ownership of options object. (#2243) commit | commitdiff | tree
2018-08-01 Andrew ReynoldsFix issues with bv2nat (#2219) commit | commitdiff | tree
2018-08-01 Andrew Reynolds Fix assertion in conjecture generator (#2246) commit | commitdiff | tree
2018-08-01 Andrew ReynoldsMake conjecture generator's uf term enumeration safer... commit | commitdiff | tree
2018-08-01 Andrew ReynoldsMake candidate rewrite match filtering handle polymorph... commit | commitdiff | tree
2018-08-01 ayveejayImprovements and tests for the API around separation... commit | commitdiff | tree
2018-08-01 Mathias PreinerRemove hasAssertions() method from eager BV solver... commit | commitdiff | tree
2018-07-31 Mathias PreinerFix option handler for lazy/bv-sat-solver combinations... commit | commitdiff | tree
2018-07-30 Mathias PreinerAdd support for incremental eager bit-blasting. (#1838) commit | commitdiff | tree
2018-07-30 FabianWolffFix several spelling errors (#2231) commit | commitdiff | tree
2018-07-30 Tim KingStoring a std::pair<Key,Data> on CDOhash_map. commit | commitdiff | tree
2018-07-27 Mathias PreinerRequire argument description for non-{bool,void} option... commit | commitdiff | tree
2018-07-27 Andres NoetzliFix issues related to cxxtest in configure.ac (#2226) commit | commitdiff | tree
2018-07-27 Mathias PreinerMake Python a required CVC4 dependency. (#2227) commit | commitdiff | tree
2018-07-27 Andrew ReynoldsFix for candidate rewrite rule filtering. (#2220) commit | commitdiff | tree
2018-07-27 Andrew Reynolds Make check-synth robust for assertions that are not... commit | commitdiff | tree
2018-07-27 Andrew ReynoldsFix Node::hasFreeVar for function variables (#2216) commit | commitdiff | tree
2018-07-27 Mathias PreinerFix CryptoMiniSat config to allow system versions.... commit | commitdiff | tree
2018-07-26 Aina NiemetzNew C++ API: Enable examples. (#2222) commit | commitdiff | tree
2018-07-26 Tim KingRemoving unused CDTrailHashmap. (#2221) commit | commitdiff | tree
2018-07-26 yoni206Disabling bvLazyRewriteExtf in the right place (#2214) commit | commitdiff | tree
2018-07-26 Tim KingChanging CDInsertHashMap to store <const Key, const... commit | commitdiff | tree
2018-07-26 Tim KingChanging the arithmetic static learner to use CDHashMap... commit | commitdiff | tree
2018-07-26 Andrew ReynoldsFix rewriter for lambda (#2211) commit | commitdiff | tree
2018-07-26 Andrew Reynolds Fix a few issues in the sygus sampler related to evalu... commit | commitdiff | tree
2018-07-26 ayveejayAvoid explicit dependency on Python 3 (#2195) commit | commitdiff | tree
2018-07-26 Aina NiemetzNew C++ API: Third batch of commands (SMT-LIB). (#2212) commit | commitdiff | tree
2018-07-26 Aina NiemetzNew C++ API: Second batch of commands (SMT-LIB). (... commit | commitdiff | tree
2018-07-25 Tim KingChanging ArithIteUtils to use CDInsertHashMap. (#2206) commit | commitdiff | tree
2018-07-25 Tim KingRemoving support for CDHashMap::iterator's postfix... commit | commitdiff | tree
2018-07-25 Andrew Reynolds Move reg exp rewrites from prerewrite to postrewrite... commit | commitdiff | tree
2018-07-25 ayveejayPerforming clang-format on the original change-set... commit | commitdiff | tree
2018-07-25 Mathias PreinerUse CryptoMiniSat 5.6.3. (#2205) commit | commitdiff | tree
2018-07-24 Andrew ReynoldsImprovements to sets + cardinality + quantifiers (... commit | commitdiff | tree
2018-07-24 ayveejayAdding API access methods to get heap/nil expressions... commit | commitdiff | tree
2018-07-24 Aina Niemetz New C++ API: First batch of commands (SMT-LIB and... commit | commitdiff | tree
2018-07-23 Andrew Reynolds Improve rewriter for regular expression concatenation... commit | commitdiff | tree
2018-07-23 Andrew ReynoldsGeneralize symmetry detection for 1 symmetry variable... commit | commitdiff | tree
2018-07-23 Aina NiemetzNew C++ API: Implementation of Solver class: OpTerm... commit | commitdiff | tree
2018-07-23 Aina NiemetzNew C++ API: declare-datatype. (#2166) commit | commitdiff | tree
2018-07-23 Andrew Reynolds sygusComp2018: add regressions (#2191) commit | commitdiff | tree
2018-07-23 Andrew ReynoldsFix warning in sygus PBE (#2190) commit | commitdiff | tree
2018-07-22 Andrew Reynolds sygusComp2018: Improvements to CEGIS loop (#2187) commit | commitdiff | tree
2018-07-21 Andrew ReynoldsOptimizations and fixes for computing whether a type... commit | commitdiff | tree
2018-07-21 Andrew Reynolds sygusComp2018: refactor and improve sygus io utility... commit | commitdiff | tree
2018-07-21 yoni206Remove --no-check-proofs and --no-check-unsat-cores... commit | commitdiff | tree
2018-07-20 Andrew ReynoldsCleanup and additions for candidate generator (#2173) commit | commitdiff | tree
2018-07-20 Andrew Reynolds sygusComp2018: minor changes to repair constant utilit... commit | commitdiff | tree
2018-07-17 Andrew Reynolds sygusComp2018: pbe multi-enumerator fairness option... commit | commitdiff | tree
2018-07-17 yoni206Refactor sep-pre-skolem-emp preprocessing pass commit | commitdiff | tree
2018-07-17 Andrew ReynoldsMinor cleanup and fixes for conflict-based instantiatio... commit | commitdiff | tree
2018-07-17 Andrew ReynoldsDo extended rewrite on results of quantifier eliminatio... commit | commitdiff | tree
2018-07-17 Andrew Reynolds Purify applications of exp to transcendental arguments... commit | commitdiff | tree
2018-07-17 Andrew Reynolds sygusComp2018: update policies for solution reconstruc... commit | commitdiff | tree
2018-07-17 Andrew ReynoldssygusComp2018: Improvements to datatypes sygus solver... commit | commitdiff | tree
2018-07-17 Andrew ReynoldssygusComp 2018: updates to sygus term database (#2170) commit | commitdiff | tree
2018-07-15 Andres NoetzliAvoid ambiguous overloads in BitVector (#2169) commit | commitdiff | tree
2018-07-14 Andres NoetzliexportTo only if needed for --sygus-rr-synth-check... commit | commitdiff | tree
2018-07-14 Andrew ReynoldssygusComp2018: update semantics for declare-fun in... commit | commitdiff | tree
next