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_stream_read_map: read rational maps
2011-02-13
S
ven
Ve
r
dool
a
ege
isl_stream_
r
ead_map: re
a
d
rational maps
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
isl
_
b
a
sic_ma
p
_insert: preserve rat
i
onality
o
f inpu
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
v
en Verdoo
l
aeg
e
add isl
_
ba
s
i
c
_map_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolae
g
e
isl_basic_map_
f
ast
_
cmp: different
i
ate
b
e
twee
n
rati
o
n
a
l
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Ver
d
o
olaege
i
sl_output
.
c: remove
s
ome code duplic
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdo
o
l
aeg
e
isl_printer_pri
n
t_basic_{set
,
map}: d
o
n't start new
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven V
e
rd
o
olaege
i
s
l
_
stream_read_map:
accep
t
'|' at start of const
r
aints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdool
a
ege
isl_stream: ke
e
p track of
te
x
tual representation
of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven
Verdoolaege
i
s
l_input
.
c: clean up read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sven Verdoola
e
ge
isl
_
str
e
a
m
_
r
e
ad_map: accep
t
d
isj
u
nctions w
i
thin a conjunct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
i
sl
_
convex_hull
.
c: e
x
p
l
icitly mark wrapping l
p
problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdo
o
la
e
ge
isl_tab_min: micro-
o
ptim
i
z
at
i
on: postpone taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
ol
a
ege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n V
e
rdo
o
laege
i
sl_tab_add_
r
ow: add fu
r
the
r
explan
a
tion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n
Verdo
o
laege
isl
_
tab
.
c: fix
t
ypos
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Verdool
a
e
g
e
is
l
_t
a
b_pip
.
c
:
correctly de
t
e
ct non-n
e
ga
t
ivity o
f
d
i
vs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaeg
e
add test
commit
|
commitdiff
|
tree
2011-02-05
Sve
n
Verd
o
olaege
test both
c
o
ntext ha
n
d
l
ing mechanism
s
o
f
isl
_
pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Ver
d
oolaege
i
sl_
t
a
b_
i
s_eq
u
ality: properl
y
suppo
r
t "big parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl_t
a
b_pip
.
c: fix
t
ypo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdo
o
la
e
ge
isl_affine_hull
.
c
: fix typos
i
n comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sv
e
n Ve
r
d
oolaege
i
s
l_unio
n
_map_compute_flow:
r
eturn accesse
s
with n
o
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven V
e
rdoolaege
M
er
g
e bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
isl_unio
n
_
m
ap
.
c: inplace:
pa
s
s
data pointer to isl
_
hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven
V
erdoolaege
isl_dim_move: u
p
date
p
arameters of nested
s
paces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Ve
r
dool
a
ege
a
dd isl
_
m
a
p_nat_universe
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
clean up
i
sl_set_from_basic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdool
a
ege
merge
isl_
b
asic_set/isl_basic_map and isl_set/isl_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Ver
d
oolaege
re
n
ame "omega" t
r
ans
i
tive closure to "box" t
r
ansitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoo
l
a
e
ge
expo
r
t isl_i
n
t_
o
bj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_verti
c
es
.
c
:
f
ix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
ve
n
Verdoolaege
isl_unio
n
_templ
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
isl_m
a
p_subt
r
act
.
c: n_non_redundant: propage is
l
_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
isl_bernstein
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rd
o
o
laege
add isl_uni
o
n_pw_qpolyn
o
mial_m
u
l_isl_in
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Ve
r
doolaege
isl_st
r
eam_rea
d
_obj: read int
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolae
g
e
add int ob
j
ects for use in
i
scc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdoolaege
is
l
_basic_map_re
m
ove_divs: f
i
nalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
a
d
d
isl_
b
a
s
ic_set_get_tu
p
le_nam
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
V
erdoo
l
aege
Merg
e
bran
c
h
'
m
aint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoo
l
aege
isl_u
n
i
o
n_map_s
a
m
p
le: don't return NULL on
empty inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdool
a
ege
i
s
l_basic_map_set_tu
p
l
e_name: fi
n
alize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
v
en Verdoolaege
isl_t
r
an
s
i
t
i
v
e
_closure
.
c:
mo
r
e ano
n
ymize in
p
ut
ma
p
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Verdoolaege
isl_basic_set_
f
ac
t
orizer: mak
e
sur
e
g
roup i
n
formation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
a
d
d
i
sl_union_m
a
p_range
_
product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ve
r
doolaege
d
oc
:
do
c
ume
n
t product functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
r
ename
isl_basic_set_product to isl_basi
c
_set_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoola
e
ge
i
s
l
_set_convex_h
u
ll:
o
pt
i
on
a
lly use Fourier-Mot
z
kin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdool
a
e
g
e
i
sl_basi
c
_set_s
a
mple_point: exploit factorization i
f
any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
add isl_m
o
rp
h
_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
c
ha
n
ge prototype of isl_vec
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
add i
s
l_prin
t
er_p
r
int_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verd
o
olaege
add isl_un
i
on_se
t
_apply_union_pw_qpo
l
ynomial
_
f
o
ld
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n
V
e
rdoolaege
e
xport i
s
l_union_map_f
r
om_domai
n
and isl_union_map_fro
m
_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoo
l
aege
isl_
b
asic_map_intersect_dom
a
in: replace open-code
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
isl_stream_read_m
a
p: accept modulo expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
i
sl_
b
asic_ma
p
_insert: don't s
i
mplify th
e
result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
M
e
rge branch
'
maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
e
r
doolaeg
e
i
s
l_ba
s
i
c_map_from_con
s
traint_matrices: cl
e
a
r new
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
laege
isl_toke
n
_free
:
free
s
tr
i
n
g
r
e
p
resentati
o
n of keyword
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoo
l
a
e
g
e
isl_input
.
c
:
re
a
d_factor
:
drop unexpected ide
n
tifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
en Verdoolae
g
e
isl_input
.
c: accept_affine_factor: avoid
doubl
e
free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Tobias
Gross
e
r
A
dd isl_union_
(
se
t
/map)_det
e
ct_equalities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven
Ver
d
oolaege
isl_stream_r
e
ad_map:
a
llow
s
p
ac
e
names tha
t
happe
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ve
r
doolae
g
e
isl_stream_next_token:
k
ee
p
tr
a
ck o
f
string repre
s
e
n
t
a
tion
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaege
a
dd
isl_basic
_
set_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Ve
r
do
o
laege
add isl_union_map_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
M
e
rge branch
'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaeg
e
add isl_se
t
_
remove_
u
nk
n
own_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolaege
isl_map_is
_
subset: don
'
t compu
t
e div
s
o
f minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doolaege
rename isl_map_i
s
_singleton t
o
isl_ma
p
_fast
_
is
_
singl
e
t
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add isl_
m
ap_fast_i
s
_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en
Verdoo
l
aege
a
dd isl_qpolynomial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verdo
o
laege
expor
t
isl_
u
nion_se
t
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Ver
d
oolaege
isl_qpo
l
ynomial_add_
o
n_
d
omai
n
: c
o
mpute gis
t
w
i
t
h
respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdool
a
e
ge
isl_union_map_coalesce and isl_un
i
o
n
_map_comput
e
_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaeg
e
i
sl_basic_map_solve_lp: use denom
i
nator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en Verdoolaeg
e
Merg
e
commit
'isl-
0
.
05
.
1
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ve
n
Verdo
o
laege
isl
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
e
n Verdoolaege
isl_tab
_
basic_map_part
i
al_lexopt: fix up symmetry detection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
e
n Verdoo
l
aege
isl_basic_map_
u
niverse:
fin
a
l
i
z
e
re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n Verdoolaege
isl
_
seq
.
h: all
o
w
i
nclusion from C++
commit
|
commitdiff
|
tree
2010-12-31
T
o
b
ias
G
rosser
A
d
d GDB module that define
s
a
n is
l
print com
m
and
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ver
d
oo
l
ae
g
e
re
i
mplem
e
n
t isl_map_par
t
ial
_
lex
o
pt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ver
d
oolaege
isl_ma
p
: fix typ
o
s in c
o
m
m
e
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Verdoolae
g
e
add som
e
m
o
r
e i
s
l_map
_
lex
m
i
n
tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ve
r
doolaege
add
i
s
l
_qpol
y
nomi
a
l_add_isl_
i
nt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
e
n V
e
r
d
oolaeg
e
add
is
l
_
p
w_qpo
l
y
nomial_fold_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoolaege
add isl_p
w
_
q
polynomi
a
l_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ve
n
V
e
rdool
a
eg
e
a
d
d
isl_q
p
oly
n
omial_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_qpo
l
ynomial_
f
o
ld_get
_
ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oolaege
isl_print
e
r_print_qpol
y
nomi
a
l_fold: sup
p
ort C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdoolaege
e
x
port isl_prin
t
er_print_qpolynomi
a
l_f
o
ld
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verdo
o
l
ae
g
e
export
isl_
u
n
ion_m
a
p_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ven
Verdoolaege
add
i
sl_{set,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
dd i
s
l_bas
i
c_{set,
m
ap}_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Ver
d
oo
l
aege
isl
_
printe
r
_print_basic_{set,map}
:
d
o
n't print newline
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erd
o
olaege
rename isl_*_dum
p
to isl
_
*_print_int
e
rnal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoolaege
make isl/point
.
h sel
f
-c
o
ntai
n
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
S
v
e
n
Ve
r
dool
a
e
g
e
isl 0
.
0
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next