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
rename "omega" transitive closure to "box" transitive closure
2011-01-26
Sven Verdoolaeg
e
rename
"omega" transitive closure to "box" tra
n
sitive
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoola
e
ge
e
x
port isl_int_obj_
f
re
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
S
v
en Verdoolaege
add isl_unio
n
_p
w
_q
p
olynomial_mul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
i
sl_stream_read
_
o
bj: read int
o
bjects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven V
e
rdoolaege
add
int ob
j
ects for use in
i
scc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven
Verdoolae
g
e
add isl_b
a
sic_set_
g
et_tuple_
n
ame
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
olaege
Merge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
i
s
l_u
n
ion_map_sample: don't return NULL o
n
e
m
pty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoo
l
aege
i
sl
_
basi
c
_map_set_tuple_n
a
me: finalize r
e
s
u
l
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoolaege
i
s
l
_
transitive_cl
o
sur
e
.
c
: more
a
nonymize input map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n V
e
rdoolaege
isl_basic_set_factorizer
:
make sure group information
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
add isl_union_m
a
p_
r
ange_p
r
oduc
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Verdo
o
laege
doc: document produc
t
funct
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sv
e
n Ve
r
d
oolaege
rename isl_b
a
sic_set_product
t
o isl_basic_set_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoo
l
aege
isl_set_c
o
n
vex_hull: o
p
tionally u
s
e Fourie
r
-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
o
olaege
isl_basic_set_sam
p
le_p
o
int
:
exploit facto
r
izatio
n
if any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoo
l
aege
add isl_morph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdool
a
ege
change prototype of i
s
l_vec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
ad
d
i
s
l
_pr
i
nter_prin
t
_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
add
isl_un
i
on_s
e
t_apply_unio
n
_pw_qpolyno
m
i
al_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verd
o
o
l
ae
g
e
export isl_union_map_from_dom
a
i
n
and isl_union_
m
ap_from_r
a
nge
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoo
l
aege
isl_
b
asic
_
ma
p
_intersect_domain: replace open-code
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
isl_stream_read_m
a
p
:
acce
p
t mo
d
ulo e
x
pressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven V
e
r
d
oolaeg
e
isl_b
a
s
i
c_map_insert: don't simplify
t
he resul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
M
e
rge b
r
anch '
m
a
i
nt'
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ve
r
d
o
olaeg
e
isl_basic_
m
ap_from_c
o
nstra
i
nt_mat
r
ices: clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
sl_t
o
ken_free: free string representation of ke
y
wor
d
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolae
g
e
isl
_
i
nput
.
c:
read_fac
t
or:
d
rop u
n
expected id
e
ntifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sv
e
n Verdoolaege
i
sl_input
.
c: a
c
cept_affin
e
_fact
o
r: avo
i
d dou
b
l
e
f
ree
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven
Verdoola
e
ge
isl_stream_read_map: allow
space names that happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
oolaege
is
l
_stream_next_token
:
keep track of string representation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verdoolaeg
e
add isl_basi
c
_set_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
dool
a
ege
add isl_union_map_s
i
mple_hu
l
l
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdool
a
ege
Merge branch 'ma
i
nt'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ver
d
oola
e
ge
add isl_set_remove_u
n
known_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolaege
isl_map_is_subset: don
'
t comput
e
divs
o
f minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolaege
rename
i
s
l_map
_
i
s
_
singl
e
ton to i
s
l
_map_fas
t
_i
s
_singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Ve
r
doolae
g
e
add isl_map_fast_is_single_valu
e
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doolaege
add
isl_q
p
olynomial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
export isl_union_set_d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
laege
isl_qpol
y
nom
i
a
l
_add_on_domain:
c
omp
u
te gist wit
h
respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdool
a
e
g
e
isl_union_
m
ap_coalesce and
i
sl_union_map_compu
t
e_d
i
vs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Verdoolaege
isl_basic_map_so
l
ve_lp: use denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Me
r
ge c
o
mmit 'isl-0
.
0
5
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
i
s
l 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en Verdoolaege
isl_tab_
b
asic_ma
p
_partia
l
_lexopt: fix
up symmetry detecti
o
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_basic_map_universe: fina
l
ize r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolae
g
e
i
s
l_seq
.
h
:
allo
w
inclusion
f
r
o
m
C++
commit
|
commitdiff
|
tree
2010-12-30
S
ven Verdoolaege
reimple
m
ent isl
_
map_partial_lexo
p
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
isl
_
m
a
p: f
i
x typo
s
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ve
r
doolaege
add some mor
e
isl_map_lex
m
in test
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
e
r
doolaege
add i
s
l_qpo
l
ynomial_add_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdoolaege
a
dd isl_pw_qpolynomi
a
l_fold_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
a
d
d isl_pw_qpolyno
m
ial_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add
isl_qpolyn
o
m
i
al_fol
d
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ve
n
Verdoolaege
add isl_qpoly
n
omial_fold_g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
olaege
isl_pr
i
nter_prin
t
_qp
o
lynomial_fo
l
d: support C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
e
xpor
t
isl_
p
r
i
nter_print_qpolynomial_fo
l
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
exp
o
r
t
isl_uni
o
n_m
a
p
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verd
o
olaege
add isl_{s
e
t
,
m
ap
}
_
du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdoolaege
add isl_basic_{set,map}_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
isl_printer
_
print_basi
c
_{set,map}: don't print n
e
wline
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ve
n
Verdoolaege
r
ename i
s
l_*
_
d
u
mp to isl_*_print_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verd
o
olaege
mak
e
i
sl/point
.
h self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Ve
r
d
oolaege
isl 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
S
ven Verdoolaege
i
s
l_printer
_
prin
t
_
b
asic_m
a
p: p
l
ug memory leak on
error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sv
e
n Verdoo
l
aege
isl_dim
_
s
et_name: plug memory
l
e
a
k
when overw
r
iting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven V
e
rdoolaege
isl_tab_
b
asic
_
map_partial_lexopt: d
e
tec
t
and exploit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
erdoolaege
isl_t
a
b_pip
.
c: fix
typo
s
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_pip:
limit the total number
o
f para
m
eter
valu
e
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
ven Verdoolaege
add
i
sl_ba
s
ic_set_count_
u
pto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
erdoolaege
isl_scan
.
c:
f
i
x typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaeg
e
isl_flow
.
c
: fix typos i
n
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
isl_union_map_
c
om
p
ute_fl
o
w: exploit fix
e
d dimensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven V
e
rdoolaege
i
sl_union_map
_
comput
e
_flow: avoi
d
dependence on
p
o
inter
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoo
l
ae
g
e
dataflow a
n
alysis: al
l
o
w absence of
"textual" order
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
Verdo
o
laege
add isl_m
a
p_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
basic_map_read_polylib: add more sanity checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
S
ve
n
Verdoola
e
ge
isl_pip: preserve name
s
of paramet
e
rs in inpu
t
co
n
text
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaege
isl_tab_
b
asic_map_
p
ar
t
ial_l
e
xopt: av
o
id mem
o
ry leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-11
Sven V
e
rdoola
e
ge
isl_pw_qpo
l
ynom
i
al_f
o
ld_b
o
und: a
v
oid
access to fr
e
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven
Verdoolaege
isl_basi
c
_s
e
t_lift
:
prope
r
ly
u
pdate
t
he number of extr
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verd
o
olaege
doc: emphasize t
h
e nee
d
fo
r
isl_int
_
get_gmp
a
nd isl_int_se
t
_gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_qp
o
lyno
m
ial_
d
iv: further normalize div
s
by reduci
n
g
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sv
e
n Verdo
o
laeg
e
isl
_
s
t
ream_r
e
a
d_
p
w_qpolyn
o
mial
:
accept powers on compound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sve
n
Ve
r
d
o
olaege
add i
s
l_qpolynomia
l
_p
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_qpolynomial
:
prope
r
ly merge
i
de
n
t
i
c
al ne
s
ted divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
S
v
en Ver
d
ool
a
ege
a
d
d isl_mat_co
l
_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
S
v
en
Verdoola
e
ge
av
o
id using i
s
l
_basic_set and
i
sl_
b
as
i
c_map internals
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
v
e
n
V
erdoolaege
hide
i
sl_map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ver
d
oolaege
h
ide isl_set internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven
V
e
rdoolaege
hide isl_basic
_
m
a
p in
t
ernals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdo
o
laege
h
id
e
isl_basic_
s
et intern
a
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-27
Sven Verdoolaege
add i
s
l_basic_set_{in,}e
q
ualitie
s
_mat
r
ix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en V
e
rdoo
l
ae
g
e
isl
_
arg_parse:
suppo
r
t f
o
oter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verd
o
o
laege
isl_a
r
g_parse:
avoid duplicate newline in he
l
p
out
p
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sve
n
V
e
rdoolaege
isl_a
r
g_parse: support grouping of opti
o
ns within the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
Verdoolaege
isl_arg_parse: sup
p
ort int o
p
tions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
e
r
d
ool
a
ege
isl_arg_
p
arse: suppo
r
t
I
SL_ARG_HIDDEN flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdo
o
lae
g
e
isl_arg_parse:
support ISL
_
A
R
G_BOO
L
_ARG f
l
ag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next