isl_tab_basic_map_partial_lexopt: remove samples that are no longer useful
[platform/upstream/isl.git] / isl_tab.h
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_compute_reduced_basis: handle unbounded directi...
2009-10-09 Sven Verdoolaegeisl_tab_compute_reduced_basis: allow incremental comput...
2009-10-09 Sven Verdoolaegeadd isl_tab_product
2009-10-08 Sven Verdoolaegeadd isl_tab_add_eq
2009-10-08 Sven Verdoolaegerename isl_tab_detect_equalities to isl_tab_detect_impl...
2009-10-08 Sven Verdoolaegeisl_tab_from_recession_cone: take basic set instead...
2009-09-06 Sven Verdoolaegeprivately export isl_tab_kill_col
2009-08-09 Sven Verdoolaegeisl_tab_add_valid_eq: keep track of whether equality...
2009-08-07 Sven Verdoolaegeadd an internal parametric integer linear program solver
2009-08-07 Sven Verdoolaegeisl_tab: add support for keeping track of samples
2009-08-07 Sven Verdoolaegeisl_tab: optionally keep track of row signs
2009-08-07 Sven Verdoolaegeisl_tab: add isl_basic_set field for optionally keeping...
2009-08-07 Sven Verdoolaegeisl_tab: introduce support for "big parameters"
2009-08-07 Sven Verdoolaegeisl_tab: allow introduction of extra variables
2009-08-07 Sven Verdoolaegeisl_tab: introduce parameters and divs
2009-08-07 Sven Verdoolaegeisl_tab.h: fix typo in comment
2009-08-07 Sven Verdoolaegeisl_tab: allow saving and restoring the complete basis
2009-08-07 Sven Verdoolaegeisl_tab: privately export some functionality
2009-08-07 Sven Verdoolaegeisl_tab: store undo argument in a union for future...
2009-08-07 Sven Verdoolaegeisl_tab: store index of variable in undo record instead...
2009-07-16 Sven Verdoolaegeisl_tab: drop isl_ctx argument where not absolutely...
2009-07-15 Sven Verdoolaegeexport isl_tab_sample_is_integer
2009-07-13 Sven Verdoolaegeisl_tab: don't create new undo records during rollback
2009-07-13 Sven Verdoolaegeisl_tab: optionally save dual solution
2009-07-13 Sven Verdoolaegeisl_tab: add isl_tab_add_valid_eq
2009-07-13 Sven Verdoolaegeexport isl_tab_alloc
2009-05-06 Sven Verdoolaegeisl_tab.c: add isl_tab_get_sample_value
2009-03-23 Sven Verdoolaegeisl_tab.c: store number of equalities among the constra...
2009-03-20 Sven Verdoolaegeisl_tab.c: don't detect equalities while setting up...
2009-03-20 Sven Verdoolaegeadd internal representation of LP tableaus