doc-src/Nitpick/nitpick.tex
Wed, 24 Nov 2010 23:17:24 +0100 blanchet document requirement on theory import
Wed, 03 Nov 2010 22:51:32 +0100 blanchet use floating-point numbers for Sledgehammer's "thresholds" option rather than percentages;
Wed, 03 Nov 2010 22:26:53 +0100 blanchet standardize on seconds for Nitpick and Sledgehammer timeouts
Tue, 26 Oct 2010 11:00:17 +0200 blanchet improved English
Tue, 14 Sep 2010 13:24:18 +0200 blanchet remove "fast_descs" option from Nitpick;
Sat, 11 Sep 2010 10:20:48 +0200 blanchet document changes to Auto Nitpick
Tue, 31 Aug 2010 23:50:40 +0200 blanchet fix typo
Wed, 18 Aug 2010 11:14:33 +0200 blanchet with Kodkodi 1.2.15, Java 1.5 is fine
Wed, 18 Aug 2010 10:42:04 +0200 blanchet gracefully handle the case where the JVM is too old in Nitpick
Mon, 09 Aug 2010 12:40:15 +0200 blanchet use "declaration" instead of "setup" to register Nitpick extensions
Fri, 06 Aug 2010 21:10:29 +0200 blanchet minor doc changes
Fri, 06 Aug 2010 17:18:29 +0200 blanchet document the non-legacy interfaces
Fri, 06 Aug 2010 11:05:57 +0200 blanchet extend the scope of limitation about nonconservative extensions
Thu, 05 Aug 2010 20:17:50 +0200 blanchet added "whack"
Thu, 05 Aug 2010 18:00:50 +0200 blanchet added support for "Abs_" and "Rep_" functions on quotient types
Thu, 05 Aug 2010 14:20:34 +0200 blanchet more docs
Thu, 05 Aug 2010 12:58:57 +0200 blanchet make nitpick accept "==" for "nitpick_(p)simp"s
Tue, 03 Aug 2010 17:29:27 +0200 blanchet updated example timings
Tue, 03 Aug 2010 14:54:30 +0200 blanchet also mention gfp
Tue, 03 Aug 2010 14:28:44 +0200 blanchet more documentation, based on email discussions with a user
Tue, 03 Aug 2010 14:06:29 +0200 blanchet make example easier to parse
Tue, 03 Aug 2010 14:04:48 +0200 blanchet clarify attribute documentation
Tue, 03 Aug 2010 13:40:24 +0200 blanchet choose better example
Tue, 03 Aug 2010 13:17:15 +0200 blanchet document something I explained in an email to a poweruser
Tue, 03 Aug 2010 12:31:30 +0200 blanchet make Nitpick more flexible when parsing (p)simp rules
Sun, 01 Aug 2010 16:40:48 +0200 blanchet document new Nitpick options
Sat, 31 Jul 2010 22:02:54 +0200 blanchet change the order of the SAT solvers, from fastest to slowest
Sat, 31 Jul 2010 12:29:56 +0200 blanchet clarify Nitpick's output in case of a potential counterexample
Sat, 31 Jul 2010 01:23:51 +0200 blanchet added support for CryptoMiniSat
Tue, 01 Jun 2010 15:38:47 +0200 blanchet removed "nitpick_intro" attribute -- Nitpick noew uses Spec_Rules instead
less more (0) -50 -30 tip