Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
gmp-removal
4700675b
·
Move towards GMP depdencency removal, which is starting to look a bit like a dead end.
·
Aug 29, 2012
mini-gmp
a66645e5
·
Attempt to use mini-gmp to kill explicit gmp dependency
·
Jan 04, 2014
barvinok
7cf4d13d
·
Merge branch 'master' into barvinok
·
Feb 06, 2015
boost-python-deprecated
8c0c2b8f
·
Update to isl 0.15
·
Jun 19, 2015
cffi
8e91aa61
·
Upgrade to Barvinok referencing isl 15
·
Jun 26, 2015
isl-0.16
b989e9d1
·
Update to incorporate Sven's fixes
·
Jan 12, 2016
master
default
bc69e456
·
Switch back to github mirror of isl
·
Jul 25, 2017