projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix use-after-free due to destruction order (#2739)
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
2018-08-24
Andres Noetzli
Add tests that enumerate and verify rewrite rules ...
commit
|
commitdiff
|
tree
2018-08-23
Andres Noetzli
Add missing overrides in unit tests (#2362)
commit
|
commitdiff
|
tree
2018-08-23
Andres Noetzli
Use "filename" instead of "name" in SmtEngine::setInfo...
commit
|
commitdiff
|
tree
2018-08-21
Andres Noetzli
Remove support for *.expect files in regressions (...
commit
|
commitdiff
|
tree
2018-08-17
Andres Noetzli
Refactor IteRemoval preprocessing pass (#1793)
commit
|
commitdiff
|
tree
2018-08-16
Andres Noetzli
Move node algorithms to separate file (#2311)
commit
|
commitdiff
|
tree
2018-08-15
Andres Noetzli
Remove unused tuple classes (#2313)
commit
|
commitdiff
|
tree
2018-08-15
Andres Noetzli
Remove unused class DynamicArray (#2312)
commit
|
commitdiff
|
tree
2018-08-15
Andres Noetzli
Fix dumping of get-unsat-assumptions (#2302)
commit
|
commitdiff
|
tree
2018-08-15
Andres Noetzli
Remove unused declaration (#2310)
commit
|
commitdiff
|
tree
2018-08-14
Andres Noetzli
Fix get-unsat-assumptions output (#2301)
commit
|
commitdiff
|
tree
2018-08-11
Andres Noetzli
Make attributes robust to static init orderings (#2295)
commit
|
commitdiff
|
tree
2018-08-10
Andres Noetzli
Do not use static initialization in CxxTest runner...
commit
|
commitdiff
|
tree
2018-08-09
Andres Noetzli
Fix documentation of regression tests (#2290)
commit
|
commitdiff
|
tree
2018-08-08
Andres Noetzli
Require Swig 3 (#2283)
commit
|
commitdiff
|
tree
2018-08-08
Andres Noetzli
Delete functions instead of using CVC4_UNDEFINED (...
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-27
Andres Noetzli
Fix issues related to cxxtest in configure.ac (#2226)
commit
|
commitdiff
|
tree
2018-07-15
Andres Noetzli
Avoid ambiguous overloads in BitVector (#2169)
commit
|
commitdiff
|
tree
2018-07-14
Andres Noetzli
exportTo only if needed for --sygus-rr-synth-check...
commit
|
commitdiff
|
tree
2018-07-13
Andres Noetzli
Properly clean up assertion stack in CnfProof (#2147)
commit
|
commitdiff
|
tree
2018-07-08
Andres Noetzli
Add more sophisticated floating-point sampler (#2155)
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-07-04
Andres Noetzli
Remove unused CDVector (#2139)
commit
|
commitdiff
|
tree
2018-07-03
Andres Noetzli
Add regression test for issue #1986 (#2114)
commit
|
commitdiff
|
tree
2018-06-28
Andres Noetzli
Fix stale reference in MiniSat when generating UC ...
commit
|
commitdiff
|
tree
2018-06-26
Andres Noetzli
sygusComp2018: Add evaluator (#2090)
commit
|
commitdiff
|
tree
2018-06-26
Andres Noetzli
Minor improvements in SMT2 and CVC printers (#2089)
commit
|
commitdiff
|
tree
2018-06-25
Andres Noetzli
Remove parentheses for prefix ops without args (#2082)
commit
|
commitdiff
|
tree
2018-06-21
Andres Noetzli
Fix warnings and enable -Wnon-virtual-dtor warning...
commit
|
commitdiff
|
tree
2018-06-21
Andres Noetzli
Check unsat cores in regressions also without LFSC...
commit
|
commitdiff
|
tree
2018-06-20
Andres Noetzli
Resolve CVC4_USE_SYMFPU in headers at config-time ...
commit
|
commitdiff
|
tree
2018-06-13
Andres Noetzli
Workaround for incremental unsat cores (#1962)
commit
|
commitdiff
|
tree
2018-06-13
Andres Noetzli
Disable unconstrainedSimp pass when proofs enabled...
commit
|
commitdiff
|
tree
2018-06-10
Andres Noetzli
Disable test that fails in competition mode (#2063)
commit
|
commitdiff
|
tree
2018-06-09
Andres Noetzli
Add flag to skip regression if feature enabled (#2062)
commit
|
commitdiff
|
tree
2018-06-09
Andres Noetzli
Reset decisions at SAT level after solving (#2059)
commit
|
commitdiff
|
tree
next