projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix fp-bool.sy grammar and require symfpu (#2631)
[cvc5.git] / test / regress /
2018-10-14 Andres NoetzliFix fp-bool.sy grammar and require symfpu (#2631) tree | commitdiff
2018-10-13 Andres NoetzliReset input language for ExprMiner subsolver (#2624) tree | commitdiff
2018-10-11 Andrew Reynolds Fix string ext inference for rewrites that introduce... tree | commitdiff
2018-10-10 Andrew ReynoldsOptimize regular expression elimination (#2612) tree | commitdiff
2018-10-09 Andrew Reynolds Support for basic actively-generated enumerators ... tree | commitdiff
2018-10-08 Andrew ReynoldsAddress slow sygus regressions (#2598) tree | commitdiff
2018-10-05 Andrew Reynolds Fix cache for sygus post-condition inference (#2592) tree | commitdiff
2018-10-05 Andrew ReynoldsUpdate default options for sygus (#2586) tree | commitdiff
2018-10-04 Andres NoetzliOnly use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590) tree | commitdiff
2018-10-04 Andrew ReynoldsFix end constraint for regexp elimination (#2571) tree | commitdiff
2018-10-03 Andrew ReynoldsFix regress (#2575) tree | commitdiff
2018-10-03 Andrew ReynoldsFix stale op list in sets (#2572) tree | commitdiff
2018-10-03 Andrew ReynoldsEliminate partial operators within lambdas during gramm... tree | commitdiff
2018-10-03 Andres Noetzlicmake: Display skipped tests as not run (#2567) tree | commitdiff
2018-10-03 Andres NoetzliAllow (_ to_fp ...) in strict parsing mode (#2566) tree | commitdiff
2018-10-01 Mathias Preinercmake: Add build target build-tests to build all test... tree | commitdiff
2018-09-30 Andrew ReynoldsAdd rewrite for solving stoi (#2532) tree | commitdiff
2018-09-27 Andrew ReynoldsFix Taylor overapproximation for large exponentials... tree | commitdiff
2018-09-27 Andrew Reynolds Fix homogeneous string constant rewrite (#2545) tree | commitdiff
2018-09-26 Haniel BarbosaMakes SyGuS parsing more robust in invariant problems... tree | commitdiff
2018-09-26 Mathias Preinercmake: Fix test target dependency issues. (#2540) tree | commitdiff
2018-09-26 Andrew ReynoldsEnable quantified array regression. (#2539) tree | commitdiff
2018-09-25 Andrew ReynoldsFix quantifiers selector over store rewrite (#2510) tree | commitdiff
2018-09-23 Andrew ReynoldsFix regress2. (#2502) tree | commitdiff
2018-09-22 Mathias Preinercmake: Run make coverage in parallel by default. tree | commitdiff
2018-09-22 Aina Niemetzcmake: More documentation, clean up. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added target check tree | commitdiff
2018-09-22 Mathias Preinercmake: Rebase with current master, add new tests/source... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Add dependencies for test targets and support... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Enable parallel execution for test targets regre... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-09-18 Andrew ReynoldsImprovements and fixes for symmetry detection and break... tree | commitdiff
2018-09-17 Andrew ReynoldsMake strings model construction robust to lengths that... tree | commitdiff
2018-09-14 Andrew ReynoldsGeneralize CandidateRewriteDatabase to ExprMiner (... tree | commitdiff
2018-09-13 Haniel BarbosaUses information gain heuristic for building better... tree | commitdiff
2018-09-11 Andrew ReynoldsSupport model cores via option --produce-model-cores... tree | commitdiff
2018-09-11 Andrew ReynoldsFix global negate (#2449) tree | commitdiff
2018-09-10 Andres NoetzliAdd (str.replace (str.replace y w y) y z) rewrite ... tree | commitdiff
2018-09-06 Andrew ReynoldsRefactor and document quantifiers variable elimination... tree | commitdiff
2018-09-05 Andres NoetzliAdd regex grammar to rewriter verification tests (... tree | commitdiff
2018-09-05 Andrew Reynolds Extended rewriter for string equalities (#2427) tree | commitdiff
2018-09-04 Andrew ReynoldsMake quantifiers strategies exit immediately when in... tree | commitdiff
2018-08-30 Andrew ReynoldsAdd regular expression elimination module (#2400) tree | commitdiff
2018-08-28 Andrew Reynolds Fix for get constraints method in fmf-fun (#2399) tree | commitdiff
2018-08-28 Andrew ReynoldsFix sort inference for quantified variables of interpre... tree | commitdiff
2018-08-28 Andrew ReynoldsRefactor extended rewriter, move rewrites to aggressive... tree | commitdiff
2018-08-27 Andrew ReynoldsMake division chainable in the smt2 parser (#2367) tree | commitdiff
2018-08-25 Haniel BarbosaRefactor nlExtPurify preprocessing pass (#1963) tree | commitdiff
2018-08-24 Andrew Reynolds Remove spurious disabling of cbqi-all (#2368) tree | commitdiff
2018-08-24 Andres NoetzliAdd tests that enumerate and verify rewrite rules ... tree | commitdiff
2018-08-23 Andrew ReynoldsFix regression requiring proof build. (#2364) tree | commitdiff
2018-08-23 Andrew ReynoldsMore regressions that increase coverage (#2354) tree | commitdiff
2018-08-22 yoni206Generating less consistency lemmas in bv-ackermann... tree | commitdiff
2018-08-22 Andrew ReynoldsFix option for real2int regression. (#2353) tree | commitdiff
2018-08-22 Haniel BarbosaAdds regression test for automatic generation of SyGuS... tree | commitdiff
2018-08-22 Andrew Reynolds Fix processing of nested Variable construct in sygus... tree | commitdiff
2018-08-21 Haniel BarbosaMakes the new row propagation system default (#2335) tree | commitdiff
2018-08-21 Andrew ReynoldsUse cbqi-full for sygus (#2346) tree | commitdiff
2018-08-21 Andres NoetzliRemove support for *.expect files in regressions (... tree | commitdiff
2018-08-20 Andrew ReynoldsAdd regressions that increase coverage (#2337) tree | commitdiff
2018-08-18 Aina Niemetzrun-regress script: Exit with exit code > 0 on failure... tree | commitdiff
2018-08-17 Andrew Reynolds Add sygus stream regressions (#2330) tree | commitdiff
2018-08-17 Andrew Reynolds Fix spurious warning in sort inference (#2331) tree | commitdiff
2018-08-17 Andrew Reynolds Eliminate partial operators in sygus grammar normaliza... tree | commitdiff
2018-08-16 Haniel BarbosaRefactor extended rewriter preprocessing pass (#2324) tree | commitdiff
2018-08-16 Haniel BarbosaRefactor apply2const (#2316) tree | commitdiff
2018-08-15 Andrew ReynoldsMake sort inference a preprocessing pass (#2309) tree | commitdiff
2018-08-14 Andres NoetzliFix get-unsat-assumptions output (#2301) tree | commitdiff
2018-08-09 Andrew Reynolds Fix char overflow issues in regular expression solver... tree | commitdiff
2018-08-09 Andres NoetzliFix documentation of regression tests (#2290) tree | commitdiff
2018-08-08 Andrew ReynoldsDisable argument relevance for sygus by default (#2288) tree | commitdiff
2018-08-08 Andrew Reynolds Fix simple reg exp consume rewrite (#2281) tree | commitdiff
2018-08-07 Andrew ReynoldsFix inference of pre and post conditions for non variab... tree | commitdiff
2018-08-07 Andrew ReynoldsAdd RegLan to smt2/sygus parsers. (#2276) tree | commitdiff
2018-08-07 Andrew ReynoldsRemove support for Enum sygus syntax. (#2264) tree | commitdiff
2018-08-06 Andrew Reynolds Fixes and improvements for single invocation inference... tree | commitdiff
2018-08-06 Andrew ReynoldsFix degenerate case of sygus grammar construction for... tree | commitdiff
2018-08-02 Andrew ReynoldsParse standard separation logic inputs (#2257) tree | commitdiff
2018-08-02 Andrew ReynoldsImprove CEGQI heuristics involving equality and multipl... tree | commitdiff
2018-08-02 Andrew ReynoldsImprovements and fixes in cegqi arithmetic (#2247) tree | commitdiff
2018-08-01 Andrew ReynoldsFix issues with bv2nat (#2219) tree | commitdiff
2018-07-30 Mathias PreinerAdd support for incremental eager bit-blasting. (#1838) tree | commitdiff
2018-07-26 yoni206Disabling bvLazyRewriteExtf in the right place (#2214) tree | commitdiff
2018-07-26 Andrew ReynoldsFix rewriter for lambda (#2211) tree | commitdiff
2018-07-24 Andrew ReynoldsImprovements to sets + cardinality + quantifiers (... tree | commitdiff
2018-07-23 Andrew Reynolds sygusComp2018: add regressions (#2191) tree | commitdiff
2018-07-21 Andrew ReynoldsOptimizations and fixes for computing whether a type... tree | commitdiff
2018-07-21 yoni206Remove --no-check-proofs and --no-check-unsat-cores... tree | commitdiff
2018-07-17 yoni206Refactor sep-pre-skolem-emp preprocessing pass tree | commitdiff
2018-07-13 Andres NoetzliProperly clean up assertion stack in CnfProof (#2147) tree | commitdiff
2018-07-13 Andrew Reynolds sygusComp2018: optimization for collect model info... tree | commitdiff
2018-07-03 Andres NoetzliAdd regression test for issue #1986 (#2114) tree | commitdiff
2018-07-02 Andrew ReynoldsModify cegqi heuristic for finite datatypes (#2126) tree | commitdiff
2018-06-28 Andres NoetzliFix stale reference in MiniSat when generating UC ... tree | commitdiff
2018-06-21 Andres NoetzliCheck unsat cores in regressions also without LFSC... tree | commitdiff
2018-06-15 Andrew ReynoldsDisable solving non-linear BV literals by default ... tree | commitdiff
2018-06-13 Andrew ReynoldsFix simple regexp consume (#2066) tree | commitdiff
2018-06-12 Andrew ReynoldsFix strip constant endpoint for ITOS in strings rewrite... tree | commitdiff
2018-06-11 Andrew ReynoldsFix equality conflicts reported by FP (#2064) tree | commitdiff
next