projects
/
platform
/
upstream
/
isl.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
isl_map_intersect: detect empty result also in case of adding a single constraint
2010-03-04
Sven Verdoolaege
isl_map_intersect: detect empty result also in case...
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_read: skip until the end of the last line when...
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream_next_token_on_same_line: check if last token...
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_set_wrap_facet: make sure set is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_coalesce.c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_read: accept list of predicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_read: extract out parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_read: add dummy variable name for unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
use -O1 optimization level for gcc 4.2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_read: accept affine combinations of earlier...
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_read: construct basic map while reading variable...
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a transitive closure example from the Omega test...
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_transitive_closure: compute power on strongly...
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transitive_closure: intersect with domain and...
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transitive_closure: extract out construction...
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transitive_closure: move acyclicity test up...
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_print: use consistent names on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_cat: allow specification of output format on command...
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_print: support ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_coalesce: fix some regressions introduced by...
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add isl_closure test application
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add transitive closure example from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure: construct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure: prepare for the construction...
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure: construct paths that can...
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_transitive_closure: extract out construction of...
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure: use more generic acyclicity...
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_print: add parentheses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_table: use size that corresponds to the number...
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_table: grow table when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_coalesce: only use non-redundant constraints...
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_map_read: accept chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
export isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_map_read: forget existentially quantified variables...
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_input.c: remove needless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: document how to inspect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_constraint_div: make sure requested div is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: drop documentation of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add isl_basic_map_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_coalesce: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
privately export isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_convex_hull.c: wrap_facet: allow unbounded facets...
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: improve decription of isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_transitive_closure: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a counter example for Theorem 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_power: coalesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flow.c: add missing isl_access_info_free return...
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_coalesce.c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: accept lists of affine expressions in...
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_mat_from_row_vec and isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: read extended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_stream_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: make sure polylib constraint coefficients...
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_{map,set}_dim: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: use more uniform way of reading in polylib...
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_transitive_closure.c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_transitive_closure: use more relaxed exactness...
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_map_power and isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_subtract.c: make some internal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generic isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
rename isl_{map,set}_add to isl_{map,set}_add_basic_...
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_project_out: always update dimension, even...
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_dim_join: don't require names of joined variables...
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_map_from_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_stream: treat "-" as operator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_read: accept "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_input.c: fix memory deallocation problem on missing...
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private isl_{set,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basis_reduction_templ.c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab_pip.c: find_solutions: break when context becomes...
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_equal: don't require names of input and output...
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_map: properly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_drop: properly adjust length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: describe input/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_test: use isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_map_read_from_file: allow unions in isl format...
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_map_read: read definitions of existential...
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privately export isl_basic_map_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_map_read: read affine constraint as two affine...
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input.c: optionally read parameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tokenizer: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_basic_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redundant input_format argument from reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input.c: merge functions for reading PolyLib and...
commit
|
commitdiff
|
tree
next