projects / platform / upstream / isl.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
platform/upstream/isl.git
2010-04-10 Sven Verdoolaegeisl_sample.c: initial_basis: set n_unbounded and n_zero commit | commitdiff | tree | snapshot
2010-04-09 Sven Verdoolaegeisl_map_coalesce: only use non-redundant constraints... commit | commitdiff | tree | snapshot
2010-04-09 Sven Verdoolaegeisl_map_print: allow empty constraints commit | commitdiff | tree | snapshot
2010-04-09 Sven Verdoolaegeisl_options.h: allow inclusion from C++ commit | commitdiff | tree | snapshot
2010-04-09 Sven Verdoolaegeisl_arg.h: allow inclusion from C++ commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_map_transitive_closure: handle existentials commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_map_deltas: preserve dimension names commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_map_print: support LaTeX output format commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_map_simplify: don't remove any div definitions... commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_map_intersect: add special cases for empty input... commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_transitive_closure.c: path_along_delta: share code... commit | commitdiff | tree | snapshot
2010-04-07 Sven Verdoolaegeisl_transitive_closure.c: path_along_delta: try and... commit | commitdiff | tree | snapshot
2010-04-04 Sven Verdoolaegeexport isl_qpolynomial_move_dims commit | commitdiff | tree | snapshot
2010-04-03 Sven Verdoolaegeadd isl_qpolynomial_get_ctx commit | commitdiff | tree | snapshot
2010-04-03 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_get_dim commit | commitdiff | tree | snapshot
2010-04-03 Sven Verdoolaegeadd some qpolynomial test functions commit | commitdiff | tree | snapshot
2010-04-03 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_{max,min} commit | commitdiff | tree | snapshot
2010-04-02 Sven Verdoolaegeisl_tab_min_at_most_neg_one: restore sample value of... commit | commitdiff | tree | snapshot
2010-04-02 Sven Verdoolaegeisl_map_coalesce: avoid reconsidering pairs considered... commit | commitdiff | tree | snapshot
2010-04-02 Sven Verdoolaegeisl_tab.c: update debugging aid check_table to presence... commit | commitdiff | tree | snapshot
2010-04-02 Sven Verdoolaegeisl_tab_relax: make sure no non-negative rows get a... commit | commitdiff | tree | snapshot
2010-04-02 Sven Verdoolaegeisl_tab_pip.c: always set row sign of found row to... commit | commitdiff | tree | snapshot
2010-04-02 Sven Verdoolaegeisl_printer_print_basic_{set,map}: add closing "}" commit | commitdiff | tree | snapshot
2010-04-01 Sven Verdoolaegeexport isl_set_split_dims commit | commitdiff | tree | snapshot
2010-04-01 Sven Verdoolaegeadd isl_set_recession_cone commit | commitdiff | tree | snapshot
2010-04-01 Sven Verdoolaegeadd isl_set_dim_is_bounded commit | commitdiff | tree | snapshot
2010-04-01 Sven Verdoolaegeisl_map_transitive_closure: break early if input map... commit | commitdiff | tree | snapshot
2010-04-01 Sven Verdoolaegeisl_map_transitive_closure: coalesce after each step commit | commitdiff | tree | snapshot
2010-03-30 Sven Verdoolaegeexport isl_pw_qpolynomial_coalesce commit | commitdiff | tree | snapshot
2010-03-30 Sven Verdoolaegeisl_tab.c: unrelax: restore row if variable is non... commit | commitdiff | tree | snapshot
2010-03-30 Sven Verdoolaegeisl_tab.c: cut_to_hyperplane: add extra sanity check commit | commitdiff | tree | snapshot
2010-03-30 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_size commit | commitdiff | tree | snapshot
2010-03-30 Sven Verdoolaegeadd isl_pw_qpolynomial_split_dims commit | commitdiff | tree | snapshot
2010-03-30 Sven Verdoolaegeisl_qpolynomial_max: fix detection of inactive variables commit | commitdiff | tree | snapshot
2010-03-25 Sven Verdoolaegedoc: fix transitive closure example commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeisl_convex_hull.c: valid_direction: properly normalize... commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeisl_convex_hull.c: simplify computation of initial... commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeexport isl_pw_qpolynomial_is_zero commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_dim commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeadd isl_int_get_d commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeadd isl_pw_qpolynomial_min commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeadd isl_pw_qpolynomial_fix_dim commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeadd isl_pw_qpolynomial_add_dims commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeexport isl_dim_move commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeisl_pw_qpolynomial_fold_add: remove redundant quasipoly... commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeisl_qpolynomial_alloc: take initial struct isl_upoly... commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeadd isl_set_solve_lp commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeisl_polynomial.c: separate out fold functionality to... commit | commitdiff | tree | snapshot
2010-03-23 Sven Verdoolaegeisl_pw_qpolynomial_{fold_,}print: set output format commit | commitdiff | tree | snapshot
2010-03-21 Sven Verdoolaegeimprove isl_pw_qpolynomial_move commit | commitdiff | tree | snapshot
2010-03-20 Sven Verdoolaegeadd isl_mat_move_cols commit | commitdiff | tree | snapshot
2010-03-19 Sven Verdoolaegeadd isl_pw_qpolynomial_drop_dims commit | commitdiff | tree | snapshot
2010-03-19 Sven Verdoolaegeadd isl_set_drop commit | commitdiff | tree | snapshot
2010-03-19 Sven Verdoolaegeadd isl_pw_qpolynomial_involves_dims commit | commitdiff | tree | snapshot
2010-03-18 Sven Verdoolaegeisl_stream: accept "%" token commit | commitdiff | tree | snapshot
2010-03-18 Sven Verdoolaegedoc: fix typo commit | commitdiff | tree | snapshot
2010-03-18 Sven Verdoolaegeadd basic isl_pw_qpolynomial_fold_coalesce commit | commitdiff | tree | snapshot
2010-03-18 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_get_ctx commit | commitdiff | tree | snapshot
2010-03-18 Sven Verdoolaegeisl_printer_print_pw_qpolynomial{,_fold}: allow printin... commit | commitdiff | tree | snapshot
2010-03-18 Sven Verdoolaegeadd isl_qpolynomial_get_den commit | commitdiff | tree | snapshot
2010-03-18 Sven Verdoolaegeadd isl_pw_qpolynomial_gist and isl_pw_qpolynomial_fold... commit | commitdiff | tree | snapshot
2010-03-18 Sven Verdoolaegeexport isl_map_gist commit | commitdiff | tree | snapshot
2010-03-18 Sven Verdoolaegeadd isl_map_insert commit | commitdiff | tree | snapshot
2010-03-18 Sven Verdoolaegeadd isl_printer commit | commitdiff | tree | snapshot
2010-03-14 Sven Verdoolaegeadd isl_pw_qpolynomial_max commit | commitdiff | tree | snapshot
2010-03-14 Sven Verdoolaegeisl_qpolynomial_add: replace 0-degree polynomials by... commit | commitdiff | tree | snapshot
2010-03-14 Sven Verdoolaegeadd isl_set_eliminate commit | commitdiff | tree | snapshot
2010-03-14 Sven Verdoolaegeisl_map_range: optimize case where the number of input... commit | commitdiff | tree | snapshot
2010-03-14 Sven Verdoolaegeisl_pw_qpolynomial_print: fix printing of unnamed piece... commit | commitdiff | tree | snapshot
2010-03-14 Sven Verdoolaegedocument transitive closure implementation commit | commitdiff | tree | snapshot
2010-03-13 Sven Verdoolaegeisl_stream: accept "." token commit | commitdiff | tree | snapshot
2010-03-12 Sven Verdoolaegeadd isl_pw_*_intersect_domain commit | commitdiff | tree | snapshot
2010-03-12 Sven Verdoolaegeadd isl_pw_*_domain commit | commitdiff | tree | snapshot
2010-03-10 Sven Verdoolaegeisl 0.02 isl-0.02 commit | commitdiff | tree | snapshot
2010-03-10 Sven Verdoolaegeisl_pw_templ.c: copy: fix return commit | commitdiff | tree | snapshot
2010-03-10 Sven Verdoolaegeisl_polynomial.c: qpolynomial_fold_alloc: fix up condition commit | commitdiff | tree | snapshot
2010-03-10 Sven Verdoolaegeupdate AUTHORS commit | commitdiff | tree | snapshot
2010-03-10 Sven Verdoolaegeisl_pip: use isl_set_print instead of isl_set_dump... commit | commitdiff | tree | snapshot
2010-03-10 Sven Verdoolaegeadd some pip tests from the piplib distribution commit | commitdiff | tree | snapshot
2010-03-10 Sven Verdoolaegedon't print newline in ISL_FORMAT_ISL commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeuse typedef to ensure argument to mp_get_memory_functio... commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeadd isl_obj_pw_qpolynomial_fold commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_fold_eval commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_fold commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_foreach_lifted_piece commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeadd isl_set_lift commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeadd isl_set_from_point commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeadd isl_mat_insert_cols commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_dim commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_foreach_piece commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeadd isl_pw_qpolynomial_get_dim commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeadd isl_div_dim commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeisl_stream: allow "_" in tokens commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeisl_stream: accept "@" token commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeisl_map_read: accept '*' in affine expressions commit | commitdiff | tree | snapshot
2010-03-09 Sven Verdoolaegeisl_qpolynomial_eval: use consistent dimension for... commit | commitdiff | tree | snapshot
2010-03-05 Sven Verdoolaegedoc: update to removal of piplib as a submodule commit | commitdiff | tree | snapshot
2010-03-05 Sven Verdoolaegedoc: fix typo commit | commitdiff | tree | snapshot
2010-03-05 Sven Verdoolaegeisl_stream_read_obj: add support for reading piecewise... commit | commitdiff | tree | snapshot
2010-03-05 Sven Verdoolaegeadd isl_stream_read_obj commit | commitdiff | tree | snapshot
next
Domain: System / Uncategorized;