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
export isl_int_obj_free
2011-01-23
S
ven V
e
rdoolaege
export isl
_
in
t
_obj_free
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verd
o
o
l
aege
add isl_union_
p
w
_
qpolynom
i
al_mul_isl_int
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolae
g
e
i
s
l_strea
m
_read_obj: r
e
a
d
int o
b
jec
t
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-23
Sven
Ver
d
oolaege
add int
object
s
for use in i
s
cc
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
Sven Ve
r
doolaege
add isl_basic_set_g
e
t_tuple_n
a
m
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-22
S
v
en Verd
o
olaege
Merge branc
h
'maint'
commit
|
commitdiff
|
tree
2011-01-22
Sven Verd
o
olaeg
e
isl_
u
nion_map_samp
l
e: don't retur
n
NULL
on empty input
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven
Verdoolaege
is
l
_
basic_map_s
e
t_t
u
p
l
e_name: finalize re
s
ult
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoo
l
a
ege
isl_
t
rans
i
t
ive_
c
losure
.
c: more anonym
i
ze input map
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaeg
e
isl_basic_set
_
factor
i
zer: make sur
e
group information
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven V
e
rd
o
olaege
add isl_union_map_range_p
r
od
u
ct
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en Verdo
o
lae
g
e
doc: document p
r
odu
c
t functions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-19
Sven V
e
rdoolaege
rena
m
e
isl_basic_set_pro
d
uct
t
o i
s
l_
b
a
s
ic_
s
et_list_product
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoolaege
isl_set_convex_hull: optionally u
s
e Fourier-Motzk
i
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoola
e
ge
isl_basi
c
_set_sample_point
:
e
xploit factori
z
ation
i
f an
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdoolaege
add isl_morp
h
_v
e
c
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
change prototype
of isl_vec_du
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verdoolaege
a
dd isl
_
p
rinter_p
r
int_vec
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdoolaege
add isl_union_
s
e
t
_apply_uni
o
n_
p
w_qpolyno
m
ial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
exp
o
rt isl_union_
m
a
p_from_domai
n
and isl_union_map_from_range
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doola
e
g
e
isl_basic_map_inte
r
sect
_
do
m
ain: replace o
p
en-cod
e
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
S
v
e
n Verdoolaege
isl
_
stre
a
m_r
e
ad_map: accept m
o
dulo
expressions
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven
Verdoolaege
isl_basic_map
_
insert: don't si
m
plify the result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
Me
r
ge branch 'maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rd
o
olaege
isl_basi
c
_map_from_constraint_matrices:
c
lear newly
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoo
l
aege
i
sl
_
token_
f
ree:
free
s
tring
r
epres
e
n
t
ation of ke
y
words
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
S
ven
V
erdoolaege
isl_input
.
c: read_
f
actor: drop unexpect
e
d
id
e
ntifier
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-12
Sven Ve
r
doo
l
aege
is
l
_input
.
c: a
c
cep
t
_
a
ffine_facto
r
: avoid d
o
ub
l
e free
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Tobi
a
s
Grosser
Add
is
l
_union_(set/map)_detect_eq
u
ali
t
ies
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
oolaege
isl
_
s
t
ream_read_ma
p
: allow
s
pace names
t
hat
h
appen
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Verdoolaege
isl_stream_next_t
o
ken: k
e
e
p
track of string
r
e
presentati
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
add
isl_basic_set_f
l
atten
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
a
dd
isl_union_map_sim
p
le_hul
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaeg
e
Merge branch
'
m
aint'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaege
add is
l
_set_re
m
ove_unknown_divs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_map_is_subset: don't compute
d
ivs of m
i
nu
e
n
d
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdool
a
ege
rename isl_map_is_singleton to i
s
l_map_
f
ast_i
s
_sin
g
leton
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Ve
r
doolaege
a
d
d isl_m
a
p_fast_is_single_
v
a
l
ued
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verdoolaege
a
d
d isl_qpolynomial_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaeg
e
expor
t
isl_union_set_d
u
m
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaege
is
l
_qpoly
n
omia
l
_add_on
_
domain:
c
o
mpu
t
e
gist with
r
espect
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
S
v
en Verdoolae
g
e
isl_union_map_coales
c
e and isl_union_map_
c
ompute_divs
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-06
S
ve
n
V
erdoolaege
isl_ba
s
ic_map
_
so
l
ve_lp: use denominat
o
r
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Merge c
o
m
mit 'isl-0
.
05
.
1
'
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoo
l
aege
isl 0
.
05
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sven
V
erdoolaege
i
sl_tab_basic_map_partial
_
lexopt:
f
i
x
up sy
m
met
r
y
detect
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
Sve
n
Verdoolaege
isl_basic
_
ma
p
_unive
r
se: finali
z
e result
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoolaege
isl_se
q
.
h: a
l
low inclusion f
r
om
C
++
commit
|
commitdiff
|
tree
2010-12-31
Tobia
s
Grosser
Ad
d
GDB modul
e
that defines an islpri
n
t command
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven V
e
rdoolaege
re
i
m
p
lement isl
_
map_
p
a
r
t
ial_lexopt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sv
e
n Verdoolaege
isl_map: fi
x
typ
o
s in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdool
a
e
g
e
add some more
i
sl
_
map_lexmin tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoo
l
aege
a
d
d isl
_
qpolynomi
a
l_
a
dd_isl_
i
nt
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
Verdoolaege
add isl_pw_qpolynomi
a
l
_fold_d
u
mp
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdoolaege
add isl_pw_qp
o
lynomial
_
dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
ege
ad
d
i
s
l_qpolynomial_fold_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_qp
o
l
y
nomial_fold_get_
c
t
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oolaege
i
sl_p
r
i
n
ter_print_qpolyno
m
ial_fo
l
d
:
s
upport
C format
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
S
v
e
n Verd
o
olae
g
e
export i
s
l
_
prin
t
er_pr
i
n
t_
q
polynomial_fold
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolae
g
e
export isl_union_map_dum
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
o
o
laege
add isl_{set,map}_
d
ump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
aege
add isl_basic_{
s
et,ma
p
}_dump
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoola
e
g
e
isl_p
r
i
nt
e
r_pri
n
t
_bas
i
c
_
{set,map}: d
o
n't print newline
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
ren
a
m
e
isl_*_dump to isl_
*
_
p
r
int_i
n
ternal
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoolae
g
e
m
ake isl/point
.
h self-contained
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n
Verdo
o
laeg
e
isl 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
S
v
en Verdoola
e
g
e
isl_printe
r
_pr
i
nt_basic_map
:
p
lug mem
o
ry leak o
n
e
r
ror
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-22
Sven Ve
r
dool
a
eg
e
isl
_
dim_set
_
name: plug mem
o
ry
l
eak when overwriting
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven V
e
rdoolaege
isl_tab_basic_ma
p
_partia
l
_
l
exopt: detect and exploit
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
S
v
en V
e
rdo
o
laege
isl_t
a
b_p
i
p
.
c:
fix
typos in comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven
Verdoolaege
isl_
p
ip: limit
t
he
t
ota
l
n
umb
e
r of parameter values
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoo
l
aege
ad
d
isl
_
basic_set_co
u
nt_upto
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ve
r
doolaege
isl_scan
.
c:
f
ix typo in co
m
ment
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-17
Tob
i
a
s
Grosser
D
o
not
h
ash the
m
emory address o
f
an
isl_name
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
isl_
f
l
o
w
.
c:
fix
typos
i
n
comments
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaege
i
s
l_union_map_com
p
ute_flow: ex
p
loit fix
e
d
d
i
m
en
s
ions
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Ve
r
d
oolaege
i
s
l_union_
m
ap_comput
e
_fl
o
w: avoid dep
e
ndence
on
p
o
i
nter
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoolaeg
e
dataflow analys
i
s
: allow absen
c
e o
f
"textual" or
d
er
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verdoolaege
add isl_map
_
ge
t
_hash
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-15
Sven Ve
r
doolaege
bas
i
c_
m
ap_read_poly
l
ib: add more
sanity checks
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolae
g
e
is
l
_pip: prese
r
ve
n
ames of para
m
e
t
ers in i
n
put context
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdo
o
l
a
eg
e
isl_
t
ab_basic_map
_
partial_lexopt: av
o
i
d
mem
o
r
y
le
a
k
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-11
Sven Verdoolaege
isl_pw_qpol
y
nomial_fold_bound:
a
void
a
cce
s
s to
f
reed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Ve
r
doolaege
isl_
b
asic_set_lift:
properly updat
e
the n
u
mber of extra
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
S
ven Verdo
o
laege
doc
:
emphasize t
h
e need
f
or isl
_
int_g
e
t_gmp and isl
_
int_set_gm
p
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdo
o
laege
isl_qpolyn
o
m
ia
l
_div:
fur
t
her normali
z
e divs by reduc
i
ng
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Ve
r
dool
a
ege
isl
_
stream_read_pw_qpo
l
ynomial: accept
powers on compoun
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Ver
d
oolaege
add
i
s
l_qpolyn
o
m
ia
l
_pow
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
S
v
en
V
erdoolaege
i
s
l_qpolynomia
l
:
properly merge i
d
entical nested div
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoola
e
ge
add isl_m
a
t_col_add
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdo
o
laege
avoid using isl
_
basic_s
e
t and
i
sl_basic_map internals
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolae
g
e
hide is
l
_
map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoo
l
aege
hide isl_set
i
n
t
ern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ver
d
oolaege
hide i
s
l
_
basic_map internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ver
d
oolaege
hide isl_basic_s
e
t intern
a
ls
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-27
Sven V
e
rdoolaege
add i
s
l_basic_se
t
_{
i
n,}eq
u
alities_
m
at
r
ix
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_pars
e
:
s
upport footer
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven
Verdoolaege
i
s
l_arg_pars
e
: avoid dup
l
i
cate newline
in help outp
u
t
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdoolaege
isl_arg_parse: support
g
r
ouping of
o
ptions within the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoo
l
a
e
ge
isl_arg_par
s
e: support
i
nt
option
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next