summaryrefslogtreecommitdiff
path: root/isl_sample.c
AgeCommit message (Expand)AuthorFilesLines
2012-11-20isl_tab_sample: perform greedy search before performing basis reductionSven Verdoolaege1-2/+85
2012-11-20isl_tab_sample: extract out compute_min and compute_maxSven Verdoolaege1-9/+32
2012-11-20isl_tab_sample: treat emptiness of tableau as errorSven Verdoolaege1-12/+12
2012-09-02relicense isl under the MIT licenseSven Verdoolaege1-1/+1
2012-02-24add isl_basic_set_sampleSven Verdoolaege1-0/+5
2012-01-16isl_tab_from_basic_map: preserve all constraints in input when trackingSven Verdoolaege1-4/+2
2011-11-13hide isl_options structureSven Verdoolaege1-0/+1
2011-09-03rename isl_dim to isl_spaceSven Verdoolaege1-4/+4
2011-05-05rename *_fast_* functions to *_plain_*Sven Verdoolaege1-3/+3
2011-04-21change isl_mat_sub_alloc prototypeSven Verdoolaege1-1/+1
2011-03-16hide isl_ctx internalsSven Verdoolaege1-0/+1
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-1/+1
2011-01-16isl_basic_set_sample_point: exploit factorization if anySven Verdoolaege1-0/+79
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-3/+3
2010-10-26rename isl_map_remove to isl_map_remove_dimsSven Verdoolaege1-1/+2
2010-09-16merge isl_basic_set_drop_constraints_involving implementationsSven Verdoolaege1-23/+2
2010-06-26isl_tab_add_valid_eq: return int instead of isl_tab *Sven Verdoolaege1-1/+2
2010-06-26isl_sample.c: interval_sample: avoid NULL pointer dereferenceSven Verdoolaege1-0/+4
2010-06-26isl_sample.c: drop_constraints_involving: avoid NULL pointer dereferenceSven Verdoolaege1-2/+2
2010-06-26isl_sample.c: gbr_sample: avoid NULL pointer dereferenceSven Verdoolaege1-0/+5
2010-06-12isl_tab_detect_implicit_equalities: return integer instead of struct isl_tab *Sven Verdoolaege1-3/+2
2010-04-10isl_sample.c: initial_basis: set n_unbounded and n_zeroSven Verdoolaege1-1/+2
2010-03-04add isl_set_sample_pointSven Verdoolaege1-0/+39
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-12-07isl_tab: keep track of isl_basic_map instead of isl_basic_setSven Verdoolaege1-5/+13
2009-11-29isl_tab_add_ineq and isl_tab_mark_empty: return status instead of isl_tab *Sven Verdoolaege1-2/+3
2009-10-21put options in a separate isl_options structureSven Verdoolaege1-13/+14
2009-10-12isl_tab: improved error handlingSven Verdoolaege1-1/+2
2009-10-10add isl_tab_set_initial_basis_with_coneSven Verdoolaege1-0/+126
2009-10-09isl_basic_map_detect_equalities: keep track of sampleSven Verdoolaege1-1/+1
2009-10-09isl_tab_sample: handle unbounded directions in initial basisSven Verdoolaege1-4/+47
2009-10-09exploit equalities in isl_tab_sampleSven Verdoolaege1-7/+87
2009-10-09isl_tab_sample: be more verbose about unbounded directionsSven Verdoolaege1-2/+4
2009-10-09separate out isl_tab_sample from sample_boundedSven Verdoolaege1-44/+85
2009-10-09sample_bounded: reimplement to work directly on a tableauSven Verdoolaege1-205/+113
2009-10-09isl_tab_compute_reduced_basis: work with affine basis instead of linear basisSven Verdoolaege1-1/+0
2009-10-08isl_sample.c: basic_set_sample: remember boundedness of basic setSven Verdoolaege1-1/+2
2009-10-07isl_sample.c: basic_set_reduced: fix typo preventing use of gbr_only_firstSven Verdoolaege1-1/+1
2009-10-07privately export isl_basic_set_sample_with_coneSven Verdoolaege1-3/+3
2009-09-14add isl_basic_map_sample and isl_map_sampleSven Verdoolaege1-0/+53
2009-09-13isl_sample.c: move isl_basic_set_from_vec from isl_affine_hull.cSven Verdoolaege1-0/+34
2009-09-13rename isl_basic_set_sample to isl_basic_set_sample_vecSven Verdoolaege1-2/+2
2009-09-13make some internal functions staticSven Verdoolaege1-1/+1
2009-08-28export isl_vec_ceilSven Verdoolaege1-18/+0
2009-08-28isl_basic_set_sample: only perform basis reduction onceSven Verdoolaege1-2/+12
2009-08-07add isl_basic_set_sample_boundedSven Verdoolaege1-2/+15
2009-07-16isl_tab: drop isl_ctx argument where not absolutely requiredSven Verdoolaege1-10/+10
2009-07-16isl_mat: keep track of isl_ctxSven Verdoolaege1-48/+38
2009-07-16isl_basic_set_sample: don't project out lineality space up frontSven Verdoolaege1-87/+24
2009-07-15move isl_basic_set_skew_to_positive_orthant to isl_sample.cSven Verdoolaege1-9/+103
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 08:35:52 +0000