projects / platform / upstream / isl.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
platform/upstream/isl.git
2010-02-08 Sven Verdoolaegeisl_convex_hull.c: wrap_facet: allow unbounded facets... commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegedoc: improve decription of isl_map_transitive_closure commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeisl_map_transitive_closure: improve test for exactness commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeadd a counter example for Theorem 1 of the COCOA paper commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeadd isl_map_lower_bound_si commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeisl_map_power: coalesce domain and range commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeisl_flow.c: add missing isl_access_info_free return... commit | commitdiff | tree | snapshot
2010-02-08 Sven Verdoolaegeisl_coalesce.c: fix typo in comment commit | commitdiff | tree | snapshot
2010-02-07 Sven Verdoolaegeinclude/isl_int.h: argument of mp_get_memory_functions... commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_map_read: accept lists of affine expressions in... commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeadd isl_mat_from_row_vec and isl_mat_vec_concat commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_map_read: read extended polylib format commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeadd isl_stream_next_token_on_same_line commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_map_read: make sure polylib constraint coefficients... commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_{map,set}_dim: handle NULL input commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_map_read: use more uniform way of reading in polyli... commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_transitive_closure.c: fix typo in comment commit | commitdiff | tree | snapshot
2010-02-04 Sven Verdoolaegeisl_map_transitive_closure: use more relaxed exactness... commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeadd isl_map_power and isl_map_transitive_closure commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeisl_map_subtract.c: make some internal functions static commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeadd generic isl_map_project_out commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeadd isl_{map,set}_add commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegerename isl_{map,set}_add to isl_{map,set}_add_basic_... commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeisl_set_project_out: always update dimension, even... commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeisl_dim_join: don't require names of joined variables... commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeadd isl_map_from_domain_and_range commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeisl_stream: treat "-" as operator rather than as -1 commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeisl_map_read: accept "strict" inequalities commit | commitdiff | tree | snapshot
2010-02-03 Sven Verdoolaegeisl_input.c: fix memory deallocation problem on missing... commit | commitdiff | tree | snapshot
2010-01-31 Sven Verdoolaegeadd dependence analysis commit | commitdiff | tree | snapshot
2010-01-31 Sven Verdoolaegeadd isl_map_{partial_,}lexopt commit | commitdiff | tree | snapshot
2010-01-31 Sven Verdoolaegeadd private isl_{set,map}_make_disjoint commit | commitdiff | tree | snapshot
2010-01-31 Sven Verdoolaegebasis_reduction_templ.c: fix typo in comment commit | commitdiff | tree | snapshot
2010-01-31 Sven Verdoolaegeisl_tab_pip.c: find_solutions: break when context becom... commit | commitdiff | tree | snapshot
2010-01-31 Sven Verdoolaegeisl_dim_equal: don't require names of input and output... commit | commitdiff | tree | snapshot
2010-01-31 Sven Verdoolaegeisl_dim_map: properly duplicate names commit | commitdiff | tree | snapshot
2010-01-31 Sven Verdoolaegeisl_dim_drop: properly adjust length of names array commit | commitdiff | tree | snapshot
2010-01-26 Sven Verdoolaegedoc: a bit more on integers commit | commitdiff | tree | snapshot
2010-01-26 Sven Verdoolaegedoc: describe input/output formats commit | commitdiff | tree | snapshot
2010-01-26 Sven Verdoolaegedoc: fix typo commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeadd isl_cat test application commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeadd omega output commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeadd isl output commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeisl_test: use isl_set_read_from_str commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeadd isl_set_read_from_str commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeadd isl_map_read_from_str commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeisl_map_read_from_file: allow unions in isl format... commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeisl_basic_map_read: read definitions of existential... commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeprivately export isl_basic_map_add_div_constraints commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeisl_basic_map_read: read affine constraint as two affin... commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeisl_input.c: optionally read parameters from input commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegetokenizer: accept "and" keyword commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeexport isl_map_read_from_file commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeexport isl_basic_map_read_from_str commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegedrop redundant input_format argument from reading functions commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeisl_input.c: merge functions for reading PolyLib and... commit | commitdiff | tree | snapshot
2010-01-25 Sven Verdoolaegeisl_input_omega.c: accept PolyLib input commit | commitdiff | tree | snapshot
2010-01-24 Sven Verdoolaegeisl_input_omega.c: prepare for reading parametric unions commit | commitdiff | tree | snapshot
2010-01-24 Sven Verdoolaegeisl_input_omega.c: finalize and simplify resulting... commit | commitdiff | tree | snapshot
2010-01-24 Sven Verdoolaegeisl_input_omega.c: fix check for memory allocation... commit | commitdiff | tree | snapshot
2010-01-24 Sven Verdoolaegeisl_stream_next_token: skip comment lines commit | commitdiff | tree | snapshot
2010-01-24 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: properly handle empty... commit | commitdiff | tree | snapshot
2010-01-24 Sven Verdoolaegeisl_basic_map_set_to_empty: remove sample (if any) commit | commitdiff | tree | snapshot
2010-01-24 Sven Verdoolaegeadd isl_set_fast_is_empty commit | commitdiff | tree | snapshot
2010-01-13 Sven Verdoolaegeproperly remove piplib submodule commit | commitdiff | tree | snapshot
2010-01-08 Sven Verdoolaegeisl_basic_map_update_from_tab: re-gauss resulting bmap commit | commitdiff | tree | snapshot
2010-01-01 Sven Verdoolaegeax_submodule.m4: don't let --with-module conflict with... commit | commitdiff | tree | snapshot
2009-12-25 Sven Verdoolaegeadd isl_set_follows_at commit | commitdiff | tree | snapshot
2009-12-24 Sven Verdoolaegeisl_basic_set_compare_at: compute result in terms of... commit | commitdiff | tree | snapshot
2009-12-24 Sven Verdoolaegeisl_tab_pip.c: add cuts for all non-integer coordinates... commit | commitdiff | tree | snapshot
2009-12-19 Sven Verdoolaegeisl_basic_map_gist: don't drop equalities from context commit | commitdiff | tree | snapshot
2009-12-18 Sven Verdoolaegeisl_convex_hull.c: initial_facet_constraint: drop all... commit | commitdiff | tree | snapshot
2009-12-18 Sven Verdoolaegeisl_convex_hull.c: is_independent_bound: normalize... commit | commitdiff | tree | snapshot
2009-12-18 Sven Verdoolaegeisl_convex_hull.c: extend: check hull argument commit | commitdiff | tree | snapshot
2009-12-18 Sven Verdoolaegeisl_mat_right_inverse: be more verbose on error condition commit | commitdiff | tree | snapshot
2009-12-18 Sven Verdoolaegeisl_constraint_dup: make sure line refers to equation... commit | commitdiff | tree | snapshot
2009-12-16 Sven Verdoolaegeadd copyright statements commit | commitdiff | tree | snapshot
2009-12-16 Sven Verdoolaegeremove functions for converting between isl and PolyLib commit | commitdiff | tree | snapshot
2009-12-16 Sven Verdoolaegeisl_tab_solve_lp: invert optimal value back when comput... commit | commitdiff | tree | snapshot
2009-12-08 Sven Verdoolaegeisl_map_intersect: add special case for adding a single... commit | commitdiff | tree | snapshot
2009-12-08 Sven Verdoolaegeisl_map_is_subset: break off as soon as difference... commit | commitdiff | tree | snapshot
2009-12-08 Sven Verdoolaegecompute set difference using a backtracking algorithm commit | commitdiff | tree | snapshot
2009-12-07 Sven Verdoolaegeisl_map_subtract.c: extract from isl_map.c commit | commitdiff | tree | snapshot
2009-12-07 Sven Verdoolaegeisl_tab: keep track of isl_basic_map instead of isl_bas... commit | commitdiff | tree | snapshot
2009-12-07 Sven Verdoolaegeprivately export isl_basic_map_contains commit | commitdiff | tree | snapshot
2009-12-07 Sven Verdoolaegeadd isl_basic_map_add_ineq and isl_basic_map_add_eq commit | commitdiff | tree | snapshot
2009-12-07 Sven Verdoolaegeisl_tab_detect_redundant: return status instead of... commit | commitdiff | tree | snapshot
2009-12-07 Sven Verdoolaegeisl_tab: add isl_tab_freeze_constraint commit | commitdiff | tree | snapshot
2009-11-29 Sven Verdoolaegeisl_tab_add_ineq and isl_tab_mark_empty: return status... commit | commitdiff | tree | snapshot
2009-11-29 Sven Verdoolaegeadd missing AUTHORS file commit | commitdiff | tree | snapshot
2009-11-29 Sven Verdoolaegeisl_basic_set_swap_vars: re-gauss resulting bset commit | commitdiff | tree | snapshot
2009-11-16 Sven Verdoolaegeadd isl_basic_map_first_constraint commit | commitdiff | tree | snapshot
2009-11-15 Sven Verdoolaegeexport isl_basic_map_lexmax commit | commitdiff | tree | snapshot
2009-11-15 Sven Verdoolaegeadd isl_basic_set_lexmax commit | commitdiff | tree | snapshot
2009-11-15 Sven Verdoolaegeisl_map_drop_basic_map: consistently keep basic map... commit | commitdiff | tree | snapshot
2009-11-01 Sven Verdoolaegeisl_tab: row is only (obviously) redundant if it does... commit | commitdiff | tree | snapshot
2009-11-01 Sven Verdoolaegeisl_basic_map_simplify: make sure to rerun Gauss when... commit | commitdiff | tree | snapshot
2009-11-01 Sven Verdoolaegeisl_tab_basic_map_partial_lexopt: use context constrain... commit | commitdiff | tree | snapshot
2009-11-01 Sven Verdoolaegeisl_tab_pip.c: ignore dead columns when checking integr... commit | commitdiff | tree | snapshot
2009-10-21 Sven Verdoolaegeisl_pip: optionally perform some check on the results commit | commitdiff | tree | snapshot
next
Domain: System / Uncategorized;