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_obj: read int objects
2011-01-23
Sven Verdoo
l
aege
i
s
l
_stream_read
_
obj: read
int objects
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaege
add in
t
objects for
use
in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoolaege
ad
d
isl_basic_s
e
t_get_tup
l
e_na
m
e
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdoola
e
ge
Me
r
ge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2011-01-22
S
ven Verdoolaege
isl_union_map_sample: don't return NULL on empty inp
u
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
S
ven Verdoolae
g
e
isl_basi
c
_map_se
t
_
t
uple_name: finalize
r
esul
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sv
e
n Verdoolaege
isl_
t
ransiti
v
e_cl
o
sure
.
c: more anonymize input
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoo
l
a
e
ge
isl_
b
asic_set_factorizer: make sure group informati
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Verdoolaeg
e
add isl_union_map_range_product
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
V
e
rdoo
l
a
eg
e
doc: documen
t
product functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sve
n
Verdoolaege
r
ename isl_basic_set_pr
o
du
c
t
t
o isl_basic_set_list_p
r
oduct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
S
ven Verdo
o
laege
isl_s
e
t_
c
onvex_hull: o
p
tionall
y
use
F
ourier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_basic
_
set_sam
p
le_point: exp
l
o
it fac
t
oriz
a
t
i
on if any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Ver
d
o
o
laege
ad
d
i
s
l_morph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ve
n
Verdoola
e
ge
change
p
rototype
o
f isl
_
vec_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
ven Verd
o
olaege
add is
l
_pri
n
ter_print_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sv
e
n Verdoolaege
a
d
d i
s
l
_
un
i
on_set_apply_union_pw_
q
polynomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaeg
e
exp
o
rt
isl_unio
n
_map_from_domain a
n
d isl_union_m
a
p_
f
rom_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
isl_bas
i
c_map_intersect
_
domain: repla
c
e ope
n
-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verd
o
o
laege
isl_stream_r
e
ad_map: accept modulo expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolae
g
e
isl_
b
asic_map_i
n
sert: don't simplify the resu
l
t
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
Sv
e
n Verdoolaege
isl_ba
s
ic_map_
f
rom_constraint_matrices
:
cle
a
r newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verdool
a
ege
isl_token_fr
e
e: free string
rep
r
esentatio
n
o
f
k
eywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven
V
erdoolaege
isl_input
.
c:
r
ead_factor: drop unexpe
c
ted
i
den
t
ifie
r
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdo
o
laege
isl_input
.
c:
a
ccept_affi
n
e_fac
t
or:
a
v
o
id dou
b
le fr
e
e
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sve
n
Ver
d
oola
e
g
e
isl_stream_read_
m
ap: allo
w
spa
c
e
n
a
m
es that happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
ven Ve
r
d
oolaege
isl
_
s
tream_next_token:
keep track of string representation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdool
a
e
ge
add
i
s
l_basi
c
_set_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolae
g
e
a
dd isl_union_map_simple_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
erdoolaege
M
e
r
ge branch '
m
aint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Ver
d
ool
a
ege
ad
d
i
s
l_set_rem
o
ve_unknown_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
isl_ma
p
_is_
s
ubset: do
n
't
c
ompute divs of minuend
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
rename i
s
l
_
map_is_s
i
ngl
e
t
o
n t
o
isl_map_
f
ast_is_singleto
n
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ve
n
V
e
r
doolae
g
e
a
dd isl_map_fast_
i
s_
s
ingle_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Ver
d
oolaege
ad
d
i
s
l_qpolynom
i
al_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven V
e
rdool
a
ege
export
i
sl_union
_
set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
e
n
V
er
d
oo
l
aeg
e
isl_
q
polynomial
_
ad
d
_on_domain: compute gist with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven
Verdoolaege
isl_uni
o
n_map_coa
l
esce and isl_unio
n
_map_compu
t
e_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven V
e
rdoolaeg
e
isl_
b
asic_m
a
p_solve_lp: use
denomina
t
or
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
Merge commit
'is
l
-0
.
05
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoo
l
aege
is
l
0
.
05
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt: fix
up
symm
e
try detection
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verdoola
e
ge
isl_ba
s
i
c_map_
u
ni
v
erse: finalize
r
esult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
v
en Verdoolaege
isl
_
s
eq
.
h:
all
o
w inclusion from C++
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Ver
d
oola
e
ge
reimplemen
t
is
l
_map_partial_lexopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en Verdoolaege
is
l
_
map:
f
ix typos in
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven
V
erdo
o
laeg
e
add some more is
l
_
m
ap_lexmin tests
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdo
o
laege
add isl_qpo
l
y
nomial_add_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
e
n Verdoolaege
add i
s
l_pw_qpolynomial
_
fold
_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verdoolaege
ad
d
i
s
l_pw_qpo
l
ynomial
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Ve
r
doolaege
add isl
_
q
p
o
lynomial_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n V
e
r
dool
a
e
ge
add isl_qpolyn
o
mial_fold_
g
et_ct
x
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdool
a
e
g
e
isl_printer_print_qpolynomial_fold: s
u
ppo
r
t
C forma
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven V
e
rd
o
olaege
export isl_printer_p
r
int_qpolynomial_fo
l
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
export isl_union_map_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ven Verdo
o
lae
g
e
add is
l
_{set,map
}
_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add isl_basic_{se
t
,
m
ap}
_
d
u
mp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verd
o
olaege
is
l
_pri
n
ter_print_basic_{se
t
,map}:
d
on'
t
print newl
i
ne
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
r
e
n
ame i
s
l_*_dump
t
o isl_*_print_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
S
v
en Verdo
o
laege
make isl/point
.
h self-contained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sv
e
n Ve
r
do
o
laege
is
l
0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sve
n
Verdoolaege
isl_prin
t
er_print_b
a
si
c
_ma
p
: p
l
ug memory leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
S
v
en Verdoo
l
aege
isl
_
dim_set_
n
ame
:
p
lug memory leak when ov
e
r
w
r
i
t
ing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sv
e
n
Ver
d
oolae
g
e
isl_
t
ab
_
basic_
m
ap_partial_lexopt: detect and exploit
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
ven Ver
d
o
olaeg
e
isl_tab_pip
.
c: fi
x
typos
i
n comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
v
e
n Verdool
a
ege
isl_pip: limit the
to
t
al nu
m
ber
of pa
r
ameter
v
alues
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdo
o
lae
g
e
add
i
sl_basic_set_count_
u
pto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
ven
Verdoola
e
ge
isl_s
c
an
.
c: fix typo in comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Verdoolaege
isl_flow
.
c
: fix typos in
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdoola
e
ge
i
s
l_unio
n
_map_comp
u
te_flow: ex
p
loi
t
fix
e
d
dime
n
s
i
ons
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Ve
r
doolaege
isl_union_ma
p
_c
o
mpu
t
e_flow: av
o
id
dependence on pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven
V
erdoolae
g
e
dat
a
flow analysis: allow absenc
e
of "
t
extual" o
r
der
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verdoolaege
ad
d
is
l
_map_get_hash
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
V
e
rdoolaege
basic_m
a
p_read_polylib:
a
d
d
more sanity checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaege
isl_pip: preser
v
e
na
m
es of parameters in input context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
S
v
en Ve
r
doolaeg
e
i
s
l_t
a
b_basic_map_partia
l
_lexopt: avoid memory
leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-11
Sv
e
n Verdoolaege
isl_pw_qpolynomial_f
o
ld_bound: avoid access
to free
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Ve
r
d
o
olaege
isl_basic_set_lift: properly
update the n
u
m
ber of ext
r
a
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
doc: emph
a
s
iz
e
the nee
d
for isl_int_get_gmp
a
nd isl
_
int_set_gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoo
l
aege
isl_qpolynomial_div: fur
t
her
n
ormalize divs by reduc
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sv
e
n Verdoolaege
isl_stream_read_p
w
_qpolynomial: a
c
cept
powe
r
s on com
p
ound
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sve
n
Verdoola
e
g
e
add isl_qpolynomial_p
o
w
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdo
o
la
e
ge
i
s
l_qpolynomial:
properly merge identi
c
al n
e
s
t
e
d
div
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
a
d
d isl_ma
t
_col_add
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
avo
i
d usi
n
g isl_
b
asi
c
_set and i
s
l_basic_
m
ap interna
l
s
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sve
n
Verdool
a
e
g
e
hide isl
_
map internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
v
e
n
V
e
rd
o
o
lae
g
e
hide isl_
s
et internals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven
V
erdoolaege
hide isl_basic_map
i
nternals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
S
v
e
n Ve
r
doolae
g
e
hide isl_basic
_
set
in
t
ern
a
ls
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-27
Sven
V
erdoo
l
aege
add isl_basic_set
_
{in,}equalities_ma
t
rix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaege
isl
_
ar
g
_parse: support footer
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoolaege
isl_a
r
g
_parse:
a
void duplicat
e
newli
n
e in he
l
p output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
Verdool
a
ege
isl_arg_parse
:
su
p
port grouping of o
p
tions within the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoo
l
aeg
e
isl_arg_p
a
rse:
s
upport int options
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
Verdo
o
laege
isl_arg_
p
arse: support ISL_A
R
G
_
HIDDEN flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdo
o
laege
isl_arg_pa
r
se:
s
u
pport ISL_ARG_BOOL_
A
RG flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven V
e
r
doolaege
isl_arg_pa
r
se: suppor
t
ISL_ARG_SINGLE
_
DASH flag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaege
isl_arg_par
s
e
:
su
p
port aliases
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven
Verdo
o
laege
isl_
a
rg_parse: always print
h
e
l
p
option
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next