| Wed, 04 Jan 2012 00:32:02 +0100 | blanchet | reenable Kodkodi in Mira now that Nitpick has been ported to 'a set constructor | file | diff | annotate |
| Sat, 31 Dec 2011 00:19:32 +0100 | krauss | disabled kodkodi in mira runs as well (cf. 493d9c4d7ed5) | file | diff | annotate |
| Sun, 18 Sep 2011 15:30:31 +0200 | wenzelm | updated for release; | file | diff | annotate |
| Wed, 23 Mar 2011 16:42:09 +0100 | boehmes | updated contributed components | file | diff | annotate |
| Fri, 07 Jan 2011 20:42:25 +0100 | wenzelm | updated scala; | file | diff | annotate |
| Thu, 06 Jan 2011 17:51:56 +0100 | boehmes | differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3"); | file | diff | annotate |
| 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 | file | diff | annotate |