projects
/
platform
/
upstream
/
isl.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
isl_polytope_scan: use isl_tab_from_basic_set
2009-10-09
Sven Verdoolaege
isl_polytope_scan: use isl_tab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out isl_tab_reduced_basis from isl_basic_set_reduce...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
basis_reduction_tab.c: use isl_tab_product to construct...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
add isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_set_reduced_basis: fix value in directions...
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_set_reduced_basis: fix up documentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
basis_reduction_tab.c: keep track of con_offset instead...
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_add_valid_eq: add special treatment for manifestly...
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_extend_cons: check tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename isl_tab_detect_equalities to isl_tab_detect_implicit_...
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_from_recession_cone: take basic set instead...
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_ilp.c: separate out solve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_sample.c: basic_set_sample: remember boundedness...
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_polyhedron_detect_equalities test application
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_basic_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_allocate_con: add extra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_sample.c: basic_set_reduced: fix typo preventing...
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: simplify result
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privately export isl_basic_set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privately export isl_basic_set_sample_with_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_basic_set_underlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab.c: close_row: push undo record for setting...
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_mat_vec_inverse_product
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_int_divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
add isl_set_dim_residue_class
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoolaege
fix long standing bug in isl_mat_inverse_product
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_basic_map_foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_foreach_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
isl_dim_size: check argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
export isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_map_foreach_basic_map
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
configure.ac: fix cut-and-paste error in original commit
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_int_get_si
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
export isl_set_sample
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_basic_set_universe_like_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_is_strict_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
add isl_set_universe_like
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX_SUBMODULE: set PKG_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
create pkg-config file
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX_SUBMODULE: drop options that are meaningless given...
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
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
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
next