projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2018-10-16 Mathias Preinercmake: Add CxxTest include directory to unit test inclu... commit | commitdiff | tree
2018-10-16 Aina NiemetzBV rewrites (mined): Rule 35: Generalized ConcatPullUp... commit | commitdiff | tree
2018-10-16 Aina NiemetzBV rewrites (mined): Rule 35: Generalized ConcatPullUp... commit | commitdiff | tree
2018-10-16 Aina NiemetzBV rewrites (mined): Rule 35: Generalized ConcatPullUp... commit | commitdiff | tree
2018-10-16 Aina NiemetzBV rewrites (mined): Rule 35: ConcatPullUp (BITVECTOR_A... commit | commitdiff | tree
2018-10-16 Andrew ReynoldsImprove strings reductions including skolem caching... commit | commitdiff | tree
2018-10-16 Andrew ReynoldsImprove reduction for int.to.str (#2629) commit | commitdiff | tree
2018-10-16 Haniel BarbosaOption for shuffling condition pool in CegisUnif (... commit | commitdiff | tree
2018-10-15 Mathias Preinercmake: Generate git_versioninfo.cpp on build time.... commit | commitdiff | tree
2018-10-15 Andrew ReynoldsDelay initialization of theory engine (#2621) commit | commitdiff | tree
2018-10-15 Andres NoetzliAdd more (str.replace x y z) rewrites (#2628) commit | commitdiff | tree
2018-10-14 Andres NoetzliFix fp-bool.sy grammar and require symfpu (#2631) commit | commitdiff | tree
2018-10-13 Andres NoetzliReset input language for ExprMiner subsolver (#2624) commit | commitdiff | tree
2018-10-12 Andrew ReynoldsImprovements 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 Fix heuristic for string length approximation (#2622) commit | commitdiff | tree
2018-10-12 Andrew Reynolds Refactor printing of parameterized operators in smt2... commit | commitdiff | tree
2018-10-11 Andres NoetzliImprove reasoning about empty strings in rewriter ... commit | commitdiff | tree
2018-10-11 Andrew Reynolds Fix partial operator elimination in sygus grammar... commit | commitdiff | tree
2018-10-11 Andrew Reynolds Fix string ext inference for rewrites that introduce... commit | commitdiff | tree
2018-10-11 Haniel BarbosaFix default setting of CegisUnif options (#2605) commit | commitdiff | tree
2018-10-11 Mathias Preinercmake: Use gcovr instead lcov for coverage report gener... commit | commitdiff | tree
2018-10-11 Andres NoetzliFix compiler warnings (#2602) commit | commitdiff | tree
2018-10-11 Andrew ReynoldsSynthesize rewrite rules from inputs (#2608) commit | commitdiff | tree
2018-10-10 Andrew ReynoldsFix cegis so that evaluation unfolding is not interleav... commit | commitdiff | tree
2018-10-10 Andrew ReynoldsOptimize regular expression elimination (#2612) commit | commitdiff | tree
2018-10-10 Andres NoetzliAdd length-based rewrites for (str.substr _ _ _) (... commit | commitdiff | tree
2018-10-09 Andrew Reynolds Support for basic actively-generated enumerators ... commit | commitdiff | tree
2018-10-09 Aina NiemetzRandom: support URNG interface (#2595) commit | commitdiff | tree
2018-10-09 Andrew ReynoldsAllow multiple synthesis conjectures. (#2593) commit | commitdiff | tree
2018-10-09 Aina NiemetzFix compiler warnings. (#2601) commit | commitdiff | tree
2018-10-09 Aina NiemetzBV 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 Andrew Reynolds Fix string register extended terms (#2597) commit | commitdiff | tree
2018-10-09 Aina NiemetzCmake: Fix ctest call for example/translator. (#2600) commit | commitdiff | tree
2018-10-08 Andrew ReynoldsAddress 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 BarbosaFix 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 ReynoldsUpdate default options for sygus (#2586) commit | commitdiff | tree
2018-10-05 Andrew ReynoldsFix rewrite rule filtering. (#2591) commit | commitdiff | tree
2018-10-04 Aina NiemetzNew C++ API: Add checks for Sorts. (#2519) commit | commitdiff | tree
2018-10-04 Andrew ReynoldsInfrastructure for string length entailments via approx... commit | commitdiff | tree
2018-10-04 Andres NoetzliOnly use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590) commit | commitdiff | tree
2018-10-04 Andrew ReynoldsFix end constraint for regexp elimination (#2571) commit | commitdiff | tree
2018-10-04 Andrew ReynoldsClean remaining references to getNextDecisionRequest... commit | commitdiff | tree
2018-10-04 Aina NiemetzFix mem leak in sha1_collision example. (#2588) commit | commitdiff | tree
2018-10-04 Aina NiemetzFix mem leak in sets_translate example. (#2589) commit | commitdiff | tree
2018-10-04 Andrew ReynoldsSimplify datatypes printing (#2573) commit | commitdiff | tree
2018-10-04 Aina NiemetzFix compiler warnings. (#2585) commit | commitdiff | tree
2018-10-03 Andrew ReynoldsFix regress (#2575) commit | commitdiff | tree
2018-10-03 Andrew ReynoldsAdd actively generated sygus enumerators (#2552) commit | commitdiff | tree
2018-10-03 Haniel BarbosaMake CegisUnif with condition independent robust to... commit | commitdiff | tree
2018-10-03 Andrew ReynoldsFix stale op list in sets (#2572) commit | commitdiff | tree
2018-10-03 Andrew ReynoldsEliminate partial operators within lambdas during gramm... commit | commitdiff | tree
2018-10-03 Andres Noetzlicmake: Display skipped tests as not run (#2567) commit | commitdiff | tree
2018-10-03 Andres NoetzliAllow (_ to_fp ...) in strict parsing mode (#2566) commit | commitdiff | tree
2018-10-03 Mathias Preinerunit: Fix ASAN detection for GCC. (#2561) commit | commitdiff | tree
2018-10-02 Andres NoetzliMake registration of preprocessing passes explicit... commit | commitdiff | tree
2018-10-02 Alex OzdemirFix documentation for `make regress`. (#2557) commit | commitdiff | tree
2018-10-02 Mathias Preinercmake: Add examples to build-tests, add warning for... commit | commitdiff | tree
2018-10-02 Andres NoetzliFix "catching polymorphic type by value" warnings ... commit | commitdiff | tree
2018-10-01 Mathias Preinercmake: Generate compile_commands.json on configure... commit | commitdiff | tree
2018-10-01 Mathias Preinercmake: Add build target build-tests to build all test... commit | commitdiff | tree
2018-10-01 Haniel Barbosainit scalar class members (coverity issues 1473720... commit | commitdiff | tree
2018-10-01 Aina NiemetzFix compiler warnings. (#2555) commit | commitdiff | tree
2018-10-01 Andres Noetzli Fix dumping pre/post preprocessing passes (#2469) commit | commitdiff | tree
2018-10-01 Andres NoetzliRefactor preprocessing pass registration (#2468) commit | commitdiff | tree
2018-09-30 Andrew ReynoldsAdd rewrite for solving stoi (#2532) commit | commitdiff | tree
2018-09-30 Mathias Preinercmake: Ignore ctest exit code for coverage reports. commit | commitdiff | tree
2018-09-29 Haniel BarbosaStream concrete values for variable agnostic enumerator... commit | commitdiff | tree
2018-09-28 Andres NoetzliRewrites for (= "" _) and (= (str.replace _) _) (#2546) commit | commitdiff | tree
2018-09-28 Andres Noetzlicmake: Only do Java tests when unit testing on (#2551) commit | commitdiff | tree
2018-09-28 Mathias Preinercmake: Add CxxTest finder module to allow custom paths... commit | commitdiff | tree
2018-09-27 Andrew ReynoldsRemove assertion. (#2549) commit | commitdiff | tree
2018-09-27 Andrew ReynoldsInfrastructure for using active enumerators in sygus... commit | commitdiff | tree
2018-09-27 Andrew ReynoldsIncorporate all unification enumerators into getTermLis... commit | commitdiff | tree
2018-09-27 Andrew ReynoldsFix 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 ReynoldsFix bug in getSymbols. (#2544) commit | commitdiff | tree
2018-09-27 Mathias Preinercmake: Only print dumping warning if not disabled by... commit | commitdiff | tree
2018-09-26 Haniel BarbosaMakes SyGuS parsing more robust in invariant problems... commit | commitdiff | tree
2018-09-26 Mathias Preinercmake: Fix test target dependency issues. (#2540) commit | commitdiff | tree
2018-09-26 Andrew ReynoldsEnable quantified array regression. (#2539) commit | commitdiff | tree
2018-09-26 Andrew ReynoldsSymmetry breaking for variable agnostic enumerators... commit | commitdiff | tree
2018-09-26 Aina Niemetzcmake: New INSTALL.md for build and testing instruction... commit | commitdiff | tree
2018-09-26 Mathias Preinercmake: Exclude examples for coverage target. (#2535) commit | commitdiff | tree
2018-09-26 Andrew ReynoldsEagerly ensure literal on active guards for sygus enume... commit | commitdiff | tree
2018-09-26 Mathias Preinercmake: Add check for GCC 4.5.1 and warn user. (#2533) commit | commitdiff | tree
2018-09-26 Aina Niemetzexamples/hashsmt/sha1_inversion: Fix includes for newer... commit | commitdiff | tree
2018-09-25 Aina Niemetzcmake: configure.sh wrapper: Removed unused option... commit | commitdiff | tree
2018-09-25 yoni206carefully printing trusted assertions in proofs (#2505) commit | commitdiff | tree
2018-09-25 Mathias Preinercmake: Fix tag code generation dependencies. (#2529) commit | commitdiff | tree
2018-09-25 Andrew ReynoldsFix warnings uncovered by cmake build (#2521) commit | commitdiff | tree
2018-09-25 Andrew ReynoldsFix quantifiers selector over store rewrite (#2510) commit | commitdiff | tree
2018-09-25 Andrew ReynoldsAllow partial models for multiple sygus enumerators... commit | commitdiff | tree
2018-09-25 Andrew ReynoldsInfrastructure 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-25 Andrew ReynoldsRefactor strings equality rewriting (#2513) commit | commitdiff | tree
2018-09-25 Mathias Preinercmake: Fix dependencies for code generation. (#2524) commit | commitdiff | tree
next