| Wed, 15 Dec 2010 08:39:24 +0100 | boehmes | rewrite Z3 model equations one-by-one (the previous approach led to loss of information) | changeset | files |
| Wed, 15 Dec 2010 08:39:24 +0100 | boehmes | added option to modify the random seed of SMT solvers | changeset | files |
| Wed, 15 Dec 2010 08:34:01 +0100 | bulwahn | adding an Isar version of the MacLaurin theorem from some students' work in 2005 | changeset | files |
| Tue, 14 Dec 2010 00:16:30 +0100 | krauss | Admin/contributed_components tries to formalize compatibility with external components (for use e.g. by testing tools), guessing from the content of TUM contrib_devel directory | changeset | files |
| Mon, 13 Dec 2010 22:54:47 +0100 | haftmann | separated dictionary weakning into separate type | changeset | files |
| Mon, 13 Dec 2010 10:15:27 +0100 | krauss | eliminated dest_all_all_ctx | changeset | files |