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
Verdool
a
e
g
e
isl_stream_read_map:
read rational
m
a
p
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdool
a
ege
isl_b
a
sic_map_insert: preserve rationality
o
f
in
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sv
e
n Verdoolaege
a
d
d
is
l
_
basic_m
a
p_set_rational
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven V
e
r
d
o
olaege
isl_basic_map_
f
ast_cmp: differentiate betwe
e
n
r
a
tional
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
Sven Verdoolaege
isl_output
.
c: remove some code duplication
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-13
S
ven Verdo
o
laege
isl
_
printer_pr
i
nt_bas
i
c_{set,
m
a
p
}: don't start n
e
w
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sve
n
Verdoolaeg
e
is
l
_s
t
ream_re
a
d_map: accept
'|
'
a
t sta
r
t
o
f
c
o
nstraints
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-12
Sven Verdoolaege
is
l
_stream: keep track o
f
t
extual repres
e
ntation of
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
S
v
en Ve
r
doolaege
i
s
l_inpu
t
.
c:
clean u
p
read_disjuncts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-11
Sve
n
V
e
rdoo
l
aege
isl_stream_read_
m
a
p
: accept
d
i
sj
u
nctions
w
ithin a con
j
unct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sven Verdoolaege
isl_c
o
nvex_hull
.
c: expli
c
i
t
ly mark wrap
p
ing l
p
problem
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-10
Sv
e
n
Verdoolaege
i
sl_tab_min: micro-optimization:
postpon
e
taking into
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
do
o
laege
Merge
b
ranch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoola
e
g
e
isl_t
a
b_add_row: add further explan
a
t
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ve
r
dool
a
ege
isl_tab
.
c: fix
t
y
pos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaege
isl
_
tab_pi
p
.
c
:
correctly dete
c
t n
o
n-negativity o
f
d
ivs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
ad
d
test
commit
|
commitdiff
|
tree
2011-02-05
Sven Verdoolaege
test both c
o
nte
x
t handl
i
ng
mechan
i
s
ms of i
s
l
_
pip
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven
V
erdoolaege
isl_tab_is_equality
:
pro
p
e
rly support
"big
parameter"
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
S
v
en Ver
d
oola
e
ge
i
sl_tab_pip
.
c
:
fi
x
typo in co
m
ment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
ol
a
eg
e
is
l
_affine_
h
ull
.
c: fix typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Verd
o
ol
a
ege
i
s
l_un
i
on
_
map_compute
_
flow: return accesses
w
ith no
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-02-05
Sven Ve
r
do
o
lae
g
e
Merge b
r
anch 'maint'
commit
|
commitdiff
|
tree
2011-02-05
Sven
Verdoolaeg
e
i
sl_uni
o
n_map
.
c: inplace: pass data pointe
r
t
o isl_hash_tabl
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven Verdoolaege
i
s
l
_dim_move: updat
e
pa
r
a
m
e
t
e
r
s of
n
ested spaces
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sven V
e
r
d
oolaege
a
d
d isl_map_nat_uni
v
erse
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
Sve
n
Verdoolaege
cl
e
an up isl_set_from_b
a
sic_set
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-27
S
v
en Verdoolaege
m
e
r
ge isl_basic_set/isl
_
basic
_
m
a
p and i
s
l_set/i
s
l_map
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-26
Sven Verdoolaege
rename "omega" transitive
c
losure to "box" transiti
v
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
export isl_int_obj_free
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verd
o
ola
e
ge
isl_vertice
s
.
c: fix typos
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
V
erdoolaege
is
l
_union_templ
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaege
is
l
_map_
s
u
b
tract
.
c: n_non_redund
a
nt: propage
isl_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sve
n
Verdoolaeg
e
is
l
_berns
t
e
in
.
c: fix typo
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add
isl_un
i
on_pw_qpolynomia
l
_mul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
r
d
oolaege
isl
_
s
tr
e
am_rea
d
_obj: r
e
ad
i
n
t
objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Verdoolaege
add int objects
f
or
u
se in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven V
e
rdoolaege
isl_b
a
sic
_
map_remove_divs: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdo
o
laege
add i
s
l
_
basi
c
_set_get_
t
uple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdool
a
eg
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doolaege
isl_union_m
a
p_
s
ample: don't
retu
r
n NUL
L
on empt
y
i
n
put
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_basi
c
_map_set_tu
p
le_name: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdo
o
laege
i
s
l
_
t
r
a
nsitive_
c
losu
r
e
.
c
:
more anonymize input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
isl_basic_set_fact
o
rizer:
m
ake sur
e
gr
o
up in
f
ormation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven
Ver
d
oolae
g
e
add
i
s
l_union_
m
ap_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Ve
r
do
o
laege
d
o
c
: docu
m
ent product
f
unctions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ve
r
doo
l
a
eg
e
r
e
n
a
me isl_basic_set
_
product to isl_basi
c
_
s
e
t_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
S
v
en Verdoolaege
isl_
s
et
_
convex_h
u
ll: opt
i
onally u
s
e
F
o
urier-M
o
tzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oo
l
aege
isl_ba
s
ic_se
t
_sample_point: exploit
factoriza
t
ion if any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
a
dd isl_
m
orph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdo
o
laege
change protot
y
p
e
of isl_vec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en
Ver
d
oolaege
add isl
_
printer_print_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_un
i
on_
s
et_apply
_
union_pw_qpol
y
nomi
a
l
_
fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
e
x
port i
s
l_
u
ni
o
n_map_from_doma
i
n
and isl_union_map
_
fro
m
_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ver
d
oolaege
isl_basi
c
_map_in
t
e
r
sect_domain: replace open
-
c
o
ded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoo
l
aege
isl_strea
m
_r
e
ad_map: accept modulo expressio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rdoolaege
isl_basic_map_
i
nser
t
: don't simpl
i
fy
t
he resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
Merge branch '
m
aint'
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
isl_basic_map_from_
c
onstraint_matri
c
es: clear ne
w
ly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
v
e
n
V
e
r
d
o
o
laege
isl_toke
n
_free: free
string
r
e
presentation
o
f
k
eyw
o
rds
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven V
e
rdoolaege
is
l
_input
.
c: read_
f
actor: drop
un
e
xpecte
d
identifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n
Ve
r
doolaege
isl_input
.
c
: ac
c
ept_affin
e
_factor:
a
void double fre
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Verdoo
l
aeg
e
isl_stream_read_
m
a
p: allow space names
t
hat happ
e
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoola
e
ge
i
s
l_strea
m
_
next
_
token: keep track of strin
g
rep
r
esen
t
a
ti
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oolaege
add isl_basic_s
e
t_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
a
d
d i
s
l_union_ma
p
_simp
l
e_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
Merge branch 'maint
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
l
a
eg
e
add isl_set_remove_u
n
known_d
i
vs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oolaege
isl_map_is_sub
s
e
t
:
don
'
t compu
t
e
divs
of minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
rename isl_map_is_singleton t
o
isl_map_fast_is_sing
l
eton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
ege
add isl_
m
a
p
_fast_is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
e
g
e
add isl_q
p
olyno
m
ial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
expor
t
isl_uni
o
n
_
set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_qpolynomial_add_on_domain: compute gist with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n
Verdoolaege
isl_un
i
o
n_ma
p
_coalesce a
n
d isl_un
i
o
n
_map_compute_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
S
v
en
V
erdoolaege
isl_ba
s
ic_map_
s
ol
v
e_lp:
use denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
er
d
oolaege
Merge com
m
it 'isl-0
.
05
.
1
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en Ver
d
oolaege
isl 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en Verdoolaege
i
sl_tab_basic_map_
p
a
r
tial_lexopt: fi
x
u
p
symmetry detection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoo
l
aeg
e
isl_basic_map_universe:
f
i
n
a
lize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoolaege
isl_seq
.
h: allo
w
inclusion from
C++
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
r
eimplement isl_map
_
part
i
al_l
e
xopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
isl_map: f
i
x t
y
pos in co
m
ments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoola
e
ge
add some
m
ore
i
sl
_
map_lexmin tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
ege
add i
s
l
_
qpol
y
nom
i
al_add_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
er
d
oola
e
ge
add isl_pw_qpolynom
i
a
l
_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
dd is
l
_pw_qpo
l
ynomial_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Ve
r
d
o
o
lae
g
e
add i
s
l_q
p
olyn
o
mial_
f
o
l
d
_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en V
e
rdoolaege
add
i
s
l_
q
polynom
i
a
l
_fo
l
d_get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oolaege
isl_printe
r
_p
r
i
n
t_qp
o
lynomial_fold: support C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdoolaege
export isl_printer_print_
q
polynomi
a
l_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verd
o
olaege
exp
o
rt
i
s
l
_union
_
map_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n
V
erdoolaeg
e
add isl_{set
,
map
}
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Ve
r
doolaege
add is
l
_basic_{se
t
,map}_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
g
e
isl_printer_
p
rin
t
_bas
i
c_{
s
et,
m
ap}
:
do
n
't
p
ri
n
t newline
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
a
e
ge
r
e
na
m
e isl_*_dump
t
o isl_*_pri
n
t
_
inter
n
al
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoola
e
ge
make isl/point
.
h
self-con
t
ained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verdoolae
g
e
isl
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven Verd
o
olaeg
e
isl_pr
i
nter
_
print_basic_map: plug memory leak on err
o
r
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
S
v
en Verdool
a
ege
isl_dim_set_name:
p
lug memory leak when overwriting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next