summaryrefslogtreecommitdiff
path: root/isl_sample.c
AgeCommit message (Expand)AuthorFilesLines
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
2009-07-15isl_basic_set_sample: break early if sample found in basic_set_rangeSven Verdoolaege1-3/+35
2009-07-15isl_basic_set_sample: check sample stored by isl_basic_map_is_empty firstSven Verdoolaege1-0/+13
2009-07-15introduce generalized basis reduction based samplingSven Verdoolaege1-1/+594
2009-07-15isl_sample.c: interval_sample: drop redundant argumentSven Verdoolaege1-5/+4
2009-07-15isl_sample.c: clean up handling of lineality spaceSven Verdoolaege1-40/+73
2009-07-13isl_sample.c: extract out sample_eqSven Verdoolaege1-12/+29
2009-07-13isl_sample.c: interval_sample: handle equalities directlySven Verdoolaege1-3/+22
2009-07-13isl_sample.c: extract out empty_sampleSven Verdoolaege1-5/+12
2009-07-13isl_sample.c: generalize point_sample to zero_sampleSven Verdoolaege1-28/+35
2009-07-13isl_vec: keep track of isl_ctxSven Verdoolaege1-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-19 18:13:37 +0000