projects
/
platform
/
upstream
/
isl.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add isl_map_neg
[platform/upstream/isl.git]
/
isl_tab.h
2009-08-09
Sven Verdoolaege
isl_tab_add_valid_eq: keep track of whether equality...
blob
|
commitdiff
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