isl.git
2011-03-18 Sven Verdoolaegeisl 0.06isl-0.06
2011-03-18 Sven Verdoolaegedoc: add some implementation details on parametric...
2011-03-18 Sven Verdoolaegeisl_lp.c: avoid clang warning
2011-03-18 Sven Verdoolaegeisl_stream_read_map: accept floord and ceild expression...
2011-03-18 Sven Verdoolaegeisl_stream_read_map: accept min and max expressions...
2011-03-18 Sven Verdoolaegeisl_stream_read_map: properly read nested divs
2011-03-18 Sven Verdoolaegeisl_stream_read_map: treat divs as output variables...
2011-03-18 Sven Verdoolaegeisl_map_coalesce: plug memory leak on error path
2011-03-18 Sven Verdoolaegeisl_mat_extend: avoid memory leak when realloc fails
2011-03-18 Sven Verdoolaegeisl_basic_map_overlying_set: avoid memory leak when...
2011-03-18 Sven Verdoolaegeisl_stream_getc: avoid memory leak when realloc fails
2011-03-18 Sven Verdoolaegerudimentary support for asynchronous termination of...
2011-03-16 Sven Verdoolaegehide isl_ctx internals
2011-03-15 Sven Verdoolaegeisl_vec_read_from_file: drop input_format argument
2011-03-15 Sven Verdoolaegeisl_map.c: drop unused error label
2011-03-15 Sven Verdoolaegeisl_input.c: drop unused error label
2011-03-15 Sven Verdoolaegerespect DESTDIR when installing isl.py
2011-03-12 Sven Verdoolaegeisl_stream: accept "$" token
2011-03-12 Sven Verdoolaegeadd isl_union_map_power
2011-03-12 Sven Verdoolaegechange isl_map_power interface
2011-03-12 Sven Verdoolaegeadd isl_union_map_zip
2011-03-12 Sven Verdoolaegeadd private isl_basic_map_swap_vars
2011-03-10 Sven Verdoolaegeadd isl_union_map_deltas_map
2011-03-10 Sven VerdoolaegeMerge branch 'maint'
2011-03-10 Sven Verdoolaegeisl_map_deltas: don't copy flags from input
2011-03-05 Sven Verdoolaegeisl_stream_read_map: accept constant expressions of...
2011-03-05 Sven Verdoolaegeisl_stream: accept "/\" and "\/" as alternatives for...
2011-03-05 Sven Verdoolaegeisl_stream: only quote newline using '\'
2011-03-05 Sven Verdoolaegeisl_stream: maintain private ungetc buffer
2011-03-02 Sven Verdoolaegeisl_set_lifting: simplify and finalize result
2011-03-02 Sven Verdoolaegedoc: fix typo
2011-03-02 Sven Verdoolaegedoc: drop long outdated note on transitive closures
2011-03-01 Sven Verdoolaegeadd isl_basic_set_get_dim_name
2011-02-25 Sven Verdoolaegeisl_map_identity: take dimension specification of map...
2011-02-25 Sven Verdoolaegerename isl_dim_map to isl_dim_map_from_set
2011-02-25 Sven Verdoolaegetransitive closure: project out parameters when any...
2011-02-21 Sven Verdoolaegeprivately export isl_basic_set_reset_dim
2011-02-21 Sven Verdoolaegeisl_set_lift: preserve structure of space
2011-02-21 Sven Verdoolaegeisl_pw_qpolynomial_bound: handle combination of wrappin...
2011-02-21 Sven Verdoolaegeisl_tab_pip.c: fix typo in comment
2011-02-21 Sven Verdoolaegeisl_tab: check for obviously empty tableaus after disco...
2011-02-21 Sven Verdoolaegeisl_basic_map_gist: prefer contraints without existenti...
2011-02-20 Sven Verdoolaegeisl_basic_map_sort_constraints: change comparison routine
2011-02-19 Sven Verdoolaegeisl_tab_ineq_type: classify more constraints as being...
2011-02-19 Sven Verdoolaegeisl_map_coalesce: be more relaxed about multiple equali...
2011-02-18 Sven Verdoolaegeadd isl_basic_map_from_domain_and_range
2011-02-18 Sven Verdoolaegeadd isl_basic_set_neg
2011-02-18 Sven Verdoolaegeadd isl_basic_set_flat_product
2011-02-18 Sven Verdoolaegeexport isl_basic_map_flatten
2011-02-18 Sven Verdoolaegeadd isl_basic_map_from_qpolynomial
2011-02-17 Sven Verdoolaegeisl_stream: support \<newline> line continuation
2011-02-17 Sven Verdoolaegeadd isl_union_map_read_from_file
2011-02-17 Sven Verdoolaegeisl_stream_read_map: accept 'true' and 'false' constraints
2011-02-17 Sven Verdoolaegeisl_stream_read_map: allow extra ';' at end of map...
2011-02-17 Sven Verdoolaegeisl_stream_read_map: allow negations
2011-02-17 Sven Verdoolaegeisl_stream_read_map: allow existential quantification...
2011-02-17 Sven Verdoolaegeprivately export isl_basic_map_add_div_constraints_var
2011-02-13 Sven Verdoolaegeisl_morph_basic_set: preserve rationality of input
2011-02-13 Sven Verdoolaegeadd isl_basic_set_is_rational
2011-02-13 Sven Verdoolaegeisl_printer_print_basic_map: explicitly mark rational...
2011-02-13 Sven Verdoolaegeisl_stream_read_map: read rational maps
2011-02-13 Sven Verdoolaegeisl_basic_map_insert: preserve rationality of input
2011-02-13 Sven Verdoolaegeadd isl_basic_map_set_rational
2011-02-13 Sven Verdoolaegeisl_basic_map_fast_cmp: differentiate between rational...
2011-02-13 Sven Verdoolaegeisl_output.c: remove some code duplication
2011-02-13 Sven Verdoolaegeisl_printer_print_basic_{set,map}: don't start new...
2011-02-12 Sven Verdoolaegeisl_stream_read_map: accept '|' at start of constraints
2011-02-12 Sven Verdoolaegeisl_stream: keep track of textual representation of...
2011-02-11 Sven Verdoolaegeisl_input.c: clean up read_disjuncts
2011-02-11 Sven Verdoolaegeisl_stream_read_map: accept disjunctions within a conjunct
2011-02-10 Sven Verdoolaegeisl_convex_hull.c: explicitly mark wrapping lp problem...
2011-02-10 Sven Verdoolaegeisl_tab_min: micro-optimization: postpone taking into...
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-02-05 Sven Verdoolaegeisl_tab_add_row: add further explanation
2011-02-05 Sven Verdoolaegeisl_tab.c: fix typos in comments
2011-02-05 Sven Verdoolaegeisl_tab_pip.c: correctly detect non-negativity of divs...
2011-02-05 Sven Verdoolaegeadd test
2011-02-05 Sven Verdoolaegetest both context handling mechanisms of isl_pip
2011-02-05 Sven Verdoolaegeisl_tab_is_equality: properly support "big parameter"
2011-02-05 Sven Verdoolaegeisl_tab_pip.c: fix typo in comment
2011-02-05 Sven Verdoolaegeisl_affine_hull.c: fix typos in comments
2011-02-05 Sven Verdoolaegeisl_union_map_compute_flow: return accesses with no...
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-02-05 Sven Verdoolaegeisl_union_map.c: inplace: pass data pointer to isl_hash...
2011-01-27 Sven Verdoolaegeisl_dim_move: update parameters of nested spaces
2011-01-27 Sven Verdoolaegeadd isl_map_nat_universe
2011-01-27 Sven Verdoolaegeclean up isl_set_from_basic_set
2011-01-27 Sven Verdoolaegemerge isl_basic_set/isl_basic_map and isl_set/isl_map
2011-01-26 Sven Verdoolaegerename "omega" transitive closure to "box" transitive...
2011-01-23 Sven Verdoolaegeexport isl_int_obj_free
2011-01-23 Sven Verdoolaegeisl_vertices.c: fix typos
2011-01-23 Sven Verdoolaegeisl_union_templ.c: fix typo
2011-01-23 Sven Verdoolaegeisl_map_subtract.c: n_non_redundant: propage isl_ctx
2011-01-23 Sven Verdoolaegeisl_bernstein.c: fix typo
2011-01-23 Sven Verdoolaegeadd isl_union_pw_qpolynomial_mul_isl_int
2011-01-23 Sven Verdoolaegeisl_stream_read_obj: read int objects
2011-01-23 Sven Verdoolaegeadd int objects for use in iscc
2011-01-22 Sven Verdoolaegeisl_basic_map_remove_divs: finalize result
2011-01-22 Sven Verdoolaegeadd isl_basic_set_get_tuple_name
2011-01-22 Sven VerdoolaegeMerge branch 'maint'
next