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-05-05
Sven Verdoolaege
isl_map_range: correctly handle maps with 0D domains
commit
|
commitdiff
|
tree
|
snapshot
2011-04-30
Sven Verdoolaege
isl_list.h: allow inclusion from C++
commit
|
commitdiff
|
tree
|
snapshot
2011-04-30
Sven Verdoolaege
isl_tab_pip: don't simplify domain in isl_for_add
commit
|
commitdiff
|
tree
|
snapshot
2011-04-25
Sven Verdoolaege
isl_basic_map_affine_hull: finalize result
commit
|
commitdiff
|
tree
|
snapshot
2011-04-19
Sven Verdoolaege
isl_tab: alway free saved basis undo record
commit
|
commitdiff
|
tree
|
snapshot
2011-04-19
Sven Verdoolaege
make sure destination for GDB module exists before...
commit
|
commitdiff
|
tree
|
snapshot
2011-04-19
Sven Verdoolaege
isl_tab_pip.c: add_lexmin_eq: remove misguided optimiza...
commit
|
commitdiff
|
tree
|
snapshot
2011-04-11
Sven Verdoolaege
isl_stream_read_map: fix handling of divs in tuples
commit
|
commitdiff
|
tree
|
snapshot
2011-04-11
Sven Verdoolaege
isl_mat_left_hermite: plug memory leak on error path
commit
|
commitdiff
|
tree
|
snapshot
2011-04-11
Sven Verdoolaege
plug memory leak in isl_mat_product
commit
|
commitdiff
|
tree
|
snapshot
2011-03-18
Sven Verdoolaege
isl 0.06
isl-0.06
commit
|
commitdiff
|
tree
|
snapshot
2011-03-18
Sven Verdoolaege
doc: add some implementation details on parametric...
commit
|
commitdiff
|
tree
|
snapshot
2011-03-18
Sven Verdoolaege
isl_lp.c: avoid clang warning
commit
|
commitdiff
|
tree
|
snapshot
2011-03-18
Sven Verdoolaege
isl_stream_read_map: accept floord and ceild expression...
commit
|
commitdiff
|
tree
|
snapshot
2011-03-18
Sven Verdoolaege
isl_stream_read_map: accept min and max expressions...
commit
|
commitdiff
|
tree
|
snapshot
2011-03-18
Sven Verdoolaege
isl_stream_read_map: properly read nested divs
commit
|
commitdiff
|
tree
|
snapshot
2011-03-18
Sven Verdoolaege
isl_stream_read_map: treat divs as output variables...
commit
|
commitdiff
|
tree
|
snapshot
2011-03-18
Sven Verdoolaege
isl_map_coalesce: plug memory leak on error path
commit
|
commitdiff
|
tree
|
snapshot
2011-03-18
Sven Verdoolaege
isl_mat_extend: avoid memory leak when realloc fails
commit
|
commitdiff
|
tree
|
snapshot
2011-03-18
Sven Verdoolaege
isl_basic_map_overlying_set: avoid memory leak when...
commit
|
commitdiff
|
tree
|
snapshot
2011-03-18
Sven Verdoolaege
isl_stream_getc: avoid memory leak when realloc fails
commit
|
commitdiff
|
tree
|
snapshot
2011-03-18
Sven Verdoolaege
rudimentary support for asynchronous termination of...
commit
|
commitdiff
|
tree
|
snapshot
2011-03-16
Sven Verdoolaege
hide isl_ctx internals
commit
|
commitdiff
|
tree
|
snapshot
2011-03-15
Sven Verdoolaege
isl_vec_read_from_file: drop input_format argument
commit
|
commitdiff
|
tree
|
snapshot
2011-03-15
Sven Verdoolaege
isl_map.c: drop unused error label
commit
|
commitdiff
|
tree
|
snapshot
2011-03-15
Sven Verdoolaege
isl_input.c: drop unused error label
commit
|
commitdiff
|
tree
|
snapshot
2011-03-15
Sven Verdoolaege
respect DESTDIR when installing isl.py
commit
|
commitdiff
|
tree
|
snapshot
2011-03-12
Sven Verdoolaege
isl_stream: accept "$" token
commit
|
commitdiff
|
tree
|
snapshot
2011-03-12
Sven Verdoolaege
add isl_union_map_power
commit
|
commitdiff
|
tree
|
snapshot
2011-03-12
Sven Verdoolaege
change isl_map_power interface
commit
|
commitdiff
|
tree
|
snapshot
2011-03-12
Sven Verdoolaege
add isl_union_map_zip
commit
|
commitdiff
|
tree
|
snapshot
2011-03-12
Sven Verdoolaege
add private isl_basic_map_swap_vars
commit
|
commitdiff
|
tree
|
snapshot
2011-03-10
Sven Verdoolaege
add isl_union_map_deltas_map
commit
|
commitdiff
|
tree
|
snapshot
2011-03-10
Sven Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
|
snapshot
2011-03-10
Sven Verdoolaege
isl_map_deltas: don't copy flags from input
commit
|
commitdiff
|
tree
|
snapshot
2011-03-05
Sven Verdoolaege
isl_stream_read_map: accept constant expressions of...
commit
|
commitdiff
|
tree
|
snapshot
2011-03-05
Sven Verdoolaege
isl_stream: accept "/\" and "\/" as alternatives for...
commit
|
commitdiff
|
tree
|
snapshot
2011-03-05
Sven Verdoolaege
isl_stream: only quote newline using '\'
commit
|
commitdiff
|
tree
|
snapshot
2011-03-05
Sven Verdoolaege
isl_stream: maintain private ungetc buffer
commit
|
commitdiff
|
tree
|
snapshot
2011-03-02
Sven Verdoolaege
isl_set_lifting: simplify and finalize result
commit
|
commitdiff
|
tree
|
snapshot
2011-03-02
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
|
snapshot
2011-03-02
Sven Verdoolaege
doc: drop long outdated note on transitive closures
commit
|
commitdiff
|
tree
|
snapshot
2011-03-01
Sven Verdoolaege
add isl_basic_set_get_dim_name
commit
|
commitdiff
|
tree
|
snapshot
2011-02-25
Sven Verdoolaege
isl_map_identity: take dimension specification of map...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-25
Sven Verdoolaege
rename isl_dim_map to isl_dim_map_from_set
commit
|
commitdiff
|
tree
|
snapshot
2011-02-25
Sven Verdoolaege
transitive closure: project out parameters when any...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-21
Sven Verdoolaege
privately export isl_basic_set_reset_dim
commit
|
commitdiff
|
tree
|
snapshot
2011-02-21
Sven Verdoolaege
isl_set_lift: preserve structure of space
commit
|
commitdiff
|
tree
|
snapshot
2011-02-21
Sven Verdoolaege
isl_pw_qpolynomial_bound: handle combination of wrappin...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-21
Sven Verdoolaege
isl_tab_pip.c: fix typo in comment
commit
|
commitdiff
|
tree
|
snapshot
2011-02-21
Sven Verdoolaege
isl_tab: check for obviously empty tableaus after disco...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-21
Sven Verdoolaege
isl_basic_map_gist: prefer contraints without existenti...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-20
Sven Verdoolaege
isl_basic_map_sort_constraints: change comparison routine
commit
|
commitdiff
|
tree
|
snapshot
2011-02-19
Sven Verdoolaege
isl_tab_ineq_type: classify more constraints as being...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-19
Sven Verdoolaege
isl_map_coalesce: be more relaxed about multiple equali...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-18
Sven Verdoolaege
add isl_basic_map_from_domain_and_range
commit
|
commitdiff
|
tree
|
snapshot
2011-02-18
Sven Verdoolaege
add isl_basic_set_neg
commit
|
commitdiff
|
tree
|
snapshot
2011-02-18
Sven Verdoolaege
add isl_basic_set_flat_product
commit
|
commitdiff
|
tree
|
snapshot
2011-02-18
Sven Verdoolaege
export isl_basic_map_flatten
commit
|
commitdiff
|
tree
|
snapshot
2011-02-18
Sven Verdoolaege
add isl_basic_map_from_qpolynomial
commit
|
commitdiff
|
tree
|
snapshot
2011-02-17
Sven Verdoolaege
isl_stream: support \<newline> line continuation
commit
|
commitdiff
|
tree
|
snapshot
2011-02-17
Sven Verdoolaege
add isl_union_map_read_from_file
commit
|
commitdiff
|
tree
|
snapshot
2011-02-17
Sven Verdoolaege
isl_stream_read_map: accept 'true' and 'false' constraints
commit
|
commitdiff
|
tree
|
snapshot
2011-02-17
Sven Verdoolaege
isl_stream_read_map: allow extra ';' at end of map...
commit
|
commitdiff
|
tree
|
snapshot
2011-02-17
Sven Verdoolaege
isl_stream_read_map: allow negations
commit
|
commitdiff
|
tree
|
snapshot
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
next