Public Git Hosting - isl.git/search

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
2009-08-07	Sven Verdoolaege	add isl_basic_set_sample_bounded	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	privately export isl_basic_set_order_divs	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_map_simplify.c: remove_dependent_vars: only remove...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_basic_map_compute_divs: use isl_basic_set_lexmin...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_pip_basic_map_compute_divs: don't turn divs into...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	privately export isl_basic_map_swap_div	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_{set,map}_add: don't add obviously empty basic...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	combine isl_pip_basic_map_lex{min,max} into isl_pip_basic_ma...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	make piplib headers private	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_mat: keep track of the actual number of columns...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_tab_pivot: fix typo that prevented normalization...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	add isl_basic_set_positive_orthant	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	add isl_basic_set_partial_lex{min,max}	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	rename isl_basic_map_lex{min,max} to isl_basic_map_partial_l...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	add isl_basic_set_free_div	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_set_dim: support isl_dim_all	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	isl_tab: store index of variable in undo record instead...	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	add isl_{set,map}_grow	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	add isl_map_get_dim	commit \| commitdiff \| tree
2009-08-07	Sven Verdoolaege	add isl_basic_map_get_dim	commit \| commitdiff \| tree
2009-08-04	Sven Verdoolaege	add isl_tab_dup	commit \| commitdiff \| tree
2009-08-04	Sven Verdoolaege	export isl_mat_dup	commit \| commitdiff \| tree
2009-08-04	Sven Verdoolaege	isl_tab.c: mark_redundant: only mark variable nonneg...	commit \| commitdiff \| tree
2009-08-04	Sven Verdoolaege	isl_tab.c: to_row: allow pivoting in arbitrary direction	commit \| commitdiff \| tree
2009-08-04	Sven Verdoolaege	isl_tab.c: simplify code by letting mark_empty return tab	commit \| commitdiff \| tree
2009-08-04	Sven Verdoolaege	add isl_seq_last_non_zero	commit \| commitdiff \| tree
2009-08-04	Sven Verdoolaege	isl_tab.c: simplify add_eq	commit \| commitdiff \| tree
2009-08-04	Sven Verdoolaege	isl_tab.c: extract allocate_con	commit \| commitdiff \| tree
2009-07-22	Sven Verdoolaege	privately export isl_basic_set_set_rational	commit \| commitdiff \| tree
2009-07-22	Sven Verdoolaege	configure.ac: explicitly set AC_CONFIG_AUX_DIR	commit \| commitdiff \| tree
2009-07-21	Sven Verdoolaege	convex_hull: coalesce set during facet computation	commit \| commitdiff \| tree
2009-07-21	Sven Verdoolaege	isl_map_coalesce: don't drop rational flag from result...	commit \| commitdiff \| tree
2009-07-20	Sven Verdoolaege	isl_tab_cone_is_bounded: start over after computing...	commit \| commitdiff \| tree
2009-07-19	Sven Verdoolaege	isl_basic_set_dim_residue_class: only set *modulo to...	commit \| commitdiff \| tree
2009-07-18	Sven Verdoolaege	add isl_basic_set_fast_dim_is_fixed	commit \| commitdiff \| tree
2009-07-16	Sven Verdoolaege	isl_tab: drop isl_ctx argument where not absolutely...	commit \| commitdiff \| tree
2009-07-16	Sven Verdoolaege	isl_mat: keep track of isl_ctx	commit \| commitdiff \| tree
2009-07-16	Sven Verdoolaege	isl_basic_set_sample: don't project out lineality space...	commit \| commitdiff \| tree
2009-07-15	Sven Verdoolaege	isl_basic_map_fix_pos: micro-optimization	commit \| commitdiff \| tree
2009-07-15	Sven Verdoolaege	move isl_basic_set_skew_to_positive_orthant to isl_sample.c	commit \| commitdiff \| tree
2009-07-15	Sven Verdoolaege	isl_tab.c: fix typo in comment	commit \| commitdiff \| tree
2009-07-15	Sven Verdoolaege	isl_basic_set_sample: break early if sample found in...	commit \| commitdiff \| tree
2009-07-15	Sven Verdoolaege	export isl_tab_sample_is_integer	commit \| commitdiff \| tree
2009-07-15	Sven Verdoolaege	isl_basic_set_sample: check sample stored by isl_basic_map_i...	commit \| commitdiff \| tree
2009-07-15	Sven Verdoolaege	isl_basic_map_is_empty: remove stale sample	commit \| commitdiff \| tree
2009-07-15	Sven Verdoolaege	add isl_polyhedron_sample application	commit \| commitdiff \| tree
2009-07-15	Sven Verdoolaege	introduce generalized basis reduction based sampling	commit \| commitdiff \| tree
2009-07-15	Sven Verdoolaege	add isl_seq_cdiv_q	commit \| commitdiff \| tree
2009-07-15	Sven Verdoolaege	isl_sample.c: interval_sample: drop redundant argument	commit \| commitdiff \| tree
2009-07-15	Sven Verdoolaege	isl_sample.c: clean up handling of lineality space	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_sample.c: extract out sample_eq	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_sample.c: interval_sample: handle equalities directly	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_sample.c: extract out empty_sample	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_sample.c: generalize point_sample to zero_sample	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_tab: don't create new undo records during rollback	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_tab_min: use general rollback mechanism	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_tab: optionally save dual solution	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_tab: add isl_tab_add_valid_eq	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	export isl_tab_alloc	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	add isl_int_le	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	privately export isl_basic_set_recession_cone	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_convex_hull.c: add missing assignment	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	privately export isl_basic_set_lineality_space	commit \| commitdiff \| tree
2009-07-13	Sven Verdoolaege	isl_vec: keep track of isl_ctx	commit \| commitdiff \| tree
2009-07-12	Sven Verdoolaege	isl_coalesce.c: fix typo	commit \| commitdiff \| tree
2009-06-13	Sven Verdoolaege	update piplib for change in configure arguments	commit \| commitdiff \| tree
next

Integer set library

RSS Atom