projects
/
cvc5.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cvc5.git
2019-08-28
Andrew Reynolds
Fixes for get-abduct (#3229)
commit
|
commitdiff
|
tree
2019-08-26
Mathias Preiner
Make contrib/get-* more robust. (#3198)
commit
|
commitdiff
|
tree
2019-08-26
Andrew Reynolds
Remove unnecessary code from Cvc.g (#3213)
commit
|
commitdiff
|
tree
2019-08-24
Piotr Trojanek
fix misuse of iterator with a different container ...
commit
|
commitdiff
|
tree
2019-08-24
Piotr Trojanek
fix mismatch between "delete" and "new []" (#2795)
commit
|
commitdiff
|
tree
2019-08-23
Andrew Reynolds
Infer emptiness instead of splitting when a string...
commit
|
commitdiff
|
tree
2019-08-23
Andrew Reynolds
Fixes for sygus regressions (#3219)
commit
|
commitdiff
|
tree
2019-08-23
Andrew Reynolds
Document transition inference utility (#3207)
commit
|
commitdiff
|
tree
2019-08-23
Andrew Reynolds
Exclude redundant lemmas when tracking inst lemmas...
commit
|
commitdiff
|
tree
2019-08-23
Andrew Reynolds
Update dynamic splitting strategy for quantifiers ...
commit
|
commitdiff
|
tree
2019-08-23
Andrew Reynolds
Fix argument in nonlinear extension. (#3216)
commit
|
commitdiff
|
tree
2019-08-23
Andrew Reynolds
Minor update to term util (#3208)
commit
|
commitdiff
|
tree
2019-08-23
Andrew Reynolds
Pass synthesis conjecture to sygus modules (#3212)
commit
|
commitdiff
|
tree
2019-08-22
Andrew Reynolds
Local substitutions for context-depdendent simplificat...
commit
|
commitdiff
|
tree
2019-08-20
Andrew Reynolds
Fixes for sygus inference on quantifier free problems...
commit
|
commitdiff
|
tree
2019-08-19
Aina Niemetz
New C++ API: Add checks for Solver::checkValid and...
commit
|
commitdiff
|
tree
2019-08-18
Andrew Reynolds
Context-independent regular expression unfolding (...
commit
|
commitdiff
|
tree
2019-08-18
Andrew Reynolds
Cleaning make bound var in smt2 parser (#3192)
commit
|
commitdiff
|
tree
2019-08-17
Andrew Reynolds
Move quantifiers relevance module inside E-matching...
commit
|
commitdiff
|
tree
2019-08-17
Andrew Reynolds
Mark symbols introduced by named attributes as defined...
commit
|
commitdiff
|
tree
2019-08-15
Andrew Reynolds
Fix for when to apply single invocation techniques...
commit
|
commitdiff
|
tree
2019-08-15
Mathias Preiner
cmake: Use ExactVersion instead of SameMinorVersion...
commit
|
commitdiff
|
tree
2019-08-14
Mathias Preiner
Remove option --continued-execution. (#3189)
commit
|
commitdiff
|
tree
2019-08-14
Andrew Reynolds
Update to standard implementation of getting free...
commit
|
commitdiff
|
tree
2019-08-14
Andrew Reynolds
Call separate SMT engine for single invocation sygus...
commit
|
commitdiff
|
tree
2019-08-14
Mathias Preiner
cmake: Export CVC4 library interface. (#3179)
commit
|
commitdiff
|
tree
2019-08-14
Andres Noetzli
Enable Clang-Format for Java (#3064)
commit
|
commitdiff
|
tree
2019-08-14
Andrew Reynolds
Minor cleaning of sygus term database (#3159)
commit
|
commitdiff
|
tree
2019-08-14
Andrew Reynolds
Fix issue related to higher-order purification in term...
commit
|
commitdiff
|
tree
2019-08-14
Aina Niemetz
SmtEngine: Reorganize class according to guidelines...
commit
|
commitdiff
|
tree
2019-08-13
Aina Niemetz
New C++ API: Add checks and tests for Solver::simplify...
commit
|
commitdiff
|
tree
2019-08-13
Aina Niemetz
New C++ API: Fix test names of solver_black unit test...
commit
|
commitdiff
|
tree
2019-08-13
Aina Niemetz
New C++ API: Reorganize Solver code (move only). (...
commit
|
commitdiff
|
tree
2019-08-13
Andrew Reynolds
Track sygus variable to term relationship via attribut...
commit
|
commitdiff
|
tree
2019-08-13
Andrew Reynolds
Update option to disable symbolic definitions in string...
commit
|
commitdiff
|
tree
2019-08-13
Andrew Reynolds
Add string rewrite involving allchar stars (#3167)
commit
|
commitdiff
|
tree
2019-08-13
Andrew Reynolds
Properly implement logic info for separation logic...
commit
|
commitdiff
|
tree
2019-08-13
Andrew Reynolds
Implement check abduct feature (#3152)
commit
|
commitdiff
|
tree
2019-08-13
Andrew Reynolds
Introduce smt2 parsing utility ParseOp and refactor...
commit
|
commitdiff
|
tree
2019-08-12
Andrew Reynolds
Clean smt2 parsing of named attributes (#3172)
commit
|
commitdiff
|
tree
2019-08-12
Andrew Reynolds
Give rewrite engine pointer to conflict-based instanti...
commit
|
commitdiff
|
tree
2019-08-11
Aina Niemetz
New C++ API: Add documentation/guidelines for API guard...
commit
|
commitdiff
|
tree
2019-08-11
makaimann
New C++ API: Add templated getIndices method for OpTerm...
commit
|
commitdiff
|
tree
2019-08-10
Andrew Reynolds
Simplify how defined functions are tracked during parsi...
commit
|
commitdiff
|
tree
2019-08-10
Andrew Reynolds
Add option to only dump unsolved queries for --sygus...
commit
|
commitdiff
|
tree
2019-08-08
Andrew Reynolds
Reorganize includes for quantifiers engine (#3169)
commit
|
commitdiff
|
tree
2019-08-08
Andrew Reynolds
Add subdirectories to contrib for competition scripts...
commit
|
commitdiff
|
tree
2019-08-08
Mathias Preiner
Fix issues with Ninja build system and add configure...
commit
|
commitdiff
|
tree
2019-08-07
Aina Niemetz
New C++ API: Add checks and tests for push/pop. (#3121)
commit
|
commitdiff
|
tree
2019-08-07
Aina Niemetz
New C++ API: Introduce macros for try-catch blocks...
commit
|
commitdiff
|
tree
2019-08-06
Aina Niemetz
New C++ API: Fix branch prediction in CHECK macros...
commit
|
commitdiff
|
tree
2019-08-06
Andrew Reynolds
Properly parse qualified identifiers (#3111)
commit
|
commitdiff
|
tree
2019-08-06
Haniel Barbosa
Scripts for CASC-27 (#3163)
commit
|
commitdiff
|
tree
2019-08-06
Andrew Reynolds
Fix drat signature wrt side condition return types...
commit
|
commitdiff
|
tree
2019-08-05
Andrew Reynolds
Remove forward declarations in quantifiers engine ...
commit
|
commitdiff
|
tree
2019-08-04
Mathias Preiner
Fix regression script for incremental SMT-LIB v2 benchm...
commit
|
commitdiff
|
tree
2019-08-03
Andrew Reynolds
Fix printing issue related to nested quotes (#3154)
commit
|
commitdiff
|
tree
2019-08-03
Haniel Barbosa
Collapse @ chains in SMT2 printer (#3140)
commit
|
commitdiff
|
tree
2019-08-02
Mathias Preiner
Update CaDiCaL to version 1.0.3. (#3137)
commit
|
commitdiff
|
tree
2019-08-02
Andrew Reynolds
Flip the polarity of the argument of get-abduct (#3153)
commit
|
commitdiff
|
tree
2019-08-02
Mathias Preiner
Add better Python detection for contrib scripts. (...
commit
|
commitdiff
|
tree
2019-08-02
Andrew Reynolds
Move basic sygus enumerator to its own file (#3149)
commit
|
commitdiff
|
tree
2019-08-02
Andrew Reynolds
Remove simplification specialized for sygus si solution...
commit
|
commitdiff
|
tree
2019-08-02
Andrew Reynolds
Support default sygus grammar for strings (#3148)
commit
|
commitdiff
|
tree
2019-08-02
Andrew Reynolds
Throw option exception when track inst lemmas is not...
commit
|
commitdiff
|
tree
2019-08-02
Andrew Reynolds
Fix solution filtering for streaming abducts (#3143)
commit
|
commitdiff
|
tree
2019-08-02
Mathias Preiner
Fix BVGauss unit tests. (#3142)
commit
|
commitdiff
|
tree
2019-08-02
Andrew Reynolds
Enable sygus logic when produce-abducts is true (#3144)
commit
|
commitdiff
|
tree
2019-08-02
makaimann
Use python realpath instead of relying on shell realpat...
commit
|
commitdiff
|
tree
2019-08-01
Mathias Preiner
Fix memory leak in rewriter (debug mode). (#3141)
commit
|
commitdiff
|
tree
2019-08-01
Andrew Reynolds
Move some generic utilities out of quantifiers (#3139)
commit
|
commitdiff
|
tree
2019-08-01
Andrew Reynolds
Regular expression intersection modes (#3134)
commit
|
commitdiff
|
tree
2019-07-31
Haniel Barbosa
Parsing THF and adding several regressions (#3131)
commit
|
commitdiff
|
tree
2019-07-31
yoni206
adding bv_gauss unit test to build files (#3135)
commit
|
commitdiff
|
tree
2019-07-31
Andrew Reynolds
Add some missing cases in evaluator (#3133)
commit
|
commitdiff
|
tree
2019-07-31
Andrew Reynolds
Eager conflict detection in strings based on constant...
commit
|
commitdiff
|
tree
2019-07-30
Andrew Reynolds
Track solver execution mode (#3132)
commit
|
commitdiff
|
tree
2019-07-30
Haniel Barbosa
Code to activate hoelim preprocessing pass (#3129)
commit
|
commitdiff
|
tree
2019-07-30
Andrew Reynolds
Minor improvement for rewriter for str.replace (#3124)
commit
|
commitdiff
|
tree
2019-07-30
Andrew Reynolds
Handle RE intersections modulo equality (#3120)
commit
|
commitdiff
|
tree
2019-07-30
Haniel Barbosa
Remove hard coded option for TPTP regressions in run_re...
commit
|
commitdiff
|
tree
2019-07-29
Andrew Reynolds
Model blocker feature (#3112)
commit
|
commitdiff
|
tree
2019-07-29
Andrew Reynolds
Support get-abduct smt2 command (#3122)
commit
|
commitdiff
|
tree
2019-07-29
Andrew Reynolds
Fix match trie for polymorphic operators (#3125)
commit
|
commitdiff
|
tree
2019-07-29
yoni206
Refactoring of bit-vector elimination rules (#3105)
commit
|
commitdiff
|
tree
2019-07-27
Andrew Reynolds
Minor improvement to term canonizer (#3123)
commit
|
commitdiff
|
tree
2019-07-26
Andrew Reynolds
Input user grammar in sygus abduct (#3119)
commit
|
commitdiff
|
tree
2019-07-25
Andrew Reynolds
Split infer info data structure in strings (#3107)
commit
|
commitdiff
|
tree
2019-07-24
Haniel Barbosa
adding runscripts for syguscomp2019 (#3118)
commit
|
commitdiff
|
tree
2019-07-24
Andrew Reynolds
Minor refactoring of regexp operation (#3116)
commit
|
commitdiff
|
tree
2019-07-24
Andrew Reynolds
Fix null node when using no-strings-lazy-pp (#3114)
commit
|
commitdiff
|
tree
2019-07-24
Andrew Reynolds
Move string util functions (#3115)
commit
|
commitdiff
|
tree
2019-07-23
Andrew Reynolds
Fix sygus datatype parsing in sygus v1 format (#3113)
commit
|
commitdiff
|
tree
2019-07-23
Andrew Reynolds
Fix help messages (#3096)
commit
|
commitdiff
|
tree
2019-07-23
yoni206
Get operators in node (#3094)
commit
|
commitdiff
|
tree
2019-07-22
Andres Noetzli
Avoid move constructor of std::fstream for GCC < 5...
commit
|
commitdiff
|
tree
2019-07-19
yoni206
SyGuS grammar refactor (#3100)
commit
|
commitdiff
|
tree
2019-07-19
Andrew Reynolds
Fixes for sygus with datatypes (#3103)
commit
|
commitdiff
|
tree
2019-07-19
Andrew Reynolds
Fix case of unfolding negative membership in reg exp...
commit
|
commitdiff
|
tree
2019-07-18
Andrew V. Jones
Removing forward-declaration of undefined function...
commit
|
commitdiff
|
tree
next