src/HOL/IMP/Abs_Int2.thy
Sun, 05 Feb 2012 16:53:11 +0100 nipkow simplified code generation
Tue, 31 Jan 2012 19:38:36 +0100 nipkow tuned
Sun, 29 Jan 2012 15:16:27 +0100 nipkow removed accidental dependance of abstract interpreter on gamma
Fri, 20 Jan 2012 07:55:43 +0100 nipkow tuned
Thu, 19 Jan 2012 09:51:42 +0100 nipkow added termination of narrowing
Wed, 18 Jan 2012 13:04:58 +0100 nipkow Added termination proof for widening
Sat, 07 Jan 2012 21:19:53 +0100 nipkow tuned
Mon, 02 Jan 2012 11:54:21 +0100 nipkow tuned
Mon, 02 Jan 2012 10:51:28 +0100 nipkow tuned proofs
Sun, 01 Jan 2012 16:32:53 +0100 nipkow tuned argument order
Sat, 31 Dec 2011 17:53:50 +0100 nipkow tuned types
Thu, 29 Dec 2011 17:43:40 +0100 nipkow tuned
Fri, 16 Dec 2011 12:00:59 +0100 nipkow improved indexed complete lattice
Sun, 27 Nov 2011 13:31:52 +0100 nipkow simplified Collecting1 and renamed: step -> step', step_cs -> step
Thu, 24 Nov 2011 19:58:37 +0100 nipkow Abstract interpretation is now based uniformly on annotated programs,
Wed, 12 Oct 2011 09:16:30 +0200 nipkow separated monotonicity reasoning and defined narrowing with while_option
Wed, 28 Sep 2011 09:55:11 +0200 nipkow Added Hoare-like Abstract Interpretation
less more (0) tip