summaryrefslogtreecommitdiff
path: root/isl_tab.c
AgeCommit message (Expand)AuthorFilesLines
2013-03-17isl_map_coalesce: avoid dropping constraints redundant wrt implicit equalitiesSven Verdoolaege1-0/+102
2012-12-02isl_tab.c: push_union: handle NULL inputSven Verdoolaege1-0/+2
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
2012-04-13isl_tab_relax: prevent relaxation on dead or redundant constraintsSven Verdoolaege1-0/+7
2012-01-16isl_tab_from_basic_map: preserve all constraints in input when trackingSven Verdoolaege1-6/+17
2012-01-16isl_tab_track_bmap: drop sanity checks in case of empty tabSven Verdoolaege1-0/+8
2012-01-16isl_tab_track_bmap: make sure we have a unique copy of the basic mapSven Verdoolaege1-0/+1
2012-01-16isl_tab_track_bmap: fix memory leak on error pathSven Verdoolaege1-2/+2
2011-09-03rename isl_dim to isl_spaceSven Verdoolaege1-2/+2
2011-05-25mark some functions as (possibly) unusedSven Verdoolaege1-0/+6
2011-05-25isl_tab.c: avoid warning about unhandled enumeration value in switchSven Verdoolaege1-1/+5
2011-05-25isl_tab.c: remove unused variableSven Verdoolaege1-1/+0
2011-04-27rename isl_mat_dump to isl_mat_print_internalSven Verdoolaege1-1/+1
2011-04-21change prototype of isl_tab_dumpSven Verdoolaege1-1/+7
2011-04-19isl_tab: alway free saved basis undo recordSven Verdoolaege1-4/+13
2011-03-18rudimentary support for asynchronous termination of computationsSven Verdoolaege1-0/+6
2011-02-21isl_tab: check for obviously empty tableaus after discovering an equalitySven Verdoolaege1-0/+39
2011-02-19isl_tab_ineq_type: classify more constraints as being adjacent to an inequalitySven Verdoolaege1-8/+11
2011-02-10isl_tab_min: micro-optimization: postpone taking into account denominatorSven Verdoolaege1-2/+2
2011-02-05Merge branch 'maint'Sven Verdoolaege1-11/+31
2011-02-05isl_tab_add_row: add further explanationSven Verdoolaege1-0/+3
2011-02-05isl_tab.c: fix typos in commentsSven Verdoolaege1-3/+3
2011-02-05isl_tab_pip.c: correctly detect non-negativity of divs in lexmin contextsSven Verdoolaege1-10/+29
2011-02-05isl_tab_is_equality: properly support "big parameter"Sven Verdoolaege1-1/+2
2010-12-29rename isl_*_dump to isl_*_print_internalSven Verdoolaege1-1/+1
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-1/+1
2010-09-04add public API for matricesSven Verdoolaege1-1/+1
2010-06-26isl_tab_rollback: avoid double free on error pathSven Verdoolaege1-0/+1
2010-06-26isl_tab.c: tab_mat_product: avoid NULL pointer dereferenceSven Verdoolaege1-0/+2
2010-06-26isl_tab_extend_cons: avoid NULL pointer dereferenceSven Verdoolaege1-1/+3
2010-06-26isl_tab_add_valid_eq: return int instead of isl_tab *Sven Verdoolaege1-11/+8
2010-06-26isl_tab_min: avoid NULL pointer dereferenceSven Verdoolaege1-0/+3
2010-06-26isl_tab.c: close_row: fix error handlingSven Verdoolaege1-1/+5
2010-06-26isl_tab_add_eq: return int instead of isl_tab *Sven Verdoolaege1-22/+20
2010-06-25isl_tab.c: fix typosSven Verdoolaege1-6/+6
2010-06-19add rudimentary error reporting mechanismSven Verdoolaege1-2/+4
2010-06-12isl_tab_detect_implicit_equalities: also detect manifest equalitiesSven Verdoolaege1-5/+3
2010-06-12isl_tab: optionally only mark strictly redundant rowsSven Verdoolaege1-0/+5
2010-06-12isl_tab_detect_implicit_equalities: return integer instead of struct isl_tab *Sven Verdoolaege1-11/+8
2010-06-12add isl_tab_sign_of_maxSven Verdoolaege1-0/+14
2010-06-12isl_tab_select_facet: return int instead of isl_tab *Sven Verdoolaege1-19/+16
2010-06-12export isl_set_is_boundedSven Verdoolaege1-8/+15
2010-05-30fix some icc warningsSven Verdoolaege1-3/+5
2010-04-23isl_tab_rollback: restore rows that are no longer marked redundantSven Verdoolaege1-0/+1
2010-04-02isl_tab_min_at_most_neg_one: restore sample value of non-redundant constraintsSven Verdoolaege1-2/+6
2010-04-02isl_tab.c: update debugging aid check_table to presence of big parameterSven Verdoolaege1-2/+9
2010-04-02isl_tab_relax: make sure no non-negative rows get a negative sample valueSven Verdoolaege1-2/+15
2010-03-30isl_tab.c: unrelax: restore row if variable is non-negativeSven Verdoolaege1-2/+6
2010-03-30isl_tab.c: cut_to_hyperplane: add extra sanity checkSven Verdoolaege1-0/+1
2010-03-04extract isl_tab_add_div from isl_tab_pip.cSven Verdoolaege1-0/+144
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 03:40:39 +0000