projects
/
platform
/
upstream
/
isl.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
isl_map_simplify.c: remove_dependent_vars: handle NULL input
[platform/upstream/isl.git]
/
doc
/
implementation.tex
2011-07-08
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
2011-06-29
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
2011-06-23
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
2011-06-18
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
2011-06-04
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
2011-05-20
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
2011-05-05
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
2011-04-25
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
2011-04-21
Sven Verdoolaege
doc: add a note on the accuracy of our approximation
blob
|
commitdiff
2011-03-18
Sven Verdoolaege
doc: add some implementation details on parametric...
blob
|
commitdiff
|
diff to current
2011-03-10
Sven Verdoolaege
Merge branch 'maint'
blob
|
commitdiff
|
diff to current
2011-02-25
Sven Verdoolaege
transitive closure: project out parameters when any...
blob
|
commitdiff
|
diff to current
2010-07-02
Sven Verdoolaege
doc: fix some typos
blob
|
commitdiff
|
diff to current
2010-06-28
Sven Verdoolaege
doc: fix typo
blob
|
commitdiff
|
diff to current
2010-06-28
Sven Verdoolaege
doc: use more explicit notation to avoid confusion
blob
|
commitdiff
|
diff to current
2010-06-21
Sven Verdoolaege
isl_map_transitive_closure: check whether decomposition...
blob
|
commitdiff
|
diff to current
2010-04-23
Sven Verdoolaege
isl_map_transitive_closure: use simple hull in omega...
blob
|
commitdiff
|
diff to current
2010-04-23
Sven Verdoolaege
isl_map_transitive_closure: try and compute closure...
blob
|
commitdiff
|
diff to current
2010-04-21
Sven Verdoolaege
doc: document simple hull
blob
|
commitdiff
|
diff to current
2010-04-21
Sven Verdoolaege
doc: emphasize that we are dealing with integer sets
blob
|
commitdiff
|
diff to current
2010-04-15
Sven Verdoolaege
isl_map_transitive_closure: use Floyd-Warshall on disjo...
blob
|
commitdiff
|
diff to current
2010-04-15
Sven Verdoolaege
doc: fix typos
blob
|
commitdiff
|
diff to current
2010-04-13
Sven Verdoolaege
doc: cite Omega library documentation on computation...
blob
|
commitdiff
|
diff to current
2010-04-10
Sven Verdoolaege
isl_map_closure: optionally use Omega-like algorithm
blob
|
commitdiff
|
diff to current
2010-04-07
Sven Verdoolaege
isl_map_transitive_closure: handle existentials
blob
|
commitdiff
|
diff to current
2010-04-01
Sven Verdoolaege
isl_map_transitive_closure: break early if input map...
blob
|
commitdiff
|
diff to current
2010-04-01
Sven Verdoolaege
isl_map_transitive_closure: coalesce after each step
blob
|
commitdiff
|
diff to current
2010-03-25
Sven Verdoolaege
doc: fix transitive closure example
blob
|
commitdiff
|
diff to current
2010-03-14
Sven Verdoolaege
document transitive closure implementation
blob
|
commitdiff
|
diff to current