| Sat, 04 Feb 2012 12:08:18 +0100 | blanchet | made option available to users (mostly for experiments) | changeset | files |
| Sat, 04 Feb 2012 07:40:02 +0100 | bulwahn | using fully qualified module names in Haskell source, which seems to be required by GHC 7.0.4 (also cf. 0fd9ab902b5a) | changeset | files |
| Fri, 03 Feb 2012 18:00:55 +0100 | blanchet | optimization: slice caching in case two consecutive slices are nearly identical | changeset | files |
| Fri, 03 Feb 2012 18:00:55 +0100 | blanchet | extended SPASS/DFG output with ranks | changeset | files |
| Fri, 03 Feb 2012 18:00:55 +0100 | blanchet | try to pass fewer options to Metis | changeset | files |
| Fri, 03 Feb 2012 15:51:10 +0100 | Cezary Kaliszyk | Quotient FSet: Add compositional respectfulness and preservation for map and lift map_concat | changeset | files |
| Thu, 02 Feb 2012 19:41:58 +0100 | blanchet | improve SPASS scripts | changeset | files |