repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_map_transitive_closure: reformulate exactness test in terms of extended paths
2010-02-18
Sven Verdoolaege
i
sl_m
a
p_transi
t
i
v
e
_closu
r
e: reformulate
exactness
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verd
o
olaege
add isl_
s
et_l
o
wer_bound_si
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdo
o
laege
add isl_po
l
y
tope_scan ap
p
l
i
cation
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
aege
isl_affine_hull
.
c
: use tableau to detect implicit equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add interna
l
representat
i
on of
LP tablea
u
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_b
a
sic_set_h
a
s
_
def
i
n
i
n
g_inequalit
i
e
s
: fix
t
y
p
o
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add i
s
l
_
m
ap_r
e
move
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Verdoolaege
a
d
d isl_
d
im_add
commit
|
commitdiff
|
tree
