Wed, 23 Dec 2009 17:36:26 +0100 updated example
boehmes [Wed, 23 Dec 2009 17:36:26 +0100] rev 34182
updated example
Wed, 23 Dec 2009 17:35:56 +0100 merged verification condition structure and term representation in one datatype,
boehmes [Wed, 23 Dec 2009 17:35:56 +0100] rev 34181
merged verification condition structure and term representation in one datatype, extended the set of operations on verification conditions (retrieve more information, advanced splitting of paths), simplified discharging of verification conditions (due to improved datatype), added variantions of commands (extract different parts of verification conditions, scan until first "hard" assertion)
Wed, 23 Dec 2009 11:33:01 +0100 merged
haftmann [Wed, 23 Dec 2009 11:33:01 +0100] rev 34180
merged
Wed, 23 Dec 2009 11:32:40 +0100 updated generated document sources
haftmann [Wed, 23 Dec 2009 11:32:40 +0100] rev 34179
updated generated document sources
Wed, 23 Dec 2009 11:32:08 +0100 take care for destructive print mode properly using dedicated pretty builders
haftmann [Wed, 23 Dec 2009 11:32:08 +0100] rev 34178
take care for destructive print mode properly using dedicated pretty builders
Wed, 23 Dec 2009 10:41:13 +0100 merged
wenzelm [Wed, 23 Dec 2009 10:41:13 +0100] rev 34177
merged
Wed, 23 Dec 2009 10:09:06 +0100 made sml/nj happy
haftmann [Wed, 23 Dec 2009 10:09:06 +0100] rev 34176
made sml/nj happy
Wed, 23 Dec 2009 08:31:33 +0100 merged
haftmann [Wed, 23 Dec 2009 08:31:33 +0100] rev 34175
merged
Wed, 23 Dec 2009 08:31:15 +0100 dropped junk
haftmann [Wed, 23 Dec 2009 08:31:15 +0100] rev 34174
dropped junk
Wed, 23 Dec 2009 08:31:15 +0100 reduced code generator cache to the baremost minimum
haftmann [Wed, 23 Dec 2009 08:31:15 +0100] rev 34173
reduced code generator cache to the baremost minimum
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip