Public Git Hosting - isl.git/search

2009-03-20	Sven Verdoolaege	isl_convex_hull.c: introduce proto_hull based on obvious...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_convex_hull.c: move initial hull construction into...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_convex_hull.c: move computation of bounds into...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_map_convex_hull: check for boundedness using recession...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_convex_hull: use tableau to detect redundant...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_affine_hull.c: use tableau to detect implicit equalities	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_tab.c: don't detect equalities while setting up...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add internal representation of LP tableaus	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_mat_extend	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_set_dim	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	privately export isl_basic_{set,map}_normalize_constraints	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_basic_set_extend_dim	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_eliminate_vars: clear divs first	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_eliminate_vars: remove all dependent...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_hash_table_alloc and isl_hash_table_free	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_hash_table_init: take minimal size instead of number...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_{basic_,}set_preimage: drop ctx argument	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_map_intersect: reuse sample value of either...	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	add isl_int_ge	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_basic_set_has_defining_inequalities: fix typo	commit \| commitdiff \| tree
2009-03-20	Sven Verdoolaege	isl_constraint_div: perform required reference increase...	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	isl_basic_map: put inequalities before equalities	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	add isl_seq_normalize	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	isl_ctx.h: make FL_ISSET return a boolean value	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	rename F_ and FL_ macros to ISL_F_ and ISL_FL_ to avoid...	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	add isl_mat_swap_cols	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	isl_mat_dump: also indent NULL mat	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	add isl_calloc_type	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	isl_map_convex_hull: normalize map first	commit \| commitdiff \| tree
2009-03-08	Sven Verdoolaege	isl_set_preimage: clear ISL_SET_NORMALIZED flag	commit \| commitdiff \| tree
2009-02-23	Sven Verdoolaege	add isl_basic_map_detect_equalities	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_map_remove	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	export isl_basic_map_is_equal	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_basic_map_remove	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_dim_range	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_map_product	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_basic_map_add_constraint	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_dim_add	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	isl_map_piplib.c: isl_map_from_quast: properly keep...	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	change calling convention of isl_basic_map_{equal,less_at...	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_map_copy_basic_map and isl_map_drop_basic_map	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_map_from_range	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	add isl_map_fast_is_empty	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	change calling convention of isl_map_empty and add...	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	isl_map_intersect_{domain,range}: allow intersection...	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	isl_map_intersect: allow intersection with pure parameter...	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	isl_basic_map_affine_hull: fix search for integer points	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	isl_basic_map_overlying_set: don't add div constraints...	commit \| commitdiff \| tree
2009-02-22	Sven Verdoolaege	isl_dim.c: update n_name (only) when changing names	commit \| commitdiff \| tree
2009-02-15	Sven Verdoolaege	fix serious error in isl_mat_parameter_compression	commit \| commitdiff \| tree
2009-02-11	Sven Verdoolaege	export isl_basic_map_intersect_range	commit \| commitdiff \| tree
2009-02-11	Sven Verdoolaege	add isl_basic_map_floordiv	commit \| commitdiff \| tree
2009-02-11	Sven Verdoolaege	add isl_basic_map_fast_is_fixed	commit \| commitdiff \| tree
2009-02-11	Sven Verdoolaege	add isl_basic_map_neg	commit \| commitdiff \| tree
2009-02-11	Sven Verdoolaege	add isl_basic_map_sum	commit \| commitdiff \| tree
2009-02-10	Sven Verdoolaege	add isl_map_fix_si, a generalization of isl_basic_map_fix_in...	commit \| commitdiff \| tree
2009-02-04	Sven Verdoolaege	isl_map_simplify.c: remove_duplicate_divs: remove divs...	commit \| commitdiff \| tree
2009-02-04	Sven Verdoolaege	isl_basic_map_gauss: be careful not to introduce circular...	commit \| commitdiff \| tree
2009-02-04	Sven Verdoolaege	add functions for setting isl_divs	commit \| commitdiff \| tree
2009-02-04	Sven Verdoolaege	isl_map_from_quast: don't throw away any bottom leaves	commit \| commitdiff \| tree
2009-02-04	Sven Verdoolaege	isl_map_simplify.c: normalize_divs: fix use of variable...	commit \| commitdiff \| tree
2009-02-04	Sven Verdoolaege	isl_mat_variable_compression: fix use after free	commit \| commitdiff \| tree
2009-02-03	Sven Verdoolaege	isl_map_simplify.c: normalize_divs: ensure enough existentia...	commit \| commitdiff \| tree
2009-02-03	Sven Verdoolaege	isl_hash_table_remove: update number of entries	commit \| commitdiff \| tree
2009-01-22	Sven Verdoolaege	isl_map_simple_hull: plug memory leak	commit \| commitdiff \| tree
2009-01-09	Sven Verdoolaege	add std::ostream &operator<<(std::ostream &os, isl_int...	commit \| commitdiff \| tree
2009-01-08	Sven Verdoolaege	normalize divs involved in equalities	commit \| commitdiff \| tree
2009-01-08	Sven Verdoolaege	isl_map_underlying_set: drop names from dimesion in...	commit \| commitdiff \| tree
2009-01-06	Sven Verdoolaege	add isl_mat_parameter_compression	commit \| commitdiff \| tree
2009-01-06	Sven Verdoolaege	isl_equalities.c: extract and export isl_mat_variable_compre...	commit \| commitdiff \| tree
2009-01-06	Sven Verdoolaege	add isl_basic_set_is_empty	commit \| commitdiff \| tree
2009-01-06	Sven Verdoolaege	add isl_mat_right_kernel	commit \| commitdiff \| tree
2009-01-06	Sven Verdoolaege	add isl_mat_col_submul	commit \| commitdiff \| tree
2009-01-06	Sven Verdoolaege	add isl_seq_submul	commit \| commitdiff \| tree
2009-01-06	Sven Verdoolaege	isl_map_simplify.c: extract out simplify and related...	commit \| commitdiff \| tree
2009-01-06	Sven Verdoolaege	isl_constraint: add limited support for adding divs	commit \| commitdiff \| tree
2009-01-06	Sven Verdoolaege	change calling conventions of isl_basic_set_has_defining_...	commit \| commitdiff \| tree
2008-12-28	Sven Verdoolaege	add isl_basic_{set,map}_dim	commit \| commitdiff \| tree
2008-12-28	Sven Verdoolaege	isl_basic_map_gist: also exploit equalities in gisted set	commit \| commitdiff \| tree
2008-12-28	Sven Verdoolaege	isl_basic_map_overlying_set: simplify resulting basic map	commit \| commitdiff \| tree
2008-12-25	Sven Verdoolaege	isl_stream: properly reference ctx	commit \| commitdiff \| tree
2008-12-25	Sven Verdoolaege	isl_stream.c: extracted from isl_input_omega.c	commit \| commitdiff \| tree
2008-12-25	Sven Verdoolaege	add isl_basic_set_read_from_str	commit \| commitdiff \| tree
2008-12-24	Sven Verdoolaege	export isl_set_compute_divs	commit \| commitdiff \| tree
2008-12-24	Sven Verdoolaege	isl_basic_map_align_divs: check divs of src basic map...	commit \| commitdiff \| tree
2008-12-24	Sven Verdoolaege	isl_map_gist: ensure divs of map are known	commit \| commitdiff \| tree
2008-12-24	Sven Verdoolaege	isl_basic_map_compute_divs: only (re)compute divs if...	commit \| commitdiff \| tree
2008-12-24	Sven Verdoolaege	isl_basic_map_eliminate_vars: better handling of divs	commit \| commitdiff \| tree
2008-12-23	Sven Verdoolaege	add isl_div abstraction, similar to isl_constraint	commit \| commitdiff \| tree
2008-12-22	Sven Verdoolaege	isl_basic_set_compare_at: combine constraints before...	commit \| commitdiff \| tree
2008-12-22	Sven Verdoolaege	isl_map_underlying_set: align divs before calling this...	commit \| commitdiff \| tree
2008-12-22	Sven Verdoolaege	isl_basic_map_overlying_set: properly handle divs in...	commit \| commitdiff \| tree
2008-12-22	Sven Verdoolaege	isl_basic_map_align_divs: don't make assumptions on...	commit \| commitdiff \| tree
2008-12-22	Sven Verdoolaege	avoid increasing "extra" without also extending the...	commit \| commitdiff \| tree
2008-12-19	Sven Verdoolaege	add isl_set_universe	commit \| commitdiff \| tree
2008-12-19	Sven Verdoolaege	remove isl_ctx argument from functions accepting isl_dim...	commit \| commitdiff \| tree
2008-12-19	Sven Verdoolaege	isl_convex_hull.c: remove dead code	commit \| commitdiff \| tree
2008-12-15	Sven Verdoolaege	add isl_constraint_negate	commit \| commitdiff \| tree
2008-12-14	Sven Verdoolaege	add isl_basic_set_add_constraint for adding manually...	commit \| commitdiff \| tree
2008-12-14	Sven Verdoolaege	replace isl_basic_set_constraint by refcounted isl_constraint	commit \| commitdiff \| tree
next

Integer set library

RSS Atom