| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2014-08-26 | add warning when max iter reached | Gertjan van den Burg | 1 | -6/+11 |
| 2014-08-25 | rename execs and fix some unintended renames | Gertjan van den Burg | 1 | -5/+5 |
| 2014-08-25 | rename msvmmaj to gensvm | Gertjan van den Burg | 1 | -0/+534 |
