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
rudimentary support for asynchronous termination of computations
2011-03-18
Sve
n
Verdoolaege
rudime
n
tary support fo
r
asy
n
chronous terminati
o
n of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-16
Sven Verdoola
e
ge
hide isl_ctx internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven Verdool
a
ege
isl_vec_read_fro
m
_
f
ile: drop inp
u
t
_
format argument
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verdoolaege
isl_map
.
c:
drop un
u
sed erro
r
label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sven
Verdool
a
ege
isl_in
p
u
t
.
c
:
drop unu
s
ed error label
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-15
Sv
e
n
V
erdoolaege
respect DESTDIR when instal
l
ing isl
.
py
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sv
e
n Ver
d
oolaege
isl_stream:
a
ccept
"
$" t
o
ken
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven
V
erdoolaege
add isl_union_map_powe
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoolae
g
e
ch
a
nge isl
_
map_power in
t
erface
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sven Verdoo
l
aege
add
i
sl_union_ma
p
_zi
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-12
Sve
n
Verdoolaege
add pri
v
ate isl
_
basic_map_swap_vars
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sv
e
n Verdoolaege
add is
l
_union_map_delt
a
s_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoo
l
a
ege
Merge branch 'm
a
int
'
commit
|
commitdiff
|
tree
2011-03-10
Sven Verdoola
e
ge
isl_map_deltas: don't copy flags from input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoolaege
i
s
l_s
t
ream_read_m
a
p: accept con
s
tant
e
x
p
ressions of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoo
l
aege
isl_stream: accept "/\" and "\/" as alternatives for
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Ve
r
doolaege
isl_stream: o
n
ly quote ne
w
line usin
g
'\'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-05
Sven Verdoola
e
ge
is
l
_
s
tr
e
am: mainta
i
n private ungetc buffer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sv
e
n
Verdoola
e
ge
isl_set_li
f
ting:
s
i
m
plify and
finalize r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
Sven Verdo
o
laege
doc: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-02
S
ve
n
V
e
rdool
a
ege
doc: drop
l
on
g
outdated not
e
on t
r
ans
i
t
ive c
l
osures
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-03-01
Sven V
e
rd
o
o
lae
g
e
a
dd isl_b
a
sic_s
e
t_get_dim_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven
V
erdo
o
laege
isl_map_i
d
ent
i
ty: take dimension specification of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdoolaege
ren
a
me isl_dim_map to isl_dim_
m
a
p_from_
s
et
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-25
Sven Verdool
a
e
ge
t
ransitive clo
s
ure
:
pro
j
ect out
par
a
mete
r
s when any
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven
Verdo
o
laege
pr
i
vatel
y
export
isl_basi
c
_
set_r
e
set_di
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
S
v
e
n
V
erdoolaege
i
sl_set_lift
:
p
r
eserve str
u
cture of
s
pace
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_pw
_
qpolynomial_b
o
u
n
d:
h
andle combina
t
i
o
n of
w
rapping
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven V
e
rdoolae
g
e
isl_tab_pip
.
c: fix typo
i
n comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolaege
isl_t
a
b:
c
h
e
c
k fo
r
obviously empty tab
l
eaus
af
t
er disc
o
verin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-21
Sven Verdoolae
g
e
isl_basic_map_gist:
prefer contra
i
nts withou
t
e
x
istentia
l
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-20
Sven
Verdoolaege
i
s
l
_basic_map_
s
ort_cons
t
r
a
ints: change compariso
n
r
outi
n
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sv
e
n Verdoolaege
isl_tab_ineq_type: classi
f
y mo
r
e
c
on
s
traints a
s
bein
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-19
Sven Verdoolae
g
e
isl_map_coalesce: be
m
ore
relaxed ab
o
ut multiple
e
qual
i
t
i
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
ven Ver
d
oolaege
a
d
d isl_basic_map_from
_
doma
i
n_and
_
range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
add isl_
b
asic_set_neg
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
S
v
en
V
erd
o
o
l
a
ege
add i
s
l_basic_se
t
_flat_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven Verdoolaege
export isl_basic_m
a
p_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-18
Sven V
e
rdoolaege
add
i
sl_basic_m
a
p_from_qp
o
lynomial
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
en Verdoolaege
isl_stream: suppor
t
\
<
newline> l
i
ne co
n
tinuation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
e
rdoolaege
ad
d
i
sl_unio
n
_map_
r
ead_from_file
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
S
v
e
n
Verdoolaege
isl
_
s
t
ream_read_map: accep
t
'true'
and 'false' constraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven
V
erdoolaege
isl_stre
a
m_read_map:
allow
ex
t
ra ';' at end of map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
isl_stream_r
e
ad_ma
p
:
allow negations
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sve
n
Verdoola
e
ge
i
s
l_strea
m
_read_ma
p
: allow
exi
s
tential quantification
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-17
Sven Verdoolaege
p
r
ivately export i
s
l_
b
asic_map_add_div_co
n
straints_var
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
e
n
Verdoolaege
isl_morph_basi
c
_set: pr
e
serve ratio
n
ality of input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sve
n
Verdoolaege
add is
l
_
b
asic_
s
et_is_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_printer_pr
i
nt
_
basi
c
_
m
ap: ex
p
licitly mark rat
i
on
a
l
.
.
.
commit
|
commitdiff
|
tree
2011-02-13
S
ven
V
erdoolaege
isl_
s
t
r
e
am_re
a
d_map:
read ratio
n
al map
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
r
d
oolaege
i
s
l_basic_m
a
p_insert: preserve rationality of in
p
ut
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
o
olaege
add isl_bas
i
c_map_set
_
rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oola
e
ge
isl
_
basic_map
_
fast_cm
p
: di
f
fere
n
tiate between r
a
tional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
oo
l
aege
isl_
o
u
t
put
.
c: re
m
o
v
e some
code duplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdool
a
e
ge
i
sl_print
e
r_print_
b
a
sic_{set,map}: don't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sv
e
n
V
erdoolaege
isl_stream_read_map: ac
c
ept '|' a
t
start of const
r
a
ints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Ver
d
oolaege
isl_strea
m
:
keep track of textu
a
l representation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoola
e
ge
isl_input
.
c: clean up read
_
disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Ver
d
oolaege
i
s
l_
s
tream_read_map: accept disjunctions within a conjun
c
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven V
e
rdoolaege
isl_conv
e
x_hull
.
c: explicitly
m
a
rk wrapping lp
p
r
o
b
l
em
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven
V
erdo
o
laege
i
s
l_tab_min: m
i
cro-optimization: postpone taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdool
a
ege
Merge branch
'ma
i
nt'
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
i
s
l
_
tab_add_row: add further explanation
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolae
g
e
i
sl_
t
ab
.
c: fix typ
o
s
in comm
e
nts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl_tab_pip
.
c: correc
t
ly d
e
tect non-negati
v
i
t
y of divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdo
o
laege
add test
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
V
e
rdo
o
laege
test both c
o
ntext handling m
e
chan
i
sms of
i
sl_pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ver
d
oolaege
isl
_
t
ab_i
s
_equality: proper
l
y sup
p
ort "big parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoo
l
aege
isl_ta
b
_
pip
.
c: fix
t
ypo
i
n comm
e
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
ven Ver
d
o
olaege
is
l
_
affine_
h
u
ll
.
c: fix
t
ypos in commen
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
o
laege
isl
_
union_map_compute_flow: return accesses with
n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
Merge br
a
n
ch
'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
i
sl
_
union_m
a
p
.
c: inplace: pass data pointer to
i
sl_ha
s
h_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n
Verdoo
l
aeg
e
isl_
d
i
m
_move: upd
a
te para
m
e
ters o
f
nested
spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verd
o
olaeg
e
add
isl_
m
ap_n
a
t_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdool
a
ege
clean
up isl_set_from_basic_s
e
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sv
e
n Verdoolaege
m
e
rge isl_bas
i
c_s
e
t/isl_
b
a
sic_map and isl_set
/
isl
_
map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sv
e
n Ver
d
oola
e
ge
r
e
n
a
me "o
m
e
g
a" transitive
c
l
o
sur
e
to "
b
o
x
" transitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
export isl_int_obj_f
r
ee
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sv
e
n Verdool
a
ege
i
s
l
_
ver
t
i
ces
.
c: fix typ
o
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ven Verd
o
olae
g
e
isl_unio
n
_
templ
.
c:
f
ix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
i
s
l_map_s
u
bt
r
act
.
c: n_non
_
redu
n
dant
:
propage isl_c
t
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ve
r
doolaege
i
s
l_bernstein
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaeg
e
add isl_union_
p
w
_qpolynomia
l
_mul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
i
s
l_stre
a
m
_
r
ead_obj: read int o
b
jects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Ver
d
oolae
g
e
add int objects for use in
i
s
c
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoo
l
aege
isl_basi
c
_map_remove_divs: finaliz
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdoo
l
a
eg
e
add
isl_basic_set_g
e
t_t
u
ple_n
a
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
ola
e
ge
M
e
r
g
e branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoolaege
i
sl_union
_
map_sample:
d
o
n
't
r
eturn NULL on empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
v
en Ver
d
oolaege
i
s
l
_
b
a
sic_
m
ap_set_tuple_name: finalize resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ver
d
oolaege
i
s
l_transiti
v
e_closure
.
c: more anon
y
mize input
m
ap
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoola
e
ge
isl_basic_set_fa
c
tor
i
zer: make s
u
re gr
o
up infor
m
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Verd
o
olaege
add isl
_
unio
n
_map_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n
V
e
r
d
oolaege
doc:
d
ocumen
t
product funct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven V
e
rd
o
olaege
rename isl_b
a
s
ic_set_p
r
oduct to isl
_
ba
s
i
c
_set_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Ve
r
doola
e
g
e
i
s
l_set_convex_h
u
l
l: o
p
tionally use Fourier-Motzki
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
o
o
l
aege
isl_basic_set_sa
m
ple_point:
exploit fact
o
riza
t
ion if
any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
Verdoolaege
add isl_mor
p
h_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
change prototype of
i
sl_vec_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next