| Wed, 23 May 2012 13:32:29 +0200 |
wenzelm |
prefer symbolic "contrib" -- mira should have a symlink to physical contrib_devel;
|
file |
diff |
annotate
|
| Mon, 07 May 2012 12:20:55 +0200 |
blanchet |
use latest E (1.5)
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 17:49:02 +0200 |
blanchet |
merged
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 11:14:57 +0200 |
blanchet |
use latest Z3
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 13:19:57 +0200 |
wenzelm |
updated components according to tentative bundle;
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 11:10:03 +0200 |
blanchet |
use latest SPASS
|
file |
diff |
annotate
|
| Tue, 17 Apr 2012 22:26:36 +0200 |
wenzelm |
updated to scala-2.9.2;
|
file |
diff |
annotate
|
| Sun, 01 Apr 2012 23:09:36 +0200 |
krauss |
clarified terminology; added reference to bundle component
|
file |
diff |
annotate
|
| 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
|