add isl_qpolynomial_fold_scale_val
[platform/upstream/isl.git] / isl_tab_pip.c
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
2010-02-03 Sven Verdoolaegerename isl_{map,set}_add to isl_{map,set}_add_basic_...
2010-01-31 Sven Verdoolaegeisl_tab_pip.c: find_solutions: break when context becom...
2010-01-24 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: properly handle empty...
2009-12-24 Sven Verdoolaegeisl_tab_pip.c: add cuts for all non-integer coordinates...
2009-12-16 Sven Verdoolaegeadd copyright statements
2009-12-07 Sven Verdoolaegeisl_tab: keep track of isl_basic_map instead of isl_bas...
2009-11-29 Sven Verdoolaegeisl_tab_add_ineq and isl_tab_mark_empty: return status...
2009-11-01 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: use context constrain...
2009-11-01 Sven Verdoolaegeisl_tab_pip.c: ignore dead columns when checking integr...
2009-10-21 Sven Verdoolaegeput options in a separate isl_options structure
2009-10-21 Sven Verdoolaegeisl_tab_pip: keep cache of partial solutions
2009-10-16 Sven Verdoolaegeisl_tab_pip: don't free isl_sol on error condition
2009-10-16 Sven Verdoolaegeisl_tab_pip.c: remove some code duplication between...
2009-10-12 Sven Verdoolaegemark some functions as requiring use of return value
2009-10-12 Sven Verdoolaegeisl_tab: improved error handling
2009-10-12 Sven Verdoolaegeisl_tab_pip.c: incrementally build recession cone of...
2009-10-12 Sven Verdoolaegeisl_tab_pip.c: propagate some equalities from gbr conte...
2009-10-10 Sven Verdoolaegeisl_tab_pip.c: detect equalities in gbr context on...
2009-10-10 Sven Verdoolaegeisl_tab_pip: use generalized basis reduction based...
2009-10-10 Sven Verdoolaegeisl_tab_pip: add generalized basis reduction based...
2009-10-09 Sven Verdoolaegeisl_tab_pip.c: extract out context handling
2009-10-09 Sven Verdoolaegeisl_tab_pip.c: add_div: use more reliable way to test...
2009-10-09 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: remove samples that...
2009-10-09 Sven Verdoolaegeisl_tab.c: extract out samples handling from isl_tab_pip.c
2009-10-09 Sven Verdoolaegeisl_tab: keep (in)equalities of bset (if any) in sync
2009-10-07 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: simplify result
2009-10-07 Sven Verdoolaegeprivately export isl_basic_set_add_{in,}eq
2009-10-02 Sven Verdoolaegeadd isl_basic_map_foreach_lexmin
2009-09-13 Sven Verdoolaegemake some internal functions static
2009-09-06 Sven Verdoolaegeisl_tab_pip.c: remove unused variables
2009-09-06 Sven Verdoolaegeisl_assert: validate all arguments and fix up fallout
2009-09-06 Sven Verdoolaegeisl_tab_pip.c: add missing include
2009-09-04 Sven Verdoolaegepilp solver: don't ignore feasibility test on context
2009-08-28 Sven Verdoolaegeadd isl_vec_normalize
2009-08-07 Sven Verdoolaegeadd an internal parametric integer linear program solver