Thu, 12 Jun 2014 01:00:49 +0200 | blanchet | adapted examples to changes in SMT triggers | file | diff | annotate |
Tue, 10 Jun 2014 19:15:15 +0200 | blanchet | updated Z3 certificates | file | diff | annotate |
Tue, 03 Jun 2014 16:22:59 +0200 | blanchet | updated SMT2 certificates | file | diff | annotate |
Thu, 01 May 2014 22:57:38 +0200 | boehmes | use SMT2 for Boogie examples | file | diff | annotate |