Sat, 15 Jan 2011 14:02:24 +0100 | wenzelm | merged; | changeset | files |
Sat, 15 Jan 2011 13:34:10 +0100 | wenzelm | misc tuning for release; | changeset | files |
Sat, 15 Jan 2011 13:48:45 +0100 | boehmes | normalize Z3 models: assignments to free variables should ideally not refer to other free variables | changeset | files |