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
2011-02-17
Sven Verdoolaege
isl_stream_read_map: allow existential quantification...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-17
Sven Verdoolaege
privately export isl_basic_map_add_div_constraints_var
commit
|
commitdiff
|
tree
|
snapshot
2011-02-13
Sven Verdoolaege
isl_morph_basic_set: preserve rationality of input
commit
|
commitdiff
|
tree
|
snapshot
2011-02-13
Sven Verdoolaege
add isl_basic_set_is_rational
commit
|
commitdiff
|
tree
|
snapshot
2011-02-13
Sven Verdoolaege
isl_printer_print_basic_map: explicitly mark rational...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-13
Sven Verdoolaege
isl_stream_read_map: read rational maps
commit
|
commitdiff
|
tree
|
snapshot
2011-02-13
Sven Verdoolaege
isl_basic_map_insert: preserve rationality of input
commit
|
commitdiff
|
tree
|
snapshot
2011-02-13
Sven Verdoolaege
add isl_basic_map_set_rational
commit
|
commitdiff
|
tree
|
snapshot
2011-02-13
Sven Verdoolaege
isl_basic_map_fast_cmp: differentiate between rational...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-13
Sven Verdoolaege
isl_output.c: remove some code duplication
commit
|
commitdiff
|
tree
|
snapshot
2011-02-13
Sven Verdoolaege
isl_printer_print_basic_{set,map}: don't start new...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-12
Sven Verdoolaege
isl_stream_read_map: accept '|' at start of constraints
commit
|
commitdiff
|
tree
|
snapshot
2011-02-12
Sven Verdoolaege
isl_stream: keep track of textual representation of...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-11
Sven Verdoolaege
isl_input.c: clean up read_disjuncts
commit
|
commitdiff
|
tree
|
snapshot
2011-02-11
Sven Verdoolaege
isl_stream_read_map: accept disjunctions within a conjunct
commit
|
commitdiff
|
tree
|
snapshot
2011-02-10
Sven Verdoolaege
isl_convex_hull.c: explicitly mark wrapping lp problem...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-10
Sven Verdoolaege
isl_tab_min: micro-optimization: postpone taking into...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-05
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
|
snapshot
2011-02-05
Sven Verdoolaege
isl_tab_add_row: add further explanation
commit
|
commitdiff
|
tree
|
snapshot
2011-02-05
Sven Verdoolaege
isl_tab.c: fix typos in comments
commit
|
commitdiff
|
tree
|
snapshot
2011-02-05
Sven Verdoolaege
isl_tab_pip.c: correctly detect non-negativity of divs...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-05
Sven Verdoolaege
add test
commit
|
commitdiff
|
tree
|
snapshot
2011-02-05
Sven Verdoolaege
test both context handling mechanisms of isl_pip
commit
|
commitdiff
|
tree
|
snapshot
2011-02-05
Sven Verdoolaege
isl_tab_is_equality: properly support "big parameter"
commit
|
commitdiff
|
tree
|
snapshot
2011-02-05
Sven Verdoolaege
isl_tab_pip.c: fix typo in comment
commit
|
commitdiff
|
tree
|
snapshot
2011-02-05
Sven Verdoolaege
isl_affine_hull.c: fix typos in comments
commit
|
commitdiff
|
tree
|
snapshot
2011-02-05
Sven Verdoolaege
isl_union_map_compute_flow: return accesses with no...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-05
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
|
snapshot
2011-02-05
Sven Verdoolaege
isl_union_map.c: inplace: pass data pointer to isl_hash...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-27
Sven Verdoolaege
isl_dim_move: update parameters of nested spaces
commit
|
commitdiff
|
tree
|
snapshot
2011-01-27
Sven Verdoolaege
add isl_map_nat_universe
commit
|
commitdiff
|
tree
|
snapshot
2011-01-27
Sven Verdoolaege
clean up isl_set_from_basic_set
commit
|
commitdiff
|
tree
|
snapshot
2011-01-27
Sven Verdoolaege
merge isl_basic_set/isl_basic_map and isl_set/isl_map
commit
|
commitdiff
|
tree
|
snapshot
2011-01-26
Sven Verdoolaege
rename "omega" transitive closure to "box" transitive...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-23
Sven Verdoolaege
export isl_int_obj_free
commit
|
commitdiff
|
tree
|
snapshot
2011-01-23
Sven Verdoolaege
isl_vertices.c: fix typos
commit
|
commitdiff
|
tree
|
snapshot
2011-01-23
Sven Verdoolaege
isl_union_templ.c: fix typo
commit
|
commitdiff
|
tree
|
snapshot
2011-01-23
Sven Verdoolaege
isl_map_subtract.c: n_non_redundant: propage isl_ctx
commit
|
commitdiff
|
tree
|
snapshot
2011-01-23
Sven Verdoolaege
isl_bernstein.c: fix typo
commit
|
commitdiff
|
tree
|
snapshot
2011-01-23
Sven Verdoolaege
add isl_union_pw_qpolynomial_mul_isl_int
commit
|
commitdiff
|
tree
|
snapshot
2011-01-23
Sven Verdoolaege
isl_stream_read_obj: read int objects
commit
|
commitdiff
|
tree
|
snapshot
2011-01-23
Sven Verdoolaege
add int objects for use in iscc
commit
|
commitdiff
|
tree
|
snapshot
2011-01-22
Sven Verdoolaege
isl_basic_map_remove_divs: finalize result
commit
|
commitdiff
|
tree
|
snapshot
2011-01-22
Sven Verdoolaege
add isl_basic_set_get_tuple_name
commit
|
commitdiff
|
tree
|
snapshot
2011-01-22
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
|
snapshot
2011-01-22
Sven Verdoolaege
isl_union_map_sample: don't return NULL on empty input
commit
|
commitdiff
|
tree
|
snapshot
2011-01-21
Sven Verdoolaege
isl_basic_map_set_tuple_name: finalize result
commit
|
commitdiff
|
tree
|
snapshot
2011-01-21
Sven Verdoolaege
isl_transitive_closure.c: more anonymize input map...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-21
Sven Verdoolaege
isl_basic_set_factorizer: make sure group information...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-19
Sven Verdoolaege
add isl_union_map_range_product
commit
|
commitdiff
|
tree
|
snapshot
2011-01-19
Sven Verdoolaege
doc: document product functions
commit
|
commitdiff
|
tree
|
snapshot
2011-01-19
Sven Verdoolaege
rename isl_basic_set_product to isl_basic_set_list_product
commit
|
commitdiff
|
tree
|
snapshot
2011-01-18
Sven Verdoolaege
isl_set_convex_hull: optionally use Fourier-Motzkin...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-16
Sven Verdoolaege
isl_basic_set_sample_point: exploit factorization if any
commit
|
commitdiff
|
tree
|
snapshot
2011-01-16
Sven Verdoolaege
add isl_morph_vec
commit
|
commitdiff
|
tree
|
snapshot
2011-01-16
Sven Verdoolaege
change prototype of isl_vec_dump
commit
|
commitdiff
|
tree
|
snapshot
2011-01-16
Sven Verdoolaege
add isl_printer_print_vec
commit
|
commitdiff
|
tree
|
snapshot
2011-01-16
Sven Verdoolaege
add isl_union_set_apply_union_pw_qpolynomial_fold
commit
|
commitdiff
|
tree
|
snapshot
2011-01-16
Sven Verdoolaege
export isl_union_map_from_domain and isl_union_map_from...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-16
Sven Verdoolaege
isl_basic_map_intersect_domain: replace open-coded...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-16
Sven Verdoolaege
isl_stream_read_map: accept modulo expressions
commit
|
commitdiff
|
tree
|
snapshot
2011-01-16
Sven Verdoolaege
isl_basic_map_insert: don't simplify the result
commit
|
commitdiff
|
tree
|
snapshot
2011-01-16
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
|
snapshot
2011-01-16
Sven Verdoolaege
isl_basic_map_from_constraint_matrices: clear newly...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-12
Sven Verdoolaege
isl_token_free: free string representation of keywords
commit
|
commitdiff
|
tree
|
snapshot
2011-01-12
Sven Verdoolaege
isl_input.c: read_factor: drop unexpected identifier
commit
|
commitdiff
|
tree
|
snapshot
2011-01-12
Sven Verdoolaege
isl_input.c: accept_affine_factor: avoid double free...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-08
Tobias Grosser
Add isl_union_(set/map)_detect_equalities
commit
|
commitdiff
|
tree
|
snapshot
2011-01-08
Sven Verdoolaege
isl_stream_read_map: allow space names that happen...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-08
Sven Verdoolaege
isl_stream_next_token: keep track of string representat...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-07
Sven Verdoolaege
add isl_basic_set_flatten
commit
|
commitdiff
|
tree
|
snapshot
2011-01-07
Sven Verdoolaege
add isl_union_map_simple_hull
commit
|
commitdiff
|
tree
|
snapshot
2011-01-07
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
|
snapshot
2011-01-07
Sven Verdoolaege
add isl_set_remove_unknown_divs
commit
|
commitdiff
|
tree
|
snapshot
2011-01-07
Sven Verdoolaege
isl_map_is_subset: don't compute divs of minuend
commit
|
commitdiff
|
tree
|
snapshot
2011-01-07
Sven Verdoolaege
rename isl_map_is_singleton to isl_map_fast_is_singleton
commit
|
commitdiff
|
tree
|
snapshot
2011-01-07
Sven Verdoolaege
add isl_map_fast_is_single_valued
commit
|
commitdiff
|
tree
|
snapshot
2011-01-07
Sven Verdoolaege
add isl_qpolynomial_dump
commit
|
commitdiff
|
tree
|
snapshot
2011-01-07
Sven Verdoolaege
export isl_union_set_dump
commit
|
commitdiff
|
tree
|
snapshot
2011-01-07
Sven Verdoolaege
isl_qpolynomial_add_on_domain: compute gist with respec...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-06
Sven Verdoolaege
isl_union_map_coalesce and isl_union_map_compute_divs...
commit
|
commitdiff
|
tree
|
snapshot
2011-01-06
Sven Verdoolaege
isl_basic_map_solve_lp: use denominator
commit
|
commitdiff
|
tree
|
snapshot
2011-01-05
Sven Verdoolaege
Merge commit 'isl-0.05.1'
commit
|
commitdiff
|
tree
|
snapshot
2011-01-05
Sven Verdoolaege
isl 0.05.1
isl-0.05.1
commit
|
commitdiff
|
tree
|
snapshot
2011-01-05
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: fix up symmetry detection
commit
|
commitdiff
|
tree
|
snapshot
2011-01-05
Sven Verdoolaege
isl_basic_map_universe: finalize result
commit
|
commitdiff
|
tree
|
snapshot
2011-01-05
Sven Verdoolaege
isl_seq.h: allow inclusion from C++
commit
|
commitdiff
|
tree
|
snapshot
2010-12-31
Tobias Grosser
Add GDB module that defines an islprint command
commit
|
commitdiff
|
tree
|
snapshot
2010-12-30
Sven Verdoolaege
reimplement isl_map_partial_lexopt
commit
|
commitdiff
|
tree
|
snapshot
2010-12-30
Sven Verdoolaege
isl_map: fix typos in comments
commit
|
commitdiff
|
tree
|
snapshot
2010-12-30
Sven Verdoolaege
add some more isl_map_lexmin tests
commit
|
commitdiff
|
tree
|
snapshot
2010-12-29
Sven Verdoolaege
add isl_qpolynomial_add_isl_int
commit
|
commitdiff
|
tree
|
snapshot
2010-12-29
Sven Verdoolaege
add isl_pw_qpolynomial_fold_dump
commit
|
commitdiff
|
tree
|
snapshot
2010-12-29
Sven Verdoolaege
add isl_pw_qpolynomial_dump
commit
|
commitdiff
|
tree
|
snapshot
2010-12-29
Sven Verdoolaege
add isl_qpolynomial_fold_dump
commit
|
commitdiff
|
tree
|
snapshot
2010-12-29
Sven Verdoolaege
add isl_qpolynomial_fold_get_ctx
commit
|
commitdiff
|
tree
|
snapshot
2010-12-29
Sven Verdoolaege
isl_printer_print_qpolynomial_fold: support C format
commit
|
commitdiff
|
tree
|
snapshot
2010-12-29
Sven Verdoolaege
export isl_printer_print_qpolynomial_fold
commit
|
commitdiff
|
tree
|
snapshot
2010-12-29
Sven Verdoolaege
export isl_union_map_dump
commit
|
commitdiff
|
tree
|
snapshot
2010-12-29
Sven Verdoolaege
add isl_{set,map}_dump
commit
|
commitdiff
|
tree
|
snapshot
next