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