Fri, 22 Jan 2010 16:38:21 +0100 | boehmes | support skolem constant for extensional arrays in Z3 proofs | changeset | files |
Fri, 22 Jan 2010 16:33:44 +0100 | boehmes | drop underscores at end of names coming from Boogie | changeset | files |
Fri, 22 Jan 2010 15:26:29 +0100 | bulwahn | merged | changeset | files |