| Commit message (Expand) | Author | Age | Files | Lines |
* | Version bump. Cleanup old. | Manuel Rüger | 2014-02-25 | 3 | -5/+11 |
* | Version bump. | Manuel Rüger | 2014-01-27 | 3 | -2/+36 |
* | Version bump. | Manuel Rüger | 2014-01-21 | 3 | -23/+37 |
* | Remove old. | Johannes Huber | 2013-11-30 | 3 | -43/+19 |
* | amd64 stable wrt bug #492684 | Johannes Huber | 2013-11-30 | 3 | -18/+22 |
* | x86 stable wrt bug #492684 | Johannes Huber | 2013-11-30 | 3 | -12/+22 |
* | Version bump wrt bug #488438. | Johannes Huber | 2013-10-18 | 3 | -10/+44 |
* | Remove old. | Michael Palimaka | 2013-07-31 | 3 | -43/+13 |
* | Stable for x86, wrt bug #477634 | Agostino Sarubbo | 2013-07-29 | 3 | -18/+22 |
* | Stable for amd64, wrt bug #477634 | Agostino Sarubbo | 2013-07-27 | 3 | -12/+22 |
* | Version bump wrt bug #474050. | Johannes Huber | 2013-06-21 | 3 | -10/+44 |
* | Remove old. | Michael Palimaka | 2013-04-02 | 4 | -72/+14 |
* | Stable for x86, wrt bug #462890 | Agostino Sarubbo | 2013-03-31 | 3 | -18/+22 |
* | Stable for amd64, wrt bug #462890 | Agostino Sarubbo | 2013-03-31 | 3 | -13/+23 |
* | Version bump. | Michael Palimaka | 2013-03-01 | 3 | -9/+43 |
* | Version bump. Remove old. | Michael Palimaka | 2013-01-28 | 4 | -35/+28 |
* | Stable for x86, wrt bug #450678 | Agostino Sarubbo | 2013-01-27 | 3 | -5/+9 |
* | Stable for amd64, wrt bug #450678 | Agostino Sarubbo | 2013-01-27 | 3 | -6/+10 |
* | Stable for x86, wrt bug #449632 | Agostino Sarubbo | 2013-01-02 | 3 | -5/+9 |
* | Stable for amd64, wrt bug #449632 | Agostino Sarubbo | 2013-01-02 | 3 | -21/+11 |
* | Version bump wrt bug #449128. | Michael Palimaka | 2012-12-29 | 3 | -5/+43 |
* | Version bump. Remove old. | Chris Reffett | 2012-11-30 | 3 | -12/+14 |
* | Remove old. | Johannes Huber | 2012-11-24 | 3 | -30/+20 |
* | Stable for x86, wrt bug #442394 | Agostino Sarubbo | 2012-11-23 | 3 | -5/+9 |
* | Stable for amd64, wrt bug #442394 | Agostino Sarubbo | 2012-11-23 | 3 | -19/+9 |
* | Version bump. | Michael Palimaka | 2012-11-06 | 3 | -9/+43 |
* | Version bump, remove old. | Johannes Huber | 2012-10-22 | 5 | -68/+19 |
* | Version bump. | Michael Palimaka | 2012-10-16 | 3 | -9/+43 |
* | Version bump. | Johannes Huber | 2012-09-26 | 3 | -9/+43 |
* | Version bump. | Johannes Huber | 2012-08-07 | 3 | -13/+47 |
* | Remove old. | Johannes Huber | 2012-06-29 | 3 | -38/+13 |
* | Stable for x86, wrt bug #422087 | Johannes Huber | 2012-06-29 | 3 | -13/+17 |
* | Stable for amd64, wrt bug #422087 | Agostino Sarubbo | 2012-06-20 | 3 | -13/+17 |
* | Remove old. | Johannes Huber | 2012-05-21 | 3 | -37/+13 |
* | Stable for x86, wrt bug #415143 | Johannes Huber | 2012-05-21 | 3 | -12/+16 |
* | Version bump, remove old. | Johannes Huber | 2012-05-15 | 3 | -13/+19 |
* | Stable for amd64, wrt bug #415143 | Agostino Sarubbo | 2012-05-08 | 3 | -13/+17 |
* | Version bump, remove old. | Johannes Huber | 2012-05-08 | 3 | -14/+20 |
* | Version bump, remove old. | Johannes Huber | 2012-04-06 | 3 | -12/+18 |
* | Version bump, remove old. | Johannes Huber | 2012-03-25 | 3 | -12/+18 |
* | Version bump, remove old. | Johannes Huber | 2012-03-13 | 3 | -12/+18 |
* | Version bump, remove old. | Johannes Huber | 2012-03-01 | 3 | -12/+18 |
* | Version bump, remove old. | Johannes Huber | 2012-02-22 | 4 | -40/+19 |
* | Version bump. | Johannes Huber | 2012-02-15 | 3 | -9/+43 |
* | Version bump. | Johannes Huber | 2012-01-17 | 3 | -12/+18 |
* | Version bump. | Johannes Huber | 2012-01-11 | 3 | -9/+43 |
* | Version bump, remove old. | Johannes Huber | 2012-01-04 | 4 | -49/+22 |
* | Version bump | Andreas Hüttel | 2011-09-08 | 3 | -6/+50 |
* | Version bump. Stabilise 1.5.1 on amd64 and x86. Drop older. | Tomas Chvatal | 2011-04-20 | 4 | -11/+28 |
* | Stabilise 1.3.4 on amd64 and x86. Add latest. | Tomas Chvatal | 2011-03-26 | 4 | -29/+16 |