Public Git Hosting - isl.git/search

2010-03-10	Sven Verdoolaege	isl 0.02	commit \| commitdiff \| tree
2010-03-10	Sven Verdoolaege	isl_pw_templ.c: copy: fix return	commit \| commitdiff \| tree
2010-03-10	Sven Verdoolaege	isl_polynomial.c: qpolynomial_fold_alloc: fix up condition	commit \| commitdiff \| tree
2010-03-10	Sven Verdoolaege	update AUTHORS	commit \| commitdiff \| tree
2010-03-10	Sven Verdoolaege	isl_pip: use isl_set_print instead of isl_set_dump...	commit \| commitdiff \| tree
2010-03-10	Sven Verdoolaege	add some pip tests from the piplib distribution	commit \| commitdiff \| tree
2010-03-10	Sven Verdoolaege	don't print newline in ISL_FORMAT_ISL	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	use typedef to ensure argument to mp_get_memory_functions...	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_obj_pw_qpolynomial_fold	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_pw_qpolynomial_fold_eval	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_pw_qpolynomial_fold	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_pw_qpolynomial_foreach_lifted_piece	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_set_lift	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_set_from_point	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_mat_insert_cols	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_pw_qpolynomial_dim	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_pw_qpolynomial_foreach_piece	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_pw_qpolynomial_get_dim	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	add isl_div_dim	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	isl_stream: allow "_" in tokens	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	isl_stream: accept "@" token	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	isl_map_read: accept '*' in affine expressions	commit \| commitdiff \| tree
2010-03-09	Sven Verdoolaege	isl_qpolynomial_eval: use consistent dimension for...	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	doc: update to removal of piplib as a submodule	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	doc: fix typo	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	isl_stream_read_obj: add support for reading piecewise...	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	add isl_stream_read_obj	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	add generic isl_obj	commit \| commitdiff \| tree
2010-03-05	Sven Verdoolaege	add support for (piecewise) quasipolynomials	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	add isl_map_move	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_stream: parse NaN	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_stream: parse infty	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	export isl_stream.h	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_stream: allow user specified keywords	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_stream: add some auxiliary functions	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_stream: read "definition" token ":="	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	add isl_int_tdiv_q	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	privately export isl_set_contains_point	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	add isl_set_count	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	add isl_set_sample_point	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	add isl_point	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_basic_set_scan: make sure sufficient rows are allocated...	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_map_subtract: only add divs when needed	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	add isl_map_order_divs	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	extract isl_tab_add_div from isl_tab_pip.c	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_vec.c: fix minor whitespace issue	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	add isl_set_complement	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	export isl_map_make_disjoint	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	add isl_hash_table_foreach	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_map_print: extract out print_disjuncts	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	add isl_set_fast_is_universe	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_input.c: accept_affine: fix memory leak on error...	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_map_intersect: detect empty result also in case...	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_map_read: skip until the end of the last line when...	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_stream_next_token_on_same_line: check if last token...	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_set_wrap_facet: make sure set is marked rational	commit \| commitdiff \| tree
2010-03-04	Sven Verdoolaege	isl_coalesce.c: fix typo in comment	commit \| commitdiff \| tree
2010-02-19	Sven Verdoolaege	isl_map_read: accept list of predicated elements	commit \| commitdiff \| tree
2010-02-19	Sven Verdoolaege	isl_map_read: extract out parsing of map body	commit \| commitdiff \| tree
2010-02-19	Sven Verdoolaege	isl_map_read: add dummy variable name for unnamed variables	commit \| commitdiff \| tree
2010-02-19	Sven Verdoolaege	isl_stream: accept ";" token	commit \| commitdiff \| tree
2010-02-19	Sven Verdoolaege	use -O1 optimization level for gcc 4.2	commit \| commitdiff \| tree
2010-02-19	Sven Verdoolaege	drop comma at the end of enumerations in include files	commit \| commitdiff \| tree
2010-02-18	Sven Verdoolaege	isl_map_read: accept affine combinations of earlier...	commit \| commitdiff \| tree
2010-02-18	Sven Verdoolaege	isl_map_read: construct basic map while reading variable...	commit \| commitdiff \| tree
2010-02-18	Sven Verdoolaege	isl_map_print: add primes to duplicate names	commit \| commitdiff \| tree
2010-02-18	Sven Verdoolaege	isl_map_transitive_closure: improve accuracy by copying...	commit \| commitdiff \| tree
2010-02-18	Sven Verdoolaege	isl_map_transitive_closure: perform exactness check...	commit \| commitdiff \| tree
2010-02-18	Sven Verdoolaege	isl_map_transitive_closure: reformulate exactness test...	commit \| commitdiff \| tree
2010-02-18	Sven Verdoolaege	add a transitive closure example from the Omega test...	commit \| commitdiff \| tree
2010-02-18	Sven Verdoolaege	isl_map_transitive_closure: compute power on strongly...	commit \| commitdiff \| tree
2010-02-17	Sven Verdoolaege	isl_map_transitive_closure: intersect with domain and...	commit \| commitdiff \| tree
2010-02-17	Sven Verdoolaege	isl_map_transitive_closure: extract out construction...	commit \| commitdiff \| tree
2010-02-17	Sven Verdoolaege	isl_map_transitive_closure: move acyclicity test up...	commit \| commitdiff \| tree
2010-02-17	Sven Verdoolaege	add isl_set_lower_bound_si	commit \| commitdiff \| tree
2010-02-17	Sven Verdoolaege	isl_map_print: use consistent names on all disjuncts	commit \| commitdiff \| tree
2010-02-17	Sven Verdoolaege	isl_cat: allow specification of output format on command...	commit \| commitdiff \| tree
2010-02-17	Sven Verdoolaege	isl_map_print: support ISL_FORMAT_POLYLIB	commit \| commitdiff \| tree
2010-02-17	Sven Verdoolaege	isl_map_coalesce: fix some regressions introduced by...	commit \| commitdiff \| tree
2010-02-15	Sven Verdoolaege	add isl_closure test application	commit \| commitdiff \| tree
2010-02-15	Sven Verdoolaege	add transitive closure example from Kelly's 1996 paper	commit \| commitdiff \| tree
2010-02-15	Sven Verdoolaege	isl_map_transitive_closure: construct general paths	commit \| commitdiff \| tree
2010-02-15	Sven Verdoolaege	isl_map_transitive_closure: prepare for the construction...	commit \| commitdiff \| tree
2010-02-15	Sven Verdoolaege	isl_map_transitive_closure: construct paths that can...	commit \| commitdiff \| tree
2010-02-15	Sven Verdoolaege	isl_transitive_closure: extract out construction of...	commit \| commitdiff \| tree
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
next

Integer set library

RSS Atom