projects
/
platform
/
upstream
/
isl.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
platform/upstream/isl.git
2010-03-18
Sven Verdoolaege
add basic isl_pw_qpolynomial_fold_coalesce
commit
|
commitdiff
|
tree
|
snapshot
2010-03-18
Sven Verdoolaege
add isl_pw_qpolynomial_fold_get_ctx
commit
|
commitdiff
|
tree
|
snapshot
2010-03-18
Sven Verdoolaege
isl_printer_print_pw_qpolynomial{,_fold}: allow printin...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-18
Sven Verdoolaege
add isl_qpolynomial_get_den
commit
|
commitdiff
|
tree
|
snapshot
2010-03-18
Sven Verdoolaege
add isl_pw_qpolynomial_gist and isl_pw_qpolynomial_fold...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-18
Sven Verdoolaege
export isl_map_gist
commit
|
commitdiff
|
tree
|
snapshot
2010-03-18
Sven Verdoolaege
add isl_map_insert
commit
|
commitdiff
|
tree
|
snapshot
2010-03-18
Sven Verdoolaege
add isl_printer
commit
|
commitdiff
|
tree
|
snapshot
2010-03-14
Sven Verdoolaege
add isl_pw_qpolynomial_max
commit
|
commitdiff
|
tree
|
snapshot
2010-03-14
Sven Verdoolaege
isl_qpolynomial_add: replace 0-degree polynomials by...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-14
Sven Verdoolaege
add isl_set_eliminate
commit
|
commitdiff
|
tree
|
snapshot
2010-03-14
Sven Verdoolaege
isl_map_range: optimize case where the number of input...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-14
Sven Verdoolaege
isl_pw_qpolynomial_print: fix printing of unnamed piece...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-14
Sven Verdoolaege
document transitive closure implementation
commit
|
commitdiff
|
tree
|
snapshot
2010-03-13
Sven Verdoolaege
isl_stream: accept "." token
commit
|
commitdiff
|
tree
|
snapshot
2010-03-12
Sven Verdoolaege
add isl_pw_*_intersect_domain
commit
|
commitdiff
|
tree
|
snapshot
2010-03-12
Sven Verdoolaege
add isl_pw_*_domain
commit
|
commitdiff
|
tree
|
snapshot
2010-03-10
Sven Verdoolaege
isl 0.02
isl-0.02
commit
|
commitdiff
|
tree
|
snapshot
2010-03-10
Sven Verdoolaege
isl_pw_templ.c: copy: fix return
commit
|
commitdiff
|
tree
|
snapshot
2010-03-10
Sven Verdoolaege
isl_polynomial.c: qpolynomial_fold_alloc: fix up condition
commit
|
commitdiff
|
tree
|
snapshot
2010-03-10
Sven Verdoolaege
update AUTHORS
commit
|
commitdiff
|
tree
|
snapshot
2010-03-10
Sven Verdoolaege
isl_pip: use isl_set_print instead of isl_set_dump...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-10
Sven Verdoolaege
add some pip tests from the piplib distribution
commit
|
commitdiff
|
tree
|
snapshot
2010-03-10
Sven Verdoolaege
don't print newline in ISL_FORMAT_ISL
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
use typedef to ensure argument to mp_get_memory_functio...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
add isl_obj_pw_qpolynomial_fold
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_fold_eval
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_fold
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_foreach_lifted_piece
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
add isl_set_lift
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
add isl_set_from_point
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
add isl_mat_insert_cols
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_dim
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_get_dim
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
add isl_div_dim
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
isl_stream: allow "_" in tokens
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
isl_stream: accept "@" token
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
isl_map_read: accept '*' in affine expressions
commit
|
commitdiff
|
tree
|
snapshot
2010-03-09
Sven Verdoolaege
isl_qpolynomial_eval: use consistent dimension for...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-05
Sven Verdoolaege
doc: update to removal of piplib as a submodule
commit
|
commitdiff
|
tree
|
snapshot
2010-03-05
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
|
snapshot
2010-03-05
Sven Verdoolaege
isl_stream_read_obj: add support for reading piecewise...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-05
Sven Verdoolaege
add isl_stream_read_obj
commit
|
commitdiff
|
tree
|
snapshot
2010-03-05
Sven Verdoolaege
add generic isl_obj
commit
|
commitdiff
|
tree
|
snapshot
2010-03-05
Sven Verdoolaege
add support for (piecewise) quasipolynomials
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
add isl_map_move
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_stream: parse NaN
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_stream: parse infty
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
export isl_stream.h
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_stream: allow user specified keywords
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_stream: add some auxiliary functions
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_stream: read "definition" token ":="
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
add isl_int_tdiv_q
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
privately export isl_set_contains_point
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
add isl_set_count
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
add isl_set_sample_point
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
add isl_point
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_basic_set_scan: make sure sufficient rows are alloc...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_map_subtract: only add divs when needed
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
add isl_map_order_divs
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
extract isl_tab_add_div from isl_tab_pip.c
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_vec.c: fix minor whitespace issue
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
add isl_set_complement
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
export isl_map_make_disjoint
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
add isl_hash_table_foreach
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_map_print: extract out print_disjuncts
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
add isl_set_fast_is_universe
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_input.c: accept_affine: fix memory leak on error...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_map_intersect: detect empty result also in case...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_map_read: skip until the end of the last line when...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_stream_next_token_on_same_line: check if last token...
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_set_wrap_facet: make sure set is marked rational
commit
|
commitdiff
|
tree
|
snapshot
2010-03-04
Sven Verdoolaege
isl_coalesce.c: fix typo in comment
commit
|
commitdiff
|
tree
|
snapshot
2010-02-19
Sven Verdoolaege
isl_map_read: accept list of predicated elements
commit
|
commitdiff
|
tree
|
snapshot
2010-02-19
Sven Verdoolaege
isl_map_read: extract out parsing of map body
commit
|
commitdiff
|
tree
|
snapshot
2010-02-19
Sven Verdoolaege
isl_map_read: add dummy variable name for unnamed variables
commit
|
commitdiff
|
tree
|
snapshot
2010-02-19
Sven Verdoolaege
isl_stream: accept ";" token
commit
|
commitdiff
|
tree
|
snapshot
2010-02-19
Sven Verdoolaege
use -O1 optimization level for gcc 4.2
commit
|
commitdiff
|
tree
|
snapshot
2010-02-19
Sven Verdoolaege
drop comma at the end of enumerations in include files
commit
|
commitdiff
|
tree
|
snapshot
2010-02-18
Sven Verdoolaege
isl_map_read: accept affine combinations of earlier...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-18
Sven Verdoolaege
isl_map_read: construct basic map while reading variabl...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-18
Sven Verdoolaege
isl_map_print: add primes to duplicate names
commit
|
commitdiff
|
tree
|
snapshot
2010-02-18
Sven Verdoolaege
isl_map_transitive_closure: improve accuracy by copying...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-18
Sven Verdoolaege
isl_map_transitive_closure: perform exactness check...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-18
Sven Verdoolaege
isl_map_transitive_closure: reformulate exactness test...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-18
Sven Verdoolaege
add a transitive closure example from the Omega test...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-18
Sven Verdoolaege
isl_map_transitive_closure: compute power on strongly...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-17
Sven Verdoolaege
isl_map_transitive_closure: intersect with domain and...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-17
Sven Verdoolaege
isl_map_transitive_closure: extract out construction...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-17
Sven Verdoolaege
isl_map_transitive_closure: move acyclicity test up...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-17
Sven Verdoolaege
add isl_set_lower_bound_si
commit
|
commitdiff
|
tree
|
snapshot
2010-02-17
Sven Verdoolaege
isl_map_print: use consistent names on all disjuncts
commit
|
commitdiff
|
tree
|
snapshot
2010-02-17
Sven Verdoolaege
isl_cat: allow specification of output format on comman...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-17
Sven Verdoolaege
isl_map_print: support ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
|
snapshot
2010-02-17
Sven Verdoolaege
isl_map_coalesce: fix some regressions introduced by...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-15
Sven Verdoolaege
add isl_closure test application
commit
|
commitdiff
|
tree
|
snapshot
2010-02-15
Sven Verdoolaege
add transitive closure example from Kelly's 1996 paper
commit
|
commitdiff
|
tree
|
snapshot
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure: construct general paths
commit
|
commitdiff
|
tree
|
snapshot
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure: prepare for the constructio...
commit
|
commitdiff
|
tree
|
snapshot
next