?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
add private isl_basic_map_swap_vars
2011-01-12 Sven Verdoolaegeisl_input.c: accept_affine_factor: avoid double free...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-08 Tobias GrosserAdd isl_union_(set/map)_detect_equalities
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-08 Sven Verdoolaegeisl_stream_read_map: allow space names that happen...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-08 Sven Verdoolaegeisl_stream_next_token: keep track of string representation...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeadd isl_basic_set_flatten
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeadd isl_union_map_simple_hull
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven VerdoolaegeMerge branch 'maint'
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeadd isl_set_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeisl_map_is_subset: don't compute divs of minuend
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegerename isl_map_is_singleton to isl_map_fast_is_singleton
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeadd isl_map_fast_is_single_valued
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeadd isl_qpolynomial_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeexport isl_union_set_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-07 Sven Verdoolaegeisl_qpolynomial_add_on_domain: compute gist with respect...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-06 Sven Verdoolaegeisl_union_map_coalesce and isl_union_map_compute_divs...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-06 Sven Verdoolaegeisl_basic_map_solve_lp: use denominator
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-05 Sven VerdoolaegeMerge commit 'isl-0.05.1'
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-05 Sven Verdoolaegeisl 0.05.1
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-05 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: fix up symmetry detection
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-05 Sven Verdoolaegeisl_basic_map_universe: finalize result
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2011-01-05 Sven Verdoolaegeisl_seq.h: allow inclusion from C++
 commit | commitdiff | tree
2010-12-31 Tobias GrosserAdd GDB module that defines an islprint command
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-30 Sven Verdoolaegereimplement isl_map_partial_lexopt
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-30 Sven Verdoolaegeisl_map: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-30 Sven Verdoolaegeadd some more isl_map_lexmin tests
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_qpolynomial_add_isl_int
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_pw_qpolynomial_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_qpolynomial_fold_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_qpolynomial_fold_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeisl_printer_print_qpolynomial_fold: support C format
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeexport isl_printer_print_qpolynomial_fold
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeexport isl_union_map_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_{set,map}_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeadd isl_basic_{set,map}_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegeisl_printer_print_basic_{set,map}: don't print newline...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-29 Sven Verdoolaegerename isl_*_dump to isl_*_print_internal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-27 Sven Verdoolaegemake isl/point.h self-contained
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-23 Sven Verdoolaegeisl 0.05
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-22 Sven Verdoolaegeisl_printer_print_basic_map: plug memory leak on error...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-22 Sven Verdoolaegeisl_dim_set_name: plug memory leak when overwriting...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-18 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: detect and exploit...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-18 Sven Verdoolaegeisl_tab_pip.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-18 Sven Verdoolaegeisl_pip: limit the total number of parameter values...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-18 Sven Verdoolaegeadd isl_basic_set_count_upto
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-18 Sven Verdoolaegeisl_scan.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-17 Tobias GrosserDo not hash the memory address of an isl_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-15 Sven Verdoolaegeisl_flow.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-15 Sven Verdoolaegeisl_union_map_compute_flow: exploit fixed dimensions...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-15 Sven Verdoolaegeisl_union_map_compute_flow: avoid dependence on pointer...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-15 Sven Verdoolaegedataflow analysis: allow absence of "textual" order...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-15 Sven Verdoolaegeadd isl_map_get_hash
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-15 Sven Verdoolaegebasic_map_read_polylib: add more sanity checks
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-13 Sven Verdoolaegeisl_pip: preserve names of parameters in input context
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-13 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: avoid memory leak...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-11 Sven Verdoolaegeisl_pw_qpolynomial_fold_bound: avoid access to freed...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-07 Sven Verdoolaegeisl_basic_set_lift: properly update the number of extra...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-07 Sven Verdoolaegedoc: 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 Verdoolaegeisl_qpolynomial_div: further normalize divs by reducing...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-07 Sven Verdoolaegeisl_stream_read_pw_qpolynomial: accept powers on compound...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-07 Sven Verdoolaegeadd isl_qpolynomial_pow
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-07 Sven Verdoolaegeisl_qpolynomial: properly merge identical nested divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-07 Sven Verdoolaegeadd isl_mat_col_add
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-07 Sven Verdoolaegeavoid using isl_basic_set and isl_basic_map internals...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-01 Sven Verdoolaegehide isl_map internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-01 Sven Verdoolaegehide isl_set internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-01 Sven Verdoolaegehide isl_basic_map internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-12-01 Sven Verdoolaegehide isl_basic_set internals
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-27 Sven Verdoolaegeadd isl_basic_set_{in,}equalities_matrix
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: support footer
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: avoid duplicate newline in help output
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: support grouping of options within the...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: support int options
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: support ISL_ARG_HIDDEN flag
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: support ISL_ARG_BOOL_ARG flag
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: support ISL_ARG_SINGLE_DASH flag
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: support aliases
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: always print help option
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: support phantom boolean options
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: free string arguments before overwriting...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: allow options after arguments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: only print --version option once
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-26 Sven Verdoolaegeisl_arg_parse: print string option default
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-24 Sven Verdoolaegeisl_arg_parse: delimit string option argument by angle...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-24 Sven Verdoolaegeisl_arg_parse: allow options without long name
 commit | commitdiff | tree
2010-11-24 Sven Verdoolaegeisl_vec_read_polylib: use isl_stream
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-20 Sven VerdoolaegeRename headers from isl_header.h to isl/header.h
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-18 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: fix memory leak on...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-17 Sven Verdoolaegeadd isl_union_set_is_equal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-17 Sven Verdoolaegeadd isl_union_map_read_from_str
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-17 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: add all equalities...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-17 Sven Verdoolaegeisl_pip: avoid empty domain during verification
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-17 Sven Verdoolaegeadd isl_basic_set_box_from_points
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-15 Sven Verdoolaegeisl_basic_map_eliminate_vars: don't detect divs while...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-14 Sven Verdoolaegeisl_dim.c: set_name: only print single error message...
Signed-off-by: Sven Verdoolaege <sven@nestor.cs.kuleuven.be>
 commit | commitdiff | tree
2010-11-14 Sven Verdoolaegeisl_pw_qpolynomial_fold_bound: fix handling or zero...
Signed-off-by: Sven Verdoolaege <sven@nestor.cs.kuleuven.be>
 commit | commitdiff | tree
2010-11-14 Sven Verdoolaegeisl_printer_print_pw_qpolynomial{,_fold}: always print...
Signed-off-by: Sven Verdoolaege <sven@nestor.cs.kuleuven.be>
 commit | commitdiff | tree
2010-11-12 Sven Verdoolaegeisl_qpolynomial_bound_on_domain_bernstein: optionally...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-12 Sven Verdoolaegeisl_options_parse: print default on boolean options
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2010-11-12 Sven Verdoolaegeisl_options_parse: accept prefix before or after "no...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library