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

projects / platform / upstream / isl.git / history

2011-02-21	Sven Verdoolaege	isl_tab: check for obviously empty tableaus after disco...	blob \| commitdiff
2011-02-19	Sven Verdoolaege	isl_tab_ineq_type: classify more constraints as being...	blob \| commitdiff \| diff to current
2011-02-10	Sven Verdoolaege	isl_tab_min: micro-optimization: postpone taking into...	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_add_row: add further explanation	blob \| commitdiff \| diff to current
2011-02-05	Sven Verdoolaege	isl_tab.c: fix typos in comments	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_is_equality: properly support "big parameter"	blob \| commitdiff \| diff to current
2011-02-05	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-01-22	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-01-16	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-01-07	Sven Verdoolaege	Merge branch 'maint'	blob \| commitdiff \| diff to current
2011-01-05	Sven Verdoolaege	Merge commit 'isl-0.05.1'	blob \| commitdiff \| diff to current
2010-12-29	Sven Verdoolaege	rename isl__dump to isl__print_internal	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-09-04	Sven Verdoolaege	add public API for matrices	blob \| commitdiff \| diff to current
2010-06-26	Sven Verdoolaege	isl_tab_rollback: avoid double free on error path	blob \| commitdiff \| diff to current
2010-06-26	Sven Verdoolaege	isl_tab.c: tab_mat_product: avoid NULL pointer dereference	blob \| commitdiff \| diff to current
2010-06-26	Sven Verdoolaege	isl_tab_extend_cons: avoid NULL pointer dereference	blob \| commitdiff \| diff to current
2010-06-26	Sven Verdoolaege	isl_tab_add_valid_eq: return int instead of isl_tab *	blob \| commitdiff \| diff to current
2010-06-26	Sven Verdoolaege	isl_tab_min: avoid NULL pointer dereference	blob \| commitdiff \| diff to current
2010-06-26	Sven Verdoolaege	isl_tab.c: close_row: fix error handling	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.c: fix typos	blob \| commitdiff \| diff to current
2010-06-19	Sven Verdoolaege	add rudimentary error reporting mechanism	blob \| commitdiff \| diff to current
2010-06-12	Sven Verdoolaege	isl_tab_detect_implicit_equalities: also detect manifes...	blob \| commitdiff \| diff to current
2010-06-12	Sven Verdoolaege	isl_tab: optionally only mark strictly redundant rows	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	add isl_tab_sign_of_max	blob \| commitdiff \| diff to current
2010-06-12	Sven Verdoolaege	isl_tab_select_facet: return int instead of isl_tab *	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-23	Sven Verdoolaege	isl_tab_rollback: restore rows that are no longer marke...	blob \| commitdiff \| diff to current
2010-04-02	Sven Verdoolaege	isl_tab_min_at_most_neg_one: restore sample value of...	blob \| commitdiff \| diff to current
2010-04-02	Sven Verdoolaege	isl_tab.c: update debugging aid check_table to presence...	blob \| commitdiff \| diff to current
2010-04-02	Sven Verdoolaege	isl_tab_relax: make sure no non-negative rows get a...	blob \| commitdiff \| diff to current
2010-03-30	Sven Verdoolaege	isl_tab.c: unrelax: restore row if variable is non...	blob \| commitdiff \| diff to current
2010-03-30	Sven Verdoolaege	isl_tab.c: cut_to_hyperplane: add extra sanity check	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-01-08	Sven Verdoolaege	isl_basic_map_update_from_tab: re-gauss resulting bmap	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-12-07	Sven Verdoolaege	isl_tab_detect_redundant: return status instead of...	blob \| commitdiff \| diff to current
2009-12-07	Sven Verdoolaege	isl_tab: add isl_tab_freeze_constraint	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: row is only (obviously) redundant if it does...	blob \| commitdiff \| diff to current
2009-10-16	Sven Verdoolaege	isl_tab: support generic undo records	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-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_compute_reduced_basis: handle unbounded directi...	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-09	Sven Verdoolaege	isl_tab_compute_reduced_basis: allow incremental comput...	blob \| commitdiff \| diff to current
2009-10-09	Sven Verdoolaege	add isl_tab_product	blob \| commitdiff \| diff to current
2009-10-08	Sven Verdoolaege	add isl_tab_add_eq	blob \| commitdiff \| diff to current
2009-10-08	Sven Verdoolaege	isl_tab_add_valid_eq: add special treatment for manifes...	blob \| commitdiff \| diff to current
2009-10-08	Sven Verdoolaege	isl_tab_extend_cons: check tab argument	blob \| commitdiff \| diff to current
2009-10-08	Sven Verdoolaege	rename isl_tab_detect_equalities to isl_tab_detect_impl...	blob \| commitdiff \| diff to current
2009-10-08	Sven Verdoolaege	isl_tab_from_recession_cone: take basic set instead...	blob \| commitdiff \| diff to current
2009-10-07	Sven Verdoolaege	isl_tab_allocate_con: add extra assertion	blob \| commitdiff \| diff to current
2009-10-07	Sven Verdoolaege	isl_tab.c: close_row: push undo record for setting...	blob \| commitdiff \| diff to current
2009-09-09	Sven Verdoolaege	isl_tab.c: cut_to_hyperplane: do nothing if selected...	blob \| commitdiff \| diff to current
2009-09-08	Sven Verdoolaege	isl_tab_dup: avoid out-of-bounds array access	blob \| commitdiff \| diff to current
2009-09-06	Sven Verdoolaege	isl_tab.c: sign_of_min: only pivot back if we performed...	blob \| commitdiff \| diff to current
2009-09-06	Sven Verdoolaege	isl_tab.c: isl_tab_mark_redundant: fix up error return	blob \| commitdiff \| diff to current
2009-09-06	Sven Verdoolaege	isl_tab.c: remove unused variables	blob \| commitdiff \| diff to current
2009-09-06	Sven Verdoolaege	isl_tab.c: fix up to_col	blob \| commitdiff \| diff to current
2009-08-28	Sven Verdoolaege	isl_seq_normalize: use pre-allocated temporary variable...	blob \| commitdiff \| diff to current
2009-08-28	Sven Verdoolaege	add isl_vec_normalize	blob \| commitdiff \| diff to current
2009-08-28	Sven Verdoolaege	isl_solve_lp: optionally return solution point	blob \| commitdiff \| diff to current
2009-08-09	Sven Verdoolaege	isl_tab_min: read off all information from tableau...	blob \| commitdiff \| diff to current
2009-08-09	Sven Verdoolaege	isl_tab_add_valid_eq: keep track of whether equality...	blob \| commitdiff \| diff to current
2009-08-07	Sven Verdoolaege	isl_tab: add support for keeping track of samples	blob \| commitdiff \| diff to current
2009-08-07	Sven Verdoolaege	isl_tab: optionally keep track of row signs	blob \| commitdiff \| diff to current
2009-08-07	Sven Verdoolaege	isl_tab: add isl_basic_set field for optionally keeping...	blob \| commitdiff \| diff to current
2009-08-07	Sven Verdoolaege	isl_tab: introduce support for "big parameters"	blob \| commitdiff \| diff to current
2009-08-07	Sven Verdoolaege	isl_tab: allow introduction of extra variables	blob \| commitdiff \| diff to current
2009-08-07	Sven Verdoolaege	isl_tab: introduce parameters and divs	blob \| commitdiff \| diff to current
2009-08-07	Sven Verdoolaege	isl_tab: allow saving and restoring the complete basis	blob \| commitdiff \| diff to current
2009-08-07	Sven Verdoolaege	isl_tab: privately export some functionality	blob \| commitdiff \| diff to current
2009-08-07	Sven Verdoolaege	isl_tab: store undo argument in a union for future...	blob \| commitdiff \| diff to current
2009-08-07	Sven Verdoolaege	isl_tab_pivot: fix typo that prevented normalization...	blob \| commitdiff \| diff to current
2009-08-07	Sven Verdoolaege	isl_tab: store index of variable in undo record instead...	blob \| commitdiff \| diff to current
2009-08-04	Sven Verdoolaege	add isl_tab_dup	blob \| commitdiff \| diff to current
2009-08-04	Sven Verdoolaege	isl_tab.c: mark_redundant: only mark variable nonneg...	blob \| commitdiff \| diff to current
2009-08-04	Sven Verdoolaege	isl_tab.c: to_row: allow pivoting in arbitrary direction	blob \| commitdiff \| diff to current
2009-08-04	Sven Verdoolaege	isl_tab.c: simplify code by letting mark_empty return tab	blob \| commitdiff \| diff to current
2009-08-04	Sven Verdoolaege	isl_tab.c: simplify add_eq	blob \| commitdiff \| diff to current
2009-08-04	Sven Verdoolaege	isl_tab.c: extract allocate_con	blob \| commitdiff \| diff to current
2009-07-20	Sven Verdoolaege	isl_tab_cone_is_bounded: start over after computing...	blob \| commitdiff \| diff to current
2009-07-16	Sven Verdoolaege	isl_tab: drop isl_ctx argument where not absolutely...	blob \| commitdiff \| diff to current
2009-07-16	Sven Verdoolaege	isl_mat: keep track of isl_ctx	blob \| commitdiff \| diff to current
2009-07-15	Sven Verdoolaege	isl_tab.c: fix typo in comment	blob \| commitdiff \| diff to current
2009-07-15	Sven Verdoolaege	export isl_tab_sample_is_integer	blob \| commitdiff \| diff to current
2009-07-13	Sven Verdoolaege	isl_tab: don't create new undo records during rollback	blob \| commitdiff \| diff to current
2009-07-13	Sven Verdoolaege	isl_tab_min: use general rollback mechanism	blob \| commitdiff \| diff to current
2009-07-13	Sven Verdoolaege	isl_tab: optionally save dual solution	blob \| commitdiff \| diff to current
2009-07-13	Sven Verdoolaege	isl_tab: add isl_tab_add_valid_eq	blob \| commitdiff \| diff to current
next

Domain: System / Uncategorized;

RSS Atom