projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix line numbers in templates (#3391)
[cvc5.git] / src / expr / kind_template.h
2019-10-15 Andres NoetzliFix line numbers in templates (#3391) blob | commitdiff | raw
2019-10-11 Aina NiemetzMake order of theories explicit in the source code... blob | commitdiff | raw | diff to current
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) blob | commitdiff | raw | diff to current
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzUpdated copyright headers. blob | commitdiff | raw | diff to current
2018-03-07 Mathias PreinerMake statistics output consistent. (#1647) blob | commitdiff | raw | diff to current
2017-12-10 Andres NoetzliFix issue with mkConst/getConst of TypeConstant (#1439) blob | commitdiff | raw | diff to current
2017-09-18 Tim KingMoving the CVC4_PUBLIC attribute to the beginning of... blob | commitdiff | raw | diff to current
2017-09-15 makaimannAdd missing CVC4_PUBLIC in kind_template (#1078) blob | commitdiff | raw | diff to current
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp blob | commitdiff | raw | diff to current
2017-08-15 Andres NoetzliMove function definitions from kind.h to kind.cpp ... blob | commitdiff | raw | diff to current
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw | diff to current
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-04-04 Tim KingUpdating the copyright headers and scripts. blob | commitdiff | raw | diff to current
2015-12-24 Tim KingMiscellaneous fixes blob | commitdiff | raw | diff to current
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersUpdate copyrights. blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2013-03-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-14 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-01 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-26 lianahMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-17 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-16 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Tim KingMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-08 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-04 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-04 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-02 lianahmerged master into branch blob | commitdiff | raw | diff to current
2013-02-01 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-31 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-28 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-27 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-25 Morgan DetersFix errors and reduce warnings on clang (merge from... blob | commitdiff | raw | diff to current
2012-10-14 Morgan Detersfix #line number warnings (sorry!) blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-09-28 Morgan DetersPublic interface review items: blob | commitdiff | raw | diff to current
2012-08-29 Morgan Deters* Numerous documentation fixes (fix doxygen warnings... blob | commitdiff | raw | diff to current
2012-08-07 Morgan DetersSome items from the CVC4 public interface review: blob | commitdiff | raw | diff to current
2012-06-11 Morgan DetersMerge from quantifiers2-trunkmerge branch. blob | commitdiff | raw | diff to current
2012-06-06 Dejan JovanovićChanges to the combination mechanism, lots of details... blob | commitdiff | raw | diff to current
2012-04-28 Morgan DetersNew LogicInfo functionality. blob | commitdiff | raw | diff to current
2012-04-28 Morgan Detersundo, again blob | commitdiff | raw | diff to current
2012-04-28 Morgan Detersadding THEORY_QUANTIFIERS and THEORY_REWRITERULES to... blob | commitdiff | raw | diff to current
2012-04-27 Morgan Detersundo previous commit (as it will break a number of... blob | commitdiff | raw | diff to current
2012-04-27 Morgan Detersadding THEORY_QUANTIFIERS and THEORY_REWRITERULES to... blob | commitdiff | raw | diff to current
2011-09-15 Dejan Jovanovićadditional stuff for sharing, blob | commitdiff | raw | diff to current
2011-06-30 Morgan Detersonly use theory registration if (1) a theory requests... blob | commitdiff | raw | diff to current
2011-04-25 Morgan DetersWeekend work. The main points: blob | commitdiff | raw | diff to current
2011-04-20 Morgan DetersTuesday end-of-day commit. blob | commitdiff | raw | diff to current
2011-01-05 Dejan JovanovićCommit for the theory engine and rewriter changes.... blob | commitdiff | raw | diff to current
2010-12-16 Morgan Detersminor fixes for correct doxygen output blob | commitdiff | raw | diff to current
2010-06-04 Morgan Deters** Don't fear the files-changed list, almost all change... blob | commitdiff | raw | diff to current
2010-04-01 Morgan DetersPARSER STUFF: blob | commitdiff | raw | diff to current
2010-03-30 Morgan DetersHighlights of this commit are: blob | commitdiff | raw | diff to current