| update polylib for make distclean fixes |
skimo
as Sven Verdoolaege
|
More...
|
12 months ago
|
| barvinok 0.41.8 |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| update pet to version 0.11.8 |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| update isl to version 0.27 |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| topcom.c: add missing include |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| scale.c: Param_Polyhedron_Scale_Integer_{Fast,Slow}: fix documentation |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| summate.c: sum_base: check equality constraints in Param_Polyhedron |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| evalue.c: make esum_over_domain_cst static |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| summate.c: sum_base: perform shared Param_Polyhedron construction |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| scale.c: apply_expansion: drop Polyhedron parameter |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| scale.c: Param_Polyhedron_Scale_Integer_Fast: drop Polyhedron parameter |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| scale.c: Param_Polyhedron_Scale_Integer_Slow: drop Polyhedron parameter |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| scale: Param_Polyhedron_Scale: drop Polyhedron parameter |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| scale.c: PP_enumerate_narrow_flated: use scaled Param_Polyhedron constraints |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| scale.c: Param_Polyhedron_Scale_Integer_Slow: remove dependence on P parameter |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| scale: use scaled Param_Polyhedron constraints |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| scale.c: make Param_Polyhedron_Scale_Integer_{Fast,Slow} static |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| Param_Polyhedron_Enumerate: handle lower-dimensional inputs |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| Param_Polyhedron_Volume: use Param_Polyhedron constraints |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| ISL_P2PP: store (potentially) updated constraints in Param_Polyhedron |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| introduce isl_basic_set_to_polylib_constraints |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| isl_basic_map_to_polylib: extract out isl_basic_map_to_polylib_constraints |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| evalue.c: esum_over_domain_cst: pass down options to barvinok_enumerate_e |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| evalue.c: esum_over_domain_cst: take barvinok_options |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| evalue.c: esum_over_domain: take barvinok_options |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| box_summate: take barvinok_options |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| update pet for support for recent versions of clang |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| update isl for support for recent versions of clang |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| update polylib to latest version |
skimo
as Sven Verdoolaege
|
More...
|
about 1 year ago
|
| doc/barvinok.bib: drop Parker2004 entry |
skimo
as Sven Verdoolaege
|
More...
|
over 2 years ago
|
