projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fixes for relational triggers (#2967)
2019-05-06
Andres Noetzli
Add support for re.all (#2980)
commit
|
commitdiff
|
tree
2019-04-30
Andres Noetzli
Fix concat-find regexp elimination (#2983)
commit
|
commitdiff
|
tree
2019-04-30
Andres Noetzli
Fix use of APPLY kind in examples (#2984)
commit
|
commitdiff
|
tree
2019-04-16
Andres Noetzli
Make bv{add,mul,and,or,xor,xnor} left-associative ...
commit
|
commitdiff
|
tree
2019-04-15
Andres Noetzli
Initial version of run scripts for SMT-COMP 2019 (...
commit
|
commitdiff
|
tree
2019-04-01
Andres Noetzli
FP: Fix wrong model due to partial assignment (#2910)
commit
|
commitdiff
|
tree
2019-04-01
Andres Noetzli
Fix RewriteITEBv to ensure rewrite to fixpoint (#2878)
commit
|
commitdiff
|
tree
2019-04-01
Andres Noetzli
Move slow string regression to regress3 (#2913)
commit
|
commitdiff
|
tree
2019-03-29
Andres Noetzli
Fix freeing nodes with maxed refcounts (#2903)
commit
|
commitdiff
|
tree
2019-03-26
Andres Noetzli
Fix warnings about wrong line numbers (#2899)
commit
|
commitdiff
|
tree
2019-03-23
Andres Noetzli
Fix memory leak when using subsolvers (#2893)
commit
|
commitdiff
|
tree
2019-03-23
Andres Noetzli
Strip non-matching beginning from indexof operator...
commit
|
commitdiff
|
tree
2019-03-22
Andres Noetzli
Fix stripConstantEndpoints in strings rewriter (#2883)
commit
|
commitdiff
|
tree
2019-03-21
Andres Noetzli
Add more NEWS (#2859)
commit
|
commitdiff
|
tree
2019-03-16
Andres Noetzli
Limit --solve-int-as-bv=X to QF_NIA/QF_LIA/QF_IDL ...
commit
|
commitdiff
|
tree
2019-03-13
Andres Noetzli
Add statistics for proof gen./checking time, size ...
commit
|
commitdiff
|
tree
2019-02-27
Andres Noetzli
Use string stream for proofs instead of tmp files ...
commit
|
commitdiff
|
tree
2019-02-26
Andres Noetzli
ClangFormat: Disable DerivePointerAlignment (#2842)
commit
|
commitdiff
|
tree
2019-02-13
Andres Noetzli
Rewrite simple regexp pattern to str.contains (#2827)
commit
|
commitdiff
|
tree
2019-02-12
Andres Noetzli
Delete temporary proof files when aborting CVC4 (#2834)
commit
|
commitdiff
|
tree
2019-02-05
Andres Noetzli
Make stripConstantEndpoints() less aggressive (#2830)
commit
|
commitdiff
|
tree
2019-02-04
Andres Noetzli
Add rewrite for contains + const strings replace (...
commit
|
commitdiff
|
tree
2019-02-02
Andres Noetzli
Fix corner case in stripConstantEndpoints (#2824)
commit
|
commitdiff
|
tree
2019-01-29
Andres Noetzli
Fix warning due to catching polymorphic exceptions...
commit
|
commitdiff
|
tree
2019-01-29
Andres Noetzli
Strings: Remove redundant replace rewrite (#2822)
commit
|
commitdiff
|
tree
2019-01-23
Andres Noetzli
Avoid using ProofManager in non-proof CMS build (#2814)
commit
|
commitdiff
|
tree
2019-01-23
Andres Noetzli
Strings: Strengthen multiset reasoning (#2817)
commit
|
commitdiff
|
tree
2019-01-19
Andres Noetzli
Fix missing-override warning (#2811)
commit
|
commitdiff
|
tree
2019-01-18
Andres Noetzli
Strings: Introduce checkEntailContains() (#2809)
commit
|
commitdiff
|
tree
2019-01-18
Andres Noetzli
Fix ABC build (#2808)
commit
|
commitdiff
|
tree
2019-01-17
Andres Noetzli
Add option to print BV constants in binary (#2805)
commit
|
commitdiff
|
tree
2019-01-16
Andres Noetzli
Update NEWS file (#2804)
commit
|
commitdiff
|
tree
2019-01-16
Andres Noetzli
CMake: Fix search for static libraries (#2798)
commit
|
commitdiff
|
tree
2019-01-15
Andres Noetzli
Strings: Add option to change loop process mode (#2794)
commit
|
commitdiff
|
tree
2019-01-04
Andres Noetzli
C++ API: Fix OOB read in unit test (#2774)
commit
|
commitdiff
|
tree
2019-01-03
Andres Noetzli
API/Smt2 parser: refactor termAtomic (#2674)
commit
|
commitdiff
|
tree
2019-01-03
Andres Noetzli
C++ API: Reintroduce zero-value mkBitVector method...
commit
|
commitdiff
|
tree
2018-12-15
Andres Noetzli
Revert "Move ss-combine rewrite to extended rewriter...
commit
|
commitdiff
|
tree
2018-12-12
Andres Noetzli
API: Add simple empty/sigma regexp unit tests (#2746)
commit
|
commitdiff
|
tree
2018-12-07
Andres Noetzli
Strings: Make EXTF_d inference more conservative (...
commit
|
commitdiff
|
tree
2018-12-06
Andres Noetzli
Fix use-after-free due to destruction order (#2739)
commit
|
commitdiff
|
tree
2018-11-28
Andres Noetzli
Improve skolem caching by normalizing skolem args ...
commit
|
commitdiff
|
tree
2018-11-27
Andres Noetzli
Reduce lookahead when parsing string literals (#2721)
commit
|
commitdiff
|
tree
2018-11-22
Andres Noetzli
Move ss-combine rewrite to extended rewriter (#2703)
commit
|
commitdiff
|
tree
2018-11-22
Andres Noetzli
Add rewrite for (str.substr s x y) --> "" (#2695)
commit
|
commitdiff
|
tree
2018-11-08
Andres Noetzli
Evaluator: add support for str.code (#2696)
commit
|
commitdiff
|
tree
2018-11-07
Andres Noetzli
Fix collectEmptyEqs in string rewriter (#2692)
commit
|
commitdiff
|
tree
2018-11-05
Andres Noetzli
API: Fix assignment operators (#2680)
commit
|
commitdiff
|
tree
2018-11-05
Andres Noetzli
configure.sh: Fix option parsing to match --help (...
commit
|
commitdiff
|
tree
2018-10-31
Andres Noetzli
Record assumption info in AssertionPipeline (#2678)
commit
|
commitdiff
|
tree
2018-10-24
Andres Noetzli
CMake: Set RPATH on installed binary (#2671)
commit
|
commitdiff
|
tree
2018-10-22
Andres Noetzli
CMake: Set PORTFOLIO_BUILD when building pcvc4 (#2666)
commit
|
commitdiff
|
tree
2018-10-22
Andres Noetzli
Only build CryptoMiniSat library, no binary (#2657)
commit
|
commitdiff
|
tree
2018-10-22
Andres Noetzli
Recover from wrong use of get-info :reason-unknown...
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-20
Andres Noetzli
Travis: run examples and avoid building them twice...
commit
|
commitdiff
|
tree
2018-10-19
Andres Noetzli
Fix util::Random for macOS builds (#2655)
commit
|
commitdiff
|
tree
2018-10-19
Andres Noetzli
Add helper to detect length one string terms (#2654)
commit
|
commitdiff
|
tree
2018-10-19
Andres Noetzli
Add OptionException handling during initialization...
commit
|
commitdiff
|
tree
2018-10-18
Andres Noetzli
Skip sygus-rr-synth-check regressions when ASAN on...
commit
|
commitdiff
|
tree
2018-10-18
Andres Noetzli
Show if ASAN build in --show-config (#2650)
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-12
Andres Noetzli
Add rewrites for str.replace in str.contains (#2623)
commit
|
commitdiff
|
tree
2018-10-11
Andres Noetzli
Improve reasoning about empty strings in rewriter ...
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-04
Andres Noetzli
Only use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590)
commit
|
commitdiff
|
tree
2018-10-03
Andres Noetzli
cmake: Display skipped tests as not run (#2567)
commit
|
commitdiff
|
tree
2018-10-03
Andres Noetzli
Allow (_ to_fp ...) in strict parsing mode (#2566)
commit
|
commitdiff
|
tree
2018-10-02
Andres Noetzli
Make registration of preprocessing passes explicit...
commit
|
commitdiff
|
tree
2018-10-02
Andres Noetzli
Fix "catching polymorphic type by value" warnings ...
commit
|
commitdiff
|
tree
2018-10-01
Andres Noetzli
Fix dumping pre/post preprocessing passes (#2469)
commit
|
commitdiff
|
tree
2018-10-01
Andres Noetzli
Refactor preprocessing pass registration (#2468)
commit
|
commitdiff
|
tree
2018-09-28
Andres Noetzli
Rewrites for (= "" _) and (= (str.replace _) _) (#2546)
commit
|
commitdiff
|
tree
2018-09-28
Andres Noetzli
cmake: Only do Java tests when unit testing on (#2551)
commit
|
commitdiff
|
tree
2018-09-24
Andres Noetzli
Unify rewrites related to (str.contains x y) --> (...
commit
|
commitdiff
|
tree
2018-09-24
Andres Noetzli
Make string rewriter unit tests more robust (#2520)
commit
|
commitdiff
|
tree
2018-09-19
Andres Noetzli
Add rewrites for str.contains + str.replace/substr...
commit
|
commitdiff
|
tree
2018-09-18
Andres Noetzli
Fix issue with str.idof in evaluator (#2493)
commit
|
commitdiff
|
tree
2018-09-17
Andres Noetzli
Follow redirects with cURL in contrib/get* scripts...
commit
|
commitdiff
|
tree
2018-09-17
Andres Noetzli
Remove broken dumping support from portfolio build...
commit
|
commitdiff
|
tree
2018-09-17
Andres Noetzli
Remove unnecessary tracing from preprocessing (#2472)
commit
|
commitdiff
|
tree
2018-09-15
Andres Noetzli
Refactor how assertions are added to decision engine...
commit
|
commitdiff
|
tree
2018-09-11
Andres Noetzli
Set NodeManager to nullptr when exporting vars (#2445)
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
Andres Noetzli
Add regex grammar to rewriter verification tests (...
commit
|
commitdiff
|
tree
2018-09-04
Andres Noetzli
Update INSTALL instructions (#2420)
commit
|
commitdiff
|
tree
2018-09-04
Andres Noetzli
Remove CVC3 compatibility layer (#2418)
commit
|
commitdiff
|
tree
2018-09-04
Andres Noetzli
Remove unused options file (#2413)
commit
|
commitdiff
|
tree
2018-08-30
Andres Noetzli
Use useBland option in FCSimplexDecisionProcedure ...
commit
|
commitdiff
|
tree
2018-08-28
Andres Noetzli
Remove throw specifiers in FP type checker (#2392)
commit
|
commitdiff
|
tree
2018-08-28
Andres Noetzli
Remove dead code in fp_converter (#2388)
commit
|
commitdiff
|
tree
2018-08-28
Andres Noetzli
Remove dead code in evaluator (#2389)
commit
|
commitdiff
|
tree
2018-08-27
Andres Noetzli
Resolution proof: separate printing from proof (#1964)
commit
|
commitdiff
|
tree
2018-08-27
Andres Noetzli
Remove Coverity build from Travis (#2373)
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
next