Mon, 19 Jul 2010 16:09:44 +0200 | haftmann | diff_minus subsumes diff_def | file | diff | annotate |
Fri, 09 Jul 2010 08:11:10 +0200 | haftmann | nicer xsymbol syntax for fcomp and scomp | file | diff | annotate |
Thu, 01 Jul 2010 13:32:14 +0200 | haftmann | avoid bitstrings in generated code | file | diff | annotate |
Wed, 30 Jun 2010 17:12:38 +0200 | haftmann | one unified Word theory | file | diff | annotate |
Wed, 12 May 2010 23:54:04 +0200 | boehmes | layered SMT setup, adapted SMT clients, added further tests, made Z3 proof abstraction configurable | file | diff | annotate |
Mon, 08 Feb 2010 17:12:32 +0100 | haftmann | tuned spelling | file | diff | annotate |
Mon, 26 Jan 2009 22:14:16 +0100 | haftmann | entry point for Word library now named Word | file | diff | annotate | base |