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

2018-10-10	Andrew Reynolds	Optimize regular expression elimination (#2612)	commit \| commitdiff \| tree
2018-10-09	Andrew Reynolds	Support for basic actively-generated enumerators ...	commit \| commitdiff \| tree
2018-10-09	Aina Niemetz	Random: support URNG interface (#2595)	commit \| commitdiff \| tree
2018-10-09	Andrew Reynolds	Allow multiple synthesis conjectures. (#2593)	commit \| commitdiff \| tree
2018-10-09	Aina Niemetz	Fix compiler warnings. (#2601)	commit \| commitdiff \| tree
2018-10-09	Aina Niemetz	BV instantiator: Factor out util functions. (#2604)	commit \| commitdiff \| tree
2018-10-09	Aina Niemetz	BV inverter: Factor out util functions. (#2603)	commit \| commitdiff \| tree
2018-10-09	Aina Niemetz	Cmake: Fix ctest call for example/translator. (#2600)	commit \| commitdiff \| tree
2018-10-08	Andrew Reynolds	Address slow sygus regressions (#2598)	commit \| commitdiff \| tree
2018-10-08	Andrew Reynolds	Disable extended rewriter when applicable with var...	commit \| commitdiff \| tree
2018-10-05	Haniel Barbosa	Fix unif trace (#2550)	commit \| commitdiff \| tree
2018-10-05	Andrew Reynolds	Fix cache for sygus post-condition inference (#2592)	commit \| commitdiff \| tree
2018-10-05	Andrew Reynolds	Update default options for sygus (#2586)	commit \| commitdiff \| tree
2018-10-04	Aina Niemetz	New C++ API: Add checks for Sorts. (#2519)	commit \| commitdiff \| tree
2018-10-04	Andrew Reynolds	Infrastructure for string length entailments via approximati...	commit \| commitdiff \| tree
2018-10-04	Andres Noetzli	Only use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590)	commit \| commitdiff \| tree
2018-10-04	Andrew Reynolds	Clean remaining references to getNextDecisionRequest...	commit \| commitdiff \| tree
2018-10-04	Aina Niemetz	Fix mem leak in sha1_collision example. (#2588)	commit \| commitdiff \| tree
2018-10-04	Aina Niemetz	Fix mem leak in sets_translate example. (#2589)	commit \| commitdiff \| tree
2018-10-04	Aina Niemetz	Fix compiler warnings. (#2585)	commit \| commitdiff \| tree
2018-10-03	Andrew Reynolds	Fix regress (#2575)	commit \| commitdiff \| tree
2018-10-03	Andrew Reynolds	Fix stale op list in sets (#2572)	commit \| commitdiff \| tree
2018-10-03	Andres Noetzli	cmake: Display skipped tests as not run (#2567)	commit \| commitdiff \| tree
2018-10-02	Andres Noetzli	Make registration of preprocessing passes explicit...	commit \| commitdiff \| tree
2018-10-01	Mathias Preiner	cmake: Add build target build-tests to build all test...	commit \| commitdiff \| tree
2018-10-01	Haniel Barbosa	init scalar class members (coverity issues 1473720...	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-30	Andrew Reynolds	Add rewrite for solving stoi (#2532)	commit \| commitdiff \| tree
2018-09-29	Haniel Barbosa	Stream concrete values for variable agnostic enumerators...	commit \| commitdiff \| tree
2018-09-28	Mathias Preiner	cmake: Add CxxTest finder module to allow custom paths...	commit \| commitdiff \| tree
2018-09-27	Andrew Reynolds	Infrastructure for using active enumerators in sygus...	commit \| commitdiff \| tree
2018-09-27	Andrew Reynolds	Incorporate all unification enumerators into getTermList...	commit \| commitdiff \| tree
2018-09-27	Andrew Reynolds	Fix Taylor overapproximation for large exponentials...	commit \| commitdiff \| tree
2018-09-27	Andrew Reynolds	Fix homogeneous string constant rewrite (#2545)	commit \| commitdiff \| tree
2018-09-27	Andrew Reynolds	Fix bug in getSymbols. (#2544)	commit \| commitdiff \| tree
2018-09-26	Haniel Barbosa	Makes SyGuS parsing more robust in invariant problems...	commit \| commitdiff \| tree
2018-09-26	Andrew Reynolds	Enable quantified array regression. (#2539)	commit \| commitdiff \| tree
2018-09-26	Andrew Reynolds	Symmetry breaking for variable agnostic enumerators...	commit \| commitdiff \| tree
2018-09-26	Aina Niemetz	cmake: New INSTALL.md for build and testing instructions...	commit \| commitdiff \| tree
2018-09-26	Mathias Preiner	cmake: Exclude examples for coverage target. (#2535)	commit \| commitdiff \| tree
2018-09-26	Andrew Reynolds	Eagerly ensure literal on active guards for sygus enumerator...	commit \| commitdiff \| tree
2018-09-26	Aina Niemetz	examples/hashsmt/sha1_inversion: Fix includes for newer...	commit \| commitdiff \| tree
2018-09-25	yoni206	carefully printing trusted assertions in proofs (#2505)	commit \| commitdiff \| tree
2018-09-25	Andrew Reynolds	Fix warnings uncovered by cmake build (#2521)	commit \| commitdiff \| tree
2018-09-25	Andrew Reynolds	Allow partial models for multiple sygus enumerators...	commit \| commitdiff \| tree
2018-09-25	Andrew Reynolds	Infrastructure for variable agnostic sygus enumerators...	commit \| commitdiff \| tree
2018-09-25	Andrew Reynolds	Improve non-linear check model error handling (#2497)	commit \| commitdiff \| tree
2018-09-24	Andres Noetzli	Make string rewriter unit tests more robust (#2520)	commit \| commitdiff \| tree
2018-09-24	Aina Niemetz	cmake: Fix and simplify git version info. (#2516)	commit \| commitdiff \| tree
2018-09-24	Mathias Preiner	cmake: Add program prefix option. (#2515)	commit \| commitdiff \| tree
2018-09-23	Aina Niemetz	New C++ API: Add checks for Terms/OpTerms. (#2455)	commit \| commitdiff \| tree
2018-09-19	Andrew Reynolds	Decision strategy: incorporate arrays. (#2495)	commit \| commitdiff \| tree
2018-09-18	Andrew Reynolds	More aggressive caching of string skolems. (#2491)	commit \| commitdiff \| tree
2018-09-18	Andrew Reynolds	Move and rename sygus solver classes (#2488)	commit \| commitdiff \| tree
2018-09-18	Andrew Reynolds	Clean remaining references to getNextDecisionRequest...	commit \| commitdiff \| tree
2018-09-17	Andrew Reynolds	Move inst_strategy_cbqi to inst_strategy_cegqi (#2477)	commit \| commitdiff \| tree
2018-09-17	Andrew Reynolds	Decision strategy: incorporate cegis unif (#2482)	commit \| commitdiff \| tree
2018-09-17	Andrew Reynolds	Decision strategy: incorporate bounded integers (...	commit \| commitdiff \| tree
2018-09-17	Andrew Reynolds	Decision strategy: incorporate datatypes sygus solver...	commit \| commitdiff \| tree
2018-09-17	Andrew Reynolds	More aggressive skolem caching for strings, document...	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	Andrew Reynolds	Decision strategy: incorporate sygus feasible and sygus...	commit \| commitdiff \| tree
2018-09-15	Andres Noetzli	Refactor how assertions are added to decision engine...	commit \| commitdiff \| tree
2018-09-14	Andrew Reynolds	Generalize CandidateRewriteDatabase to ExprMiner (...	commit \| commitdiff \| tree
2018-09-13	Mathias Preiner	Fix #include for minisat headers in bvminisat. (#2463)	commit \| commitdiff \| tree
2018-09-13	Haniel Barbosa	Uses information gain heuristic for building better...	commit \| commitdiff \| tree
2018-09-13	Andrew Reynolds	Simplify storing of transcendental function applications...	commit \| commitdiff \| tree
2018-09-13	Andrew Reynolds	Decision strategy: incorporate CEGQI (#2460)	commit \| commitdiff \| tree
2018-09-12	Aina Niemetz	New C++ API: Try to fix (false positive) Coverity warnings...	commit \| commitdiff \| tree
2018-09-12	Aina Niemetz	Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES....	commit \| commitdiff \| tree
2018-09-12	Andrew Reynolds	Initial infrastructure for theory decision manager...	commit \| commitdiff \| tree
2018-09-12	Andrew Reynolds	Fix for when strings process loop is disabled. (#2456)	commit \| commitdiff \| tree
2018-09-11	Aina Niemetz	Fixe compiler warning in line_buffer.cpp. (#2453)	commit \| commitdiff \| tree
2018-09-11	Andres Noetzli	Set NodeManager to nullptr when exporting vars (#2445)	commit \| commitdiff \| tree
2018-09-11	Aina Niemetz	Refactor non-clausal simplify preprocessing pass. ...	commit \| commitdiff \| tree
2018-09-10	Andrew Reynolds	Squash implementation of counterexample-guided instantiation...	commit \| commitdiff \| tree
2018-09-07	Mathias Preiner	Replace boost::integer_traits with std::numeric_limits...	commit \| commitdiff \| tree
2018-09-06	Andrew Reynolds	Further simplify and fix initialization of ce guided...	commit \| commitdiff \| tree
2018-09-06	Andrew Reynolds	Refactor and document quantifiers variable elimination...	commit \| commitdiff \| tree
2018-09-06	Andrew Reynolds	Minor improvements to interface for rep set. (#2435)	commit \| commitdiff \| tree
2018-09-05	Andrew Reynolds	More extended rewrites for strings equality (#2431)	commit \| commitdiff \| tree
2018-09-05	Andrew Reynolds	Eliminate select over store in quantifier bodies ...	commit \| commitdiff \| tree
2018-09-05	Andrew Reynolds	Remove printing support for sygus enumeration types...	commit \| commitdiff \| tree
2018-09-05	Andrew Reynolds	Finer-grained inference of substitutions in incremental...	commit \| commitdiff \| tree
2018-09-05	Andrew Reynolds	Extended rewriter for string equalities (#2427)	commit \| commitdiff \| tree
2018-09-04	Andrew Reynolds	Minor improvements to theory model builder interface...	commit \| commitdiff \| tree
2018-09-04	Andrew Reynolds	Make quantifiers strategies exit immediately when in...	commit \| commitdiff \| tree
2018-09-04	Aina Niemetz	Transfer ownership of learned literals from SMT engine...	commit \| commitdiff \| tree
2018-09-04	Andrew Reynolds	Refactor ceg conjecture initialization (#2411)	commit \| commitdiff \| tree
2018-08-31	Haniel Barbosa	Allows SAT checks of repair const to have different...	commit \| commitdiff \| tree
2018-08-31	Andrew Reynolds	Refactor and document alpha equivalence. (#2402)	commit \| commitdiff \| tree
2018-08-31	Haniel Barbosa	Fix export of bound variables (#2409)	commit \| commitdiff \| tree
2018-08-30	Mathias Preiner	Refactor theory preprocess into preprocessing pass...	commit \| commitdiff \| tree
2018-08-30	Andrew Reynolds	Add regular expression elimination module (#2400)	commit \| commitdiff \| tree
2018-08-28	Andrew Reynolds	Split term canonize utility to own file and document...	commit \| commitdiff \| tree
2018-08-28	Andrew Reynolds	Fix for get constraints method in fmf-fun (#2399)	commit \| commitdiff \| tree
2018-08-28	Andrew Reynolds	Solve equalities between Boolean variables in presolve...	commit \| commitdiff \| tree
2018-08-28	Andres Noetzli	Remove dead code in fp_converter (#2388)	commit \| commitdiff \| tree
next

RSS Atom