review.tizen.org Git - platform/upstream/isl.git/history

projects / platform / upstream / isl.git / history

[platform/upstream/isl.git] / isl_tab_pip.c

2011-10-06	Sven Verdoolaege	isl_basic_{set,map}_partial_lex{min,max}_pw_multi_aff...	blob \| commitdiff
2011-10-02	Sven Verdoolaege	add isl_basic_{set,map}_partial_lex{min,max}_pw_multi_aff	blob \| commitdiff \| diff to current
2011-10-02	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-09-23	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-09-22	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-09-22	Sven Verdoolaege	isl_tab_pip.c: sol_for_add: correctly set denominator	blob \| commitdiff \| diff to current
2011-09-22	Sven Verdoolaege	isl_tab_pip.c: sol_map_add: fix double free on error...	blob \| commitdiff \| diff to current
2011-09-09	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-09-03	Sven Verdoolaege	isl_tab_basic_set_non_trivial_lexmin: drop explicit...	blob \| commitdiff \| diff to current
2011-09-03	Sven Verdoolaege	isl_tab_pip.c: fix whitespace issue	blob \| commitdiff \| diff to current
2011-09-03	Sven Verdoolaege	rename isl_dim to isl_space	blob \| commitdiff \| diff to current
2011-09-01	Sven Verdoolaege	add isl_basic_set_foreach_lexopt	blob \| commitdiff \| diff to current
2011-07-08	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-06-29	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-06-25	Sven Verdoolaege	add isl_basic_set_foreach_lexmax	blob \| commitdiff \| diff to current
2011-06-23	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-06-18	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-06-14	Sven Verdoolaege	change isl_basic_map_foreach_lexmin prototype	blob \| commitdiff \| diff to current
2011-06-04	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-05-25	Sven Verdoolaege	mark some functions as (possibly) unused	blob \| commitdiff \| diff to current
2011-05-25	Sven Verdoolaege	isl_tab_pip.c: remove unused context_lex_extend	blob \| commitdiff \| diff to current
2011-05-25	Sven Verdoolaege	isl_tab_pip.c: remove unused variables	blob \| commitdiff \| diff to current
2011-05-20	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-05-05	Sven Verdoolaege	rename _fast_ functions to _plain_	blob \| commitdiff \| diff to current
2011-05-05	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-04-30	Sven Verdoolaege	isl_tab_pip: don't simplify domain in isl_for_add	blob \| commitdiff \| diff to current
2011-04-25	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-04-21	Sven Verdoolaege	add isl_tab_basic_set_non_neg_lexmin	blob \| commitdiff \| diff to current
2011-04-21	Sven Verdoolaege	add isl_tab_basic_set_non_trivial_lexmin	blob \| commitdiff \| diff to current
2011-04-21	Sven Verdoolaege	isl_tab_pip.c: add_lexmin_eq: return int instead of...	blob \| commitdiff \| diff to current
2011-04-21	Sven Verdoolaege	isl_tab_pip.c: restore_lexmin: return int instead of...	blob \| commitdiff \| diff to current
2011-04-21	Sven Verdoolaege	isl_tab_pip.c: add some debugging code	blob \| commitdiff \| diff to current
2011-04-21	Sven Verdoolaege	isl_tab_pip.c: fix typo in comment	blob \| commitdiff \| diff to current
2011-04-19	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-04-19	Sven Verdoolaege	isl_tab_pip.c: add_lexmin_eq: remove misguided optimiza...	blob \| commitdiff \| diff to current
2011-04-11	Sven Verdoolaege	isl_basic_map_lexmin: turn off equality detection on...	blob \| commitdiff \| diff to current
2011-03-16	Sven Verdoolaege	hide isl_ctx internals	blob \| commitdiff \| diff to current
2011-03-10	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-02-21	Sven Verdoolaege	isl_tab_pip.c: fix typo in comment	blob \| commitdiff \| diff to current
2011-02-05	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-02-05	Sven Verdoolaege	isl_tab_pip.c: correctly detect non-negativity of divs...	blob \| commitdiff \| diff to current
2011-02-05	Sven Verdoolaege	isl_tab_pip.c: fix typo in comment	blob \| commitdiff \| diff to current
2011-01-05	Sven Verdoolaege	Merge commit 'isl-0.05.1'	blob \| commitdiff \| diff to current
2011-01-05	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: fix up symmetry detection	blob \| commitdiff \| diff to current
2010-12-18	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: detect and exploit...	blob \| commitdiff \| diff to current
2010-12-18	Sven Verdoolaege	isl_tab_pip.c: fix typos in comments	blob \| commitdiff \| diff to current
2010-12-13	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: avoid memory leak...	blob \| commitdiff \| diff to current
2010-11-20	Sven Verdoolaege	Rename headers from isl_header.h to isl/header.h	blob \| commitdiff \| diff to current
2010-11-18	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: fix memory leak on...	blob \| commitdiff \| diff to current
2010-11-17	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: add all equalities...	blob \| commitdiff \| diff to current
2010-09-04	Sven Verdoolaege	add public API for matrices	blob \| commitdiff \| diff to current
2010-07-24	Sven Verdoolaege	isl_map_lexmax: produce less cryptic error message...	blob \| commitdiff \| diff to current
2010-06-26	Sven Verdoolaege	isl_tab_pip.c: no_sol_in_strict: fix error handling	blob \| commitdiff \| diff to current
2010-06-26	Sven Verdoolaege	isl_tab_pip.c: find_solutions: fix error handling	blob \| commitdiff \| diff to current
2010-06-26	Sven Verdoolaege	isl_tab_pip.c: sol_map_init: avoid NULL pointer dereference	blob \| commitdiff \| diff to current
2010-06-26	Sven Verdoolaege	isl_tab_add_eq: return int instead of isl_tab *	blob \| commitdiff \| diff to current
2010-06-25	Sven Verdoolaege	isl_tab_pip.c: fix typos	blob \| commitdiff \| diff to current
2010-06-15	Sven Verdoolaege	isl_tab_pip.c: compare all coefficients when checking...	blob \| commitdiff \| diff to current
2010-06-12	Sven Verdoolaege	isl_tab_detect_implicit_equalities: return integer...	blob \| commitdiff \| diff to current
2010-06-12	Sven Verdoolaege	export isl_set_is_bounded	blob \| commitdiff \| diff to current
2010-05-30	Sven Verdoolaege	fix some icc warnings	blob \| commitdiff \| diff to current
2010-04-10	Sven Verdoolaege	isl_sample.c: initial_basis: set n_unbounded and n_zero	blob \| commitdiff \| diff to current
2010-04-02	Sven Verdoolaege	isl_tab_pip.c: always set row sign of found row to...	blob \| commitdiff \| diff to current
2010-03-04	Sven Verdoolaege	extract isl_tab_add_div from isl_tab_pip.c	blob \| commitdiff \| diff to current
2010-02-03	Sven Verdoolaege	rename isl_{map,set}_add to isl_{map,set}_add_basic_...	blob \| commitdiff \| diff to current
2010-01-31	Sven Verdoolaege	isl_tab_pip.c: find_solutions: break when context becom...	blob \| commitdiff \| diff to current
2010-01-24	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: properly handle empty...	blob \| commitdiff \| diff to current
2009-12-24	Sven Verdoolaege	isl_tab_pip.c: add cuts for all non-integer coordinates...	blob \| commitdiff \| diff to current
2009-12-16	Sven Verdoolaege	add copyright statements	blob \| commitdiff \| diff to current
2009-12-07	Sven Verdoolaege	isl_tab: keep track of isl_basic_map instead of isl_bas...	blob \| commitdiff \| diff to current
2009-11-29	Sven Verdoolaege	isl_tab_add_ineq and isl_tab_mark_empty: return status...	blob \| commitdiff \| diff to current
2009-11-01	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: use context constrain...	blob \| commitdiff \| diff to current
2009-11-01	Sven Verdoolaege	isl_tab_pip.c: ignore dead columns when checking integr...	blob \| commitdiff \| diff to current
2009-10-21	Sven Verdoolaege	put options in a separate isl_options structure	blob \| commitdiff \| diff to current
2009-10-21	Sven Verdoolaege	isl_tab_pip: keep cache of partial solutions	blob \| commitdiff \| diff to current
2009-10-16	Sven Verdoolaege	isl_tab_pip: don't free isl_sol on error condition	blob \| commitdiff \| diff to current
2009-10-16	Sven Verdoolaege	isl_tab_pip.c: remove some code duplication between...	blob \| commitdiff \| diff to current
2009-10-12	Sven Verdoolaege	mark some functions as requiring use of return value	blob \| commitdiff \| diff to current
2009-10-12	Sven Verdoolaege	isl_tab: improved error handling	blob \| commitdiff \| diff to current
2009-10-12	Sven Verdoolaege	isl_tab_pip.c: incrementally build recession cone of...	blob \| commitdiff \| diff to current
2009-10-12	Sven Verdoolaege	isl_tab_pip.c: propagate some equalities from gbr conte...	blob \| commitdiff \| diff to current
2009-10-10	Sven Verdoolaege	isl_tab_pip.c: detect equalities in gbr context on...	blob \| commitdiff \| diff to current
2009-10-10	Sven Verdoolaege	isl_tab_pip: use generalized basis reduction based...	blob \| commitdiff \| diff to current
2009-10-10	Sven Verdoolaege	isl_tab_pip: add generalized basis reduction based...	blob \| commitdiff \| diff to current
2009-10-09	Sven Verdoolaege	isl_tab_pip.c: extract out context handling	blob \| commitdiff \| diff to current
2009-10-09	Sven Verdoolaege	isl_tab_pip.c: add_div: use more reliable way to test...	blob \| commitdiff \| diff to current
2009-10-09	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: remove samples that...	blob \| commitdiff \| diff to current
2009-10-09	Sven Verdoolaege	isl_tab.c: extract out samples handling from isl_tab_pip.c	blob \| commitdiff \| diff to current
2009-10-09	Sven Verdoolaege	isl_tab: keep (in)equalities of bset (if any) in sync	blob \| commitdiff \| diff to current
2009-10-07	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: simplify result	blob \| commitdiff \| diff to current
2009-10-07	Sven Verdoolaege	privately export isl_basic_set_add_{in,}eq	blob \| commitdiff \| diff to current
2009-10-02	Sven Verdoolaege	add isl_basic_map_foreach_lexmin	blob \| commitdiff \| diff to current
2009-09-13	Sven Verdoolaege	make some internal functions static	blob \| commitdiff \| diff to current
2009-09-06	Sven Verdoolaege	isl_tab_pip.c: remove unused variables	blob \| commitdiff \| diff to current
2009-09-06	Sven Verdoolaege	isl_assert: validate all arguments and fix up fallout	blob \| commitdiff \| diff to current
2009-09-06	Sven Verdoolaege	isl_tab_pip.c: add missing include	blob \| commitdiff \| diff to current
2009-09-04	Sven Verdoolaege	pilp solver: don't ignore feasibility test on context	blob \| commitdiff \| diff to current
2009-08-28	Sven Verdoolaege	add isl_vec_normalize	blob \| commitdiff \| diff to current
2009-08-07	Sven Verdoolaege	add an internal parametric integer linear program solver	blob \| commitdiff \| diff to current

Domain: System / Uncategorized;

RSS Atom