index
:
platform/upstream/isl
accepted/tizen/ivi/genivi
accepted/tizen/ivi/stable
accepted/tizen_3.0.2014.q3_common
accepted/tizen_3.0.m14.3_ivi
accepted/tizen_3.0_ivi
accepted/tizen_base
accepted/tizen_common
accepted/tizen_generic
accepted/tizen_ivi
accepted/tizen_mobile
accepted/tizen_tv
accepted/tizen_wearable
master
sandbox/dongkyun.s/static
sandbox/dongkyun.s/tizen_base
tizen
tizen_3.0.2014.q3_common
tizen_3.0.2014.q4_common
tizen_3.0.2015.q1_common
tizen_3.0.2015.q2_common
tizen_3.0.m14.2_ivi
tizen_3.0.m14.3_ivi
tizen_3.0.m1_mobile
tizen_3.0.m1_tv
tizen_3.0_ivi
tizen_base
tizen_ivi_genivi
upstream
Domain: System / Uncategorized;
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
isl_test.c
Age
Commit message (
Expand
)
Author
Files
Lines
2010-07-23
fix isl_basic_map_move_dims in presence of existentially quantified variables
Sven Verdoolaege
1
-0
/
+11
2010-07-23
isl_test: drop debugging output
Sven Verdoolaege
1
-1
/
+0
2010-07-23
fix isl_map_lex_ge and isl_map_lex_le in the zero-dimensional case
Sven Verdoolaege
1
-0
/
+13
2010-06-29
add isl_map_is_bijective
Sven Verdoolaege
1
-0
/
+30
2010-06-26
isl_test.c: avoid NULL pointer dereference
Sven Verdoolaege
1
-7
/
+7
2010-06-26
isl_test: avoid accessing basic set internals
Sven Verdoolaege
1
-35
/
+35
2010-06-26
isl_test.c: map_is_equal: check input
Sven Verdoolaege
1
-1
/
+4
2010-06-15
isl_tab_pip.c: compare all coefficients when checking for duplicate divs
Sven Verdoolaege
1
-0
/
+12
2010-06-12
export isl_set_is_bounded
Sven Verdoolaege
1
-0
/
+22
2010-06-04
add isl_map_is_single_valued
Sven Verdoolaege
1
-0
/
+17
2010-06-01
isl_access_info_compute_flow: handle may accesses
Sven Verdoolaege
1
-11
/
+171
2010-05-31
isl_access_info_compute_flow: handle multi-valued sink access relations
Sven Verdoolaege
1
-0
/
+66
2010-04-23
isl_map_coalesce: allow wrapping in sets that stick out in different directions
Sven Verdoolaege
1
-0
/
+17
2010-04-23
isl_map_coalesce: allowing cutting equalities in adjacent facet
Sven Verdoolaege
1
-0
/
+3
2010-04-23
add some more coalescing test cases
Sven Verdoolaege
1
-0
/
+20
2010-04-19
isl_map_convex_hull: handle non full-dimensional pairs of basic sets
Sven Verdoolaege
1
-0
/
+14
2010-04-15
isl_map_coalesce: make sure result still contains set after wrapping in a facet
Sven Verdoolaege
1
-0
/
+11
2010-04-15
isl_map_transitive_closure: use Floyd-Warshall on disjoint domains and ranges
Sven Verdoolaege
1
-1
/
+6
2010-04-13
isl_transitive_closure.c: construct_component: always include identity
Sven Verdoolaege
1
-0
/
+9
2010-04-10
isl_sample.c: initial_basis: set n_unbounded and n_zero
Sven Verdoolaege
1
-0
/
+23
2010-04-09
isl_map_coalesce: only use non-redundant constraints during wrapping
Sven Verdoolaege
1
-0
/
+11
2010-04-07
isl_map_simplify: don't remove any div definitions if all divs are known
Sven Verdoolaege
1
-0
/
+6
2010-04-02
isl_tab_min_at_most_neg_one: restore sample value of non-redundant constraints
Sven Verdoolaege
1
-0
/
+22
2010-04-01
isl_map_transitive_closure: break early if input map doesn't compose with itself
Sven Verdoolaege
1
-0
/
+13
2010-03-30
isl_tab.c: unrelax: restore row if variable is non-negative
Sven Verdoolaege
1
-0
/
+12
2010-03-23
isl_convex_hull.c: simplify computation of initial facet constraint
Sven Verdoolaege
1
-0
/
+1
2010-03-04
isl_set_wrap_facet: make sure set is marked rational
Sven Verdoolaege
1
-0
/
+44
2010-02-18
isl_map_transitive_closure: improve accuracy by copying some mixed delta cons...
Sven Verdoolaege
1
-0
/
+9
2010-02-18
add a transitive closure example from the Omega test suite
Sven Verdoolaege
1
-0
/
+11
2010-02-18
isl_map_transitive_closure: compute power on strongly connected components
Sven Verdoolaege
1
-1
/
+1
2010-02-15
add transitive closure example from Kelly's 1996 paper
Sven Verdoolaege
1
-0
/
+17
2010-02-15
isl_map_transitive_closure: construct general paths
Sven Verdoolaege
1
-0
/
+9
2010-02-08
isl_map_coalesce: handle more cases
Sven Verdoolaege
1
-2
/
+38
2010-02-08
isl_map_transitive_closure: improve test for exactness
Sven Verdoolaege
1
-1
/
+1
2010-02-08
add a counter example for Theorem 1 of the COCOA paper
Sven Verdoolaege
1
-7
/
+16
2010-02-04
isl_map_transitive_closure: use more relaxed exactness check on acyclic graphs
Sven Verdoolaege
1
-1
/
+25
2010-02-03
add isl_map_power and isl_map_transitive_closure
Sven Verdoolaege
1
-0
/
+109
2010-02-03
add generic isl_map_project_out
Sven Verdoolaege
1
-0
/
+6
2010-02-03
add isl_{map,set}_add
Sven Verdoolaege
1
-0
/
+15
2010-01-25
isl_test: use isl_set_read_from_str
Sven Verdoolaege
1
-34
/
+30
2010-01-25
drop redundant input_format argument from reading functions
Sven Verdoolaege
1
-15
/
+15
2009-12-16
add copyright statements
Sven Verdoolaege
1
-0
/
+9
2009-10-12
isl_tab: improved error handling
Sven Verdoolaege
1
-10
/
+10
2009-09-06
isl_test.c: remove unused variable
Sven Verdoolaege
1
-1
/
+0
2009-09-06
isl_test: check srcdir has been set
Sven Verdoolaege
1
-0
/
+1
2009-05-06
isl_map_convex_hull: handle unbounded, but pointed, case using wrapping
Sven Verdoolaege
1
-0
/
+1
2009-05-06
add two more convex hull test cases
Sven Verdoolaege
1
-0
/
+2
2009-03-20
add isl_set_coalesce
Sven Verdoolaege
1
-0
/
+80
2009-02-22
isl_basic_map_affine_hull: fix search for integer points
Sven Verdoolaege
1
-0
/
+1
2009-02-15
fix serious error in isl_mat_parameter_compression
Sven Verdoolaege
1
-0
/
+49
[next]