git.libre-soc.org Git - cvc5.git/history - src/options/strings

2016-07-26	ajreynol	Minor improvements to strings related to constant split...	blob \| commitdiff \| raw
2016-07-16	ajreynol	Refactor strings extf evaluation info. Ensure strings...	blob \| commitdiff \| raw \| diff to current
2016-07-06	ajreynol	Add comment field for model, resolves hack for printing...	blob \| commitdiff \| raw \| diff to current
2016-03-01	ajreynol	Shorter explanations for strings based on tracking...	blob \| commitdiff \| raw \| diff to current
2016-02-26	ajreynol	Refactoring of inferences in strings. Add several options.	blob \| commitdiff \| raw \| diff to current
2016-02-24	ajreynol	Add entailment checks between length terms to reduce...	blob \| commitdiff \| raw \| diff to current
2016-01-28	Tim King	Adding listeners to Options.	blob \| commitdiff \| raw \| diff to current
2015-12-15	Tim King	Refactoring Options Handler & Library Cycle Breaking	blob \| commitdiff \| raw \| diff to current