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_input.c: accept_affine: fix memory leak on error path
2010-03-04
Sven V
e
r
d
oola
e
ge
i
s
l
_
i
n
pu
t
.
c: a
c
cept_affine: fix memor
y
leak
o
n
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doolaege
isl_map_intersect: detect empty r
e
sult
al
s
o in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdool
a
eg
e
isl_map
_
re
a
d: skip until
t
he end o
f
the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
isl_stream_next_to
k
en_on_same_line:
check
i
f
last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
doolaege
is
l
_set_wrap_facet: mak
e
sur
e
set is
mark
e
d rat
i
onal
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rd
o
olaege
isl_coalesce
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_read: acce
p
t list
o
f pred
i
c
a
ted elements
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdo
o
laeg
e
isl_m
a
p_read: extract
o
ut parsing of map
b
o
dy
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
a
e
g
e
is
l
_
m
ap_read: add dummy var
i
a
b
le name for unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olae
g
e
isl_stream:
a
cce
p
t ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
a
e
ge
use -O
1
optimizati
o
n l
e
vel for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n
V
erdoolaege
drop co
m
ma at the
e
nd of
e
nu
m
erat
i
ons i
n
inc
l
ud
e
files
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
i
sl_ma
p
_
r
e
ad: accept
affine combinations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoola
e
ge
isl_map_read: con
s
truct b
a
sic m
a
p while
r
eading
variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en V
e
rdoola
e
g
e
i
sl_map_print
:
add prime
s
t
o
duplic
a
te names
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl
_
map_tran
s
itive_c
l
osure:
improve
accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aeg
e
isl_map_transitive_c
l
osure: perform
ex
a
c
t
ness ch
e
ck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_
m
a
p
_
transitive_clo
s
u
re: reformu
l
ate
e
x
actness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdo
o
l
a
ege
add a
tra
n
s
i
tive clo
s
ur
e
exam
p
le from the O
m
ega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
isl
_
map_
t
ra
n
sitiv
e
_c
l
osur
e
:
compu
t
e
power on strong
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
a
e
ge
i
sl_map_
t
ransi
t
ive_cl
o
sure: intersect with d
o
main and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_map_tr
a
nsitive_
c
l
os
u
re: extract out construc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l_map_transiti
v
e
_
clos
u
re: move acy
c
licity
t
est up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
add
i
s
l
_set_lower_boun
d
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_print: use
c
onsistent names on all disjunc
t
s
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_cat: all
o
w speci
f
i
c
a
t
ion of output fo
r
mat o
n
co
m
ma
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verd
o
olaege
isl_map_p
r
int: support
I
SL_FORMAT_POLY
L
IB
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaeg
e
i
sl_m
a
p_
c
oa
l
esce: fix some
r
egressio
n
s
introduced
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verdo
o
laege
add isl_closur
e
t
es
t
application
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
add t
r
ans
i
ti
v
e
closure example from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ver
d
ool
a
ege
isl_map_t
r
ansitive_
c
losure: construct gen
e
r
al paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_
m
ap_tra
n
sitive_closur
e
: prepar
e
f
or the
co
n
st
r
u
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Ver
d
ool
a
ege
is
l
_map_tr
a
n
sitive_cl
o
sure: const
r
uct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl_tr
a
nsitiv
e
_closure: extract out const
r
uctio
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
d
oolaege
isl_map_tra
n
sitive_clos
u
r
e
: use
m
o
re generic
a
cy
c
licity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_
m
ap_pr
i
nt: add parent
h
e
s
e
s aro
u
nd di
s
j
u
n
cts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_hash_tab
l
e:
use si
z
e that cor
r
esponds to th
e
number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
i
s
l
_hash_ta
b
le
:
grow t
a
ble
when
we ru
n
out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map_coalesce: only
u
s
e non-
r
edu
n
dant
c
onstraint
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Verdoolaege
add isl_set_
f
ix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_map_read: a
c
cept chai
n
s of compa
r
isons
commit
|
commitdiff
|
tree
2010-02-10
Sven
Verd
o
olaege
export isl
_
m
ap_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdoolaege
isl_map_
r
ead: forget e
x
istentially qu
a
n
tifie
d
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
e
rdoolaege
i
s
l_inp
u
t
.
c: remove
nee
d
l
ess i
n
dir
e
cti
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: d
o
c
ument how to inspect sets a
n
d
relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
expo
r
t
i
s
l
_
m
ap_c
o
mpute_di
v
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_constrai
n
t_div: ma
k
e sure reque
s
t
ed div
is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolaege
d
oc:
drop do
c
u
m
entation of _dump func
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolaege
isl_map_print:
improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
a
dd isl_basic_map_foreac
h
_c
o
nstr
a
int
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aeg
e
i
s
l_
m
ap_coalesce: han
d
le more ca
s
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rd
o
ol
a
ege
p
rivately exp
o
rt isl_s
e
t_
w
rap_
f
acet
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoo
l
aeg
e
isl_convex_hu
l
l
.
c: wrap_facet:
a
l
low unbou
n
ded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoola
e
ge
doc: im
p
r
ove decription of isl_map_transit
i
v
e_closure
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdool
a
ege
isl_map_transitiv
e
_closure:
i
mprove test for exactnes
s
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdo
o
laege
add a counter
example for T
h
eorem
1
o
f the COCOA
p
aper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
ola
e
ge
add i
s
l
_
map_lower_bound
_
si
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
isl_map
_
power: c
o
alesce domain
a
nd
range
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdoolaege
isl_flow
.
c:
add missing isl_access_info_free r
e
t
u
rn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
isl_
c
oalesce
.
c
: f
i
x typo
i
n
c
o
mment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaeg
e
in
c
lud
e
/i
s
l
_
i
n
t
.
h
:
a
r
gumen
t
of
mp_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read:
accept lists of affi
n
e
expr
e
ssions
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
add isl_mat_from_ro
w
_vec
a
nd isl
_
mat_ve
c
_con
c
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
i
s
l_m
a
p_rea
d
: read extended
p
olyli
b
form
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n V
e
rdoolaege
add
isl_stream
_
next_token_on_sam
e
_line
commit
|
commitdiff
|
tree
2010-02-04
S
ve
n
Verdool
a
ege
i
sl_map_read: make sure polylib
constraint c
o
efficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdool
a
e
ge
is
l
_{m
a
p
,
set}_
d
i
m
: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdo
o
laege
i
sl_map_read:
use more
un
i
form way of reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolae
g
e
isl_
t
r
ansitive_closure
.
c: f
i
x typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map
_
transitive_closure:
u
s
e m
o
re relaxed exactn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
d
d i
s
l_
m
ap_power and i
s
l_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl_map_subtract
.
c: mak
e
som
e
i
n
ternal function
s
static
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoo
l
a
ege
add generic isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaeg
e
add isl_
{
map
,
set}
_
add
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
rename isl_{map,set}_add to i
s
l_{
m
ap,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
olaege
isl_set_project
_
out: always update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
e
rdoolaege
isl_di
m
_join: don't require n
a
mes of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
dool
a
eg
e
add
i
sl_map_from_domain_a
n
d_rang
e
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
e
rdo
o
laege
i
sl_stream: treat "-" as operat
o
r r
a
ther than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ve
r
doolaeg
e
isl_map_re
a
d: accept
"
strict" inequ
a
lit
i
es
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_input
.
c: f
i
x
memory de
a
l
location p
r
oblem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
add dep
e
ndence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
add isl_map_{partial
_
,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doola
e
ge
add private isl_{s
e
t,map
}
_m
a
ke_
d
isjoin
t
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdo
o
laege
basi
s
_redu
c
tion_templ
.
c: fix t
y
po in c
o
mme
n
t
commit
|
commitdiff
|
tree
2010-01-31
S
ve
n
Verdoolaege
isl_tab_pip
.
c: f
i
nd_s
o
lu
t
i
o
ns:
b
reak whe
n
co
n
text bec
o
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
d
o
olaege
i
s
l_dim_equal:
don't require
n
ames of input and
o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
is
l
_dim_map:
p
r
operly dup
l
icate
n
am
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
g
e
isl_dim_drop:
p
ro
p
erly adjust
l
ength of na
m
es a
r
ray
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
doc: a
b
it more
o
n in
t
ege
r
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
do
c
: describe
i
nput/
o
utput
formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
ol
a
ege
add i
s
l_cat t
e
st
a
pplicati
o
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
add omega o
u
t
p
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verd
o
olaege
add
i
s
l out
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl
_
t
e
st: use isl_set_re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaeg
e
add i
s
l_set_read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
l
aege
add isl_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olae
g
e
isl
_
m
ap_
r
ead_f
r
o
m
_file: allow unio
n
s i
n
i
s
l format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verd
o
ol
a
e
g
e
isl_ba
s
i
c_map_
r
e
ad: re
a
d definitio
n
s of exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
next