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
add isl_basic_set_max
2011-03-18
Sven
V
erdoolaege
isl_lp
.
c: avoid
c
lan
g
warning
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sv
e
n Ve
r
do
o
laege
i
s
l_stream_r
e
ad_map: a
c
cept floord and cei
l
d expressions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoo
l
aege
is
l
_
s
tre
a
m_read_map: accept min and max expr
e
ss
i
o
n
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
i
s
l
_
stream
_
rea
d
_ma
p
: properly read nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verdoolaege
isl_stre
a
m_rea
d
_
map: treat divs as
outp
u
t
variables
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Ve
r
doolaege
i
sl_map_c
o
a
lesce: plug
m
e
mory lea
k
on error path
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
Sven Verd
o
olaege
isl_mat_extend: a
v
oid memor
y
leak
w
he
n
realloc
fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven Verd
o
olaeg
e
isl_basic
_
map_overlying_set: avoid memo
r
y l
e
ak when
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
v
en Verdoolaege
isl
_
stream_getc:
avoid memory l
e
ak
w
hen reall
o
c fails
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-18
S
ven V
e
rdoolaeg
e
r
u
dim
e
ntary s
u
pport for asynchronous t
e
rmination
o
f
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sve
n
Verdoolaege
hide isl_ctx intern
a
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rd
o
olaege
isl_
v
ec_read
_
fr
o
m_file: drop input_fo
r
mat argu
m
ent
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdo
o
l
a
ege
isl_ma
p
.
c:
d
rop unused error la
b
el
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven V
e
rdoolaege
isl_input
.
c: drop unused erro
r
lab
e
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
ege
resp
e
ct DESTDIR when inst
a
l
l
ing isl
.
p
y
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
isl_s
t
re
a
m: accept "$" token
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n
V
erdoolaege
add isl_union_map_power
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
Verdoolaege
c
h
ange i
s
l_map_
p
owe
r
int
e
rfac
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoo
l
a
e
ge
a
d
d isl_u
n
i
o
n_map_zip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erd
o
o
l
aege
ad
d
private isl_ba
s
ic_ma
p
_s
w
ap_var
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven
Verdoolaege
add isl_un
i
on_map_deltas_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
S
ve
n
Verd
o
o
lae
g
e
Merge branch
'maint'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoolaeg
e
is
l
_map_delt
a
s
:
don't copy flags from in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sv
e
n Verdoolaege
isl_stream_read_map: accept constant expression
s
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
isl_str
e
a
m: acc
e
p
t "/
\
" and "\/"
a
s alternat
i
ves for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sve
n
Verdoolaege
isl_stream:
only quote newline using '\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verd
o
ola
e
ge
isl_s
t
ream: ma
i
ntain private ungetc buff
e
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven
V
erd
o
olaege
isl_set
_
lifting: simplify and fi
n
alize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
ven Verdoolaege
d
o
c: fix t
y
po
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
v
e
n Verdoolaege
do
c
: drop long outdated note
o
n
t
r
ans
i
ti
v
e
clo
s
ure
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven Verdoola
e
ge
add isl_basic_set_
g
et
_
dim_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
is
l
_
m
a
p
_identity:
take dimension
specifica
t
ion of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
e
rdoola
e
ge
rename isl
_
di
m
_map to isl_dim_map_
f
rom_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
S
v
en Ve
r
doolaege
transitive clo
s
u
re:
pr
o
ject
o
u
t par
a
meter
s
when any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaeg
e
privately exp
o
r
t
i
s
l_basic_set_r
e
se
t
_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoo
l
aege
isl_set_lif
t
: prese
r
ve structure o
f
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdoo
l
aege
isl_pw_qpoly
n
omial_bo
u
nd: handl
e
co
m
bi
n
ation of wrapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
V
er
d
oolaege
isl_ta
b
_p
i
p
.
c:
fix t
y
po
i
n
c
ommen
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sve
n
V
erdoolaeg
e
isl_tab: check for obviously empty tableau
s
after discoveri
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_basic_map_gist:
prefe
r
contraints without existentia
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdo
o
l
a
ege
isl_basic
_
map_sort_con
s
t
r
aints
:
change comp
a
riso
n
routine
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
S
v
en Ver
d
oolaege
isl_tab_i
n
eq_type: classify mor
e
c
on
s
traints as being
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoo
l
aege
isl
_
map_coales
c
e: be more relaxed about mul
t
iple equalities
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven
Verdoolaege
add isl_
b
a
s
i
c_map_from_do
m
ai
n
_
and_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdo
o
l
aege
ad
d
i
sl_basic_set_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaeg
e
add isl_basic_
s
et_fla
t
_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Verdoolaege
export
i
sl_basic_map_fl
a
tte
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add i
s
l_b
a
sic_map_from_
q
polynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_strea
m
: support \<
n
e
wline> l
i
ne continuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
oolaege
ad
d
i
sl_union_map_read
_
from_f
i
le
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Ver
d
o
ola
e
ge
i
sl_strea
m
_rea
d
_map:
accept 'tr
u
e' and '
f
als
e
'
c
onstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
ven Verd
o
olae
g
e
isl_stream_read_map: allow e
x
tr
a
';' at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolae
g
e
isl
_
stream_read_map:
allow n
e
ga
t
ion
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
i
sl_stream_read_map: allo
w
exi
s
tenti
a
l quantificatio
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoo
l
aege
pr
i
vat
e
ly expor
t
isl_basic_m
a
p_ad
d
_div_constr
a
i
n
ts_va
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolae
g
e
isl_mo
r
ph_basic_
s
et: preserve rationality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdool
a
ege
ad
d
i
s
l_basic_set_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdool
a
e
g
e
i
s
l_print
e
r_p
r
int_basic_
m
ap:
e
xpl
i
citly m
a
rk rational
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Verdoolaege
isl_stream_read_map:
r
ead rati
o
nal
maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n
Verdoolae
g
e
i
s
l
_basic_map_insert: preserve rationality of
i
nput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoo
l
aege
add isl_basic_m
a
p_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
i
s
l_basic_map
_
f
ast_cmp: differentiate b
e
tween rational
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdoolaege
isl_output
.
c: remove so
m
e code
d
uplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven
Ver
d
oolaege
isl
_
pri
n
ter_print_basic_
{
set,map}: don't s
t
art n
e
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdo
o
laege
isl_str
e
am_
r
e
a
d
_
m
a
p: acc
e
pt '|' at sta
r
t of
c
onstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
S
v
en Verdoolaege
isl_str
e
am: keep track of
textual representat
i
on
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verd
o
olaege
i
s
l_inpu
t
.
c: clean up read
_
disjunc
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sv
e
n Ve
r
doolaege
isl_stream_read_map:
acc
e
pt
dis
j
unc
t
ions within
a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Ve
r
doolaege
isl_con
v
ex_hull
.
c: explicit
l
y
mark wrappin
g
lp probl
e
m
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
S
v
en Verdoolaege
isl_tab_
m
in: micro-optimiz
a
tion:
postpo
n
e taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
a
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoola
e
ge
isl_tab_add_row:
add further expl
a
nation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl_tab
.
c: fix
t
ypos
in com
m
e
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl_tab_pip
.
c: correctly
d
e
t
ect n
o
n-n
e
gativity of div
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verd
o
ol
a
eg
e
a
d
d test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
t
e
st both
context han
d
ling mechani
s
ms of isl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
olaeg
e
i
sl_
t
ab_
i
s_equali
t
y: properly
support "bi
g
par
a
meter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolaeg
e
isl_tab_pip
.
c: fix typo in c
o
mment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rd
o
o
l
a
eg
e
i
sl
_
affi
n
e_hull
.
c:
f
ix typos
in
com
m
ents
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
doolae
g
e
isl_union_
m
a
p_comput
e
_fl
o
w
:
return
a
ccesses with
n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
V
e
rdoolaege
Merge b
r
anch 'main
t
'
commit
|
commitdiff
|
tree
2011-02-05
S
ven
V
e
rdoolaege
isl
_
union
_
map
.
c: in
p
l
a
ce
:
p
a
s
s
d
ata pointe
r
to
isl_has
h
_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolae
g
e
isl_dim_move: update
p
arameters of nest
e
d spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaeg
e
ad
d
is
l
_map_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n V
e
rd
o
o
l
aege
clea
n
up isl_set_fr
o
m_basic_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
merg
e
isl
_
basic_se
t
/isl
_
basic_map and isl_set/isl_
m
ap
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven
V
e
r
d
oolaege
rename "omega"
t
ransitive closure to "box"
trans
i
t
i
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
ool
a
ege
ex
p
o
r
t i
s
l
_int_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
ege
is
l
_vertic
e
s
.
c
:
f
i
x typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
isl_union_templ
.
c
:
fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_map_subtract
.
c: n
_
non_redundant:
p
ropage isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdool
a
e
ge
isl_be
r
nstein
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verd
o
olaege
a
dd isl_
u
nion_pw_qpolynomial_mul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
i
s
l_stream_re
a
d
_
o
bj: read
int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
add i
n
t ob
j
ects for use
in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
olaege
isl_basic_map_remove_divs: finalize resu
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdoolaeg
e
add
i
s
l
_basic_s
e
t_get_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n Ver
d
oolaege
Merge
b
r
anch
'
maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doolaege
isl_union_map_sample:
d
on'
t
return N
U
LL on e
m
pty i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolae
g
e
isl_b
a
s
i
c_map_set_tuple
_
name
:
fin
a
l
ize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
