projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
README: Remove project leaders, history.
[cvc5.git] / src / options /
2019-04-23 Alex Ozdemir[BV] An option for SAT proof optimization (#2915) tree | commitdiff
2019-04-16 Andrew ReynoldsStratify enumerative instantiation (#2954) tree | commitdiff
2019-04-16 Andrew ReynoldsMinor simplifications to theory quantifiers (#2953) tree | commitdiff
2019-04-04 Haniel BarbosaIgnoring FP benchmarks with "unsafe" sizes unless optio... tree | commitdiff
2019-04-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-03-22 Haniel Barbosafix help information on TPTP parsing (#2884) tree | commitdiff
2019-03-20 Andrew ReynoldsSygus abduction feature (#2744) tree | commitdiff
2019-03-16 Alex OzdemirEnable CryptoMiniSat-backed BV proofs (#2847) tree | commitdiff
2019-03-12 Andrew ReynoldsAdd option --sygus-rr-synth-rec for considering all... tree | commitdiff
2019-01-17 Andres NoetzliAdd option to print BV constants in binary (#2805) tree | commitdiff
2019-01-15 Andres NoetzliStrings: Add option to change loop process mode (#2794) tree | commitdiff
2019-01-09 Alex Ozdemir[BV Proofs] Option for proof format (#2777) tree | commitdiff
2018-12-14 Aina NiemetzFixed typos. tree | commitdiff
2018-12-11 Andrew ReynoldsRemove alternate versions of mbqi (#2742) tree | commitdiff
2018-12-10 makaimannBoolToBV modes (off, ite, all) (#2530) tree | commitdiff
2018-12-07 Alex OzdemirEnable BV proofs when using an eager bitblaster (#2733) tree | commitdiff
2018-12-04 Andrew ReynoldsEnable regular expression elimination by default. ... tree | commitdiff
2018-11-28 Andrew ReynoldsGeneralize sygus stream solution filtering to logical... tree | commitdiff
2018-11-05 Andrew ReynoldsChange default sygus enumeration mode to auto (#2689) tree | commitdiff
2018-10-31 Andrew ReynoldsAdd optimized sygus enumeration (#2677) tree | commitdiff
2018-10-20 Andrew ReynoldsSygus streaming non-implied predicates (#2660) tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-10-19 Andres NoetzliAdd OptionException handling during initialization... tree | commitdiff
2018-10-19 Andrew ReynoldsNon-implied mode for model cores (#2653) tree | commitdiff
2018-10-18 Andres NoetzliShow if ASAN build in --show-config (#2650) tree | commitdiff
2018-10-18 Andrew ReynoldsSygus query generator (#2465) tree | commitdiff
2018-10-16 Haniel BarbosaOption for shuffling condition pool in CegisUnif (... tree | commitdiff
2018-10-15 Andrew ReynoldsDelay initialization of theory engine (#2621) tree | commitdiff
2018-10-13 Andres NoetzliReset input language for ExprMiner subsolver (#2624) tree | commitdiff
2018-10-12 Andrew ReynoldsImprovements to rewrite rules from inputs (#2625) tree | commitdiff
2018-10-11 Haniel BarbosaFix default setting of CegisUnif options (#2605) tree | commitdiff
2018-10-11 Andrew ReynoldsSynthesize rewrite rules from inputs (#2608) tree | commitdiff
2018-10-09 Andrew Reynolds Support for basic actively-generated enumerators ... tree | commitdiff
2018-10-05 Andrew ReynoldsUpdate default options for sygus (#2586) tree | commitdiff
2018-10-04 Aina NiemetzNew C++ API: Add checks for Sorts. (#2519) tree | commitdiff
2018-10-03 Andrew ReynoldsAdd actively generated sygus enumerators (#2552) tree | commitdiff
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries. tree | commitdiff
2018-09-22 Mathias Preinercmake: Cleanup CMakeLists.txt files, remove SHARED. tree | commitdiff
2018-09-22 Mathias Preinercmake: Working build infrastructure. tree | commitdiff
2018-09-22 Aina Niemetzcmake: .cpp generation done, .h generation not yet... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-09-17 Andrew ReynoldsMore aggressive skolem caching for strings, document... tree | commitdiff
2018-09-14 Andrew ReynoldsGeneralize CandidateRewriteDatabase to ExprMiner (... tree | commitdiff
2018-09-13 Haniel BarbosaUses information gain heuristic for building better... tree | commitdiff
2018-09-11 Andrew ReynoldsSupport model cores via option --produce-model-cores... tree | commitdiff
2018-09-11 Haniel BarbosaUsing a single condition enumerator in sygus-unif ... tree | commitdiff
2018-09-07 Mathias PreinerReplace boost::integer_traits with std::numeric_limits... tree | commitdiff
2018-09-04 Andres NoetzliRemove unused options file (#2413) tree | commitdiff
2018-08-31 Haniel BarbosaAllows SAT checks of repair const to have different... tree | commitdiff
2018-08-30 Andrew ReynoldsAdd regular expression elimination module (#2400) tree | commitdiff
2018-08-22 Andrew Reynolds More unused code elimination (#2358) tree | commitdiff
2018-08-21 Haniel BarbosaMakes the new row propagation system default (#2335) tree | commitdiff
2018-08-21 Andrew ReynoldsMore unused code elimination (#2339) tree | commitdiff
2018-08-08 Andrew ReynoldsDisable argument relevance for sygus by default (#2288) tree | commitdiff
2018-08-08 Andres NoetzliRequire Swig 3 (#2283) tree | commitdiff
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (... tree | commitdiff
2018-08-07 Andrew ReynoldsMake flat form inferences optional in strings (#2277) tree | commitdiff
2018-08-03 Andrew ReynoldsEliminate option for sygus UF evaluation functions... tree | commitdiff
2018-08-02 Andres NoetzliRemove Subversion build info (#2250) tree | commitdiff
2018-08-02 Andres NoetzliRemove outdated references to TLS (#2245) tree | commitdiff
2018-07-31 Mathias PreinerFix option handler for lazy/bv-sat-solver combinations... tree | commitdiff
2018-07-30 Mathias PreinerAdd support for incremental eager bit-blasting. (#1838) tree | commitdiff
2018-07-30 FabianWolffFix several spelling errors (#2231) tree | commitdiff
2018-07-27 Mathias PreinerRequire argument description for non-{bool,void} option... tree | commitdiff
2018-07-27 Mathias PreinerMake Python a required CVC4 dependency. (#2227) tree | commitdiff
2018-07-26 ayveejayAvoid explicit dependency on Python 3 (#2195) tree | commitdiff
2018-07-24 Andrew ReynoldsImprovements to sets + cardinality + quantifiers (... tree | commitdiff
2018-07-22 Andrew Reynolds sygusComp2018: Improvements to CEGIS loop (#2187) tree | commitdiff
2018-07-21 Andrew ReynoldsOptimizations and fixes for computing whether a type... tree | commitdiff
2018-07-20 Andrew Reynolds sygusComp2018: minor changes to repair constant utilit... tree | commitdiff
2018-07-17 Andrew Reynolds sygusComp2018: pbe multi-enumerator fairness option... tree | commitdiff
2018-07-17 Andrew ReynoldsMinor cleanup and fixes for conflict-based instantiatio... tree | commitdiff
2018-07-17 Andrew Reynolds sygusComp2018: update policies for solution reconstruc... tree | commitdiff
2018-07-17 Andrew ReynoldssygusComp 2018: updates to sygus term database (#2170) tree | commitdiff
2018-07-08 Andres NoetzliAdd more sophisticated floating-point sampler (#2155) tree | commitdiff
2018-07-06 Andres NoetzliAdd option for timeout for rewrite candidate check... tree | commitdiff
2018-07-03 Andrew ReynoldsRemove miscellaneous dead and unused code from quantifi... tree | commitdiff
2018-07-02 Andrew ReynoldsRemove some dead code from theory strings (#2125) tree | commitdiff
2018-06-27 Andrew ReynoldsSynthesize candidate-rewrites from standard inputs... tree | commitdiff
2018-06-26 Andres NoetzlisygusComp2018: Add evaluator (#2090) tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-06-15 Andrew ReynoldsDisable solving non-linear BV literals by default ... tree | commitdiff
2018-05-28 Andrew ReynoldsBuiltin evaluation functions for sygus (#1991) tree | commitdiff
2018-05-25 Andrew ReynoldsReenable repair const (#1983) tree | commitdiff
2018-05-23 Andrew ReynoldsAdd notions of evaluated kinds in TheoryModel (#1947) tree | commitdiff
2018-05-23 Andrew ReynoldsGeneralize check-model in NonLinearExtension for quadra... tree | commitdiff
2018-05-23 Andrew ReynoldsRepair constants using symbolic constructors (#1960) tree | commitdiff
2018-05-22 Mathias PreinerAdd SymFPU licensing information. (#1952) tree | commitdiff
2018-05-19 Haniel Barbosachanging default (#1944) tree | commitdiff
2018-05-17 Haniel BarbosaOption to force return values of Bool functions to... tree | commitdiff
2018-05-17 Andrew ReynoldsCegis-specific infrastructure (#1933) tree | commitdiff
2018-05-14 Andrew ReynoldsAdd regressions, change defaults. (#1911) tree | commitdiff
2018-05-10 Andrew ReynoldsSygus repair constants (#1812) tree | commitdiff
2018-05-09 Andrew ReynoldsBetter option names for PBE (#1891) tree | commitdiff
2018-05-09 PaulMengAdd the symmetry breaker module (#1847) tree | commitdiff
2018-05-04 Andres NoetzliMake --output-lang consistent with --lang (#1877) tree | commitdiff
2018-05-03 Andrew ReynoldsOption to interleave tangent plane inferences (#1833) tree | commitdiff
2018-05-03 Andres NoetzliRemove (dummy) SMT1 printer (#1854) tree | commitdiff
2018-05-03 Andrew ReynoldsInitial support for string standard in smt lib 2.6... tree | commitdiff
next