isl.git
2009-09-06 Sven Verdoolaegeisl 0.01isl-0.01
2009-09-06 Sven Verdoolaegeadd a rudimentary manual
2009-09-06 Sven Verdoolaegeadd some memory management annotations
2009-09-06 Sven Verdoolaegeexport isl_basic_set_project_out
2009-09-06 Sven Verdoolaegeisl_basic_set_normalize_constraints: add missing return
2009-09-06 Sven Verdoolaegeisl_map_simplify.c: remove unused variables
2009-09-06 Sven Verdoolaegeisl_map.c: remove unused variables
2009-09-06 Sven Verdoolaegeisl_basic_set_get_hash: initialize hash value
2009-09-06 Sven Verdoolaegeisl_affine_hull.c: remove unused variable
2009-09-06 Sven Verdoolaegeisl_hash.c: remove unused variable
2009-09-06 Sven Verdoolaegeisl_lp.c: add missing include
2009-09-06 Sven Verdoolaegeisl_equalities.c: drop redundant error handling
2009-09-06 Sven Verdoolaegeisl_equalities.c: remove unused variable
2009-09-06 Sven Verdoolaegeisl_convex_hull.c: remove unused variables
2009-09-06 Sven Verdoolaegeisl_constraint.c: remove unused variables
2009-09-06 Sven Verdoolaegeisl_tab.c: sign_of_min: only pivot back if we performed...
2009-09-06 Sven Verdoolaegeisl_tab.c: isl_tab_mark_redundant: fix up error return
2009-09-06 Sven Verdoolaegeisl_tab.c: remove unused variables
2009-09-06 Sven Verdoolaegeisl_tab_pip.c: remove unused variables
2009-09-06 Sven Verdoolaegeisl_vec.c: remove unused variable
2009-09-06 Sven Verdoolaegeisl_test.c: remove unused variable
2009-09-06 Sven Verdoolaegeisl_assert: validate all arguments and fix up fallout
2009-09-06 Sven Verdoolaegepolyhedron_sample.c: add missing include
2009-09-06 Sven Verdoolaegeisl_pip.c: check return value of fscanf
2009-09-06 Sven Verdoolaegepolyhedron_minimize.c: handle all enumeration values...
2009-09-06 Sven Verdoolaegeconfigure.ac: set maximal optimization compiler flags
2009-09-06 Sven Verdoolaegeisl_set_copy_basic_set: add missing return
2009-09-06 Sven Verdoolaegeisl_set_drop_basic_set: add missing return
2009-09-06 Sven Verdoolaegeisl_set_coalesce: add missing return
2009-09-06 Sven Verdoolaegeisl_coalesce.c: add missing include
2009-09-06 Sven Verdoolaegeisl_test: check srcdir has been set
2009-09-06 Sven Verdoolaegeprivately export isl_tab_kill_col
2009-09-06 Sven Verdoolaegeisl_tab.c: fix up to_col
2009-09-06 Sven Verdoolaegeisl_tab_pip.c: add missing include
2009-09-06 Sven Verdoolaegeisl_vec.c: add missing include
2009-09-06 Sven Verdoolaegeexport isl_seq_cmp
2009-09-06 Sven Verdoolaegefix return type of isl_constraint_free
2009-09-06 Sven Verdoolaegeexport isl_token_free and isl_stream_error
2009-09-06 Sven Verdoolaegeisl_list.c: add missing include
2009-09-06 Sven Verdoolaegeisl_div.c: add missing include
2009-09-06 Sven Verdoolaegeisl_constraint.c: add missing include
2009-09-06 Sven Verdoolaegebasis_reduction_tab.c: add missing include
2009-09-06 Sven Verdoolaegeisl_map_no_piplib.c: add missing include
2009-09-06 Sven Verdoolaegeax_create_stdint_h.m4: protect some limits from redefin...
2009-09-06 Sven Verdoolaegepolytope_scan.c: add missing include
2009-09-06 Sven Verdoolaegefix return type of isl_div_free
2009-09-06 Sven Verdoolaegeisl_map_simplify.c: drop return from void function
2009-09-06 Sven Verdoolaegeisl_map_simplify.c: add missing include
2009-09-06 Sven Verdoolaegeisl_convex_hull.c: use isl_seq_get_hash instead of...
2009-09-06 Sven Verdoolaegedeclare flexarrays of size 1 to silence sun compiler
2009-09-06 Sven Verdoolaegechange isl_basic_map_empty interface for consistency
2009-09-06 Sven VerdoolaegeAX_SUBMODULE: mention default type of library to use
2009-09-06 Sven Verdoolaegeconfigure.ac: use AX_SUBMODULE for gmp for consistency
2009-09-06 Sven Verdoolaegeseparate out config header from isl_ctx.h
2009-09-04 Sven Verdoolaegepilp solver: don't ignore feasibility test on context
2009-09-01 Sven Verdoolaegeisl_basic_map_gauss: try not to remove any div definitions
2009-08-30 Sven Verdoolaegeadd isl_map_sum
2009-08-30 Sven Verdoolaegeadd isl_map_floordiv
2009-08-30 Sven Verdoolaegeadd isl_map_neg
2009-08-30 Sven Verdoolaegeadd isl_map_is_strict_subset
2009-08-30 Sven Verdoolaegeadd isl_map_fast_is_fixed
2009-08-30 Sven Verdoolaegeadd isl_map_identity_like
2009-08-30 Sven Verdoolaegerename isl_map_identity_like to isl_map_identity_like_b...
2009-08-28 Sven Verdoolaegeadd isl_polytope_scan application
2009-08-28 Sven Verdoolaegeisl_seq_normalize: use pre-allocated temporary variable...
2009-08-28 Sven Verdoolaegeadd isl_vec_normalize
2009-08-28 Sven Verdoolaegeisl_seq_normalize: no need to scale down by one
2009-08-28 Sven Verdoolaegeadd isl_polyhedron_minimize application
2009-08-28 Sven Verdoolaegeadd generalized basis reduction based ILP solver
2009-08-28 Sven Verdoolaegeadd isl_vec_mat_product
2009-08-28 Sven Verdoolaegeexport isl_vec_ceil
2009-08-28 Sven Verdoolaegeisl_basic_set_sample: only perform basis reduction...
2009-08-28 Sven Verdoolaegerename isl_solve_lp to isl_basic_{map,set}_solve_lp
2009-08-28 Sven Verdoolaegeisl_solve_lp: optionally return solution point
2009-08-28 Sven Verdoolaegeexport isl_vec header
2009-08-28 Sven Verdoolaegeadd isl_int_fdiv_q_ui
2009-08-28 Sven Verdoolaegeadd isl_vec_read_from_file
2009-08-28 Sven Verdoolaegeisl_basic_map_drop_redundant_divs: also investigate...
2009-08-28 Sven Verdoolaegeisl_basic_map_apply_{domain,range}: drop redundant...
2009-08-28 Sven Verdoolaegeisl_map_simplify.c: fix typo in comment
2009-08-28 Sven Verdoolaegeisl_basic_set_project_out: drop redundant divs in result
2009-08-28 Sven Verdoolaegeisl_basic_map_remove: only drop divs if basic map did...
2009-08-13 Sven Verdoolaegeisl_basic_map_detect_equalities: explicitly keep track...
2009-08-13 Sven Verdoolaegeisl_basic_map_extend_dim: keep hold of sample if dimens...
2009-08-09 Sven Verdoolaegeisl_tab_min: read off all information from tableau...
2009-08-09 Sven Verdoolaegeisl_tab_add_valid_eq: keep track of whether equality...
2009-08-07 Sven Verdoolaegeconfigure.ac: no longer use piplib by default
2009-08-07 Sven Verdoolaegeadd an internal parametric integer linear program solver
2009-08-07 Sven Verdoolaegeisl_mat_extend: make sure the number of rows never...
2009-08-07 Sven Verdoolaegeisl_affine_hull.c: only construct affine hull in bounde...
2009-08-07 Sven Verdoolaegeisl_tab: add support for keeping track of samples
2009-08-07 Sven Verdoolaegeisl_tab: optionally keep track of row signs
2009-08-07 Sven Verdoolaegeisl_tab: add isl_basic_set field for optionally keeping...
2009-08-07 Sven Verdoolaegeisl_tab: introduce support for "big parameters"
2009-08-07 Sven Verdoolaegeisl_tab: allow introduction of extra variables
2009-08-07 Sven Verdoolaegeisl_tab: introduce parameters and divs
2009-08-07 Sven Verdoolaegeisl_tab.h: fix typo in comment
2009-08-07 Sven Verdoolaegeisl_tab: allow saving and restoring the complete basis
2009-08-07 Sven Verdoolaegeisl_tab: privately export some functionality
2009-08-07 Sven Verdoolaegeisl_tab: store undo argument in a union for future...
next