2015-02-07 | Christian Grothoff | use lower-case | blob | commitdiff | raw |
2014-12-15 | Christian Grothoff | -simplify configs, do use defaults where they work... | blob | commitdiff | raw | diff to current |
2014-04-03 | Matthias Wachs | fixing configuration for failing test | blob | commitdiff | raw | diff to current |
2013-11-22 | Fabian Oehlmann | test variables | blob | commitdiff | raw | diff to current |
2013-09-26 | Matthias Wachs | new solver specific test | blob | commitdiff | raw | diff to current |
2013-09-26 | Matthias Wachs | updated configuration files | blob | commitdiff | raw | diff to current |
2013-09-26 | Matthias Wachs | new solver test | blob | commitdiff | raw | diff to current |