Public Git Hosting - isl.git/search

2010-02-15	Sven Verdoolaege	isl_map_transitive_closure: use more generic acyclicity...	commit \| commitdiff \| tree
2010-02-15	Sven Verdoolaege	isl_map_print: add parentheses around disjuncts	commit \| commitdiff \| tree
2010-02-15	Sven Verdoolaege	isl_hash_table: use size that corresponds to the number...	commit \| commitdiff \| tree
2010-02-15	Sven Verdoolaege	isl_hash_table: grow table when we run out of entries	commit \| commitdiff \| tree
2010-02-15	Sven Verdoolaege	isl_map_coalesce: only use non-redundant constraints...	commit \| commitdiff \| tree
2010-02-13	Sven Verdoolaege	add isl_set_fix_si	commit \| commitdiff \| tree
2010-02-13	Sven Verdoolaege	isl_map_read: accept chains of comparisons	commit \| commitdiff \| tree
2010-02-10	Sven Verdoolaege	export isl_map_align_divs	commit \| commitdiff \| tree
2010-02-10	Sven Verdoolaege	isl_map_read: forget existentially quantified variables...	commit \| commitdiff \| tree
2010-02-10	Sven Verdoolaege	isl_input.c: remove needless indirection	commit \| commitdiff \| tree
2010-02-09	Sven Verdoolaege	doc: document how to inspect sets and relations	commit \| commitdiff \| tree
2010-02-09	Sven Verdoolaege	export isl_map_compute_divs	commit \| commitdiff \| tree
2010-02-09	Sven Verdoolaege	isl_constraint_div: make sure requested div is a known div	commit \| commitdiff \| tree
2010-02-09	Sven Verdoolaege	doc: drop documentation of _dump functions	commit \| commitdiff \| tree
2010-02-09	Sven Verdoolaege	isl_map_print: improve output	commit \| commitdiff \| tree
2010-02-09	Sven Verdoolaege	add isl_basic_map_foreach_constraint	commit \| commitdiff \| tree
2010-02-08	Sven Verdoolaege	isl_map_coalesce: handle more cases	commit \| commitdiff \| tree
2010-02-08	Sven Verdoolaege	privately export isl_set_wrap_facet	commit \| commitdiff \| tree
2010-02-08	Sven Verdoolaege	isl_convex_hull.c: wrap_facet: allow unbounded facets...	commit \| commitdiff \| tree
2010-02-08	Sven Verdoolaege	doc: improve decription of isl_map_transitive_closure	commit \| commitdiff \| tree
2010-02-08	Sven Verdoolaege	isl_map_transitive_closure: improve test for exactness	commit \| commitdiff \| tree
2010-02-08	Sven Verdoolaege	add a counter example for Theorem 1 of the COCOA paper	commit \| commitdiff \| tree
2010-02-08	Sven Verdoolaege	add isl_map_lower_bound_si	commit \| commitdiff \| tree
2010-02-08	Sven Verdoolaege	isl_map_power: coalesce domain and range	commit \| commitdiff \| tree
2010-02-08	Sven Verdoolaege	isl_flow.c: add missing isl_access_info_free return...	commit \| commitdiff \| tree
2010-02-08	Sven Verdoolaege	isl_coalesce.c: fix typo in comment	commit \| commitdiff \| tree
2010-02-07	Sven Verdoolaege	include/isl_int.h: argument of mp_get_memory_functions...	commit \| commitdiff \| tree
2010-02-04	Sven Verdoolaege	isl_map_read: accept lists of affine expressions in...	commit \| commitdiff \| tree
2010-02-04	Sven Verdoolaege	add isl_mat_from_row_vec and isl_mat_vec_concat	commit \| commitdiff \| tree
2010-02-04	Sven Verdoolaege	isl_map_read: read extended polylib format	commit \| commitdiff \| tree
2010-02-04	Sven Verdoolaege	add isl_stream_next_token_on_same_line	commit \| commitdiff \| tree
2010-02-04	Sven Verdoolaege	isl_map_read: make sure polylib constraint coefficients...	commit \| commitdiff \| tree
2010-02-04	Sven Verdoolaege	isl_{map,set}_dim: handle NULL input	commit \| commitdiff \| tree
2010-02-04	Sven Verdoolaege	isl_map_read: use more uniform way of reading in polylib...	commit \| commitdiff \| tree
2010-02-04	Sven Verdoolaege	isl_transitive_closure.c: fix typo in comment	commit \| commitdiff \| tree
2010-02-04	Sven Verdoolaege	isl_map_transitive_closure: use more relaxed exactness...	commit \| commitdiff \| tree
2010-02-03	Sven Verdoolaege	add isl_map_power and isl_map_transitive_closure	commit \| commitdiff \| tree
2010-02-03	Sven Verdoolaege	isl_map_subtract.c: make some internal functions static	commit \| commitdiff \| tree
2010-02-03	Sven Verdoolaege	add generic isl_map_project_out	commit \| commitdiff \| tree
2010-02-03	Sven Verdoolaege	add isl_{map,set}_add	commit \| commitdiff \| tree
2010-02-03	Sven Verdoolaege	rename isl_{map,set}_add to isl_{map,set}_add_basic_...	commit \| commitdiff \| tree
2010-02-03	Sven Verdoolaege	isl_set_project_out: always update dimension, even...	commit \| commitdiff \| tree
2010-02-03	Sven Verdoolaege	isl_dim_join: don't require names of joined variables...	commit \| commitdiff \| tree
2010-02-03	Sven Verdoolaege	add isl_map_from_domain_and_range	commit \| commitdiff \| tree
2010-02-03	Sven Verdoolaege	isl_stream: treat "-" as operator rather than as -1	commit \| commitdiff \| tree
2010-02-03	Sven Verdoolaege	isl_map_read: accept "strict" inequalities	commit \| commitdiff \| tree
2010-02-03	Sven Verdoolaege	isl_input.c: fix memory deallocation problem on missing...	commit \| commitdiff \| tree
2010-01-31	Sven Verdoolaege	add dependence analysis	commit \| commitdiff \| tree
2010-01-31	Sven Verdoolaege	add isl_map_{partial_,}lexopt	commit \| commitdiff \| tree
2010-01-31	Sven Verdoolaege	add private isl_{set,map}_make_disjoint	commit \| commitdiff \| tree
2010-01-31	Sven Verdoolaege	basis_reduction_templ.c: fix typo in comment	commit \| commitdiff \| tree
2010-01-31	Sven Verdoolaege	isl_tab_pip.c: find_solutions: break when context becomes...	commit \| commitdiff \| tree
2010-01-31	Sven Verdoolaege	isl_dim_equal: don't require names of input and output...	commit \| commitdiff \| tree
2010-01-31	Sven Verdoolaege	isl_dim_map: properly duplicate names	commit \| commitdiff \| tree
2010-01-31	Sven Verdoolaege	isl_dim_drop: properly adjust length of names array	commit \| commitdiff \| tree
2010-01-26	Sven Verdoolaege	doc: a bit more on integers	commit \| commitdiff \| tree
2010-01-26	Sven Verdoolaege	doc: describe input/output formats	commit \| commitdiff \| tree
2010-01-26	Sven Verdoolaege	doc: fix typo	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	add isl_cat test application	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	add omega output	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	add isl output	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	isl_test: use isl_set_read_from_str	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	add isl_set_read_from_str	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	add isl_map_read_from_str	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	isl_map_read_from_file: allow unions in isl format...	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	isl_basic_map_read: read definitions of existential...	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	privately export isl_basic_map_add_div_constraints	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	isl_basic_map_read: read affine constraint as two affine...	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	isl_input.c: optionally read parameters from input	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	tokenizer: accept "and" keyword	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	export isl_map_read_from_file	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	export isl_basic_map_read_from_str	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	drop redundant input_format argument from reading functions	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	isl_input.c: merge functions for reading PolyLib and...	commit \| commitdiff \| tree
2010-01-25	Sven Verdoolaege	isl_input_omega.c: accept PolyLib input	commit \| commitdiff \| tree
2010-01-24	Sven Verdoolaege	isl_input_omega.c: prepare for reading parametric unions	commit \| commitdiff \| tree
2010-01-24	Sven Verdoolaege	isl_input_omega.c: finalize and simplify resulting...	commit \| commitdiff \| tree
2010-01-24	Sven Verdoolaege	isl_input_omega.c: fix check for memory allocation...	commit \| commitdiff \| tree
2010-01-24	Sven Verdoolaege	isl_stream_next_token: skip comment lines	commit \| commitdiff \| tree
2010-01-24	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: properly handle empty...	commit \| commitdiff \| tree
2010-01-24	Sven Verdoolaege	isl_basic_map_set_to_empty: remove sample (if any)	commit \| commitdiff \| tree
2010-01-24	Sven Verdoolaege	add isl_set_fast_is_empty	commit \| commitdiff \| tree
2010-01-13	Sven Verdoolaege	properly remove piplib submodule	commit \| commitdiff \| tree
2010-01-08	Sven Verdoolaege	isl_basic_map_update_from_tab: re-gauss resulting bmap	commit \| commitdiff \| tree
2010-01-01	Sven Verdoolaege	ax_submodule.m4: don't let --with-module conflict with...	commit \| commitdiff \| tree
2009-12-25	Sven Verdoolaege	add isl_set_follows_at	commit \| commitdiff \| tree
2009-12-24	Sven Verdoolaege	isl_basic_set_compare_at: compute result in terms of...	commit \| commitdiff \| tree
2009-12-24	Sven Verdoolaege	isl_tab_pip.c: add cuts for all non-integer coordinates...	commit \| commitdiff \| tree
2009-12-19	Sven Verdoolaege	isl_basic_map_gist: don't drop equalities from context	commit \| commitdiff \| tree
2009-12-18	Sven Verdoolaege	isl_convex_hull.c: initial_facet_constraint: drop all...	commit \| commitdiff \| tree
2009-12-18	Sven Verdoolaege	isl_convex_hull.c: is_independent_bound: normalize...	commit \| commitdiff \| tree
2009-12-18	Sven Verdoolaege	isl_convex_hull.c: extend: check hull argument	commit \| commitdiff \| tree
2009-12-18	Sven Verdoolaege	isl_mat_right_inverse: be more verbose on error condition	commit \| commitdiff \| tree
2009-12-18	Sven Verdoolaege	isl_constraint_dup: make sure line refers to equation...	commit \| commitdiff \| tree
2009-12-16	Sven Verdoolaege	add copyright statements	commit \| commitdiff \| tree
2009-12-16	Sven Verdoolaege	remove functions for converting between isl and PolyLib	commit \| commitdiff \| tree
2009-12-16	Sven Verdoolaege	isl_tab_solve_lp: invert optimal value back when computing...	commit \| commitdiff \| tree
2009-12-08	Sven Verdoolaege	isl_map_intersect: add special case for adding a single...	commit \| commitdiff \| tree
2009-12-08	Sven Verdoolaege	isl_map_is_subset: break off as soon as difference...	commit \| commitdiff \| tree
2009-12-08	Sven Verdoolaege	compute set difference using a backtracking algorithm	commit \| commitdiff \| tree
next

Integer set library

RSS Atom