projects
/
platform
/
upstream
/
isl.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
fix isl_basic_map_move_dims in presence of existentially quantified variables
[platform/upstream/isl.git]
/
isl_tab.c
2010-06-26
Sven Verdoolaege
isl_tab_rollback: avoid double free on error path
blob
|
commitdiff
2010-06-26
Sven Verdoolaege
isl_tab.c: tab_mat_product: avoid NULL pointer dereference
blob
|
commitdiff
|
diff to current
2010-06-26
Sven Verdoolaege
isl_tab_extend_cons: avoid NULL pointer dereference
blob
|
commitdiff
|
diff to current
2010-06-26
Sven Verdoolaege
isl_tab_add_valid_eq: return int instead of isl_tab *
blob
|
commitdiff
|
diff to current
2010-06-26
Sven Verdoolaege
isl_tab_min: avoid NULL pointer dereference
blob
|
commitdiff
|
diff to current
2010-06-26
Sven Verdoolaege
isl_tab.c: close_row: fix error handling
blob
|
commitdiff
|
diff to current
2010-06-26
Sven Verdoolaege
isl_tab_add_eq: return int instead of isl_tab *
blob
|
commitdiff
|
diff to current
2010-06-25
Sven Verdoolaege
isl_tab.c: fix typos
blob
|
commitdiff
|
diff to current
2010-06-19
Sven Verdoolaege
add rudimentary error reporting mechanism
blob
|
commitdiff
|
diff to current
2010-06-12
Sven Verdoolaege
isl_tab_detect_implicit_equalities: also detect manifes...
blob
|
commitdiff
|
diff to current
2010-06-12
Sven Verdoolaege
isl_tab: optionally only mark strictly redundant rows
blob
|
commitdiff
|
diff to current
2010-06-12
Sven Verdoolaege
isl_tab_detect_implicit_equalities: return integer...
blob
|
commitdiff
|
diff to current
2010-06-12
Sven Verdoolaege
add isl_tab_sign_of_max
blob
|
commitdiff
|
diff to current
2010-06-12
Sven Verdoolaege
isl_tab_select_facet: return int instead of isl_tab *
blob
|
commitdiff
|
diff to current
2010-06-12
Sven Verdoolaege
export isl_set_is_bounded
blob
|
commitdiff
|
diff to current
2010-05-30
Sven Verdoolaege
fix some icc warnings
blob
|
commitdiff
|
diff to current
2010-04-23
Sven Verdoolaege
isl_tab_rollback: restore rows that are no longer marke...
blob
|
commitdiff
|
diff to current
2010-04-02
Sven Verdoolaege
isl_tab_min_at_most_neg_one: restore sample value of...
blob
|
commitdiff
|
diff to current
2010-04-02
Sven Verdoolaege
isl_tab.c: update debugging aid check_table to presence...
blob
|
commitdiff
|
diff to current
2010-04-02
Sven Verdoolaege
isl_tab_relax: make sure no non-negative rows get a...
blob
|
commitdiff
|
diff to current
2010-03-30
Sven Verdoolaege
isl_tab.c: unrelax: restore row if variable is non...
blob
|
commitdiff
|
diff to current
2010-03-30
Sven Verdoolaege
isl_tab.c: cut_to_hyperplane: add extra sanity check
blob
|
commitdiff
|
diff to current
2010-03-04
Sven Verdoolaege
extract isl_tab_add_div from isl_tab_pip.c
blob
|
commitdiff
|
diff to current
2010-01-08
Sven Verdoolaege
isl_basic_map_update_from_tab: re-gauss resulting bmap
blob
|
commitdiff
|
diff to current
2009-12-16
Sven Verdoolaege
add copyright statements
blob
|
commitdiff
|
diff to current
2009-12-07
Sven Verdoolaege
isl_tab: keep track of isl_basic_map instead of isl_bas...
blob
|
commitdiff
|
diff to current
2009-12-07
Sven Verdoolaege
isl_tab_detect_redundant: return status instead of...
blob
|
commitdiff
|
diff to current
2009-12-07
Sven Verdoolaege
isl_tab: add isl_tab_freeze_constraint
blob
|
commitdiff
|
diff to current
2009-11-29
Sven Verdoolaege
isl_tab_add_ineq and isl_tab_mark_empty: return status...
blob
|
commitdiff
|
diff to current
2009-11-01
Sven Verdoolaege
isl_tab: row is only (obviously) redundant if it does...
blob
|
commitdiff
|
diff to current
2009-10-16
Sven Verdoolaege
isl_tab: support generic undo records
blob
|
commitdiff
|
diff to current
2009-10-12
Sven Verdoolaege
mark some functions as requiring use of return value
blob
|
commitdiff
|
diff to current
2009-10-12
Sven Verdoolaege
isl_tab: improved error handling
blob
|
commitdiff
|
diff to current
2009-10-12
Sven Verdoolaege
isl_tab_pip.c: incrementally build recession cone of...
blob
|
commitdiff
|
diff to current
2009-10-09
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: remove samples that...
blob
|
commitdiff
|
diff to current
2009-10-09
Sven Verdoolaege
isl_tab.c: extract out samples handling from isl_tab_pip.c
blob
|
commitdiff
|
diff to current
2009-10-09
Sven Verdoolaege
isl_tab_compute_reduced_basis: handle unbounded directi...
blob
|
commitdiff
|
diff to current
2009-10-09
Sven Verdoolaege
isl_tab: keep (in)equalities of bset (if any) in sync
blob
|
commitdiff
|
diff to current
2009-10-09
Sven Verdoolaege
isl_tab_compute_reduced_basis: allow incremental comput...
blob
|
commitdiff
|
diff to current
2009-10-09
Sven Verdoolaege
add isl_tab_product
blob
|
commitdiff
|
diff to current
2009-10-08
Sven Verdoolaege
add isl_tab_add_eq
blob
|
commitdiff
|
diff to current
2009-10-08
Sven Verdoolaege
isl_tab_add_valid_eq: add special treatment for manifes...
blob
|
commitdiff
|
diff to current
2009-10-08
Sven Verdoolaege
isl_tab_extend_cons: check tab argument
blob
|
commitdiff
|
diff to current
2009-10-08
Sven Verdoolaege
rename isl_tab_detect_equalities to isl_tab_detect_impl...
blob
|
commitdiff
|
diff to current
2009-10-08
Sven Verdoolaege
isl_tab_from_recession_cone: take basic set instead...
blob
|
commitdiff
|
diff to current
2009-10-07
Sven Verdoolaege
isl_tab_allocate_con: add extra assertion
blob
|
commitdiff
|
diff to current
2009-10-07
Sven Verdoolaege
isl_tab.c: close_row: push undo record for setting...
blob
|
commitdiff
|
diff to current
2009-09-09
Sven Verdoolaege
isl_tab.c: cut_to_hyperplane: do nothing if selected...
blob
|
commitdiff
|
diff to current
2009-09-08
Sven Verdoolaege
isl_tab_dup: avoid out-of-bounds array access
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
isl_tab.c: sign_of_min: only pivot back if we performed...
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
isl_tab.c: isl_tab_mark_redundant: fix up error return
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
isl_tab.c: remove unused variables
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
isl_tab.c: fix up to_col
blob
|
commitdiff
|
diff to current
2009-08-28
Sven Verdoolaege
isl_seq_normalize: use pre-allocated temporary variable...
blob
|
commitdiff
|
diff to current
2009-08-28
Sven Verdoolaege
add isl_vec_normalize
blob
|
commitdiff
|
diff to current
2009-08-28
Sven Verdoolaege
isl_solve_lp: optionally return solution point
blob
|
commitdiff
|
diff to current
2009-08-09
Sven Verdoolaege
isl_tab_min: read off all information from tableau...
blob
|
commitdiff
|
diff to current
2009-08-09
Sven Verdoolaege
isl_tab_add_valid_eq: keep track of whether equality...
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
isl_tab: add support for keeping track of samples
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
isl_tab: optionally keep track of row signs
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
isl_tab: add isl_basic_set field for optionally keeping...
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
isl_tab: introduce support for "big parameters"
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
isl_tab: allow introduction of extra variables
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
isl_tab: introduce parameters and divs
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
isl_tab: allow saving and restoring the complete basis
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
isl_tab: privately export some functionality
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
isl_tab: store undo argument in a union for future...
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
isl_tab_pivot: fix typo that prevented normalization...
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
isl_tab: store index of variable in undo record instead...
blob
|
commitdiff
|
diff to current
2009-08-04
Sven Verdoolaege
add isl_tab_dup
blob
|
commitdiff
|
diff to current
2009-08-04
Sven Verdoolaege
isl_tab.c: mark_redundant: only mark variable nonneg...
blob
|
commitdiff
|
diff to current
2009-08-04
Sven Verdoolaege
isl_tab.c: to_row: allow pivoting in arbitrary direction
blob
|
commitdiff
|
diff to current
2009-08-04
Sven Verdoolaege
isl_tab.c: simplify code by letting mark_empty return tab
blob
|
commitdiff
|
diff to current
2009-08-04
Sven Verdoolaege
isl_tab.c: simplify add_eq
blob
|
commitdiff
|
diff to current
2009-08-04
Sven Verdoolaege
isl_tab.c: extract allocate_con
blob
|
commitdiff
|
diff to current
2009-07-20
Sven Verdoolaege
isl_tab_cone_is_bounded: start over after computing...
blob
|
commitdiff
|
diff to current
2009-07-16
Sven Verdoolaege
isl_tab: drop isl_ctx argument where not absolutely...
blob
|
commitdiff
|
diff to current
2009-07-16
Sven Verdoolaege
isl_mat: keep track of isl_ctx
blob
|
commitdiff
|
diff to current
2009-07-15
Sven Verdoolaege
isl_tab.c: fix typo in comment
blob
|
commitdiff
|
diff to current
2009-07-15
Sven Verdoolaege
export isl_tab_sample_is_integer
blob
|
commitdiff
|
diff to current
2009-07-13
Sven Verdoolaege
isl_tab: don't create new undo records during rollback
blob
|
commitdiff
|
diff to current
2009-07-13
Sven Verdoolaege
isl_tab_min: use general rollback mechanism
blob
|
commitdiff
|
diff to current
2009-07-13
Sven Verdoolaege
isl_tab: optionally save dual solution
blob
|
commitdiff
|
diff to current
2009-07-13
Sven Verdoolaege
isl_tab: add isl_tab_add_valid_eq
blob
|
commitdiff
|
diff to current
2009-05-06
Sven Verdoolaege
isl_tab.c: add isl_tab_get_sample_value
blob
|
commitdiff
|
diff to current
2009-05-05
Sven Verdoolaege
isl_tab.c: fix typo in comment
blob
|
commitdiff
|
diff to current
2009-03-23
Sven Verdoolaege
isl_tab.c: store number of equalities among the constra...
blob
|
commitdiff
|
diff to current
2009-03-20
Sven Verdoolaege
isl_tab.c: don't detect equalities while setting up...
blob
|
commitdiff
|
diff to current
2009-03-20
Sven Verdoolaege
add internal representation of LP tableaus
blob
|
commitdiff
|
diff to current