git.libre-soc.org Git - cvc5.git/history - src/smt/model

[cvc5.git] / src / smt / model_postprocessor.cpp

2014-11-07	Morgan Deters	Revert "Fix missing case in model postprocessor (resolv...	blob \| commitdiff \| raw
2014-11-07	Morgan Deters	Fix missing case in model postprocessor (resolves bug...	blob \| commitdiff \| raw \| diff to current
2014-10-07	Morgan Deters	Fix a bug in tuple-record handling. Thanks to Saumya...	blob \| commitdiff \| raw
2014-07-10	Kshitij Bansal	Merge remote-tracking branch 'origin/master' into segfa...	blob \| commitdiff \| raw \| diff to current
2014-07-01	Morgan Deters	Update copyrights.	blob \| commitdiff \| raw \| diff to current
2013-12-05	Morgan Deters	Update copyrights, add missing file-level documentation...	blob \| commitdiff \| raw \| diff to current
2013-12-05	Morgan Deters	Fix Boolean terms w.r.t. parametric datatypes (e.g...	blob \| commitdiff \| raw \| diff to current
2013-11-11	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	blob \| commitdiff \| raw \| diff to current
2013-11-07	Morgan Deters	Flatten libcvc4 build structure; remove some #include...	blob \| commitdiff \| raw \| diff to current
2013-11-04	lianah	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-10-10	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-10-09	Andrew Reynolds	More improvements to datatypes, eager selector collapsi...	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Regenerated copyrights: canonicalized names, no emails	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	update copyrights	blob \| commitdiff \| raw \| diff to current
2013-04-02	Morgan Deters	Fixes for two bugs:	blob \| commitdiff \| raw \| diff to current
2013-03-27	lianah	added model generation for bv subtheories and bv-inequa...	blob \| commitdiff \| raw \| diff to current
2013-03-23	Dejan Jovanović	Merge remote-tracking branch 'dddejan/c++11'	blob \| commitdiff \| raw \| diff to current
2013-03-22	Morgan Deters	Support for Boolean term conversion in datatypes.	blob \| commitdiff \| raw \| diff to current
2012-12-01	Morgan Deters	Some fixes for boolean arrays	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	Functions and predicates over Boolean now work with...	blob \| commitdiff \| raw \| diff to current
2012-11-27	Morgan Deters	Tuples and records merge. Resolves bug 270.	blob \| commitdiff \| raw \| diff to current

RSS Atom