| 2014-04-14 | Sven Verdoolaege | Merge branch 'maint' | blobcommitdiff |
| 2014-04-13 | Sven Verdoolaege | Merge branch 'maint' | blobcommitdiff |
| 2014-04-12 | Sven Verdoolaege | Merge branch 'maint' | blobcommitdiff |
| 2014-04-02 | Sven Verdoolaege | Merge branch 'maint' | blobcommitdiff |
| 2014-01-08 | Sven Verdoolaege | Merge branch 'maint' | blobcommitdiff |
| 2013-12-22 | Sven Verdoolaege | Merge branch 'maint' | blobcommitdiff |
| 2013-10-18 | Sven Verdoolaege | Merge branch 'maint' | blobcommitdiff |
| 2013-09-18 | Sven Verdoolaege | Merge branch 'maint' | blobcommitdiff |
| 2013-08-06 | Sven Verdoolaege | Merge branch 'maint' | blobcommitdiff |
| 2013-07-24 | Sven Verdoolaege | Merge branch 'maint' | blobcommitdiff |
| 2013-07-09 | Sven Verdoolaege | Merge branch 'maint' | blobcommitdiff |
| 2013-06-25 | Sven Verdoolaege | deprecate isl_int | blobcommitdiff |