| use test scripts for performing tests |
skimo
as Sven Verdoolaege
|
More...
|
over 2 years ago
|
| drop NTL_5_3_2.patch |
skimo
as Sven Verdoolaege
|
More...
|
over 2 years ago
|
| drop declaration of pip_*_Polyhedron_Reduced_Basis |
skimo
as Sven Verdoolaege
|
More...
|
over 2 years ago
|
| barvinok 0.41.7 |
skimo
as Sven Verdoolaege
|
More...
|
over 2 years ago
|
| update pet to version 0.11.7 |
skimo
as Sven Verdoolaege
|
More...
|
over 2 years ago
|
| update isl to version 0.26 |
skimo
as Sven Verdoolaege
|
More...
|
over 2 years ago
|
| add some iscc tests for fixed powers |
skimo
as Sven Verdoolaege
|
More...
|
over 2 years ago
|
| iscc: fix computation of (negative) fixed powers of a binary relation |
skimo
as Sven Verdoolaege
|
More...
|
over 2 years ago
|
| update isl for change in coalescing |
skimo
as Sven Verdoolaege
|
More...
|
over 2 years ago
|
| update pet for support for recent versions of clang |
skimo
as Sven Verdoolaege
|
More...
|
over 2 years ago
|
| update isl for support for recent versions of clang |
skimo
as Sven Verdoolaege
|
More...
|
over 2 years ago
|
| update documentation to removal of barvinok_enumerate_pip_with_options |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| remove selection of default specialization |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| replace obsolete AC_TRY_LINK by AC_LINK_IFELSE |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| configure.ac: require cddlib 0.94k by checking for dd_SetMatrixObjective |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| replace obsolete AC_TRY_COMPILE by AC_COMPILE_IFELSE |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| replace obsolete AC_HELP_STRING calls by AS_HELP_STRING |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| replace obsolete AC_PROG_LIBTOOL by LT_INIT |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| configure.ac: drop AM_PROG_LEX and AC_PROG_YACC calls |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| require C++11 |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| drop support for __gnu_cxx::hash_map |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| barvinok 0.41.6 |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| update pet to version 0.11.6 |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| update isl to version 0.25 |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| allow static building of executables |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| configure.ac: rename BV_LDFLAGS to BV_LIB_LDFLAGS |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| configure.ac: drop spurious space |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| update pet for support for recent versions of clang |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| update isl for support for recent versions of clang |
skimo
as Sven Verdoolaege
|
More...
|
about 3 years ago
|
| extract out shared verify_options_set_range_pwqp |
skimo
as Sven Verdoolaege
|
More...
|
over 3 years ago
|
