isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

src/HOL/Tools/Nitpick/HISTORY

2009-11-24	blanchet	fix soundness bug in Nitpick's handling of negative literals (e.g., -1::rat)	file \| diff \| annotate
2009-11-23	blanchet	fix Nitpick soundness bug related to "finite (UNIV::'a set)" where "'a" is constrained by a sort to be infinite	file \| diff \| annotate
2009-11-23	blanchet	fixed soundness bug in Nitpick's handling of typedefs	file \| diff \| annotate
2009-11-23	blanchet	fixed soundness bug in Nitpick that occurred because unrolled predicate iterators were considered to be a "precise" type	file \| diff \| annotate
2009-11-17	blanchet	fixed bug in Nitpick's handling of "The" and "Eps" when the return type is a "bool"	file \| diff \| annotate
2009-11-12	blanchet	fixed soundness bug in Nitpick related to sets	file \| diff \| annotate
2009-11-10	blanchet	fixed soundness bug in Nitpick related to sets of sets;	file \| diff \| annotate
2009-11-05	blanchet	added possibility to register datatypes as codatatypes in Nitpick;	file \| diff \| annotate
2009-10-29	blanchet	fixed error in Nitpick's display of uncurried constants, which resulted in an exception	file \| diff \| annotate
2009-10-27	blanchet	optimized Nitpick's encoding and rendering of datatypes whose constructors don't appear in the problem	file \| diff \| annotate
2009-10-27	blanchet	renamed Nitpick option "coalesce_type_vars" to "merge_type_vars" (shorter) and cleaned up old hacks that are no longer necessary	file \| diff \| annotate
2009-10-23	blanchet	continuation of Nitpick's integration into Isabelle;	file \| diff \| annotate

less more (0) tip

isabelle