projects
/
platform
/
upstream
/
isl.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
isl_tab_basic_map_partial_lexopt: fix up symmetry detection
2011-01-05
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: fix up symmetry detection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_basic_map_universe: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_seq.h: allow inclusion from C++
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoolaege
make isl/point.h self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolaege
isl 0.05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_printer_print_basic_map: plug memory leak on error...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verdoolaege
isl_dim_set_name: plug memory leak when overwriting...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: detect and exploit...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_tab_pip.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_pip: limit the total number of parameter values...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
add isl_basic_set_count_upto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_scan.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-17
Tobias Grosser
Do not hash the memory address of an isl_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
isl_flow.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
isl_union_map_compute_flow: exploit fixed dimensions...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
isl_union_map_compute_flow: avoid dependence on pointer...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
dataflow analysis: allow absence of "textual" order...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
add isl_map_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
basic_map_read_polylib: add more sanity checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaege
isl_pip: preserve names of parameters in input context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: avoid memory leak...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-11
Sven Verdoolaege
isl_pw_qpolynomial_fold_bound: avoid access to freed...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_basic_set_lift: properly update the number of extra...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
doc: emphasize the need for isl_int_get_gmp and isl_int_set_gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_qpolynomial_div: further normalize divs by reducing...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_stream_read_pw_qpolynomial: accept powers on compound...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
add isl_qpolynomial_pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_qpolynomial: properly merge identical nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
add isl_mat_col_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
avoid using isl_basic_set and isl_basic_map internals...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hide isl_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hide isl_set internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hide isl_basic_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hide isl_basic_set internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-27
Sven Verdoolaege
add isl_basic_set_{in,}equalities_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support footer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: avoid duplicate newline in help output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support grouping of options within the...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support int options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support ISL_ARG_HIDDEN flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support ISL_ARG_BOOL_ARG flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support ISL_ARG_SINGLE_DASH flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support aliases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: always print help option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support phantom boolean options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: free string arguments before overwriting...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: allow options after arguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: only print --version option once
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: print string option default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoolaege
isl_arg_parse: delimit string option argument by angle...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoolaege
isl_arg_parse: allow options without long name
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoolaege
isl_vec_read_polylib: use isl_stream
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-20
Sven Verdoolaege
Rename headers from isl_header.h to isl/header.h
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-18
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: fix memory leak on...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
add isl_union_set_is_equal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
add isl_union_map_read_from_str
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: add all equalities...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
isl_pip: avoid empty domain during verification
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-17
Sven Verdoolaege
add isl_basic_set_box_from_points
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-15
Sven Verdoolaege
isl_basic_map_eliminate_vars: don't detect divs while...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-14
Sven Verdoolaege
isl_dim.c: set_name: only print single error message...
commit
|
commitdiff
|
tree
2010-11-14
Sven Verdoolaege
isl_pw_qpolynomial_fold_bound: fix handling or zero...
commit
|
commitdiff
|
tree
2010-11-14
Sven Verdoolaege
isl_printer_print_pw_qpolynomial{,_fold}: always print...
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_qpolynomial_bound_on_domain_bernstein: optionally...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_options_parse: print default on boolean options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_options_parse: accept prefix before or after "no...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
add isl_cell_foreach_simplex
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_basic_set_compute_vertices: store input basic set...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_vertices_foreach_cell: store individual vertex...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
add isl_union_pw_qpolynomial_to_polynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
doc: update isl_pw_qpolynomial_gist description
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
add isl_set_foreach_orthant
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_range.c: privately export isl_qpolynomial_terms_of_sign
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_range.c: collect_fixed_sign_terms: drop dead code
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_set_split_dims: extract out half-space creation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_printer_print_pw_qpolynomial_fold: use consistent...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
isl_dim_total: handle NULL input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-12
Sven Verdoolaege
add isl_vec_clr
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-10
Sven Verdoolaege
isl_qpolynomial_div_pow: normalize given div
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdoolaege
isl_bound: accept folds as input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdoolaege
isl_bound: use isl_pw_qpolynomial_folds internally
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-08
Sven Verdoolaege
export isl_pw_qpolynomial_fold_fix_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-06
Sven Verdoolaege
add isl_union_set_polyhedral_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-05
Sven Verdoolaege
isl_pw_qpolynomial_gist: also try to eliminate integer...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-05
Sven Verdoolaege
hide some functions that were exposed by mistake
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
isl_qpolynomial_substitute_equalities: eliminate integer...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
isl_stream_read_pw_qpolynomial: read nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
isl_qpolynomial_div_pow: allow nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
isl_printer_print_qpolynomial: properly print nested...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
isl_qpolynomial_substitute_equalities: ignore constant...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-04
Sven Verdoolaege
isl_qpolynomial_substitute_equalities: don't use equalities...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
isl_basic_map_underlying_set: remove any structure...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-01
Sven Verdoolaege
export isl_set_reset_dim
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-30
Sven Verdoolaege
isl_qpolynomial_morph: properly handle change in number...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-28
Sven Verdoolaege
isl_stream_read_map: read_var_def: read var definition...
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-27
Sven Verdoolaege
add isl_set_remove_divs_involving_dims
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolaege
add isl_div_div
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolaege
add isl_div_copy
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolaege
export isl_pw_qpolynomial_fold_set_dim_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-10-26
Sven Verdoolaege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next