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
hide isl_ctx internals
2011-03-16
Sv
e
n
Ve
r
do
o
laege
h
i
de isl_ctx internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verd
o
olaege
i
sl_vec
_
read_f
r
o
m
_file: drop inp
u
t
_format argument
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sven Ve
r
doolaege
i
s
l_map
.
c
:
drop unused error
l
abel
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
S
v
en Ve
r
doolaege
isl_input
.
c
: drop unus
e
d
error labe
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-15
Sve
n
Verdoolaege
respect DESTDIR
when
ins
t
all
i
ng is
l
.
py
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Ve
r
doolaeg
e
i
sl_stream:
a
ccept "$" token
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Verdoolaege
add isl_
u
nion_map_power
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven V
e
rd
o
ol
a
ege
change isl_map_powe
r
interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
S
ven Ver
d
oola
e
ge
add isl_u
n
ion_map_zi
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdool
a
ege
add
private isl_basic_map_sw
a
p
_vars
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven V
e
r
doo
l
a
ege
a
d
d
isl_
u
n
ion_map_delt
a
s_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-10
Sven
Verdoo
l
a
e
ge
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-03-10
S
v
e
n Verdoolaege
isl_map
_
delt
a
s:
d
on't copy flags fr
o
m input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
V
e
r
do
o
laege
i
s
l_str
e
am_r
e
a
d
_m
a
p: a
c
cep
t
c
onstant expressions
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolae
g
e
isl_stream:
a
ccept "/\"
a
nd "\/" as
a
l
t
ernatives
for
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
S
ven Verd
o
ola
e
ge
isl_stre
a
m: only quote newline using '\'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-05
Sven
Verdoolaege
isl_s
t
rea
m
: m
a
in
t
ain pri
v
ate ungetc buffer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven V
e
rdoo
l
aege
isl
_
set_lifting:
simpl
i
fy
a
nd finaliz
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verd
o
olaege
doc: fi
x
typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-02
Sve
n
Verdoo
l
aege
doc: drop long
outda
t
ed no
t
e on transi
t
ive
closures
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-03-01
S
v
en Verdool
a
ege
add isl_b
a
sic_set_ge
t
_dim_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sve
n
Verdoo
l
aege
i
s
l_m
a
p_i
d
e
ntity: take
d
imension specif
i
cation o
f
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdool
a
ege
ren
a
m
e
i
s
l_dim_map to
i
s
l_dim
_
map_from_set
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verd
o
olaege
transitive clos
u
re:
p
roject out par
a
meters when any
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verd
o
olaege
pri
v
ately e
x
port
isl_basic_set_reset_dim
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdoo
l
a
e
ge
i
s
l_set_
l
ift:
p
r
e
serve s
t
ructure of space
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_pw_qpolyno
m
ial
_
bound: handle co
m
bination of wrappi
n
g
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
S
ven Verdoolaege
isl_tab_pip
.
c
:
f
ix
typo i
n
comment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Ve
r
doolaege
isl_tab:
c
h
e
ck for o
b
viously
empty tableaus after di
s
cov
e
r
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_
b
asic_map_
g
ist: prefer
co
n
train
t
s withou
t
e
x
ist
e
ntially
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-20
Sven Verdoolaege
isl_
b
as
i
c_map_sort_constr
a
int
s
:
change
c
omparison r
o
utine
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven V
e
rdoolaege
isl_tab_ineq_
t
ype
:
classify
m
ore constraints as being
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdo
o
laege
isl_
m
ap_co
a
lesc
e
: be mo
r
e relaxed abo
u
t multiple equali
t
ies
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolae
g
e
add isl_basic_map
_
from_do
m
a
i
n
_and_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sve
n
Verd
o
ol
a
ege
ad
d
isl_basi
c
_set_n
e
g
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaeg
e
add isl_basic_set_flat_pr
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven
V
erd
o
o
laege
export isl_basic_map_flatten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verd
o
ol
a
ege
add isl_basic_m
a
p
_fro
m
_qpolynom
i
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
V
erdoo
l
aege
isl_stream: support \<ne
w
l
ine
>
line c
o
nti
n
uation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdoolaege
a
d
d isl_union_map_read_fr
o
m_file
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
e
n
V
e
r
doolaege
i
s
l
_
st
r
ea
m
_
r
ead_map: accept
'
t
rue
'
and
'
false' constraints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sv
e
n
V
erdoolaege
isl_stream_r
e
ad_ma
p
: all
o
w e
x
tra
'
;' at end of
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
e
n Verdoolaege
i
s
l_stream_
r
ead_map: allow negations
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoo
l
aege
isl_stream_read_m
a
p
:
allow e
x
istential quantificatio
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-17
S
v
e
n
Ve
r
dool
a
eg
e
pr
i
vately export isl_ba
s
ic_map_add_di
v
_c
o
ns
t
raint
s
_var
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdo
o
laege
isl_mo
r
ph
_
b
a
s
ic_se
t
: preserve rationality
o
f
inp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdoolaege
add isl_basi
c
_set_is_rational
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ve
r
doolaeg
e
isl
_
printer_print_
b
a
sic_map: expli
c
itly mark
ra
t
io
n
al
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
isl_stream_read
_
ma
p
: r
e
ad rati
o
nal
m
aps
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
rdoolaege
isl_basic_map_ins
e
rt: preserve rational
i
ty
o
f input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoolaeg
e
ad
d
isl
_
ba
s
i
c
_map_set_ra
t
ional
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verd
o
olaege
isl_ba
s
ic_map
_
f
a
st_
c
mp: di
f
ferentia
t
e between rational
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oolaege
i
s
l_o
u
tpu
t
.
c: rem
o
v
e some code duplica
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
i
s
l
_pri
n
ter_print_bas
i
c
_
{
s
et,map}: don't start new
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
isl
_
stream_read_ma
p
:
accept '|' a
t
start of con
s
traints
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verd
o
olae
g
e
isl_stream: keep track of textua
l
r
e
pre
s
entation of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ver
d
oolae
g
e
i
sl_i
n
pu
t
.
c:
c
lean up read_disjunc
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-11
S
ven
V
erdoolaege
isl
_
s
tream_re
a
d_map: accept disjuncti
o
ns within a conjun
c
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
S
v
en Verdoolaege
isl_
c
onv
e
x
_
hull
.
c: exp
l
i
citly ma
r
k wrap
p
ing l
p
problem
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaeg
e
is
l
_tab_min: micro-
o
p
t
imizati
o
n:
post
p
one
t
ak
i
n
g into
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdoolaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
doolaege
isl_tab_add_
r
ow:
a
d
d
f
urther explanation
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoola
e
ge
i
s
l_t
a
b
.
c
:
fix typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
isl
_
tab_p
i
p
.
c: correc
t
ly detect no
n
-negativity of divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
e
rdoo
l
ae
g
e
add tes
t
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
test both context handling mec
h
anisms of
i
sl_pip
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl
_
tab_is
_
equalit
y
:
pr
o
perly su
p
port "big parameter
"
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aeg
e
isl_
t
ab_pip
.
c: fix ty
p
o in com
m
e
n
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_affine_hu
l
l
.
c: fix
t
ypos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
V
e
rdoolaege
isl_
u
nio
n
_map_compute_flow
:
re
t
urn accesses
w
ith
n
o
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge branch 'maint
'
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
r
d
ool
a
ege
isl_union_map
.
c: inplace: pass data pointer
t
o i
s
l
_hash_
t
abl
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdo
o
l
a
ege
isl_dim_move: update parameters of nested spaces
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ver
d
oo
l
aege
a
dd
isl_map_nat_un
i
verse
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
S
v
e
n
V
erd
o
o
l
aege
clean up isl_set_fr
o
m
_bas
i
c
_s
e
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
doolaege
merge
is
l
_basic_s
e
t
/
i
s
l_basic_map and isl
_
set/isl_map
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-26
S
v
e
n Ve
r
doolaege
r
en
a
me "
o
mega" tran
s
itive closure to "box
"
transitive
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdool
a
ege
export isl_int_obj_fre
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
V
erdo
o
laege
isl_vertices
.
c: fix typo
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_union_te
m
pl
.
c: fix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
isl_
m
ap_
s
ubtrac
t
.
c:
n_non
_
redund
a
nt:
p
ropage isl_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
i
sl_bernstein
.
c: f
i
x
t
ypo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
add
isl_union_p
w
_
q
p
olynomial_mul_
i
sl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
isl_
s
tre
a
m_
r
ead_obj: read int
o
bj
e
cts
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdoolaege
a
dd int objects for use in isc
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verd
o
o
laege
isl_basic_m
a
p_remove_div
s
: finaliz
e
result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
ad
d
isl_ba
s
ic_set_get_tu
p
l
e
_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sv
e
n
Verdoolaege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdoolaege
i
sl_union_map_sa
m
ple: don't return
NULL on
e
m
pty inpu
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl
_
bas
i
c_ma
p
_s
e
t
_tuple_
n
ame: f
i
n
a
lize re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven V
e
rdoolaege
isl_transitive_closur
e
.
c: more anon
y
mize input
map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
S
v
en
Verdoolaege
isl_
b
asic_se
t
_fact
o
rizer: make sure group infor
m
ation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en
V
erdoolaege
add
isl_
u
nion_map_rang
e
_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Verdoolaege
doc: d
o
c
u
ment pro
d
uct
functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
Verdoolaege
rename isl_basic_set_product to isl_basic_set_list_p
r
o
duct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoolae
g
e
isl_
s
et_c
o
nv
e
x
_
h
u
l
l
: option
a
lly
u
s
e
Fourier-Motzkin
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
isl_basic_set_sa
m
ple_point:
e
x
ploit f
a
cto
r
ization if any
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ver
d
oolaege
add isl_morph_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
chang
e
prototype
o
f
isl_vec_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
o
o
lae
g
e
a
dd isl_printer_pr
i
nt_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next