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

2018-10-18	Andrew Reynolds	Non-contributing find replace rewrite (#2652)	commit \| commitdiff \| tree
2018-10-18	Andrew Reynolds	Improve reduction for str.to.int (#2636)	commit \| commitdiff \| tree
2018-10-18	Haniel Barbosa	Introducing internal commands for SyGuS commands (...	commit \| commitdiff \| tree
2018-10-18	Andrew Reynolds	Constant length regular expression elimination (#2646)	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-18	Andrew Reynolds	Sygus query generator (#2465)	commit \| commitdiff \| tree
2018-10-17	Andrew Reynolds	Fix context-dependent for positive contains reduction...	commit \| commitdiff \| tree
2018-10-16	Andrew Reynolds	Improve strings reductions including skolem caching...	commit \| commitdiff \| tree
2018-10-16	Andrew Reynolds	Improve reduction for int.to.str (#2629)	commit \| commitdiff \| tree
2018-10-16	Haniel Barbosa	Option for shuffling condition pool in CegisUnif (...	commit \| commitdiff \| tree
2018-10-12	Andrew Reynolds	Improvements to rewrite rules from inputs (#2625)	commit \| commitdiff \| tree
2018-10-12	Andres Noetzli	Add rewrites for str.replace in str.contains (#2623)	commit \| commitdiff \| tree
2018-10-12	Andrew Reynolds	Refactor printing of parameterized operators in smt2...	commit \| commitdiff \| tree
2018-10-11	Andrew Reynolds	Fix string ext inference for rewrites that introduce...	commit \| commitdiff \| tree
2018-10-11	Mathias Preiner	cmake: Use gcovr instead lcov for coverage report generation...	commit \| commitdiff \| tree
2018-10-11	Andrew Reynolds	Synthesize rewrite rules from inputs (#2608)	commit \| commitdiff \| tree
2018-10-10	Andrew Reynolds	Fix cegis so that evaluation unfolding is not interleaved...	commit \| commitdiff \| tree
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... [0] https://github.com/CVC4/CVC4/blob/c2111c86973b8a80e20a... [2] https://github.com/CVC4/CVC4/blob/c2111c86973b8a80e20a...	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
next

RSS Atom