projects
/
platform
/
upstream
/
isl.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge branch 'maint'
[platform/upstream/isl.git]
/
doc
/
manual.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-06-19
Sven Verdoolaege
add isl_version
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-15
Sven Verdoolaege
isl_map_transitive_closure: use Floyd-Warshall on disjo...
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-03-14
Sven Verdoolaege
document transitive closure implementation
blob
|
commitdiff
|
diff to current
2009-09-06
Sven Verdoolaege
add a rudimentary manual
blob
|
commitdiff
|
diff to current