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

2019-10-28	Andres Noetzli	Fix integer division rewrite (#3415)	commit \| commitdiff \| tree
2019-10-27	Andres Noetzli	Fix global-declarations support (#3403)	commit \| commitdiff \| tree
2019-10-08	Andres Noetzli	[CVC Parser] Add support for regular expressions (...	commit \| commitdiff \| tree
2019-10-08	Andres Noetzli	Disallow --proof and --incremental (#3332)	commit \| commitdiff \| tree
2019-09-30	Andres Noetzli	Add rewrite for splitting equalities (#2957)	commit \| commitdiff \| tree
2019-09-18	Andres Noetzli	Add run script for next SMT-COMP (#3298)	commit \| commitdiff \| tree
2019-09-16	Aina Niemetz	Fix compiler warning in options.cpp. (#3284)	commit \| commitdiff \| tree
2019-09-16	Aina Niemetz	parser: Improve error message for unrecognized input...	commit \| commitdiff \| tree
2019-09-11	Ken Matsui	Fix not to output all warnings (#2778)	commit \| commitdiff \| tree
2019-09-06	Mathias Preiner	Remove parsing/printing of meta-info command. (#3260)	commit \| commitdiff \| tree
2019-09-04	yoni206	More details in substitution function documentation...	commit \| commitdiff \| tree
2019-09-04	Mathias Preiner	Fix DAGification for printer. (#3233)	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-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	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-06	Haniel Barbosa	Scripts for CASC-27 (#3163)	commit \| commitdiff \| tree
2019-08-02	Mathias Preiner	Add better Python detection for contrib scripts. (...	commit \| commitdiff \| tree
2019-07-24	Haniel Barbosa	adding runscripts for syguscomp2019 (#3118)	commit \| commitdiff \| tree
2019-07-19	yoni206	SyGuS grammar refactor (#3100)	commit \| commitdiff \| tree
2019-07-18	Andrew V. Jones	Removing forward-declaration of undefined function...	commit \| commitdiff \| tree
2019-06-12	Andres Noetzli	Refactor parser to define fewer tokens for symbols...	commit \| commitdiff \| tree
2019-06-11	Ahmed Irfan	NA Tangent reverse implication (#3050)	commit \| commitdiff \| tree
2019-05-18	Andres Noetzli	[SMT-COMP2019] Better strings configuration (#3010)	commit \| commitdiff \| tree
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-25	Aina Niemetz	Fix compiler warning. (#2975)	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-24	Aina Niemetz	New C++ API: Fix include. (#2896)	commit \| commitdiff \| tree
2019-02-05	Andres Noetzli	Make stripConstantEndpoints() less aggressive (#2830)	commit \| commitdiff \| tree
2019-01-18	Andres Noetzli	Strings: Introduce checkEntailContains() (#2809)	commit \| commitdiff \| tree
2018-12-15	Andres Noetzli	Revert "Move ss-combine rewrite to extended rewriter...	commit \| commitdiff \| tree
2018-12-07	Andres Noetzli	Strings: Make EXTF_d inference more conservative (...	commit \| commitdiff \| tree
2018-11-27	Andres Noetzli	Reduce lookahead when parsing string literals (#2721)	commit \| commitdiff \| tree
2018-11-08	Andres Noetzli	Evaluator: add support for str.code (#2696)	commit \| commitdiff \| tree
2018-11-07	Haniel Barbosa	Adding default SyGuS grammar construction for arrays...	commit \| commitdiff \| tree
2018-11-07	Andres Noetzli	Fix collectEmptyEqs in string rewriter (#2692)	commit \| commitdiff \| tree
2018-11-03	Haniel Barbosa	Refactor default grammars construction (#2681)	commit \| commitdiff \| tree
2018-10-31	Andres Noetzli	Record assumption info in AssertionPipeline (#2678)	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-19	Andres Noetzli	Fix util::Random for macOS builds (#2655)	commit \| commitdiff \| tree
2018-10-16	Mathias Preiner	cmake: Add CxxTest include directory to unit test includes...	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-11	Andres Noetzli	Improve reasoning about empty strings in rewriter ...	commit \| commitdiff \| tree
2018-10-11	Haniel Barbosa	Fix default setting of CegisUnif options (#2605)	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-03	Haniel Barbosa	Make CegisUnif with condition independent robust to...	commit \| commitdiff \| tree
2018-09-28	Andres Noetzli	Rewrites for (= "" _) and (= (str.replace _) _) (#2546)	commit \| commitdiff \| tree
2018-09-24	Andres Noetzli	Unify rewrites related to (str.contains x y) --> (...	commit \| commitdiff \| tree
2018-09-24	Mathias Preiner	cmake: Fix theory order. (#2518)	commit \| commitdiff \| tree
2018-09-19	Andres Noetzli	Add rewrites for str.contains + str.replace/substr...	commit \| commitdiff \| tree
2018-09-19	Aina Niemetz	New C++ API: Introduce new macro and exception for...	commit \| commitdiff \| tree
2018-09-18	Andres Noetzli	Fix issue with str.idof in evaluator (#2493)	commit \| commitdiff \| tree
2018-09-18	Haniel Barbosa	fix assertion error (#2487)	commit \| commitdiff \| tree
2018-09-11	Haniel Barbosa	fix (#2446)	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	Mathias Preiner	Use std::uniqe_ptr for d_eq_infer to make Coverity...	commit \| commitdiff \| tree
2018-09-05	Andres Noetzli	Add regex grammar to rewriter verification tests (...	commit \| commitdiff \| tree
2018-09-04	Andres Noetzli	Remove CVC3 compatibility layer (#2418)	commit \| commitdiff \| tree
2018-08-30	Andres Noetzli	Use useBland option in FCSimplexDecisionProcedure ...	commit \| commitdiff \| tree
2018-08-29	Mathias Preiner	Refactor MipLibTrick preprocessing pass. (#2359)	commit \| commitdiff \| tree
2018-08-29	Haniel Barbosa	fix bv total ops printing (#2365)	commit \| commitdiff \| tree
2018-08-28	Andres Noetzli	Remove throw specifiers in FP type checker (#2392)	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	Use "filename" instead of "name" in SmtEngine::setInfo...	commit \| commitdiff \| tree
2018-08-23	yoni206	global-negate preprocessing pass (#2317)	commit \| commitdiff \| tree
2018-08-22	Haniel Barbosa	Adds regression test for automatic generation of SyGuS...	commit \| commitdiff \| tree
2018-08-21	Tim King	Removing unused bool members in command.cpp. Also initialize...	commit \| commitdiff \| tree
2018-08-21	Haniel Barbosa	Makes the new row propagation system default (#2335)	commit \| commitdiff \| tree
2018-08-17	Tim King	Removing coverity warnings from theory_sep.cpp (#2320)	commit \| commitdiff \| tree
2018-08-16	Andres Noetzli	Move node algorithms to separate file (#2311)	commit \| commitdiff \| tree
2018-08-16	Haniel Barbosa	Refactor extended rewriter preprocessing pass (#2324)	commit \| commitdiff \| tree
2018-08-03	Mathias Preiner	Fix printing statistics in case of signals. (#2267)	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-30	FabianWolff	Fix several spelling errors (#2231)	commit \| commitdiff \| tree
2018-07-26	Tim King	Changing CDInsertHashMap to store <const Key, const...	commit \| commitdiff \| tree
2018-07-26	Tim King	Changing the arithmetic static learner to use CDHashMap...	commit \| commitdiff \| tree
2018-07-24	ayveejay	Adding API access methods to get heap/nil expressions...	commit \| commitdiff \| tree
2018-07-21	yoni206	Remove --no-check-proofs and --no-check-unsat-cores...	commit \| commitdiff \| tree
2018-07-14	Andres Noetzli	exportTo only if needed for --sygus-rr-synth-check...	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-06-05	Andres Noetzli	Only enable transcendentals if logic is N[I]RAT (#2052)	commit \| commitdiff \| tree
2018-06-04	Andres Noetzli	[SMT-COMP] Add new logics to run-scripts (#2022)	commit \| commitdiff \| tree
2018-05-29	Andres Noetzli	Make user's SMT2 version override file version (#2004)	commit \| commitdiff \| tree
2018-05-29	Andres Noetzli	Track input language in a single place (#2003)	commit \| commitdiff \| tree
2018-05-27	Andres Noetzli	Fix no-cbqi-innermost option name in run script (#1994)	commit \| commitdiff \| tree
next

RSS Atom