git.libre-soc.org Git - cvc5.git/search

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
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
next

RSS Atom