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_read: extract out parsing of map body
2010-02-19
Sven Verdoolaeg
e
isl_map_read: extrac
t
out
parsing of
map body
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaege
is
l
_map_
r
ead: ad
d
d
u
m
my vari
a
ble
n
ame fo
r
unnamed va
r
iables
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaege
isl_stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoo
l
aege
u
s
e
-
O1 optimiz
a
tion le
v
e
l
for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoo
l
aege
d
r
op comma at the end of
enu
m
erations in include
files
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_read: accept affine combina
t
ions
of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
i
sl_map
_
read: construc
t
b
a
sic map while rea
d
ing
v
aria
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
e
rdoolae
g
e
isl_map_print: add primes to d
u
plica
t
e names
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_
t
ransitive_clo
s
u
r
e:
improve accurac
y
by
copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
r
d
o
o
laeg
e
isl
_
map_transitive_closure: perform exactness che
c
k
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdool
a
e
ge
isl_
m
ap_transitive_
c
losure
:
reformulate exactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verd
o
ol
a
ege
add a transitiv
e
cl
o
s
u
re example f
r
om the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
e
g
e
isl
_
map_transitive_clo
s
ur
e
:
compute powe
r
on str
o
n
g
ly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en
Verdoolaege
isl_m
a
p_transitive_closur
e
: intersect wit
h
domain
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
i
s
l_map_
t
ransitive_closure: extract o
u
t constructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
erdoolae
g
e
i
s
l_
m
ap
_
transitive_closur
e
: move a
c
yclicity test
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoola
e
g
e
ad
d
i
s
l
_se
t
_
lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_print: use consisten
t
n
a
mes on all dis
j
u
nct
s
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
er
d
oolaeg
e
isl_cat:
allow
s
pecification of
output for
m
at on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Ve
r
doolaege
isl_m
a
p_print: su
p
port
I
SL_FORMA
T
_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl
_
map_coales
c
e: fix
s
ome regres
s
ions
introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoola
e
ge
add isl_closure test application
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
V
erdoolaeg
e
add
t
ran
s
itive closure exampl
e
from Kell
y
's 1996 p
a
pe
r
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdo
o
laege
isl_map_trans
i
tive_closu
r
e: co
n
struct g
e
n
e
ral paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl
_
map_tr
a
nsitive_cl
o
sure: prepar
e
f
o
r
the
c
onst
r
uctio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
isl_map_tran
s
itive_clo
s
ure
:
co
n
s
t
ruct paths t
h
at can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_transitive_closure: extract out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n V
e
rdoolaege
isl
_
m
a
p_transitive_closure:
u
se more gene
r
ic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verd
o
olaeg
e
isl_ma
p
_print: add parentheses around di
s
ju
n
cts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aeg
e
i
s
l_hash_t
a
ble: use
size t
h
at co
r
r
e
s
p
onds to the n
u
m
ber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
i
sl_ha
s
h_table:
grow table
when we run out of en
t
ri
e
s
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdool
a
ege
isl_map_coalesc
e
: only use non-redundant con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add i
s
l_set_f
i
x_si
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdoolaege
isl_map_read: accept chains of
c
omparisons
commit
|
commitdiff
|
tree
2010-02-10
S
ve
n
Verdoola
e
ge
expo
r
t isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verdoolaege
isl_
m
ap_read: forget existential
l
y quanti
f
i
ed va
r
iable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
e
rd
o
ola
e
ge
i
s
l_input
.
c: remove needless i
n
direc
t
ion
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc:
d
o
c
u
ment ho
w
to inspect se
t
s
a
nd relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export is
l
_m
a
p
_comp
u
te_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
ege
i
sl_constra
i
nt_div: make sur
e
r
eques
t
ed
d
iv is
a
known div
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Ve
r
doolaege
doc: drop documentation of _dump
functi
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoola
e
ge
a
d
d is
l
_basic_map_foreach_const
r
ain
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_m
a
p_coale
s
ce
:
handl
e
more case
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolae
g
e
pr
i
vatel
y
export
i
s
l
_set_
w
rap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
oolaege
isl
_
convex
_
hul
l
.
c:
w
r
ap_facet: allow unbounded fac
e
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
doc:
i
mprove decript
i
on o
f
isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolae
g
e
isl_
m
ap_t
r
ansitive_cl
o
su
r
e
:
improve
test for exactnes
s
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
ad
d
a counter example for Theorem 1
o
f the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl_m
a
p_
p
owe
r
: coalesce
d
om
a
in and
r
ange
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_flow
.
c: add missing isl_acces
s
_
i
n
fo_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
olaege
isl_coalesce
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdo
o
lae
g
e
i
n
clud
e
/isl_
i
nt
.
h
:
arg
u
m
e
nt of m
p
_get
_
memory_f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
do
o
laege
i
sl_map_
r
ead: accep
t
l
i
sts
o
f affine
e
xpre
s
sions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
add isl_m
a
t_f
r
om_row_vec and isl_mat_vec_
c
oncat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verd
o
olaege
i
sl_map_
r
ea
d
: read extende
d
polylib f
o
rmat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add
is
l
_stre
a
m_next_token_
o
n
_same
_
line
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
Verdo
o
laege
isl_map_rea
d
: m
a
ke
s
u
r
e polylib c
o
nstraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_{ma
p
,s
e
t}_
d
im: handl
e
NU
L
L input
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
isl_map_re
a
d: use more uniform way of reading
i
n polyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Ve
r
do
o
laege
i
s
l_tr
a
nsitive_c
l
o
s
ure
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_
t
ran
s
itiv
e
_
c
lo
s
ure
:
us
e
m
ore r
e
la
x
ed
e
x
actness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
a
d
d isl_
m
ap_
p
o
w
er an
d
i
s
l
_map_tra
n
sitive
_
closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_subtract
.
c: make some inter
n
al func
t
ions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
add
gene
r
i
c isl_map_
p
roject_out
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolae
g
e
add
i
sl_{map
,
se
t
}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
rena
m
e isl_{map,se
t
}_add to isl_{map,set}
_
add_ba
s
ic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolae
g
e
isl
_
set_proj
e
ct_out
:
a
l
way
s
update
d
imen
s
io
n
, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolae
g
e
isl
_
d
im_join: don't
r
equire names of j
o
in
e
d variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n V
e
r
doolae
g
e
ad
d
isl_map_from_
d
omain_and_ran
g
e
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
Verdoolaeg
e
isl_
s
tream: treat "
-
" as operator rather
t
han as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
isl_map_re
a
d: accept "strict" inequalit
i
es
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
is
l
_in
p
u
t
.
c: fix me
m
or
y
deallocat
i
on pr
o
b
l
em
o
n mis
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
add
i
sl_map_{partia
l
_,}lexop
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
a
d
d priva
t
e
i
s
l_{set,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basis_reduct
i
on_templ
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
is
l
_tab_pip
.
c: find_solutio
n
s: break when
c
onte
x
t
bec
o
me
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oo
l
aege
isl_
d
im_
e
q
u
al: don't require na
m
es of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_
m
a
p: properly duplicate na
m
es
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdool
a
ege
isl_dim_
d
ro
p
: properly adju
s
t length of nam
e
s array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
o
laege
d
oc: a bit more on
int
e
gers
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
rdoolaege
doc: describe i
n
put
/
o
utput f
o
rmats
commit
|
commitdiff
|
tree
2010-01-26
S
ven V
e
rdoolaege
doc
:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
a
dd
i
sl_cat test
application
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rdoolaege
add omega ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
add is
l
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oola
e
ge
isl_test:
u
se
isl_set_
r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
a
dd isl_se
t
_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
add isl_map_rea
d
_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
e
rd
o
olae
g
e
isl_map_re
a
d_from_fi
l
e: a
l
low unio
n
s
i
n isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
i
sl_
b
a
sic_map_read: rea
d
definitions o
f
ex
i
stenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
e
g
e
privately export isl_basic_map_ad
d
_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_map_rea
d
:
read
a
ffine constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
i
s
l_input
.
c:
optionally
read paramet
e
rs fro
m
input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tokenizer: acce
p
t "and"
k
e
yword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_m
a
p_read
_
from_f
i
le
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
d
o
olaege
export isl_b
a
sic
_
ma
p
_read_f
r
o
m
_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
V
erdoolae
g
e
dr
o
p redundant inp
u
t
_format argument from reading functions
commit
|
commitdiff
|
tree
next