projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix warning (#3053)
2019-06-13
Haniel Barbosa
Fix warning (#3053)
commit
|
commitdiff
|
tree
2019-06-01
Andrew Reynolds
Require that FMF model basis terms are variables ...
commit
|
commitdiff
|
tree
2019-05-21
Martin
Update to symfpu 0.0.7, fixes RTI 3/5 issue (#3007)
commit
|
commitdiff
|
tree
2019-05-18
Aina Niemetz
FP: Fix regression test and enable SymFPU on Travis...
commit
|
commitdiff
|
tree
2019-05-18
Andrew Reynolds
Update QF_NIA strategy (#3012)
commit
|
commitdiff
|
tree
2019-05-15
Mathias Preiner
cmake: Install JAR and JNI files for Java bindings...
commit
|
commitdiff
|
tree
2019-05-01
Andrew Reynolds
Fix re-elim-agg regressions (#2987)
commit
|
commitdiff
|
tree
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
commit
|
commitdiff
|
tree
2019-04-17
Andrew Reynolds
Fix extended function decomposition (#2960)
commit
|
commitdiff
|
tree
2019-04-16
makaimann
Check for rt library in configuration -- support for...
commit
|
commitdiff
|
tree
2019-04-01
makaimann
Update includes to use cvc4 top-level directory in...
commit
|
commitdiff
|
tree
2019-03-24
Aina Niemetz
BV: Fix typerules for rotate operators. (#2895)
commit
|
commitdiff
|
tree
2019-03-22
Andrew Reynolds
Fix instantiation stat for fmf (#2889)
commit
|
commitdiff
|
tree
2019-03-22
makaimann
Use empty vector instead of false in query with null...
commit
|
commitdiff
|
tree
2019-03-16
Alex Ozdemir
Enable CryptoMiniSat-backed BV proofs (#2847)
commit
|
commitdiff
|
tree
2019-03-14
makaimann
check for null assumption in query and replace with...
commit
|
commitdiff
|
tree
2019-02-13
Aina Niemetz
New C++ API: Remove redundant mkTerm function. (#2836)
commit
|
commitdiff
|
tree
2019-01-16
Andrew Reynolds
Fix constant contains ITOS rewrite (#2799)
commit
|
commitdiff
|
tree
2019-01-09
Alex Ozdemir
[BV Proofs] Option for proof format (#2777)
commit
|
commitdiff
|
tree
2019-01-05
Mathias Preiner
cmake: Disable unit tests for static builds. (#2775)
commit
|
commitdiff
|
tree
2018-12-14
Andrew Reynolds
Fix extended rewriter for binary associative operators...
commit
|
commitdiff
|
tree
2018-12-14
Andrew Reynolds
Make single invocation and invariant pre/post condition...
commit
|
commitdiff
|
tree
2018-12-04
Andrew Reynolds
Enable regular expression elimination by default. ...
commit
|
commitdiff
|
tree
2018-11-27
Andrew Reynolds
Make (T)NodeTrie a general utility (#2489)
commit
|
commitdiff
|
tree
2018-11-27
Andrew Reynolds
Fix coverity warnings in datatypes (#2553)
commit
|
commitdiff
|
tree
2018-11-23
Tom Smeding
Use https for antlr3.org downloads (#2701)
commit
|
commitdiff
|
tree
2018-11-21
Andrew Reynolds
Quickly recognize when PBE conjectures are infeasible...
commit
|
commitdiff
|
tree
2018-11-21
Martin
Obvious rewrites to floating-point < and <=. (#2706)
commit
|
commitdiff
|
tree
2018-11-20
Andrew Reynolds
Fix real2int regression. (#2716)
commit
|
commitdiff
|
tree
2018-11-20
Alex Ozdemir
Change lemma proof step storage & iterators (#2712)
commit
|
commitdiff
|
tree
2018-11-14
Mathias Preiner
cmake: Require boost 1.50.0 for examples. (#2710)
commit
|
commitdiff
|
tree
2018-11-05
Andrew Reynolds
Implement option to turn off symmetry breaking for...
commit
|
commitdiff
|
tree
2018-10-22
makaimann
Fail for SWIG 3.0.8 (#2656)
commit
|
commitdiff
|
tree
2018-10-20
Mathias Preiner
Remove antlr_undefines.h. (#2664)
commit
|
commitdiff
|
tree
2018-10-19
Mathias Preiner
cmake: Run regression level 2 for make check. (#2645)
commit
|
commitdiff
|
tree
2018-10-17
Aina Niemetz
BV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_OR...
commit
|
commitdiff
|
tree
2018-10-15
Andrew Reynolds
Delay initialization of theory engine (#2621)
commit
|
commitdiff
|
tree
2018-10-12
Andrew Reynolds
Fix heuristic for string length approximation (#2622)
commit
|
commitdiff
|
tree
2018-10-09
Andrew Reynolds
Fix string register extended terms (#2597)
commit
|
commitdiff
|
tree
2018-10-05
Andrew Reynolds
Fix rewrite rule filtering. (#2591)
commit
|
commitdiff
|
tree
2018-10-04
Andrew Reynolds
Fix end constraint for regexp elimination (#2571)
commit
|
commitdiff
|
tree
2018-10-01
Mathias Preiner
cmake: Generate compile_commands.json on configure...
commit
|
commitdiff
|
tree
2018-10-01
Aina Niemetz
Fix compiler warnings. (#2555)
commit
|
commitdiff
|
tree
2018-09-25
Andrew Reynolds
Fix quantifiers selector over store rewrite (#2510)
commit
|
commitdiff
|
tree
2018-09-25
Andrew Reynolds
Refactor strings equality rewriting (#2513)
commit
|
commitdiff
|
tree
2018-09-25
Mathias Preiner
cmake: Fix dependencies for code generation. (#2524)
commit
|
commitdiff
|
tree
2018-09-25
Aina Niemetz
cmake: Fix git version info (again). (#2523)
commit
|
commitdiff
|
tree
2018-09-19
Andrew Reynolds
Decision strategy: incorporate separation logic. (...
commit
|
commitdiff
|
tree
2018-09-19
Andrew Reynolds
Add two rewrites for string contains character (#2492)
commit
|
commitdiff
|
tree
2018-09-19
Andrew Reynolds
Refactor strings extended functions inferences (#2480)
commit
|
commitdiff
|
tree
2018-09-18
Andrew Reynolds
Improvements and fixes for symmetry detection and breaking...
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Make strings model construction robust to lengths that...
commit
|
commitdiff
|
tree
2018-09-14
Andrew Reynolds
Add Skolem cache for strings, refactor length registration...
commit
|
commitdiff
|
tree
2018-09-11
Andrew Reynolds
Support model cores via option --produce-model-cores...
commit
|
commitdiff
|
tree
2018-09-11
Haniel Barbosa
Using a single condition enumerator in sygus-unif ...
commit
|
commitdiff
|
tree
2018-09-07
Mathias Preiner
Remove clock_gettime() replacement for macOS. (#2436)
commit
|
commitdiff
|
tree
2018-09-05
Mathias Preiner
Add HAVE_CLOCK_GETTIME guard to clock_gettime.c (#2428)
commit
|
commitdiff
|
tree
2018-09-04
Andrew Reynolds
Remove redundant strings rewrite. (#2422)
commit
|
commitdiff
|
tree
2018-08-28
Andrew Reynolds
Address more coverity warnings (#2394)
commit
|
commitdiff
|
tree
2018-08-28
Andrew Reynolds
Refactor extended rewriter, move rewrites to aggressive...
commit
|
commitdiff
|
tree
2018-08-28
Aina Niemetz
New C++ API: Fix isDefinedKind() to not be ambigious...
commit
|
commitdiff
|
tree
2018-08-27
Mathias Preiner
Use std:unique_ptr instead of raw pointers in theory...
commit
|
commitdiff
|
tree
2018-08-25
yoni206
Refactor quantifier macros preprocessing pass (#1840)
commit
|
commitdiff
|
tree
2018-08-24
Aina Niemetz
New C++ API: Add checks for kind arguments. (#2369)
commit
|
commitdiff
|
tree
2018-08-23
Tim King
Replacing allocatedInCMM and d_noTrash with false everywhere...
commit
|
commitdiff
|
tree
2018-08-23
Andrew Reynolds
Fixing some coverity warnings (#2357)
commit
|
commitdiff
|
tree
2018-08-21
Aina Niemetz
Remove disabled system test cvc3_george. (#2342)
commit
|
commitdiff
|
tree
2018-08-18
Aina Niemetz
run-regress script: Exit with exit code > 0 on failure...
commit
|
commitdiff
|
tree
2018-08-17
Andrew Reynolds
Add sygus stream regressions (#2330)
commit
|
commitdiff
|
tree
2018-08-17
Andrew Reynolds
Eliminate partial operators in sygus grammar normalization...
commit
|
commitdiff
|
tree
2018-08-17
Tim King
Initialize inputAssertions only when proofRecipe is...
commit
|
commitdiff
|
tree
2018-08-17
Mathias Preiner
Refactor eager atoms preprocessing pass. (#2318)
commit
|
commitdiff
|
tree
2018-08-17
Caleb Donovick
Make quantifiers-preprocess preprocessing pass (#2322)
commit
|
commitdiff
|
tree
2018-08-16
Tim King
Switching an Assert to a CVC4_CHECK to test if it resolves...
commit
|
commitdiff
|
tree
2018-08-15
Mathias Preiner
Add contrib/get-gmp script. (#2292)
commit
|
commitdiff
|
tree
2018-08-08
Andrew Reynolds
Simplify and improve the sygus parser (#2266)
commit
|
commitdiff
|
tree
2018-08-07
Andrew Reynolds
Remove support for Enum sygus syntax. (#2264)
commit
|
commitdiff
|
tree
2018-08-06
Andrew Reynolds
Fixes for sygus inference (#2238)
commit
|
commitdiff
|
tree
2018-08-02
Andrew Reynolds
Make strings robust to regular expression variables...
commit
|
commitdiff
|
tree
2018-08-02
Andrew Reynolds
Improvements and fixes in cegqi arithmetic (#2247)
commit
|
commitdiff
|
tree
2018-08-01
Andrew Reynolds
Fix 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 Reynolds
Make conjecture generator's uf term enumeration safer...
commit
|
commitdiff
|
tree
2018-08-01
Andrew Reynolds
Make candidate rewrite match filtering handle polymorphic...
commit
|
commitdiff
|
tree
2018-07-27
Mathias Preiner
Make Python a required CVC4 dependency. (#2227)
commit
|
commitdiff
|
tree
2018-07-27
Andrew Reynolds
Fix 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 Reynolds
Fix Node::hasFreeVar for function variables (#2216)
commit
|
commitdiff
|
tree
2018-07-26
Aina Niemetz
New C++ API: Enable examples. (#2222)
commit
|
commitdiff
|
tree
2018-07-26
Andrew Reynolds
Fix rewriter for lambda (#2211)
commit
|
commitdiff
|
tree
2018-07-26
ayveejay
Avoid explicit dependency on Python 3 (#2195)
commit
|
commitdiff
|
tree
2018-07-25
Tim King
Changing ArithIteUtils to use CDInsertHashMap. (#2206)
commit
|
commitdiff
|
tree
2018-07-25
Tim King
Removing support for CDHashMap::iterator's postfix...
commit
|
commitdiff
|
tree
2018-07-22
Andrew Reynolds
sygusComp2018: Improvements to CEGIS loop (#2187)
commit
|
commitdiff
|
tree
2018-07-11
Caleb Donovick
Move rewrite to pass (#2128)
commit
|
commitdiff
|
tree
2018-07-07
Andrew Reynolds
sygusComp2018: improve extended rewriter for Bool...
commit
|
commitdiff
|
tree
2018-07-06
Martin
Feature/fp rewrite improvement (#2154)
commit
|
commitdiff
|
tree
2018-07-06
Aina Niemetz
New C++ API: Implementation of Solver class: Term handling...
commit
|
commitdiff
|
tree
2018-07-06
Andrew Reynolds
sygusComp2018: simplify beta reduction in uf rewriter...
commit
|
commitdiff
|
tree
2018-07-05
Andrew Reynolds
Make string length lemmas more robust to rewriting...
commit
|
commitdiff
|
tree
next