summaryrefslogtreecommitdiff
path: root/isl_test.c
AgeCommit message (Expand)AuthorFilesLines
2010-07-23fix isl_basic_map_move_dims in presence of existentially quantified variablesSven Verdoolaege1-0/+11
2010-07-23isl_test: drop debugging outputSven Verdoolaege1-1/+0
2010-07-23fix isl_map_lex_ge and isl_map_lex_le in the zero-dimensional caseSven Verdoolaege1-0/+13
2010-06-29add isl_map_is_bijectiveSven Verdoolaege1-0/+30
2010-06-26isl_test.c: avoid NULL pointer dereferenceSven Verdoolaege1-7/+7
2010-06-26isl_test: avoid accessing basic set internalsSven Verdoolaege1-35/+35
2010-06-26isl_test.c: map_is_equal: check inputSven Verdoolaege1-1/+4
2010-06-15isl_tab_pip.c: compare all coefficients when checking for duplicate divsSven Verdoolaege1-0/+12
2010-06-12export isl_set_is_boundedSven Verdoolaege1-0/+22
2010-06-04add isl_map_is_single_valuedSven Verdoolaege1-0/+17
2010-06-01isl_access_info_compute_flow: handle may accessesSven Verdoolaege1-11/+171
2010-05-31isl_access_info_compute_flow: handle multi-valued sink access relationsSven Verdoolaege1-0/+66
2010-04-23isl_map_coalesce: allow wrapping in sets that stick out in different directionsSven Verdoolaege1-0/+17
2010-04-23isl_map_coalesce: allowing cutting equalities in adjacent facetSven Verdoolaege1-0/+3
2010-04-23add some more coalescing test casesSven Verdoolaege1-0/+20
2010-04-19isl_map_convex_hull: handle non full-dimensional pairs of basic setsSven Verdoolaege1-0/+14
2010-04-15isl_map_coalesce: make sure result still contains set after wrapping in a facetSven Verdoolaege1-0/+11
2010-04-15isl_map_transitive_closure: use Floyd-Warshall on disjoint domains and rangesSven Verdoolaege1-1/+6
2010-04-13isl_transitive_closure.c: construct_component: always include identitySven Verdoolaege1-0/+9
2010-04-10isl_sample.c: initial_basis: set n_unbounded and n_zeroSven Verdoolaege1-0/+23
2010-04-09isl_map_coalesce: only use non-redundant constraints during wrappingSven Verdoolaege1-0/+11
2010-04-07isl_map_simplify: don't remove any div definitions if all divs are knownSven Verdoolaege1-0/+6
2010-04-02isl_tab_min_at_most_neg_one: restore sample value of non-redundant constraintsSven Verdoolaege1-0/+22
2010-04-01isl_map_transitive_closure: break early if input map doesn't compose with itselfSven Verdoolaege1-0/+13
2010-03-30isl_tab.c: unrelax: restore row if variable is non-negativeSven Verdoolaege1-0/+12
2010-03-23isl_convex_hull.c: simplify computation of initial facet constraintSven Verdoolaege1-0/+1
2010-03-04isl_set_wrap_facet: make sure set is marked rationalSven Verdoolaege1-0/+44
2010-02-18isl_map_transitive_closure: improve accuracy by copying some mixed delta cons...Sven Verdoolaege1-0/+9
2010-02-18add a transitive closure example from the Omega test suiteSven Verdoolaege1-0/+11
2010-02-18isl_map_transitive_closure: compute power on strongly connected componentsSven Verdoolaege1-1/+1
2010-02-15add transitive closure example from Kelly's 1996 paperSven Verdoolaege1-0/+17
2010-02-15isl_map_transitive_closure: construct general pathsSven Verdoolaege1-0/+9
2010-02-08isl_map_coalesce: handle more casesSven Verdoolaege1-2/+38
2010-02-08isl_map_transitive_closure: improve test for exactnessSven Verdoolaege1-1/+1
2010-02-08add a counter example for Theorem 1 of the COCOA paperSven Verdoolaege1-7/+16
2010-02-04isl_map_transitive_closure: use more relaxed exactness check on acyclic graphsSven Verdoolaege1-1/+25
2010-02-03add isl_map_power and isl_map_transitive_closureSven Verdoolaege1-0/+109
2010-02-03add generic isl_map_project_outSven Verdoolaege1-0/+6
2010-02-03add isl_{map,set}_addSven Verdoolaege1-0/+15
2010-01-25isl_test: use isl_set_read_from_strSven Verdoolaege1-34/+30
2010-01-25drop redundant input_format argument from reading functionsSven Verdoolaege1-15/+15
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-10-12isl_tab: improved error handlingSven Verdoolaege1-10/+10
2009-09-06isl_test.c: remove unused variableSven Verdoolaege1-1/+0
2009-09-06isl_test: check srcdir has been setSven Verdoolaege1-0/+1
2009-05-06isl_map_convex_hull: handle unbounded, but pointed, case using wrappingSven Verdoolaege1-0/+1
2009-05-06add two more convex hull test casesSven Verdoolaege1-0/+2
2009-03-20add isl_set_coalesceSven Verdoolaege1-0/+80
2009-02-22isl_basic_map_affine_hull: fix search for integer pointsSven Verdoolaege1-0/+1
2009-02-15fix serious error in isl_mat_parameter_compressionSven Verdoolaege1-0/+49
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-28 19:32:09 +0000