projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch '1.3.x'
[cvc5.git] / src / theory / rewriterules /
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-19 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-01-28 Andrew ReynoldsMore optimizations of quantifier instantiation data... tree | commitdiff
2014-01-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-22 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-01-22 Morgan DetersDelay QuantifiersEngine and UF strong solver initializa... tree | commitdiff
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... tree | commitdiff
2013-11-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-21 Tim KingAdding the changes needed to delete rewriter attributes... tree | commitdiff
2013-11-11 Morgan DetersFlatten libcvc4 build structure; remove some #include... tree | commitdiff
2013-11-07 Morgan DetersFlatten libcvc4 build structure; remove some #include... tree | commitdiff
2013-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-08-26 Kshitij BansalMerge branch '1.2.x' tree | commitdiff
2013-07-29 Morgan DetersFix numerous compiler warnings on various platforms tree | commitdiff
2013-06-25 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-19 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-17 Andrew ReynoldsMake --var-elim-quant true by default. Add rewrite... tree | commitdiff
2013-06-04 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-03 Morgan DetersMerge tag 'casc24' tree | commitdiff
2013-05-29 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-22 Andrew ReynoldsMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-05-22 Andrew ReynoldsSignificant work on bounded integer quantification... tree | commitdiff
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails tree | commitdiff
2013-04-02 Morgan DetersRemove old README file from rewrite-rules left over... tree | commitdiff
2013-04-02 Morgan Detersupdate copyrights tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... tree | commitdiff
2013-03-19 Morgan DetersMinor cleanup of sources tree | commitdiff
2013-03-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan Detersfix to build system: #include the proper file when... tree | commitdiff
2013-03-13 lianahpost failed attempts at getting the incremental solver... tree | commitdiff
2013-03-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-26 lianahMerge branch '1.0.x' tree | commitdiff
2013-02-26 lianahMerge branch '1.0.x' of https://github.com/CVC4/CVC4... tree | commitdiff
2013-02-17 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-17 Kshitij BansalMerge pull request #6 from kbansal/decNewoptions tree | commitdiff
2013-02-16 Morgan DetersSome cleanup and copyright updating tree | commitdiff
2013-02-16 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Tim KingMerge branch '1.0.x' tree | commitdiff
2013-02-15 Tianyi Liangrepairs a bug in rewriterule engine: constructor cannot... tree | commitdiff
2013-02-14 Dejan JovanovićMerge pull request #4 from tiliang/master tree | commitdiff
2013-02-14 Tianyi Liangrepairs a bug in rewriterule engine: constructor cannot... tree | commitdiff
2013-02-08 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' tree | commitdiff
2013-02-05 Kshitij BansalMerge pull request #3 from kbansal/1.0.x tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Morgan Detersdos2unix conversion for a number of files; this avoids... tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan Detersfixed files with DOS newlines; fixed contrib/ scripts... tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-02 lianahmerged master into branch tree | commitdiff
2013-02-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-31 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-28 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-27 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-25 Morgan DetersFix errors and reduce warnings on clang (merge from... tree | commitdiff
2012-12-01 Andrew Reynoldsdrastic simplification of quantifiers code regarding... tree | commitdiff
2012-11-30 Andrew Reynoldsquantifiers now uses master equality engine, preparatio... tree | commitdiff
2012-11-15 Clark BarrettMore fixes to model generation, with previously failing... tree | commitdiff
2012-11-14 Andrew Reynoldsreplaced all static member data from rewrite rule trigg... tree | commitdiff
2012-10-24 Andrew Reynoldsfixed assertion failures in efficient e-matching tree | commitdiff
2012-10-24 Andrew Reynoldsefficient e-matching now specific to rewrite rules tree | commitdiff
2012-10-23 Andrew Reynoldsmore major cleanup of quantifiers code, separating... tree | commitdiff
2012-10-16 Andrew Reynoldsfirst draft of new inst gen method (still with bugs... tree | commitdiff
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... tree | commitdiff
2012-09-24 Morgan DetersFix the memout issue seen in recent nightly regressions... tree | commitdiff
2012-09-22 Morgan DetersSeparate public-facing and internal-facing interfaces... tree | commitdiff
2012-09-19 Morgan DetersGeneral subscriber infrastructure for NodeManager,... tree | commitdiff
2012-08-31 Andrew Reynoldsmerge from fmf-devel branch. more updates to models... tree | commitdiff
2012-08-27 Morgan Deters* Reversing commit r4258 (which disabled failing regres... tree | commitdiff
2012-08-21 François Bobotrewriterules: fix a correction bug with --simplificatio... tree | commitdiff
2012-08-20 Morgan Detersremove duplicate function TheoryEngine::getTheory(Theor... tree | commitdiff
2012-07-31 Morgan DetersMoving some instantiation-related stuff from src/theory... tree | commitdiff
2012-07-31 Morgan DetersOptions merge. This commit: tree | commitdiff
2012-07-27 François BobotMerge quantifiers2-trunk: tree | commitdiff
2012-07-12 Andrew Reynoldsmerged fmf-devel branch, includes support for SMT2... tree | commitdiff
2012-07-07 Morgan DetersVarious fixes to documentation---typos, some incomplete... tree | commitdiff
2012-06-15 Tim KingFixing mac compilation issues. tree | commitdiff
2012-06-14 Dejan Jovanović* removing rewriteEquality from the rewriter tree | commitdiff
2012-06-11 Morgan DetersMerge from quantifiers2-trunkmerge branch. tree | commitdiff