src/HOL/Tools/Nitpick/nitpick_tests.ML
2016-08-14 blanchet 2016-08-14 removed trailing final stops in Nitpick messages
2014-02-17 blanchet 2014-02-17 simplified data structure by reducing the incidence of clumsy indices
2014-01-31 blanchet 2014-01-31 compile
2014-01-31 blanchet 2014-01-31 tuned ML file name
2013-12-19 blanchet 2013-12-19 made timeouts in Sledgehammer not be 'option's -- simplified lots of code
2011-02-21 blanchet 2011-02-21 tweaked Nitpick based on C++ memory model example
2010-08-04 blanchet 2010-08-04 get rid of all "optimizations" regarding "unit" and other cardinality-1 types
2010-08-03 blanchet 2010-08-03 example tweaking -- also prevents Nitpick_Tests from using more than 1 thread
2010-06-11 blanchet 2010-06-11 remove needless variables
2010-04-24 blanchet 2010-04-24 remove type annotations as comments; Nitpick is now 1136 lines shorter
2010-04-24 blanchet 2010-04-24 cosmetics
2010-03-19 blanchet 2010-03-19 move the Sledgehammer Isar commands together into one file; this will make easier to add options and reorganize them later
2010-02-26 blanchet 2010-02-26 use SAT4J for "Tests_Nits.thy" for safety (this should solve the Isatest failures) + minor changes
2010-02-23 blanchet 2010-02-23 distinguish between Kodkodi warnings and errors in Nitpick; will be needed starting with version 1.2.9 of Kodkodi
2010-02-22 blanchet 2010-02-22 enabled Nitpick's support for quotient types + shortened the Nitpick tests a bit
2010-02-22 blanchet 2010-02-22 fixed a few bugs in Nitpick and removed unreferenced variables
2010-02-17 blanchet 2010-02-17 added yet another hint to Nitpick's output, this time warning about problems for which nothing was effectively tested
2010-02-02 blanchet 2010-02-02 added support for nonstandard models to Nitpick (based on an idea by Koen Claessen) and did other fixes to Nitpick
2010-01-07 blanchet 2010-01-07 make Nitpick's tests not leave files in the temp directory
2009-12-17 blanchet 2009-12-17 added support for binary nat/int representation to Nitpick
2009-12-04 blanchet 2009-12-04 fixed paths in Nitpick's ML file headers
2009-10-27 blanchet 2009-10-27 internal renaming in Nitpick and fixed Kodkodi invokation on Linux; renamed Nitpick's ML structures from NitpickXxx to Nitpick_Xxx and added KODKODI_JAVA_LIBRARY_PATH to LD_LIBRARY_PATH before invoking Kodkodi
2009-10-22 blanchet 2009-10-22 added Nitpick's theory and ML files to Isabelle/HOL; the examples and the documentation are on their way.