2018-05-08 |
Aina Niemetz | Fix order of preprocessing pass registration. (#1887)
|
commit | commitdiff | tree |
2018-05-08 |
Haniel Barbosa | only lazy trie changes (#1885)
|
commit | commitdiff | tree |
2018-05-04 |
Andres Noetzli | Make --output-lang consistent with --lang (#1877)
|
commit | commitdiff | tree |
2018-05-04 |
Andres Noetzli | Fix printing of multiple datatypes (#1872)
|
commit | commitdiff | tree |
2018-05-03 |
Andres Noetzli | Fix warnings in proof code (#1850)
|
commit | commitdiff | tree |
2018-05-03 |
Haniel Barbosa | Make CegisUnif default to Cegis when no unif used ...
|
commit | commitdiff | tree |
2018-05-03 |
Andres Noetzli | Remove (dummy) SMT1 printer (#1854)
|
commit | commitdiff | tree |
2018-04-28 |
Haniel Barbosa | Initial implementation of SygusUnifRL (#1829)
|
commit | commitdiff | tree |
2018-04-27 |
Haniel Barbosa | New module for synthesizing functions in a data-driven...
|
commit | commitdiff | tree |
2018-04-20 |
PaulMeng | Symmetry detection module (#1749)
|
commit | commitdiff | tree |
2018-04-20 |
Andres Noetzli | Restrict test summary to first-level subfolders (#1797)
|
commit | commitdiff | tree |
2018-04-17 |
Andres Noetzli | Disable slow regression test (#1787)
|
commit | commitdiff | tree |
2018-04-16 |
Andres Noetzli | RemoveTermFormulas: Remove ContainsTermITEVisitor ...
|
commit | commitdiff | tree |
2018-04-10 |
Aina Niemetz | Fix dumping of benchmark in SmtEngine::checkSatisfiability...
|
commit | commitdiff | tree |
2018-04-08 |
Andres Noetzli | Warn about trailing spaces in src/Makefile.am (#1759)
|
commit | commitdiff | tree |
2018-04-06 |
Arjun Viswanathan | Add define rec fun to cvc parser (#1738)
|
commit | commitdiff | tree |
2018-03-27 |
Andres Noetzli | Better normalization of string concatenation (#1719)
|
commit | commitdiff | tree |
2018-03-26 |
Andres Noetzli | Add reasoning for inequalities in str rewriter (#1713)
|
commit | commitdiff | tree |
2018-03-20 |
Aina Niemetz | Add parameterized datatypes example. (#1676)
|
commit | commitdiff | tree |
2018-03-20 |
yoni206 | correct instruction for running example (#1669)
|
commit | commitdiff | tree |
2018-02-16 |
Aina Niemetz | Make regress1 default, only test regress0 on Travis...
|
commit | commitdiff | tree |
2018-02-09 |
Tim King | Removing an always true comparison (unsigned) >= 0u...
|
commit | commitdiff | tree |
2018-02-09 |
Tim King | Renaming CHECK to CVC4_CHECK. This avoids name collisions...
|
commit | commitdiff | tree |
2018-02-08 |
Aina Niemetz | Simplify and cleanup bv::utils::mkConjunction. (#1571)
|
commit | commitdiff | tree |
2018-02-08 |
Mathias Preiner | Check whether Cryptominisat4/ABC was installed via...
|
commit | commitdiff | tree |
2018-02-08 |
Andres Noetzli | Remove invalid regression test (#1579)
|
commit | commitdiff | tree |
2018-02-08 |
Tim King | Fixing more inconsistent usages of override. (#1575)
|
commit | commitdiff | tree |
2018-02-06 |
Tim King | Aborting on errors in StatisticsRegistry::unregisterStat...
|
commit | commitdiff | tree |
2018-02-05 |
Tim King | Cleaning up the printing of theory model representative...
|
commit | commitdiff | tree |
2018-02-03 |
Tim King | Restoring ostream format. Resolves a few CIDs 1362780...
|
commit | commitdiff | tree |
2018-02-02 |
Haniel Barbosa | Option to check solutions produced by SyGuS solver...
|
commit | commitdiff | tree |
2018-01-09 |
Tim King | Removing throw specifiers from miscellaneous src/expr...
|
commit | commitdiff | tree |
2018-01-09 |
Tim King | Remove throw specifiers from symbol table. (#1490)
|
commit | commitdiff | tree |
2018-01-08 |
Andres Noetzli | Fix broken GMP URL in get-win-dependencies script ...
|
commit | commitdiff | tree |
2018-01-08 |
Tim King | Remove throw specifiers from datatype. (#1489)
|
commit | commitdiff | tree |
2018-01-06 |
Tim King | Removing throw specifiers from src/parser/. (#1486)
|
commit | commitdiff | tree |
2018-01-04 |
Tim King | Removing miscellaneous throw specifiers. (#1474)
|
commit | commitdiff | tree |
2017-12-28 |
Arjun Viswanathan | Rel smt parser (#1446)
|
commit | commitdiff | tree |
2017-12-06 |
Andres Noetzli | Remove CDChunkList (#1414)
|
commit | commitdiff | tree |
2017-12-05 |
Haniel Barbosa | Adding SyGuS grammars for rationals. (#1426)
|
commit | commitdiff | tree |
2017-11-20 |
Tim King | Initializes members of QuantInfo. Resolves CID 1362929...
|
commit | commitdiff | tree |
2017-11-19 |
Tim King | Names the Effort enum of QuantConflictFind class. ...
|
commit | commitdiff | tree |
2017-11-16 |
Tim King | Initializes BitVectorProof::d_isAssumptionConflict...
|
commit | commitdiff | tree |
2017-11-15 |
Tim King | Removes an unused variable from Theory. (#1375)
|
commit | commitdiff | tree |
2017-11-15 |
Tim King | Initializing members of Datatype. Addresses CIDs 1362897...
|
commit | commitdiff | tree |
2017-11-14 |
Tim King | Cleaning up exporting vectors within commands. Resolves...
|
commit | commitdiff | tree |
2017-11-14 |
Tim King | Initializes InstPropagator::d_has_relevant_inst. Resolves...
|
commit | commitdiff | tree |
2017-11-14 |
Tim King | Initializes NodeTheoryPair::timestamp in the default...
|
commit | commitdiff | tree |
2017-11-13 |
Tim King | Initializing SharedTermsDatabase::d_conflictPolarity...
|
commit | commitdiff | tree |
2017-11-13 |
Tim King | Initializes CegConjectureSingleInvSol::d_root_id. ...
|
commit | commitdiff | tree |
2017-11-13 |
Tim King | Initializing SortInference::initialSortCount. Resolves...
|
commit | commitdiff | tree |
2017-11-08 |
Tim King | Initializing QModelBuilder members. (#1334)
|
commit | commitdiff | tree |
2017-11-08 |
Tim King | Combining d_conflictHasBeenRaised and d_conflictIndex...
|
commit | commitdiff | tree |
2017-11-08 |
Tim King | Initializing TrailHashMap::d_uniqueKeys. (#1331)
|
commit | commitdiff | tree |
2017-11-07 |
Tim King | Initialize TimerStat::d_start. (#1330)
|
commit | commitdiff | tree |
2017-11-07 |
Tim King | Removing an unused member from Tptp. Initializing...
|
commit | commitdiff | tree |
2017-11-07 |
Tim King | Initializing EquivSygusInvarianceTest::d_conj in the...
|
commit | commitdiff | tree |
2017-11-07 |
Tim King | Initializing NegContainsSygusInvarianceTest::d_cpbe...
|
commit | commitdiff | tree |
2017-11-07 |
Tim King | Using unique_ptr's for members of CegConjecture. (...
|
commit | commitdiff | tree |
2017-10-31 |
Tim King | CID 1459592: Always checking whether rd is null or...
|
commit | commitdiff | tree |
2017-10-28 |
Andres Noetzli | Change bvudiv semantics based on input language (#1292)
|
commit | commitdiff | tree |
2017-10-27 |
Andres Noetzli | Modify LDFLAGS to support shared libraries for Win...
|
commit | commitdiff | tree |
2017-08-17 |
ajreynol | Add mbqi interleave option, change option fs-inst to...
|
commit | commitdiff | tree |
2017-08-11 |
ajreynol | Maintain frontier for tangent planes.
|
commit | commitdiff | tree |
2017-08-08 |
ajreynol | Use cache for datatypes cycle check, add regression.
|
commit | commitdiff | tree |
2017-08-07 |
ajreynol | Change sygus output for failed reconstruction case.
|
commit | commitdiff | tree |
2017-08-07 |
ajreynol | Make quantifier elimination more robust to preprocessing.
|
commit | commitdiff | tree |
2017-08-04 |
ajreynol | Set default language to smt lib 2.6 (including as a...
|
commit | commitdiff | tree |
2017-07-31 |
ajreynol | Minor improvement for enumerative instantiation.
|
commit | commitdiff | tree |
2017-07-29 |
ajreynol | Add support for charat in native language, minor cleanup.
|
commit | commitdiff | tree |
2017-07-28 |
ajreynol | Fix cache issues for cyclic string equations.
|
commit | commitdiff | tree |
2017-07-20 |
ajreynol | Fix a few bugs related to sygus.
|
commit | commitdiff | tree |
2017-07-12 |
ajreynol | Fix unit tests for subranges. Fix destructors for context...
|
commit | commitdiff | tree |
2017-07-12 |
ajreynol | Fix .i files from last commit.
|
commit | commitdiff | tree |
2017-07-12 |
ajreynol | Make type rules more strict for operators whose type...
|
commit | commitdiff | tree |
2017-07-10 |
ajreynol | Do not exit when value/model/unsat-core/proof is requested...
|
commit | commitdiff | tree |
2017-07-10 |
ajreynol | Add nl regression.
|
commit | commitdiff | tree |
2017-07-10 |
ajreynol | Merge ntExt branch. Adds support for transcendental...
|
commit | commitdiff | tree |
2017-07-10 |
ajreynol | Separate sygus term utilities to new file, minor cleanup...
|
commit | commitdiff | tree |
2017-07-10 |
ajreynol | Merge datatype shared selectors/sygus comp 2017 branch...
|
commit | commitdiff | tree |
2017-07-05 |
ajreynol | Fix for logic info, update regressions. Update casc...
|
commit | commitdiff | tree |
2017-07-05 |
ajreynol | Update unit test, news.
|
commit | commitdiff | tree |
2017-07-05 |
ajreynol | Non-linear supported in ALL logics. Minor fixes for...
|
commit | commitdiff | tree |
2017-06-30 |
ajreynol | Minor change to trigger selection, fixes related to...
|
commit | commitdiff | tree |
2017-06-28 |
ajreynol | Enable non-linear solve by default, update regressions.
|
commit | commitdiff | tree |
2017-06-21 |
ajreynol | Properly handle subtypes in smt2 printer.
|
commit | commitdiff | tree |
2017-06-21 |
ajreynol | Update casc and sygus comp scripts.
|
commit | commitdiff | tree |
2017-06-18 |
ajreynol | Fix assertion
|
commit | commitdiff | tree |
2017-06-18 |
ajreynol | Minor change to ensureTheoryAtoms for bug 828.
|
commit | commitdiff | tree |
2017-06-15 |
ajreynol | Fix for issue related to cbqi + E-matching.
|
commit | commitdiff | tree |
2017-06-15 |
ajreynol | Add regression.
|
commit | commitdiff | tree |
2017-06-15 |
ajreynol | Fix relevant domain for datatypes, fixes bug 824.
|
commit | commitdiff | tree |
2017-06-15 |
ajreynol | Ensure uninterpreted constants do not escape datatypes...
|
commit | commitdiff | tree |
2017-06-03 |
ajreynol | Minor to smt comp script.
|
commit | commitdiff | tree |
2017-06-02 |
ajreynol | Fix regression.
|
commit | commitdiff | tree |
2017-06-02 |
ajreynol | Incorporate datatypes into smt comp script, add regression.
|
commit | commitdiff | tree |
2017-06-01 |
ajreynol | Minor optimizations related to cbqi.
|
commit | commitdiff | tree |
2017-05-31 |
ajreynol | Fix model construction for BV with cbqi. Minor change...
|
commit | commitdiff | tree |
2017-05-31 |
ajreynol | Minor fix to last commit.
|
commit | commitdiff | tree |
2017-05-31 |
ajreynol | Change to-int, div, int-div skolems from CDAttribute...
|
commit | commitdiff | tree |
next |