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
add isl_union_map_range_product
2011-01-19
Sve
n
Ve
r
d
oolaege
add isl_union
_
ma
p
_ra
n
ge_pro
d
uct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaege
doc: docu
m
ent prod
u
ct function
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
v
en Verdoolaege
r
e
name isl_basic_set_produ
c
t to
isl_bas
i
c_set_list_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven Verdoolaege
isl_
s
et_convex
_
hul
l
:
o
ption
a
lly us
e
Fourier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven
V
erdool
a
ege
isl_basic_set_sample_point: explo
i
t facto
r
iz
a
tion if any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
add isl_morph_ve
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Ver
d
ool
a
ege
cha
n
ge prototype of isl_vec
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
d
o
o
l
aege
add isl_p
r
i
nter_print_ve
c
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sve
n
Verdo
o
lae
g
e
add is
l
_un
i
o
n
_set_apply_u
n
ion_
p
w_qpolynomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven V
e
rd
o
olaege
e
xport isl_u
n
ion_map_from_domain and isl_union_map_from_
r
ange
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_
b
asic
_
map_inter
s
ect_do
m
ai
n
: repla
c
e open-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
olaege
isl_s
t
ream_read_map: accept
m
odulo expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdo
o
laege
isl_basic_map_in
s
er
t
: don't simplify
the re
s
ult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
Merge
branch
'
maint'
commit
|
commitdiff
|
tree
2011-01-16
Sven Ver
d
oolaege
isl_bas
i
c
_
map_from
_
constraint_matrices: cl
e
ar newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdo
o
laege
isl_to
k
en_free: fr
e
e string representation of keywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoolaege
i
s
l_inpu
t
.
c: read
_
factor:
drop unexpected identif
i
er
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdoola
e
ge
i
s
l_
i
nput
.
c
: accept_affin
e
_factor
:
avoid dou
b
le free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_st
r
eam
_
read_map: allow
space names that happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Ver
d
oo
l
aege
isl_stream_n
e
xt_token: keep track of string rep
r
ese
n
tation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Ve
r
doolae
g
e
add isl_basic_
s
et_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Ver
d
oolaege
a
d
d isl_u
n
i
o
n_map_simp
l
e_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdo
o
l
a
eg
e
Merge
bran
c
h
'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoo
l
ae
g
e
add isl_set_re
m
o
v
e_unk
n
o
w
n_
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verdoolaege
i
sl_map_is
_
subs
e
t: don
'
t
compute div
s
of minuen
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Ve
r
doolaege
re
n
ame
i
sl_
m
ap_is_singleton to isl_ma
p
_
fast_is_
s
ingleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoolaege
add i
s
l_map_fast_is_si
n
gle_val
u
ed
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoolaege
ad
d
isl_qpolynomial_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaege
export
isl_union_set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolaege
i
sl_
q
pol
y
n
o
m
ial_add_on_domain: co
m
p
ute gist
wit
h
respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Verdoolaege
isl_union_map_coa
l
es
c
e and i
s
l_union_map_compute_di
v
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven V
e
rdoolae
g
e
isl_basic
_
map_solv
e
_lp: use
denominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Merge commit '
i
sl-0
.
05
.
1
'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven Verdoolaege
i
sl 0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
ege
isl_tab_basic
_
map_partial
_
lexopt:
fix u
p
sym
m
etry detec
t
ion
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdool
a
eg
e
isl_ba
s
ic_map_universe: finalize result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdoo
l
aege
isl_seq
.
h: a
l
low inclusion from C++
commit
|
commitdiff
|
tree
2010-12-30
Sve
n
Verdoolaeg
e
reimplement isl_map_partial_le
x
opt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
e
n
V
erd
o
o
laege
isl
_
map: fix typo
s
in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Ver
d
oola
e
g
e
add some more isl_map_lexmin tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verdoolaege
add i
s
l_q
p
olynomial_add
_
isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdoolaege
add isl_pw_
q
p
o
lynomial_
f
old_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
Verdoola
e
ge
a
dd isl_pw_qpolyno
m
i
a
l_dum
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoo
l
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 Verdo
o
laege
a
d
d is
l
_qpo
l
ynomial_fold
_
get_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdool
a
ege
isl_printe
r
_print_qpolynomi
a
l_fold: suppo
r
t
C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verdoolaeg
e
export isl_p
r
inter_print_qpolynom
i
al_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
laege
export
is
l
_unio
n
_map_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
e
rdoolaege
add isl_{set,map}
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_basic_{
s
et,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdo
o
la
e
g
e
i
s
l_printer_print_basic_
{
set,
m
ap}: don'
t
print new
l
ine
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oolaege
rename i
s
l_*_dump
t
o isl_
*
_print_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoolaege
m
ake isl/poi
n
t
.
h self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven Verd
o
olaege
isl 0
.
0
5
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
S
v
e
n
Verdoola
e
ge
isl_pri
n
ter
_
print_
b
asic_
m
ap: plug memory le
a
k on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven
V
e
r
dool
a
ege
i
s
l_dim_set_name
:
plug
m
emory
leak when overwriting
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
v
en
V
e
rdoolaeg
e
isl_tab_basic
_
map_
p
artial_lexopt
:
detect and
e
xploit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Ve
r
d
o
o
l
a
ege
i
sl_tab_
p
i
p
.
c
: f
i
x typos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_p
i
p: limit
t
he total nu
m
be
r
of pa
r
ameter
v
a
l
ues
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
v
en V
e
rdoola
e
ge
add isl_
b
asic_set_count_upt
o
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven
V
erdoolaege
i
sl_sc
a
n
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
ven Ve
r
doola
e
g
e
isl_flow
.
c: fix
t
y
pos in comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven
V
erdoolaege
isl_union_map_compute_f
l
ow: exploit fixe
d
dim
e
nsions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
S
v
en Verdoolaege
i
s
l_u
n
ion_map_comp
u
te_flow: avoid dependence on
pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoo
l
aege
d
a
taflow anal
y
s
i
s: allow absenc
e
of "textual"
o
rder
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoo
l
aege
add isl_map_get_h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
V
erdoo
l
aege
basic_map_rea
d
_polylib: add more sa
n
it
y
checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaege
isl_pip: preserve
n
ames
of p
a
rameters in input context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaege
isl_tab_basic_
m
ap_par
t
ial_lexop
t
:
avoi
d
memory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-11
Sven Verdoolae
g
e
isl_
p
w
_
qpolynomial_fo
l
d
_bound:
a
void ac
c
ess to fre
e
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_basic_set_
l
ift: pr
o
perly up
d
ate the number of extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven
Verdool
a
e
ge
d
o
c
: em
p
h
asize the need f
o
r
isl_int_get_gmp a
n
d
isl_in
t
_
s
e
t
_
gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_qpolynomial_div: further normalize d
i
vs by reducing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_stream_
r
ead_pw_qp
o
lynomial:
accept
p
owe
r
s on compound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sv
e
n
Verdoolaege
add
isl_
q
po
l
yn
o
mial_pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven V
e
rdo
o
la
e
ge
isl_qpolynomial:
p
roperly merge identi
c
a
l nested divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
S
ven Verdool
a
ege
add isl_mat_
c
ol_
a
dd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Ve
r
doolaeg
e
a
void using isl_basic_set and
isl
_
basic_ma
p
intern
a
ls
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ve
r
d
o
ol
a
ege
hide
i
s
l_ma
p
i
n
ternal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
v
en Verdoolaege
hide isl_set internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ve
r
doolaege
hide
i
sl_basic_ma
p
internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
ven Ve
r
d
o
olaege
hide i
s
l
_
basic
_
set internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-27
Sven V
e
rdoolaege
a
dd isl_
b
asic_set_{in,}equali
t
ies
_
matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
erdo
o
laege
isl_arg_parse
:
support
footer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
i
sl_arg_parse: avoid dupli
c
ate
n
ew
l
ine in help
o
utput
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoola
e
ge
isl_ar
g
_par
s
e
:
support grouping of opti
o
ns
within
t
he
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdool
a
ege
isl_ar
g
_
p
arse: su
p
por
t
in
t
o
ptio
n
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
v
en Verdoolaege
isl_arg_parse: suppor
t
I
S
L_A
R
G_HIDDEN flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ve
r
doolaege
isl_arg_parse:
s
up
p
ort ISL_A
R
G_BOOL_ARG flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_arg_parse: support ISL_ARG_SINGLE
_
DASH
f
l
ag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_
a
rg_parse
:
support
a
liases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
V
erdoolae
g
e
isl_a
r
g_p
a
rse: alway
s
print
help option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
i
sl_ar
g
_parse: support phantom b
o
o
l
e
a
n
options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaege
i
sl_ar
g
_par
s
e: free strin
g
arguments bef
o
re ove
r
writing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolae
g
e
isl_arg_parse: allow option
s
after
a
rguments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdo
o
laege
isl_arg_parse: only pri
n
t --version option once
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Ve
r
doo
l
aege
isl
_
arg_parse
:
pr
i
nt stri
n
g
option default
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sven Verdoo
l
aege
isl_arg_parse: delimit st
r
ing option
a
rgume
n
t by angle
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-24
Sven Ver
d
oo
l
aege
isl_arg
_
pa
r
se: allow opti
o
n
s
witho
u
t long
name
commit
|
commitdiff
|
tree
2010-11-24
S
v
en Ve
r
doolaege
isl_vec_read_p
o
lylib: use isl_s
t
r
e
a
m
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next
