projects
/
platform
/
upstream
/
isl.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
isl_input.c: obj_read: start off from parameter space
[platform/upstream/isl.git]
/
isl_tab.c
2011-09-03
Sven Verdoolaege
rename isl_dim to isl_space
blob
|
commitdiff
2011-07-08
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-06-29
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-06-23
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-06-18
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-06-04
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-05-25
Sven Verdoolaege
mark some functions as (possibly) unused
blob
|
commitdiff
|
diff to current
2011-05-25
Sven Verdoolaege
isl_tab.c: avoid warning about unhandled enumeration...
blob
|
commitdiff
|
diff to current
2011-05-25
Sven Verdoolaege
isl_tab.c: remove unused variable
blob
|
commitdiff
|
diff to current
2011-05-20
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-05-05
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-04-27
Sven Verdoolaege
rename isl_mat_dump to isl_mat_print_internal
blob
|
commitdiff
|
diff to current
2011-04-25
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-04-21
Sven Verdoolaege
change prototype of isl_tab_dump
blob
|
commitdiff
|
diff to current
2011-04-19
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-04-19
Sven Verdoolaege
isl_tab: alway free saved basis undo record
blob
|
commitdiff
|
diff to current
2011-03-18
Sven Verdoolaege
rudimentary support for asynchronous termination of...
blob
|
commitdiff
|
diff to current
2011-03-10
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-02-21
Sven Verdoolaege
isl_tab: check for obviously empty tableaus after disco...
blob
|
commitdiff
|
diff to current
2011-02-19
Sven Verdoolaege
isl_tab_ineq_type: classify more constraints as being...
blob
|
commitdiff
|
diff to current
2011-02-10
Sven Verdoolaege
isl_tab_min: micro-optimization: postpone taking into...
blob
|
commitdiff
|
diff to current
2011-02-05
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-02-05
Sven Verdoolaege
isl_tab_add_row: add further explanation
blob
|
commitdiff
|
diff to current
2011-02-05
Sven Verdoolaege
isl_tab.c: fix typos in comments
blob
|
commitdiff
|
diff to current
2011-02-05
Sven Verdoolaege
isl_tab_pip.c: correctly detect non-negativity of divs...
blob
|
commitdiff
|
diff to current
2011-02-05
Sven Verdoolaege
isl_tab_is_equality: properly support "big parameter"
blob
|
commitdiff
|
diff to current
2011-02-05
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-01-22
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-01-16
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-01-07
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-01-05
Sven Verdoolaege
Merge commit 'isl-0.05.1'
blob
|
commitdiff
|
diff to current
2010-12-29
Sven Verdoolaege
rename isl_*_dump to isl_*_print_internal
blob
|
commitdiff
|
diff to current
2010-11-20
Sven Verdoolaege
Rename headers from isl_header.h to isl/header.h
blob
|
commitdiff
|
diff to current
2010-09-04
Sven Verdoolaege
add public API for matrices
blob
|
commitdiff
|
diff to current
2010-06-26
Sven Verdoolaege
isl_tab_rollback: avoid double free on error path
blob
|
commitdiff
|
diff to current
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
next