projects
/
platform
/
upstream
/
isl.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
isl_tab.c: push_union: handle NULL input
[platform/upstream/isl.git]
/
isl_tab_pip.c
2010-01-24
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: properly handle empty...
blob
|
commitdiff
|
diff to current
2009-12-24
Sven Verdoolaege
isl_tab_pip.c: add cuts for all non-integer coordinates...
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-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_basic_map_partial_lexopt: use context constrain...
blob
|
commitdiff
|
diff to current
2009-11-01
Sven Verdoolaege
isl_tab_pip.c: ignore dead columns when checking integr...
blob
|
commitdiff
|
diff to current
2009-10-21
Sven Verdoolaege
put options in a separate isl_options structure
blob
|
commitdiff
|
diff to current
2009-10-21
Sven Verdoolaege
isl_tab_pip: keep cache of partial solutions
blob
|
commitdiff
|
diff to current
2009-10-16
Sven Verdoolaege
isl_tab_pip: don't free isl_sol on error condition
blob
|
commitdiff
|
diff to current
2009-10-16
Sven Verdoolaege
isl_tab_pip.c: remove some code duplication between...
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-12
Sven Verdoolaege
isl_tab_pip.c: propagate some equalities from gbr conte...
blob
|
commitdiff
|
diff to current
2009-10-10
Sven Verdoolaege
isl_tab_pip.c: detect equalities in gbr context on...
blob
|
commitdiff
|
diff to current
2009-10-10
Sven Verdoolaege
isl_tab_pip: use generalized basis reduction based...
blob
|
commitdiff
|
diff to current
2009-10-10
Sven Verdoolaege
isl_tab_pip: add generalized basis reduction based...
blob
|
commitdiff
|
diff to current
2009-10-09
Sven Verdoolaege
isl_tab_pip.c: extract out context handling
blob
|
commitdiff
|
diff to current
2009-10-09
Sven Verdoolaege
isl_tab_pip.c: add_div: use more reliable way to test...
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: keep (in)equalities of bset (if any) in sync
blob
|
commitdiff
|
diff to current
2009-10-07
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: simplify result
blob
|
commitdiff
|
diff to current
2009-10-07
Sven Verdoolaege
privately export isl_basic_set_add_{in,}eq
blob
|
commitdiff
|
diff to current
2009-10-02
Sven Verdoolaege
add isl_basic_map_foreach_lexmin
blob
|
commitdiff
|
diff to current
2009-09-13
Sven Verdoolaege
make some internal functions static
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
isl_tab_pip.c: remove unused variables
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
isl_assert: validate all arguments and fix up fallout
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
isl_tab_pip.c: add missing include
blob
|
commitdiff
|
diff to current
2009-09-04
Sven Verdoolaege
pilp solver: don't ignore feasibility test on context
blob
|
commitdiff
|
diff to current
2009-08-28
Sven Verdoolaege
add isl_vec_normalize
blob
|
commitdiff
|
diff to current
2009-08-07
Sven Verdoolaege
add an internal parametric integer linear program solver
blob
|
commitdiff
|
diff to current