Wed, 15 Jan 2014 22:24:57 +0100 | wenzelm | general notion of auxiliary bounds within context; | changeset | files |
Wed, 15 Jan 2014 19:02:58 +0100 | wenzelm | merged | changeset | files |
Wed, 15 Jan 2014 16:57:29 +0100 | wenzelm | fall-back on old Z3_NON_COMMERCIAL, which simplifies automatic test environments like isatest and mira; | changeset | files |
Wed, 15 Jan 2014 16:59:24 +0100 | nipkow | tuned text | changeset | files |
Wed, 15 Jan 2014 08:01:36 +0100 | nipkow | tuned | changeset | files |
Tue, 14 Jan 2014 18:41:24 +0100 | blanchet | automatically solve proof obligations produced for code equations | changeset | files |