- Nov 13, 2012
-
-
Horst Schirmeier authored--enable-all-optimizations implicitly enables --enable-repeat-speedups. git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1932 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
-
- Nov 07, 2012
-
-
Martin Unzner authored
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1888 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
-
- Aug 02, 2012
-
-
Horst Schirmeier authored
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1469 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
-
- Jul 29, 2012
-
-
Tobias Friemel authored
git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1460 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
-
- Jul 03, 2012
-
-
Horst Schirmeier authored
+script snippet on how to automatically fill the bochslibs/ directory git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1417 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
-
- Jun 14, 2012
-
-
Adrian Böckenkamp authored
Separated how-to-build -> how-to-build + how-to-use, added details on experiment parallelization, updated fail-structure docs. git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1348 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
-