Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | renamed new SMT module from 'SMT2' to 'SMT' | file | diff | annotate |
Thu, 12 Jun 2014 01:00:49 +0200 | blanchet | adapted examples to changes in SMT triggers | file | diff | annotate |
Thu, 01 May 2014 22:57:38 +0200 | boehmes | use SMT2 for Boogie examples | file | diff | annotate |
Tue, 18 Mar 2014 17:39:03 +0100 | wenzelm | clarifed module name; | file | diff | annotate |
Thu, 27 Feb 2014 17:29:58 +0100 | wenzelm | store blobs / inlined files as separate text lines: smaller values are more healthy for the Poly/ML RTS and allow implicit sharing; | file | diff | annotate |
Sat, 16 Nov 2013 16:57:09 +0100 | wenzelm | proper thy_load command 'boogie_file' -- avoid direct access to file-system; | file | diff | annotate |
Sat, 27 Jul 2013 16:44:58 +0200 | wenzelm | tuned spelling; | file | diff | annotate |
Sat, 27 Jul 2013 16:35:51 +0200 | wenzelm | standardized aliases; | file | diff | annotate |
Tue, 23 Jul 2013 18:36:23 +0200 | boehmes | removed obsolete HOL-Boogie session; | file | diff | annotate |