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: improve accuracy by copying some mixed delta constraints
2010-02-18
Sven Verdoo
l
aege
i
sl_map_transit
i
ve_closure: i
m
prove
ac
c
uracy b
y
copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
ge
isl_map_transit
i
ve_clos
u
re: p
e
rfo
r
m exactn
e
ss check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verd
o
olaege
i
s
l_map_
t
ransitive_
c
l
o
sure: reformulat
e
exac
t
ness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laege
add isl_s
e
t
_
l
o
wer_bound_si
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add is
l
_pol
y
tope_scan application
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_a
f
fine_hull
.
c: use t
a
bleau
to detect implicit equal
i
ties
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
ad
d
inter
n
al re
p
res
e
nta
t
io
n
of LP tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
isl_basic
_
set_has_defining_inequal
i
ti
e
s: fix ty
p
o
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
olaege
add isl_map_remove
commit
|
commitdiff
|
tree
2009-02-22
Sv
e
n Ver
d
ool
a
ege
a
d
d isl_dim_add
commit
|
commitdiff
|
tree