isl_seq_normalize: no need to scale down by one |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
add isl_vec_mat_product |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_basic_map_drop_redundant_divs: also investigate divs that have a definition |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_basic_map_apply_{domain,range}: drop redundant divs in result |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_map_simplify.c: fix typo in comment |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_basic_set_project_out: drop redundant divs in result |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_basic_map_detect_equalities: explicitly keep track of any equalities found |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_basic_map_extend_dim: keep hold of sample if dimension doesn't change |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
add generalized basis reduction based ILP solver |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
export isl_vec_ceil |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
rename isl_solve_lp to isl_basic_{map,set}_solve_lp |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
export isl_vec header |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_basic_set_sample: only perform basis reduction once |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_tab_min: read off all information from tableau before rollback |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_tab_add_valid_eq: keep track of whether equality is negated |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_solve_lp: optionally return solution point |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
add isl_int_fdiv_q_ui |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
add isl_polyhedron_minimize application |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
add isl_vec_read_from_file |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
configure.ac: no longer use piplib by default |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_tab.h: fix typo in comment |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_tab: add support for keeping track of samples |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_mat_extend: make sure the number of rows never decreases |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
add isl_basic_set_sample_bounded |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_affine_hull.c: only construct affine hull in bounded directions |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_tab: optionally keep track of row signs |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_tab: add isl_basic_set field for optionally keeping track of inequalities |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_tab: introduce support for "big parameters" |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_tab: introduce parameters and divs |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|
isl_tab: allow introduction of extra variables |
skimo
as Sven Verdoolaege
|
More...
|
almost 15 years ago
|