isl.git
2010-12-23 Sven Verdoolaegeisl 0.05isl-0.05
2010-12-22 Sven Verdoolaegeisl_printer_print_basic_map: plug memory leak on error...
2010-12-22 Sven Verdoolaegeisl_dim_set_name: plug memory leak when overwriting...
2010-12-18 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: detect and exploit...
2010-12-18 Sven Verdoolaegeisl_tab_pip.c: fix typos in comments
2010-12-18 Sven Verdoolaegeisl_pip: limit the total number of parameter values...
2010-12-18 Sven Verdoolaegeadd isl_basic_set_count_upto
2010-12-18 Sven Verdoolaegeisl_scan.c: fix typo in comment
2010-12-17 Tobias GrosserDo not hash the memory address of an isl_name
2010-12-15 Sven Verdoolaegeisl_flow.c: fix typos in comments
2010-12-15 Sven Verdoolaegeisl_union_map_compute_flow: exploit fixed dimensions...
2010-12-15 Sven Verdoolaegeisl_union_map_compute_flow: avoid dependence on pointer...
2010-12-15 Sven Verdoolaegedataflow analysis: allow absence of "textual" order...
2010-12-15 Sven Verdoolaegeadd isl_map_get_hash
2010-12-15 Sven Verdoolaegebasic_map_read_polylib: add more sanity checks
2010-12-13 Sven Verdoolaegeisl_pip: preserve names of parameters in input context
2010-12-13 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: avoid memory leak...
2010-12-11 Sven Verdoolaegeisl_pw_qpolynomial_fold_bound: avoid access to freed...
2010-12-07 Sven Verdoolaegeisl_basic_set_lift: properly update the number of extra...
2010-12-07 Sven Verdoolaegedoc: emphasize the need for isl_int_get_gmp and isl_int...
2010-12-07 Sven Verdoolaegeisl_qpolynomial_div: further normalize divs by reducing...
2010-12-07 Sven Verdoolaegeisl_stream_read_pw_qpolynomial: accept powers on compou...
2010-12-07 Sven Verdoolaegeadd isl_qpolynomial_pow
2010-12-07 Sven Verdoolaegeisl_qpolynomial: properly merge identical nested divs
2010-12-07 Sven Verdoolaegeadd isl_mat_col_add
2010-12-07 Sven Verdoolaegeavoid using isl_basic_set and isl_basic_map internals...
2010-12-01 Sven Verdoolaegehide isl_map internals
2010-12-01 Sven Verdoolaegehide isl_set internals
2010-12-01 Sven Verdoolaegehide isl_basic_map internals
2010-12-01 Sven Verdoolaegehide isl_basic_set internals
2010-11-27 Sven Verdoolaegeadd isl_basic_set_{in,}equalities_matrix
2010-11-26 Sven Verdoolaegeisl_arg_parse: support footer
2010-11-26 Sven Verdoolaegeisl_arg_parse: avoid duplicate newline in help output
2010-11-26 Sven Verdoolaegeisl_arg_parse: support grouping of options within the...
2010-11-26 Sven Verdoolaegeisl_arg_parse: support int options
2010-11-26 Sven Verdoolaegeisl_arg_parse: support ISL_ARG_HIDDEN flag
2010-11-26 Sven Verdoolaegeisl_arg_parse: support ISL_ARG_BOOL_ARG flag
2010-11-26 Sven Verdoolaegeisl_arg_parse: support ISL_ARG_SINGLE_DASH flag
2010-11-26 Sven Verdoolaegeisl_arg_parse: support aliases
2010-11-26 Sven Verdoolaegeisl_arg_parse: always print help option
2010-11-26 Sven Verdoolaegeisl_arg_parse: support phantom boolean options
2010-11-26 Sven Verdoolaegeisl_arg_parse: free string arguments before overwriting...
2010-11-26 Sven Verdoolaegeisl_arg_parse: allow options after arguments
2010-11-26 Sven Verdoolaegeisl_arg_parse: only print --version option once
2010-11-26 Sven Verdoolaegeisl_arg_parse: print string option default
2010-11-24 Sven Verdoolaegeisl_arg_parse: delimit string option argument by angle...
2010-11-24 Sven Verdoolaegeisl_arg_parse: allow options without long name
2010-11-24 Sven Verdoolaegeisl_vec_read_polylib: use isl_stream
2010-11-20 Sven VerdoolaegeRename headers from isl_header.h to isl/header.h
2010-11-18 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: fix memory leak on...
2010-11-17 Sven Verdoolaegeadd isl_union_set_is_equal
2010-11-17 Sven Verdoolaegeadd isl_union_map_read_from_str
2010-11-17 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: add all equalities...
2010-11-17 Sven Verdoolaegeisl_pip: avoid empty domain during verification
2010-11-17 Sven Verdoolaegeadd isl_basic_set_box_from_points
2010-11-15 Sven Verdoolaegeisl_basic_map_eliminate_vars: don't detect divs while...
2010-11-14 Sven Verdoolaegeisl_dim.c: set_name: only print single error message...
2010-11-14 Sven Verdoolaegeisl_pw_qpolynomial_fold_bound: fix handling or zero...
2010-11-14 Sven Verdoolaegeisl_printer_print_pw_qpolynomial{,_fold}: always print...
2010-11-12 Sven Verdoolaegeisl_qpolynomial_bound_on_domain_bernstein: optionally...
2010-11-12 Sven Verdoolaegeisl_options_parse: print default on boolean options
2010-11-12 Sven Verdoolaegeisl_options_parse: accept prefix before or after "no...
2010-11-12 Sven Verdoolaegeadd isl_cell_foreach_simplex
2010-11-12 Sven Verdoolaegeisl_basic_set_compute_vertices: store input basic set...
2010-11-12 Sven Verdoolaegeisl_vertices_foreach_cell: store individual vertex...
2010-11-12 Sven Verdoolaegeadd isl_union_pw_qpolynomial_to_polynomial
2010-11-12 Sven Verdoolaegedoc: update isl_pw_qpolynomial_gist description
2010-11-12 Sven Verdoolaegeadd isl_set_foreach_orthant
2010-11-12 Sven Verdoolaegeisl_range.c: privately export isl_qpolynomial_terms_of_sign
2010-11-12 Sven Verdoolaegeisl_range.c: collect_fixed_sign_terms: drop dead code
2010-11-12 Sven Verdoolaegeisl_set_split_dims: extract out half-space creation
2010-11-12 Sven Verdoolaegeisl_printer_print_pw_qpolynomial_fold: use consistent...
2010-11-12 Sven Verdoolaegeisl_dim_total: handle NULL input
2010-11-12 Sven Verdoolaegeadd isl_vec_clr
2010-11-10 Sven Verdoolaegeisl_qpolynomial_div_pow: normalize given div
2010-11-08 Sven Verdoolaegeisl_bound: accept folds as input
2010-11-08 Sven Verdoolaegeisl_bound: use isl_pw_qpolynomial_folds internally
2010-11-08 Sven Verdoolaegeexport isl_pw_qpolynomial_fold_fix_dim
2010-11-06 Sven Verdoolaegeadd isl_union_set_polyhedral_hull
2010-11-05 Sven Verdoolaegeisl_pw_qpolynomial_gist: also try to eliminate integer...
2010-11-05 Sven Verdoolaegehide some functions that were exposed by mistake
2010-11-04 Sven Verdoolaegeisl_qpolynomial_substitute_equalities: eliminate intege...
2010-11-04 Sven Verdoolaegeisl_stream_read_pw_qpolynomial: read nested divs
2010-11-04 Sven Verdoolaegeisl_qpolynomial_div_pow: allow nested divs
2010-11-04 Sven Verdoolaegeisl_printer_print_qpolynomial: properly print nested...
2010-11-04 Sven Verdoolaegeisl_qpolynomial_substitute_equalities: ignore constant...
2010-11-04 Sven Verdoolaegeisl_qpolynomial_substitute_equalities: don't use equali...
2010-11-01 Sven Verdoolaegeisl_basic_map_underlying_set: remove any structure...
2010-11-01 Sven Verdoolaegeexport isl_set_reset_dim
2010-10-30 Sven Verdoolaegeisl_qpolynomial_morph: properly handle change in number...
2010-10-28 Sven Verdoolaegeisl_stream_read_map: read_var_def: read var definition...
2010-10-27 Sven Verdoolaegeadd isl_set_remove_divs_involving_dims
2010-10-26 Sven Verdoolaegeadd isl_div_div
2010-10-26 Sven Verdoolaegeadd isl_div_copy
2010-10-26 Sven Verdoolaegeexport isl_pw_qpolynomial_fold_set_dim_name
2010-10-26 Sven Verdoolaegedoc: fix typo
2010-10-26 Sven Verdoolaegeexport isl_pw_qpolynomial_fold_add
2010-10-26 Sven Verdoolaegeadd isl_set_flatten_map
2010-10-26 Sven Verdoolaegeisl_pw_qpolynomial_gist: substitute equalities in polyn...
2010-10-26 Sven Verdoolaegeisl_pw_qpolynomial_gist: drop empty pieces in result
next