Public Git Hosting - isl.git/search

2009-09-06	Sven Verdoolaege	isl 0.01	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	add a rudimentary manual	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	add some memory management annotations	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	export isl_basic_set_project_out	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_basic_set_normalize_constraints: add missing return	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_map_simplify.c: remove unused variables	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_map.c: remove unused variables	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_basic_set_get_hash: initialize hash value	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_affine_hull.c: remove unused variable	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_hash.c: remove unused variable	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_lp.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_equalities.c: drop redundant error handling	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_equalities.c: remove unused variable	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_convex_hull.c: remove unused variables	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_constraint.c: remove unused variables	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_tab.c: sign_of_min: only pivot back if we performed...	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_tab.c: isl_tab_mark_redundant: fix up error return	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_tab.c: remove unused variables	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_tab_pip.c: remove unused variables	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_vec.c: remove unused variable	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_test.c: remove unused variable	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_assert: validate all arguments and fix up fallout	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	polyhedron_sample.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_pip.c: check return value of fscanf	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	polyhedron_minimize.c: handle all enumeration values...	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	configure.ac: set maximal optimization compiler flags	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_set_copy_basic_set: add missing return	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_set_drop_basic_set: add missing return	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_set_coalesce: add missing return	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_coalesce.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_test: check srcdir has been set	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	privately export isl_tab_kill_col	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_tab.c: fix up to_col	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_tab_pip.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_vec.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	export isl_seq_cmp	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	fix return type of isl_constraint_free	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	export isl_token_free and isl_stream_error	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_list.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_div.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_constraint.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	basis_reduction_tab.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_map_no_piplib.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	ax_create_stdint_h.m4: protect some limits from redefinition	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	polytope_scan.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	fix return type of isl_div_free	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_map_simplify.c: drop return from void function	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_map_simplify.c: add missing include	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	isl_convex_hull.c: use isl_seq_get_hash instead of...	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	declare flexarrays of size 1 to silence sun compiler	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	change isl_basic_map_empty interface for consistency	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	AX_SUBMODULE: mention default type of library to use	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	configure.ac: use AX_SUBMODULE for gmp for consistency	commit \| commitdiff \| tree
2009-09-06	Sven Verdoolaege	separate out config header from isl_ctx.h	commit \| commitdiff \| tree
2009-09-04	Sven Verdoolaege	pilp solver: don't ignore feasibility test on context	commit \| commitdiff \| tree
2009-09-01	Sven Verdoolaege	isl_basic_map_gauss: try not to remove any div definitions	commit \| commitdiff \| tree
2009-08-30	Sven Verdoolaege	add isl_map_sum	commit \| commitdiff \| tree
2009-08-30	Sven Verdoolaege	add isl_map_floordiv	commit \| commitdiff \| tree
2009-08-30	Sven Verdoolaege	add isl_map_neg	commit \| commitdiff \| tree
2009-08-30	Sven Verdoolaege	add isl_map_is_strict_subset	commit \| commitdiff \| tree
2009-08-30	Sven Verdoolaege	add isl_map_fast_is_fixed	commit \| commitdiff \| tree
2009-08-30	Sven Verdoolaege	add isl_map_identity_like	commit \| commitdiff \| tree
2009-08-30	Sven Verdoolaege	rename isl_map_identity_like to isl_map_identity_like_basic_map	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	add isl_polytope_scan application	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	isl_seq_normalize: use pre-allocated temporary variable...	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	add isl_vec_normalize	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	isl_seq_normalize: no need to scale down by one	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	add isl_polyhedron_minimize application	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	add generalized basis reduction based ILP solver	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	add isl_vec_mat_product	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	export isl_vec_ceil	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	isl_basic_set_sample: only perform basis reduction...	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	rename isl_solve_lp to isl_basic_{map,set}_solve_lp	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	isl_solve_lp: optionally return solution point	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	export isl_vec header	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	add isl_int_fdiv_q_ui	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	add isl_vec_read_from_file	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	isl_basic_map_drop_redundant_divs: also investigate...	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	isl_basic_map_apply_{domain,range}: drop redundant...	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	isl_map_simplify.c: fix typo in comment	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	isl_basic_set_project_out: drop redundant divs in result	commit \| commitdiff \| tree
2009-08-28	Sven Verdoolaege	isl_basic_map_remove: only drop divs if basic map did...	commit \| commitdiff \| tree
2009-08-13	Sven Verdoolaege	isl_basic_map_detect_equalities: explicitly keep track...	commit \| commitdiff \| tree
2009-08-13	Sven Verdoolaege	isl_basic_map_extend_dim: keep hold of sample if dimension...	commit \| commitdiff \| tree
2009-08-09	Sven Verdoolaege	isl_tab_min: read off all information from tableau...	commit \| commitdiff \| tree
2009-08-09	Sven Verdoolaege	isl_tab_add_valid_eq: keep track of whether equality...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	configure.ac: no longer use piplib by default	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	add an internal parametric integer linear program solver	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_mat_extend: make sure the number of rows never...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_affine_hull.c: only construct affine hull in bounded...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_tab: add support for keeping track of samples	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_tab: optionally keep track of row signs	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_tab: add isl_basic_set field for optionally keeping...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_tab: introduce support for "big parameters"	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_tab: allow introduction of extra variables	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_tab: introduce parameters and divs	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_tab.h: fix typo in comment	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_tab: allow saving and restoring the complete basis	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_tab: privately export some functionality	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_tab: store undo argument in a union for future...	commit \| commitdiff \| tree
next

Integer set library

RSS Atom