projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Strings: Make EXTF_d inference more conservative (#2740)
2018-12-07
Andres Noetzli
Strings: Make EXTF_d inference more conservative (...
commit
|
commitdiff
|
tree
2018-11-27
Andres Noetzli
Reduce lookahead when parsing string literals (#2721)
commit
|
commitdiff
|
tree
2018-11-08
Andres Noetzli
Evaluator: add support for str.code (#2696)
commit
|
commitdiff
|
tree
2018-11-07
Haniel Barbosa
Adding default SyGuS grammar construction for arrays...
commit
|
commitdiff
|
tree
2018-11-07
Andres Noetzli
Fix collectEmptyEqs in string rewriter (#2692)
commit
|
commitdiff
|
tree
2018-11-03
Haniel Barbosa
Refactor default grammars construction (#2681)
commit
|
commitdiff
|
tree
2018-10-31
Andres Noetzli
Record assumption info in AssertionPipeline (#2678)
commit
|
commitdiff
|
tree
2018-10-20
Andres Noetzli
Add substr, contains and equality rewrites (#2665)
commit
|
commitdiff
|
tree
2018-10-20
Andres Noetzli
Disable dumping test for non-dumping builds (#2662)
commit
|
commitdiff
|
tree
2018-10-19
Andres Noetzli
Fix util::Random for macOS builds (#2655)
commit
|
commitdiff
|
tree
2018-10-16
Mathias Preiner
cmake: Add CxxTest include directory to unit test includes...
commit
|
commitdiff
|
tree
2018-10-15
Andres Noetzli
Add more (str.replace x y z) rewrites (#2628)
commit
|
commitdiff
|
tree
2018-10-14
Andres Noetzli
Fix fp-bool.sy grammar and require symfpu (#2631)
commit
|
commitdiff
|
tree
2018-10-13
Andres Noetzli
Reset input language for ExprMiner subsolver (#2624)
commit
|
commitdiff
|
tree
2018-10-11
Andres Noetzli
Improve reasoning about empty strings in rewriter ...
commit
|
commitdiff
|
tree
2018-10-11
Haniel Barbosa
Fix default setting of CegisUnif options (#2605)
commit
|
commitdiff
|
tree
2018-10-11
Andres Noetzli
Fix compiler warnings (#2602)
commit
|
commitdiff
|
tree
2018-10-10
Andres Noetzli
Add length-based rewrites for (str.substr _ _ _) (...
commit
|
commitdiff
|
tree
2018-10-03
Haniel Barbosa
Make CegisUnif with condition independent robust to...
commit
|
commitdiff
|
tree
2018-09-28
Andres Noetzli
Rewrites for (= "" _) and (= (str.replace _) _) (#2546)
commit
|
commitdiff
|
tree
2018-09-24
Andres Noetzli
Unify rewrites related to (str.contains x y) --> (...
commit
|
commitdiff
|
tree
2018-09-24
Mathias Preiner
cmake: Fix theory order. (#2518)
commit
|
commitdiff
|
tree
2018-09-19
Andres Noetzli
Add rewrites for str.contains + str.replace/substr...
commit
|
commitdiff
|
tree
2018-09-19
Aina Niemetz
New C++ API: Introduce new macro and exception for...
commit
|
commitdiff
|
tree
2018-09-18
Andres Noetzli
Fix issue with str.idof in evaluator (#2493)
commit
|
commitdiff
|
tree
2018-09-18
Haniel Barbosa
fix assertion error (#2487)
commit
|
commitdiff
|
tree
2018-09-11
Haniel Barbosa
fix (#2446)
commit
|
commitdiff
|
tree
2018-09-10
Andres Noetzli
Add (str.replace (str.replace y w y) y z) rewrite ...
commit
|
commitdiff
|
tree
2018-09-05
Mathias Preiner
Use std::uniqe_ptr for d_eq_infer to make Coverity...
commit
|
commitdiff
|
tree
2018-09-05
Andres Noetzli
Add regex grammar to rewriter verification tests (...
commit
|
commitdiff
|
tree
2018-09-04
Andres Noetzli
Remove CVC3 compatibility layer (#2418)
commit
|
commitdiff
|
tree
2018-08-30
Andres Noetzli
Use useBland option in FCSimplexDecisionProcedure ...
commit
|
commitdiff
|
tree
2018-08-29
Mathias Preiner
Refactor MipLibTrick preprocessing pass. (#2359)
commit
|
commitdiff
|
tree
2018-08-29
Haniel Barbosa
fix bv total ops printing (#2365)
commit
|
commitdiff
|
tree
2018-08-28
Andres Noetzli
Remove throw specifiers in FP type checker (#2392)
commit
|
commitdiff
|
tree
2018-08-26
Andres Noetzli
Use uniform length limit for String constants (#2381)
commit
|
commitdiff
|
tree
2018-08-26
Andres Noetzli
Refactor unconstrained simplification pass (#2374)
commit
|
commitdiff
|
tree
2018-08-24
Andres Noetzli
Add tests that enumerate and verify rewrite rules ...
commit
|
commitdiff
|
tree
2018-08-23
Andres Noetzli
Use "filename" instead of "name" in SmtEngine::setInfo...
commit
|
commitdiff
|
tree
2018-08-23
yoni206
global-negate preprocessing pass (#2317)
commit
|
commitdiff
|
tree
2018-08-22
Haniel Barbosa
Adds regression test for automatic generation of SyGuS...
commit
|
commitdiff
|
tree
2018-08-21
Tim King
Removing unused bool members in command.cpp. Also initialize...
commit
|
commitdiff
|
tree
2018-08-21
Haniel Barbosa
Makes the new row propagation system default (#2335)
commit
|
commitdiff
|
tree
2018-08-17
Tim King
Removing coverity warnings from theory_sep.cpp (#2320)
commit
|
commitdiff
|
tree
2018-08-16
Andres Noetzli
Move node algorithms to separate file (#2311)
commit
|
commitdiff
|
tree
2018-08-16
Haniel Barbosa
Refactor extended rewriter preprocessing pass (#2324)
commit
|
commitdiff
|
tree
2018-08-03
Mathias Preiner
Fix printing statistics in case of signals. (#2267)
commit
|
commitdiff
|
tree
2018-08-02
Andres Noetzli
Remove Subversion build info (#2250)
commit
|
commitdiff
|
tree
2018-08-02
Andres Noetzli
Remove outdated references to TLS (#2245)
commit
|
commitdiff
|
tree
2018-08-01
Andres Noetzli
Fix wrong evaluation of STRING_STOI (#2252)
commit
|
commitdiff
|
tree
2018-07-30
FabianWolff
Fix several spelling errors (#2231)
commit
|
commitdiff
|
tree
2018-07-26
Tim King
Changing CDInsertHashMap to store <const Key, const...
commit
|
commitdiff
|
tree
2018-07-26
Tim King
Changing the arithmetic static learner to use CDHashMap...
commit
|
commitdiff
|
tree
2018-07-24
ayveejay
Adding API access methods to get heap/nil expressions...
commit
|
commitdiff
|
tree
2018-07-21
yoni206
Remove --no-check-proofs and --no-check-unsat-cores...
commit
|
commitdiff
|
tree
2018-07-14
Andres Noetzli
exportTo only if needed for --sygus-rr-synth-check...
commit
|
commitdiff
|
tree
2018-07-06
Andres Noetzli
Add option for timeout for rewrite candidate check...
commit
|
commitdiff
|
tree
2018-07-05
Andres Noetzli
sygusComp2018: Improve string rewriter (#2141)
commit
|
commitdiff
|
tree
2018-06-05
Andres Noetzli
Only enable transcendentals if logic is N[I]RAT (#2052)
commit
|
commitdiff
|
tree
2018-06-04
Andres Noetzli
[SMT-COMP] Add new logics to run-scripts (#2022)
commit
|
commitdiff
|
tree
2018-05-29
Andres Noetzli
Make user's SMT2 version override file version (#2004)
commit
|
commitdiff
|
tree
2018-05-29
Andres Noetzli
Track input language in a single place (#2003)
commit
|
commitdiff
|
tree
2018-05-27
Andres Noetzli
Fix no-cbqi-innermost option name in run script (#1994)
commit
|
commitdiff
|
tree
2018-05-23
Haniel Barbosa
Towards better symbolic enumeration in SyGuS (#1971)
commit
|
commitdiff
|
tree
2018-05-23
Andres Noetzli
Remove ProofProxy (#1965)
commit
|
commitdiff
|
tree
2018-05-21
Haniel Barbosa
Assign weight 1 for Boolean variables in SyGuS default...
commit
|
commitdiff
|
tree
2018-05-19
Haniel Barbosa
changing default (#1944)
commit
|
commitdiff
|
tree
2018-05-17
Haniel Barbosa
Option to force return values of Bool functions to...
commit
|
commitdiff
|
tree
2018-05-15
Haniel Barbosa
adding regressions (#1925)
commit
|
commitdiff
|
tree
2018-05-15
Haniel Barbosa
Building and refining solutions with dynamic condition...
commit
|
commitdiff
|
tree
2018-05-14
Florian Schanda
Small change for more sensible line breaking in the...
commit
|
commitdiff
|
tree
2018-05-09
PaulMeng
Add the symmetry breaker module (#1847)
commit
|
commitdiff
|
tree
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
next