projects
/
platform
/
upstream
/
isl.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
doc: document isl_constraint_is_equality
[platform/upstream/isl.git]
/
isl_tab.h
2010-03-04
Sven Verdoolaege
extract isl_tab_add_div from isl_tab_pip.c
blob
|
commitdiff
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-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-10
Sven Verdoolaege
add isl_tab_detect_equalities
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_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
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-09-06
Sven Verdoolaege
privately export isl_tab_kill_col
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
add an internal parametric integer linear program solver
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.h: fix typo in comment
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: store index of variable in undo record instead...
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-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: 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-07-13
Sven Verdoolaege
export isl_tab_alloc
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-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