isl_basic_map_from_constraint_matrices: (simplify and) finalize result
[platform/upstream/isl.git] / isl_tab_pip.c
2012-12-03 Sven Verdoolaegeisl_tab_basic_set_non_neg_lexmin: handle NULL input
2012-12-02 Sven Verdoolaegeisl_tab_basic_set_non_trivial_lexmin: handle NULL input
2012-12-02 Sven Verdoolaegeisl_basic_map_foreach_lexopt: avoid invalid access...
2012-12-02 Sven Verdoolaegeisl_tab_pip.c: sol_pop: avoid invalid access on error
2012-12-01 Sven Verdoolaegeisl_tab_pip.c: find_in_pos: plug memory leak on error...
2012-12-01 Sven Verdoolaegeisl_tab_pip.c: add_parametric_cut: plug memory leak...
2012-12-01 Sven Verdoolaegeisl_tab_pip.c: sol_push_sol: plug memory leak on error...
2012-11-13 Sven Verdoolaegerename isl_basic_set_add to isl_basic_set_add_dims
2012-09-02 Sven Verdoolaegerelicense isl under the MIT license
2012-06-09 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: don't normalize inter...
2012-05-30 Sven VerdoolaegeMerge branch 'maint'
2012-05-21 Sven VerdoolaegeMerge branch 'maint'
2012-05-11 Sven Verdoolaegeisl_tab_pip.c: fix typos in comment
2012-04-18 Sven VerdoolaegeMerge branch 'maint'
2012-04-13 Sven VerdoolaegeMerge branch 'maint'
2012-04-07 Sven VerdoolaegeMerge branch 'maint'
2012-03-06 Sven VerdoolaegeMerge branch 'maint'
2012-02-23 Sven VerdoolaegeMerge branch 'maint'
2012-02-21 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: properly normalize...
2012-02-19 Tobias Grosserisl_tab_basic_set_non_trivial_lexmin: do not add cuts...
2012-02-14 Sven VerdoolaegeMerge branch 'maint'
2012-02-07 Sven Verdoolaegeisl_basic_map_foreach_lexopt: normalize isl_affs
2012-02-01 Sven VerdoolaegeMerge branch 'maint'
2012-02-01 Sven Verdoolaegeisl_tab_pip.c: sol_add: skip empty contexts
2012-01-18 Sven VerdoolaegeMerge branch 'maint'
2012-01-16 Sven Verdoolaegeisl_tab_from_basic_map: preserve all constraints in...
2012-01-16 Sven Verdoolaegeisl_tab_track_bmap: make sure we have a unique copy...
2011-12-10 Sven VerdoolaegeMerge branch 'maint'
2011-12-02 Sven VerdoolaegeMerge branch 'maint'
2011-11-23 Sven VerdoolaegeMerge branch 'maint'
2011-11-13 Sven Verdoolaegehide isl_options structure
2011-11-01 Sven Verdoolaegeisl_tab_pip.c: sol_pma_add: add missing finalize
2011-10-20 Sven Verdoolaegeisl_tab_pip.c: set_row_cst_to_div: don't assume coeffic...
2011-10-20 Sven Verdoolaegeisl_tab_pip.c: fix typo in comment
2011-10-19 Sven Verdoolaegeremove undocumented isl_basic_{set,map}_foreach_lex...
2011-10-10 Sven VerdoolaegeMerge branch 'maint'
2011-10-06 Sven Verdoolaegeisl_basic_{set,map}_partial_lex{min,max}_pw_multi_aff...
2011-10-02 Sven Verdoolaegeadd isl_basic_{set,map}_partial_lex{min,max}_pw_multi_aff
2011-10-02 Sven VerdoolaegeMerge branch 'maint'
2011-09-23 Sven VerdoolaegeMerge branch 'maint'
2011-09-22 Sven VerdoolaegeMerge branch 'maint'
2011-09-22 Sven Verdoolaegeisl_tab_pip.c: sol_for_add: correctly set denominator
2011-09-22 Sven Verdoolaegeisl_tab_pip.c: sol_map_add: fix double free on error...
2011-09-09 Sven VerdoolaegeMerge branch 'maint'
2011-09-03 Sven Verdoolaegeisl_tab_basic_set_non_trivial_lexmin: drop explicit...
2011-09-03 Sven Verdoolaegeisl_tab_pip.c: fix whitespace issue
2011-09-03 Sven Verdoolaegerename isl_dim to isl_space
2011-09-01 Sven Verdoolaegeadd isl_basic_set_foreach_lexopt
2011-07-08 Sven VerdoolaegeMerge branch 'maint'
2011-06-29 Sven VerdoolaegeMerge branch 'maint'
2011-06-25 Sven Verdoolaegeadd isl_basic_set_foreach_lexmax
2011-06-23 Sven VerdoolaegeMerge branch 'maint'
2011-06-18 Sven VerdoolaegeMerge branch 'maint'
2011-06-14 Sven Verdoolaegechange isl_basic_map_foreach_lexmin prototype
2011-06-04 Sven VerdoolaegeMerge branch 'maint'
2011-05-25 Sven Verdoolaegemark some functions as (possibly) unused
2011-05-25 Sven Verdoolaegeisl_tab_pip.c: remove unused context_lex_extend
2011-05-25 Sven Verdoolaegeisl_tab_pip.c: remove unused variables
2011-05-20 Sven VerdoolaegeMerge branch 'maint'
2011-05-05 Sven Verdoolaegerename *_fast_* functions to *_plain_*
2011-05-05 Sven VerdoolaegeMerge branch 'maint'
2011-04-30 Sven Verdoolaegeisl_tab_pip: don't simplify domain in isl_for_add
2011-04-25 Sven VerdoolaegeMerge branch 'maint'
2011-04-21 Sven Verdoolaegeadd isl_tab_basic_set_non_neg_lexmin
2011-04-21 Sven Verdoolaegeadd isl_tab_basic_set_non_trivial_lexmin
2011-04-21 Sven Verdoolaegeisl_tab_pip.c: add_lexmin_eq: return int instead of...
2011-04-21 Sven Verdoolaegeisl_tab_pip.c: restore_lexmin: return int instead of...
2011-04-21 Sven Verdoolaegeisl_tab_pip.c: add some debugging code
2011-04-21 Sven Verdoolaegeisl_tab_pip.c: fix typo in comment
2011-04-19 Sven VerdoolaegeMerge branch 'maint'
2011-04-19 Sven Verdoolaegeisl_tab_pip.c: add_lexmin_eq: remove misguided optimiza...
2011-04-11 Sven Verdoolaegeisl_basic_map_lexmin: turn off equality detection on...
2011-03-16 Sven Verdoolaegehide isl_ctx internals
2011-03-10 Sven VerdoolaegeMerge branch 'maint'
2011-02-21 Sven Verdoolaegeisl_tab_pip.c: fix typo in comment
2011-02-05 Sven VerdoolaegeMerge branch 'maint'
2011-02-05 Sven Verdoolaegeisl_tab_pip.c: correctly detect non-negativity of divs...
2011-02-05 Sven Verdoolaegeisl_tab_pip.c: fix typo in comment
2011-01-05 Sven VerdoolaegeMerge commit 'isl-0.05.1'
2011-01-05 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: fix up symmetry detection
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-13 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: avoid memory leak...
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 Verdoolaegeisl_tab_basic_map_partial_lexopt: add all equalities...
2010-09-04 Sven Verdoolaegeadd public API for matrices
2010-07-24 Sven Verdoolaegeisl_map_lexmax: produce less cryptic error message...
2010-06-26 Sven Verdoolaegeisl_tab_pip.c: no_sol_in_strict: fix error handling
2010-06-26 Sven Verdoolaegeisl_tab_pip.c: find_solutions: fix error handling
2010-06-26 Sven Verdoolaegeisl_tab_pip.c: sol_map_init: avoid NULL pointer dereference
2010-06-26 Sven Verdoolaegeisl_tab_add_eq: return int instead of isl_tab *
2010-06-25 Sven Verdoolaegeisl_tab_pip.c: fix typos
2010-06-15 Sven Verdoolaegeisl_tab_pip.c: compare all coefficients when checking...
2010-06-12 Sven Verdoolaegeisl_tab_detect_implicit_equalities: return integer...
2010-06-12 Sven Verdoolaegeexport isl_set_is_bounded
2010-05-30 Sven Verdoolaegefix some icc warnings
2010-04-10 Sven Verdoolaegeisl_sample.c: initial_basis: set n_unbounded and n_zero
2010-04-02 Sven Verdoolaegeisl_tab_pip.c: always set row sign of found row to...
2010-03-04 Sven Verdoolaegeextract isl_tab_add_div from isl_tab_pip.c
next