projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch '1.3.x'
[cvc5.git] / src / theory / logic_info.h
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw
2013-06-03 Morgan DetersMerge tag 'casc24' blob | commitdiff | raw
2013-05-29 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw
2013-05-28 Morgan DetersStandardize SMT-LIBv2 set of logics to use LogicInfo. blob | commitdiff | raw
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
2012-11-26 Dejan Jovanovićfixup for incremental solving blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-10-01 Morgan Detersmake sure to mark LogicInfo as CVC4_PUBLIC blob | commitdiff | raw | diff to current
2012-09-28 Morgan DetersPublic interface review items: blob | commitdiff | raw | diff to current
2012-08-16 Morgan DetersThe SmtEngine now ensures that setLogicInternal() is... blob | commitdiff | raw | diff to current
2012-08-03 Morgan DetersComparisons for LogicInfos, and associated tests blob | commitdiff | raw | diff to current
2012-06-07 Morgan DetersLogicInfo locking implemented, and some initialization... blob | commitdiff | raw | diff to current
2012-05-17 Morgan DetersFixing an issue with LogicInfo::isPure() that turned... blob | commitdiff | raw | diff to current
2012-04-28 Morgan DetersNew LogicInfo functionality. blob | commitdiff | raw | diff to current