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-02-04
Sven Verdoolaege
add isl_stream_next_token_on_same_line
commit
|
commitdiff
|
tree
|
snapshot
2010-02-04
Sven Verdoolaege
isl_map_read: make sure polylib constraint coefficients...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-04
Sven Verdoolaege
isl_{map,set}_dim: handle NULL input
commit
|
commitdiff
|
tree
|
snapshot
2010-02-04
Sven Verdoolaege
isl_map_read: use more uniform way of reading in polyli...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-04
Sven Verdoolaege
isl_transitive_closure.c: fix typo in comment
commit
|
commitdiff
|
tree
|
snapshot
2010-02-04
Sven Verdoolaege
isl_map_transitive_closure: use more relaxed exactness...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-03
Sven Verdoolaege
add isl_map_power and isl_map_transitive_closure
commit
|
commitdiff
|
tree
|
snapshot
2010-02-03
Sven Verdoolaege
isl_map_subtract.c: make some internal functions static
commit
|
commitdiff
|
tree
|
snapshot
2010-02-03
Sven Verdoolaege
add generic isl_map_project_out
commit
|
commitdiff
|
tree
|
snapshot
2010-02-03
Sven Verdoolaege
add isl_{map,set}_add
commit
|
commitdiff
|
tree
|
snapshot
2010-02-03
Sven Verdoolaege
rename isl_{map,set}_add to isl_{map,set}_add_basic_...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-03
Sven Verdoolaege
isl_set_project_out: always update dimension, even...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-03
Sven Verdoolaege
isl_dim_join: don't require names of joined variables...
commit
|
commitdiff
|
tree
|
snapshot
2010-02-03
Sven Verdoolaege
add isl_map_from_domain_and_range
commit
|
commitdiff
|
tree
|
snapshot
2010-02-03
Sven Verdoolaege
isl_stream: treat "-" as operator rather than as -1
commit
|
commitdiff
|
tree
|
snapshot
2010-02-03
Sven Verdoolaege
isl_map_read: accept "strict" inequalities
commit
|
commitdiff
|
tree
|
snapshot
2010-02-03
Sven Verdoolaege
isl_input.c: fix memory deallocation problem on missing...
commit
|
commitdiff
|
tree
|
snapshot
2010-01-31
Sven Verdoolaege
add dependence analysis
commit
|
commitdiff
|
tree
|
snapshot
2010-01-31
Sven Verdoolaege
add isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
|
snapshot
2010-01-31
Sven Verdoolaege
add private isl_{set,map}_make_disjoint
commit
|
commitdiff
|
tree
|
snapshot
2010-01-31
Sven Verdoolaege
basis_reduction_templ.c: fix typo in comment
commit
|
commitdiff
|
tree
|
snapshot
2010-01-31
Sven Verdoolaege
isl_tab_pip.c: find_solutions: break when context becom...
commit
|
commitdiff
|
tree
|
snapshot
2010-01-31
Sven Verdoolaege
isl_dim_equal: don't require names of input and output...
commit
|
commitdiff
|
tree
|
snapshot
2010-01-31
Sven Verdoolaege
isl_dim_map: properly duplicate names
commit
|
commitdiff
|
tree
|
snapshot
2010-01-31
Sven Verdoolaege
isl_dim_drop: properly adjust length of names array
commit
|
commitdiff
|
tree
|
snapshot
2010-01-26
Sven Verdoolaege
doc: a bit more on integers
commit
|
commitdiff
|
tree
|
snapshot
2010-01-26
Sven Verdoolaege
doc: describe input/output formats
commit
|
commitdiff
|
tree
|
snapshot
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
add isl_cat test application
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
add omega output
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
add isl output
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
isl_test: use isl_set_read_from_str
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
add isl_set_read_from_str
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
add isl_map_read_from_str
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
isl_map_read_from_file: allow unions in isl format...
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
isl_basic_map_read: read definitions of existential...
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
privately export isl_basic_map_add_div_constraints
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
isl_basic_map_read: read affine constraint as two affin...
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
isl_input.c: optionally read parameters from input
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
tokenizer: accept "and" keyword
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
export isl_map_read_from_file
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
export isl_basic_map_read_from_str
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
drop redundant input_format argument from reading functions
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
isl_input.c: merge functions for reading PolyLib and...
commit
|
commitdiff
|
tree
|
snapshot
2010-01-25
Sven Verdoolaege
isl_input_omega.c: accept PolyLib input
commit
|
commitdiff
|
tree
|
snapshot
2010-01-24
Sven Verdoolaege
isl_input_omega.c: prepare for reading parametric unions
commit
|
commitdiff
|
tree
|
snapshot
2010-01-24
Sven Verdoolaege
isl_input_omega.c: finalize and simplify resulting...
commit
|
commitdiff
|
tree
|
snapshot
2010-01-24
Sven Verdoolaege
isl_input_omega.c: fix check for memory allocation...
commit
|
commitdiff
|
tree
|
snapshot
2010-01-24
Sven Verdoolaege
isl_stream_next_token: skip comment lines
commit
|
commitdiff
|
tree
|
snapshot
2010-01-24
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: properly handle empty...
commit
|
commitdiff
|
tree
|
snapshot
2010-01-24
Sven Verdoolaege
isl_basic_map_set_to_empty: remove sample (if any)
commit
|
commitdiff
|
tree
|
snapshot
2010-01-24
Sven Verdoolaege
add isl_set_fast_is_empty
commit
|
commitdiff
|
tree
|
snapshot
2010-01-13
Sven Verdoolaege
properly remove piplib submodule
commit
|
commitdiff
|
tree
|
snapshot
2010-01-08
Sven Verdoolaege
isl_basic_map_update_from_tab: re-gauss resulting bmap
commit
|
commitdiff
|
tree
|
snapshot
2010-01-01
Sven Verdoolaege
ax_submodule.m4: don't let --with-module conflict with...
commit
|
commitdiff
|
tree
|
snapshot
2009-12-25
Sven Verdoolaege
add isl_set_follows_at
commit
|
commitdiff
|
tree
|
snapshot
2009-12-24
Sven Verdoolaege
isl_basic_set_compare_at: compute result in terms of...
commit
|
commitdiff
|
tree
|
snapshot
2009-12-24
Sven Verdoolaege
isl_tab_pip.c: add cuts for all non-integer coordinates...
commit
|
commitdiff
|
tree
|
snapshot
2009-12-19
Sven Verdoolaege
isl_basic_map_gist: don't drop equalities from context
commit
|
commitdiff
|
tree
|
snapshot
2009-12-18
Sven Verdoolaege
isl_convex_hull.c: initial_facet_constraint: drop all...
commit
|
commitdiff
|
tree
|
snapshot
2009-12-18
Sven Verdoolaege
isl_convex_hull.c: is_independent_bound: normalize...
commit
|
commitdiff
|
tree
|
snapshot
2009-12-18
Sven Verdoolaege
isl_convex_hull.c: extend: check hull argument
commit
|
commitdiff
|
tree
|
snapshot
2009-12-18
Sven Verdoolaege
isl_mat_right_inverse: be more verbose on error condition
commit
|
commitdiff
|
tree
|
snapshot
2009-12-18
Sven Verdoolaege
isl_constraint_dup: make sure line refers to equation...
commit
|
commitdiff
|
tree
|
snapshot
2009-12-16
Sven Verdoolaege
add copyright statements
commit
|
commitdiff
|
tree
|
snapshot
2009-12-16
Sven Verdoolaege
remove functions for converting between isl and PolyLib
commit
|
commitdiff
|
tree
|
snapshot
2009-12-16
Sven Verdoolaege
isl_tab_solve_lp: invert optimal value back when comput...
commit
|
commitdiff
|
tree
|
snapshot
2009-12-08
Sven Verdoolaege
isl_map_intersect: add special case for adding a single...
commit
|
commitdiff
|
tree
|
snapshot
2009-12-08
Sven Verdoolaege
isl_map_is_subset: break off as soon as difference...
commit
|
commitdiff
|
tree
|
snapshot
2009-12-08
Sven Verdoolaege
compute set difference using a backtracking algorithm
commit
|
commitdiff
|
tree
|
snapshot
2009-12-07
Sven Verdoolaege
isl_map_subtract.c: extract from isl_map.c
commit
|
commitdiff
|
tree
|
snapshot
2009-12-07
Sven Verdoolaege
isl_tab: keep track of isl_basic_map instead of isl_bas...
commit
|
commitdiff
|
tree
|
snapshot
2009-12-07
Sven Verdoolaege
privately export isl_basic_map_contains
commit
|
commitdiff
|
tree
|
snapshot
2009-12-07
Sven Verdoolaege
add isl_basic_map_add_ineq and isl_basic_map_add_eq
commit
|
commitdiff
|
tree
|
snapshot
2009-12-07
Sven Verdoolaege
isl_tab_detect_redundant: return status instead of...
commit
|
commitdiff
|
tree
|
snapshot
2009-12-07
Sven Verdoolaege
isl_tab: add isl_tab_freeze_constraint
commit
|
commitdiff
|
tree
|
snapshot
2009-11-29
Sven Verdoolaege
isl_tab_add_ineq and isl_tab_mark_empty: return status...
commit
|
commitdiff
|
tree
|
snapshot
2009-11-29
Sven Verdoolaege
add missing AUTHORS file
commit
|
commitdiff
|
tree
|
snapshot
2009-11-29
Sven Verdoolaege
isl_basic_set_swap_vars: re-gauss resulting bset
commit
|
commitdiff
|
tree
|
snapshot
2009-11-16
Sven Verdoolaege
add isl_basic_map_first_constraint
commit
|
commitdiff
|
tree
|
snapshot
2009-11-15
Sven Verdoolaege
export isl_basic_map_lexmax
commit
|
commitdiff
|
tree
|
snapshot
2009-11-15
Sven Verdoolaege
add isl_basic_set_lexmax
commit
|
commitdiff
|
tree
|
snapshot
2009-11-15
Sven Verdoolaege
isl_map_drop_basic_map: consistently keep basic map...
commit
|
commitdiff
|
tree
|
snapshot
2009-11-01
Sven Verdoolaege
isl_tab: row is only (obviously) redundant if it does...
commit
|
commitdiff
|
tree
|
snapshot
2009-11-01
Sven Verdoolaege
isl_basic_map_simplify: make sure to rerun Gauss when...
commit
|
commitdiff
|
tree
|
snapshot
2009-11-01
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: use context constrain...
commit
|
commitdiff
|
tree
|
snapshot
2009-11-01
Sven Verdoolaege
isl_tab_pip.c: ignore dead columns when checking integr...
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
isl_pip: optionally perform some check on the results
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
put options in a separate isl_options structure
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
add rudimentary argument parsing facility
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
isl_tab_compute_reduced_basis: handle empty tables
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
isl_basic_set_solve_ilp: handle obviously empty sets
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
isl_basic_set_solve_ilp: fix handling of sets with...
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
add isl_set_remove
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
add isl_set_fix
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
add isl_basic_set_fix
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
extract isl_basic_set_scan from polytope_scan.c
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
isl_basic_map_simplify: avoid removal of div definition...
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
isl_map.c: declare variable at start of code block
commit
|
commitdiff
|
tree
|
snapshot
2009-10-21
Sven Verdoolaege
isl_basic_set_project_out: handle rational sets
commit
|
commitdiff
|
tree
|
snapshot
next