summaryrefslogtreecommitdiff
path: root/basis_reduction_tab.c
AgeCommit message (Expand)AuthorFilesLines
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-0/+1
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-1/+1
2010-06-26isl_tab_add_valid_eq: return int instead of isl_tab *Sven Verdoolaege1-1/+2
2010-06-26isl_tab_add_eq: return int instead of isl_tab *Sven Verdoolaege1-2/+4
2010-05-30remove some unused variablesSven Verdoolaege1-1/+0
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-10-12mark some functions as requiring use of return valueSven Verdoolaege1-1/+1
2009-10-12isl_tab: improved error handlingSven Verdoolaege1-3/+3
2009-10-09separate out isl_tab_reduced_basis from isl_basic_set_reduced_basisSven Verdoolaege1-16/+10
2009-10-09basis_reduction_tab.c: use isl_tab_product to construct product tableauSven Verdoolaege1-14/+8
2009-10-09isl_basic_set_reduced_basis: fix value in directions with only one integer valueSven Verdoolaege1-2/+59
2009-10-08basis_reduction_tab.c: keep track of con_offset instead of n_ineqSven Verdoolaege1-3/+4
2009-09-06basis_reduction_tab.c: add missing includeSven Verdoolaege1-0/+1
2009-08-07isl_tab: introduce support for "big parameters"Sven Verdoolaege1-1/+1
2009-07-16isl_tab: drop isl_ctx argument where not absolutely requiredSven Verdoolaege1-6/+6
2009-07-15introduce generalized basis reduction based samplingSven Verdoolaege1-0/+184
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 12:26:15 +0000