projects
/
platform
/
upstream
/
isl.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
doc: drop long outdated note on transitive closures
[platform/upstream/isl.git]
/
isl_test.c
2011-02-21
Sven Verdoolaege
isl_pw_qpolynomial_bound: handle combination of wrappin...
blob
|
commitdiff
2011-02-21
Sven Verdoolaege
isl_basic_map_gist: prefer contraints without existenti...
blob
|
commitdiff
|
diff to current
2011-02-19
Sven Verdoolaege
isl_tab_ineq_type: classify more constraints as being...
blob
|
commitdiff
|
diff to current
2011-02-19
Sven Verdoolaege
isl_map_coalesce: be more relaxed about multiple equali...
blob
|
commitdiff
|
diff to current
2011-02-11
Sven Verdoolaege
isl_stream_read_map: accept disjunctions within a conjunct
blob
|
commitdiff
|
diff to current
2011-02-05
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-02-05
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-01-27
Sven Verdoolaege
merge isl_basic_set/isl_basic_map and isl_set/isl_map
blob
|
commitdiff
|
diff to current
2011-01-22
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-01-21
Sven Verdoolaege
isl_transitive_closure.c: more anonymize input map...
blob
|
commitdiff
|
diff to current
2011-01-21
Sven Verdoolaege
isl_basic_set_factorizer: make sure group information...
blob
|
commitdiff
|
diff to current
2011-01-18
Sven Verdoolaege
isl_set_convex_hull: optionally use Fourier-Motzkin...
blob
|
commitdiff
|
diff to current
2011-01-16
Sven Verdoolaege
isl_stream_read_map: accept modulo expressions
blob
|
commitdiff
|
diff to current
2011-01-16
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-01-07
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-01-05
Sven Verdoolaege
Merge commit 'isl-0.05.1'
blob
|
commitdiff
|
diff to current
2011-01-05
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: fix up symmetry detection
blob
|
commitdiff
|
diff to current
2010-12-30
Sven Verdoolaege
add some more isl_map_lexmin tests
blob
|
commitdiff
|
diff to current
2010-12-07
Sven Verdoolaege
isl_basic_set_lift: properly update the number of extra...
blob
|
commitdiff
|
diff to current
2010-12-07
Sven Verdoolaege
isl_qpolynomial_div: further normalize divs by reducing...
blob
|
commitdiff
|
diff to current
2010-12-07
Sven Verdoolaege
isl_qpolynomial: properly merge identical nested divs
blob
|
commitdiff
|
diff to current
2010-12-01
Sven Verdoolaege
hide isl_basic_set internals
blob
|
commitdiff
|
diff to current
2010-11-20
Sven Verdoolaege
Rename headers from isl_header.h to isl/header.h
blob
|
commitdiff
|
diff to current
2010-11-17
Sven Verdoolaege
add isl_union_set_is_equal
blob
|
commitdiff
|
diff to current
2010-11-17
Sven Verdoolaege
add isl_union_map_read_from_str
blob
|
commitdiff
|
diff to current
2010-11-14
Sven Verdoolaege
isl_pw_qpolynomial_fold_bound: fix handling or zero...
blob
|
commitdiff
|
diff to current
2010-11-05
Sven Verdoolaege
isl_pw_qpolynomial_gist: also try to eliminate integer...
blob
|
commitdiff
|
diff to current
2010-11-04
Sven Verdoolaege
isl_qpolynomial_substitute_equalities: eliminate intege...
blob
|
commitdiff
|
diff to current
2010-11-04
Sven Verdoolaege
isl_stream_read_pw_qpolynomial: read nested divs
blob
|
commitdiff
|
diff to current
2010-11-04
Sven Verdoolaege
isl_qpolynomial_substitute_equalities: don't use equali...
blob
|
commitdiff
|
diff to current
2010-10-28
Sven Verdoolaege
isl_stream_read_map: read_var_def: read var definition...
blob
|
commitdiff
|
diff to current
2010-10-26
Sven Verdoolaege
fix isl_union_{set,map}_lex_g{e,t}_union_map
blob
|
commitdiff
|
diff to current
2010-10-16
Sven Verdoolaege
isl_stream_read_map: properly parse nested spaces
blob
|
commitdiff
|
diff to current
2010-10-13
Sven Verdoolaege
isl_map_coalesce: handle some cases of pairs of adjacen...
blob
|
commitdiff
|
diff to current
2010-10-06
Sven Verdoolaege
rename isl_map_add to isl_map_add_dims
blob
|
commitdiff
|
diff to current
2010-09-22
Sven Verdoolaege
isl_input.c: accept divs in affine expressions
blob
|
commitdiff
|
diff to current
2010-09-04
Sven Verdoolaege
add isl_pw_qpolynomial_split_periods
blob
|
commitdiff
|
diff to current
2010-08-24
Sven Verdoolaege
isl_map_read_from_str: parse tuple entries with leading...
blob
|
commitdiff
|
diff to current
2010-08-06
Sven Verdoolaege
isl_qpolynomial_move_dims: plug memory leak and fix...
blob
|
commitdiff
|
diff to current
2010-07-23
Sven Verdoolaege
fix isl_basic_map_move_dims in presence of existentiall...
blob
|
commitdiff
|
diff to current
2010-07-23
Sven Verdoolaege
isl_test: drop debugging output
blob
|
commitdiff
|
diff to current
2010-07-23
Sven Verdoolaege
fix isl_map_lex_ge and isl_map_lex_le in the zero-dimen...
blob
|
commitdiff
|
diff to current
2010-06-29
Sven Verdoolaege
add isl_map_is_bijective
blob
|
commitdiff
|
diff to current
2010-06-26
Sven Verdoolaege
isl_test.c: avoid NULL pointer dereference
blob
|
commitdiff
|
diff to current
2010-06-26
Sven Verdoolaege
isl_test: avoid accessing basic set internals
blob
|
commitdiff
|
diff to current
2010-06-26
Sven Verdoolaege
isl_test.c: map_is_equal: check input
blob
|
commitdiff
|
diff to current
2010-06-15
Sven Verdoolaege
isl_tab_pip.c: compare all coefficients when checking...
blob
|
commitdiff
|
diff to current
2010-06-12
Sven Verdoolaege
export isl_set_is_bounded
blob
|
commitdiff
|
diff to current
2010-06-04
Sven Verdoolaege
add isl_map_is_single_valued
blob
|
commitdiff
|
diff to current
2010-06-01
Sven Verdoolaege
isl_access_info_compute_flow: handle may accesses
blob
|
commitdiff
|
diff to current
2010-05-31
Sven Verdoolaege
isl_access_info_compute_flow: handle multi-valued sink...
blob
|
commitdiff
|
diff to current
2010-04-23
Sven Verdoolaege
isl_map_coalesce: allow wrapping in sets that stick...
blob
|
commitdiff
|
diff to current
2010-04-23
Sven Verdoolaege
isl_map_coalesce: allowing cutting equalities in adjace...
blob
|
commitdiff
|
diff to current
2010-04-23
Sven Verdoolaege
add some more coalescing test cases
blob
|
commitdiff
|
diff to current
2010-04-19
Sven Verdoolaege
isl_map_convex_hull: handle non full-dimensional pairs...
blob
|
commitdiff
|
diff to current
2010-04-15
Sven Verdoolaege
isl_map_coalesce: make sure result still contains set...
blob
|
commitdiff
|
diff to current
2010-04-15
Sven Verdoolaege
isl_map_transitive_closure: use Floyd-Warshall on disjo...
blob
|
commitdiff
|
diff to current
2010-04-13
Sven Verdoolaege
isl_transitive_closure.c: construct_component: always...
blob
|
commitdiff
|
diff to current
2010-04-10
Sven Verdoolaege
isl_sample.c: initial_basis: set n_unbounded and n_zero
blob
|
commitdiff
|
diff to current
2010-04-09
Sven Verdoolaege
isl_map_coalesce: only use non-redundant constraints...
blob
|
commitdiff
|
diff to current
2010-04-07
Sven Verdoolaege
isl_map_simplify: don't remove any div definitions...
blob
|
commitdiff
|
diff to current
2010-04-02
Sven Verdoolaege
isl_tab_min_at_most_neg_one: restore sample value of...
blob
|
commitdiff
|
diff to current
2010-04-01
Sven Verdoolaege
isl_map_transitive_closure: break early if input map...
blob
|
commitdiff
|
diff to current
2010-03-30
Sven Verdoolaege
isl_tab.c: unrelax: restore row if variable is non...
blob
|
commitdiff
|
diff to current
2010-03-23
Sven Verdoolaege
isl_convex_hull.c: simplify computation of initial...
blob
|
commitdiff
|
diff to current
2010-03-04
Sven Verdoolaege
isl_set_wrap_facet: make sure set is marked rational
blob
|
commitdiff
|
diff to current
2010-02-18
Sven Verdoolaege
isl_map_transitive_closure: improve accuracy by copying...
blob
|
commitdiff
|
diff to current
2010-02-18
Sven Verdoolaege
add a transitive closure example from the Omega test...
blob
|
commitdiff
|
diff to current
2010-02-18
Sven Verdoolaege
isl_map_transitive_closure: compute power on strongly...
blob
|
commitdiff
|
diff to current
2010-02-15
Sven Verdoolaege
add transitive closure example from Kelly's 1996 paper
blob
|
commitdiff
|
diff to current
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure: construct general paths
blob
|
commitdiff
|
diff to current
2010-02-08
Sven Verdoolaege
isl_map_coalesce: handle more cases
blob
|
commitdiff
|
diff to current
2010-02-08
Sven Verdoolaege
isl_map_transitive_closure: improve test for exactness
blob
|
commitdiff
|
diff to current
2010-02-08
Sven Verdoolaege
add a counter example for Theorem 1 of the COCOA paper
blob
|
commitdiff
|
diff to current
2010-02-04
Sven Verdoolaege
isl_map_transitive_closure: use more relaxed exactness...
blob
|
commitdiff
|
diff to current
2010-02-03
Sven Verdoolaege
add isl_map_power and isl_map_transitive_closure
blob
|
commitdiff
|
diff to current
2010-02-03
Sven Verdoolaege
add generic isl_map_project_out
blob
|
commitdiff
|
diff to current
2010-02-03
Sven Verdoolaege
add isl_{map,set}_add
blob
|
commitdiff
|
diff to current
2010-01-25
Sven Verdoolaege
isl_test: use isl_set_read_from_str
blob
|
commitdiff
|
diff to current
2010-01-25
Sven Verdoolaege
drop redundant input_format argument from reading functions
blob
|
commitdiff
|
diff to current
2009-12-16
Sven Verdoolaege
add copyright statements
blob
|
commitdiff
|
diff to current
2009-10-12
Sven Verdoolaege
isl_tab: improved error handling
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
isl_test.c: remove unused variable
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
isl_test: check srcdir has been set
blob
|
commitdiff
|
diff to current
2009-05-06
Sven Verdoolaege
isl_map_convex_hull: handle unbounded, but pointed...
blob
|
commitdiff
|
diff to current
2009-05-06
Sven Verdoolaege
add two more convex hull test cases
blob
|
commitdiff
|
diff to current
2009-03-20
Sven Verdoolaege
add isl_set_coalesce
blob
|
commitdiff
|
diff to current
2009-02-22
Sven Verdoolaege
isl_basic_map_affine_hull: fix search for integer points
blob
|
commitdiff
|
diff to current
2009-02-15
Sven Verdoolaege
fix serious error in isl_mat_parameter_compression
blob
|
commitdiff
|
diff to current
2009-02-04
Sven Verdoolaege
isl_map_simplify.c: normalize_divs: fix use of variable...
blob
|
commitdiff
|
diff to current
2009-02-03
Sven Verdoolaege
isl_map_simplify.c: normalize_divs: ensure enough exist...
blob
|
commitdiff
|
diff to current
2009-01-08
Sven Verdoolaege
normalize divs involved in equalities
blob
|
commitdiff
|
diff to current
2008-12-25
Sven Verdoolaege
add isl_basic_set_read_from_str
blob
|
commitdiff
|
diff to current
2008-12-19
Sven Verdoolaege
remove isl_ctx argument from functions accepting isl_di...
blob
|
commitdiff
|
diff to current
2008-12-14
Sven Verdoolaege
add isl_basic_set_add_constraint for adding manually...
blob
|
commitdiff
|
diff to current
2008-12-02
Sven Verdoolaege
add gist test
blob
|
commitdiff
|
diff to current
2008-10-13
Sven Verdoolaege
convex_hull: use elimination based convex hull for...
blob
|
commitdiff
|
diff to current
2008-10-12
Sven Verdoolaege
isl_convex_hull: fix construction of initial facet
blob
|
commitdiff
|
diff to current
2008-10-11
Sven Verdoolaege
add struct_ctx field to isl_set and isl_map
blob
|
commitdiff
|
diff to current
2008-09-16
Sven Verdoolaege
isl_{basic_,}set_read_from_file: allow user to specify...
blob
|
commitdiff
|
diff to current
next