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_pw_qpolynomial_mul_isl_int
2011-01-23
Sven Verdoolaege
a
dd isl_union_p
w
_qpolyn
o
mial_mul_isl_int
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdoolaeg
e
i
s
l
_stream
_
read_ob
j
:
rea
d
int objec
t
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-23
Sven Verdo
o
laege
add int objects for
use in iscc
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
S
v
e
n
Verd
o
olaeg
e
add
isl
_
basic_
s
et_
g
et_tuple_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-22
Sven Verdo
o
laege
M
erge br
a
nch 'main
t
'
commit
|
commitdiff
|
tree
2011-01-22
Sve
n
Verdool
a
ege
i
s
l_union_map_sample: don't return N
U
LL on empty input
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Ve
r
d
o
olaege
i
s
l_basic_map_set_
t
uple_name: finalize r
e
sult
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sve
n
Verdoo
l
aege
isl_transitive_clo
s
ure
.
c: more anonymize i
n
pu
t
map
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-21
Sven Verdoolaege
i
s
l
_bas
i
c
_
set
_
factor
i
z
er: make sure gr
o
u
p
in
f
ormation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
ven Verdoolaege
a
d
d i
s
l_u
n
ion_map_range_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
Sven Ver
d
ool
a
eg
e
doc: document pr
o
du
c
t functions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-19
S
ven Verdoolaege
rename i
s
l_b
a
sic_set_pro
d
uct to isl_basic_set_l
i
st_pr
o
duct
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-18
Sven
V
e
rdo
o
laege
isl_set_convex_hull: optionally use
Fourier-Motzkin
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
is
l
_basic_set_sample
_
point:
exploit
factori
z
a
t
io
n
if any
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
add isl_mo
r
ph_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
change prototype of
i
sl_vec_du
m
p
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoo
l
aege
add isl_
p
rinter_p
r
int_vec
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
add isl
_
union_
s
et_apply_union_pw_qpolynomia
l
_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Ve
r
doolaege
e
x
port isl_un
i
on_map_fro
m
_domain and isl_union_map_from_range
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdool
a
eg
e
isl_basic_map_intersect_doma
i
n: repl
a
ce open-coded
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
isl_
s
t
r
e
a
m_read_map: accept modu
l
o expressions
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
Sven Verdoolaege
i
sl_basic_
m
ap_
i
nsert: don't simplify the result
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
Merge branch 'm
a
in
t
'
commit
|
commitdiff
|
tree
2011-01-16
S
v
en Verdoolaege
isl_basic_map_fr
o
m_cons
t
raint_matrices: clear newly
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sven Verd
o
olaege
isl_token
_
free
:
f
r
ee string represen
t
ation of keywords
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
S
ven Verdoolaege
is
l
_
in
p
ut
.
c:
read_fac
t
or: drop unexpec
t
ed i
d
entifier
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-12
Sve
n
Verdoolaege
is
l
_input
.
c: accept_affine_factor: avoid doub
l
e free
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Tobias Grosser
Add isl_union_(set/map)_detect_equa
l
ities
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
S
v
en Ve
r
doolaege
isl_stream_
r
ead_
m
ap: allow spac
e
n
ames that happen
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-08
Sven Verdoolaege
isl_stream_n
e
xt_toke
n
:
keep t
r
a
c
k
of
string represen
t
ation
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
add is
l
_b
a
sic_se
t
_flatten
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
v
en Verdoolaege
add is
l
_uni
o
n_map_simp
l
e_hull
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
V
e
rdool
a
ege
M
e
r
g
e b
r
anch 'maint'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sv
e
n Verdoo
l
aege
add isl_set
_
remove_unk
n
own_divs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sve
n
Verdoolaege
isl_
m
ap_is_su
b
se
t
: d
o
n't comp
u
te divs
of minue
n
d
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
rename isl_
m
ap_is_singl
e
to
n
to isl
_
map_fast_is
_
singleton
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven
Verdoolaege
a
d
d isl
_
map_fast_is_single_valued
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
Sven Verdoolaege
a
d
d isl_qpolyno
m
ial
_
dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdoolaege
export isl
_
union_set_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-07
S
ven Verdool
a
ege
isl_qpoly
n
omial_add_
o
n
_
domain: com
p
ute gist with respect
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sv
e
n Verdoo
l
aege
is
l
_
u
nion_m
a
p_coalesce and isl
_
union_map_compute_divs
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-06
Sven Verdoolaege
i
sl_bas
i
c_map_sol
v
e_lp:
use d
e
nominator
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
S
ven
V
erdoolaeg
e
M
erge comm
i
t 'isl-0
.
05
.
1'
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Verd
o
olaeg
e
is
l
0
.
0
5
.
1
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven V
e
rdoolaeg
e
i
sl
_
tab_b
a
sic_map_partial_lexopt: fix up symmet
r
y
detect
i
on
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sven Ver
d
oo
l
aege
isl_
b
asic
_
map
_
universe:
fin
a
lize res
u
lt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2011-01-05
Sv
e
n Ve
r
doolaege
isl_seq
.
h: allow in
c
l
us
i
on from C++
commit
|
commitdiff
|
tree
2010-12-31
Tobias Gross
e
r
A
d
d GDB module
t
hat defines an
i
slprint command
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verd
o
olaege
reimplement is
l
_map_partial_l
e
xopt
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
Sven Verdoolaege
i
s
l_map: fix ty
p
os in c
o
mments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-30
S
v
en
V
e
rdoo
l
aege
add s
o
me more isl_map_lexmin t
e
sts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Verdool
a
e
ge
add
i
sl_
q
polynomial_add_isl
_
i
n
t
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
add
i
s
l
_pw_qpolynom
i
al_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven
V
erdoolaege
add isl_pw_qpol
y
nomial_
d
ump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
ven
Verdoolaege
add
isl
_
qpolynomial_fold_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verdoo
l
aege
add
isl_qpoly
n
omial_f
o
ld_g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
isl_printer
_
p
rint_qpolynomial_fold: support C format
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sv
e
n Verdoolaege
ex
p
ort isl_printer_print_qpolynomial_fold
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
S
v
en Ve
r
d
o
olaege
export isl_u
n
ion_map_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaeg
e
add is
l
_{set,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sve
n
V
e
rdool
a
e
ge
ad
d
isl_b
a
sic_{se
t
,map}_dump
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Verdoolaege
isl_print
e
r_
p
rint_basic_{set,
m
ap}: don't print
n
ewline
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-29
Sven Ver
d
oolaege
rename isl_*
_
d
u
mp to isl_*_print_internal
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-27
Sven Verdoolaege
mak
e
isl/point
.
h sel
f
-
c
ontained
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-23
Sven
V
erdoolaege
i
s
l 0
.
05
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sve
n
Verdoola
e
g
e
isl_p
r
int
e
r_print_b
a
sic_m
a
p
: plug memo
r
y leak on error
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-22
Sven V
e
rdoola
e
ge
isl_dim_set_name: plug memory l
e
ak when overwrit
i
ng
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sv
e
n Verdool
a
ege
isl_tab_basic_map_p
a
rtial_lexop
t
: det
e
ct and ex
p
loi
t
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_tab_p
i
p
.
c: fix typos i
n
comments
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
Sven Verdoolaege
isl_pip: limit the
t
otal
number
of
parame
t
er values
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
v
e
n Verdoo
l
aege
add
i
sl_b
a
sic_set_c
o
unt_upto
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-18
S
ve
n
Ve
r
dool
a
ege
isl_scan
.
c: fix typo in
comment
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-17
T
obias
G
rosser
Do not hash the memory address of
an isl_name
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven
V
erdoolaeg
e
isl_f
l
o
w
.
c: fix typos in comme
n
ts
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven
Verdoolaege
i
s
l
_
union_map_compute_flow:
e
xploit fixed di
m
ensions
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Verdo
o
lae
g
e
isl_union_m
a
p_co
m
pute_f
l
ow
:
avoid dependence on pointer
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sven Ve
r
doolaege
d
atafl
o
w
a
nal
y
sis: al
l
ow absence of
"textual
"
order
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sv
e
n Verdoolaege
a
d
d isl
_
m
a
p
_ge
t
_
h
a
sh
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-15
Sve
n
Verdoolaege
bas
i
c_map_read_poly
l
i
b:
add more san
i
ty checks
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sven Verdoolaege
isl_pip: preserve name
s
of para
m
eters in input context
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-13
Sven V
e
r
d
oolaege
isl_tab_basic
_
map_partia
l
_
l
e
xopt: avoid memory leak
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-11
Sven Ve
r
dool
a
e
ge
isl_pw_qpolynomial_fold_boun
d
: avoid
a
cces
s
to
f
r
e
ed
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Ver
d
o
o
laege
isl_b
a
s
ic_set_lift: properly update
t
he
n
umber of extra
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Ver
d
oolaege
doc: emp
h
as
i
ze the ne
e
d
for
isl_i
n
t
_
g
e
t_gmp and isl_int_set_gmp
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
S
ven Ve
r
d
o
olaege
i
s
l_q
p
o
lynomial_
d
i
v: further norma
l
ize divs by red
u
cing
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_
s
tream_read_pw_
q
polynomi
a
l: accept powers
on compo
u
n
d
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoo
l
aege
add isl_
q
p
o
l
y
n
omial_pow
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoolaege
isl_qpolyn
o
mial
:
properly
me
r
g
e identic
a
l nested
d
ivs
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
Sven Verdoola
e
ge
add
i
sl_m
a
t_co
l
_
a
dd
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-07
S
v
en Ve
r
d
oolaeg
e
avoid using isl_bas
i
c_set
a
n
d isl_basic_map inter
n
als
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaeg
e
hide isl
_
m
a
p
i
n
t
e
r
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ver
d
oolaege
hide is
l
_set
internal
s
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Verdoolaege
hi
d
e isl_basic_
m
a
p in
t
e
r
nals
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-12-01
Sven Ve
r
d
oo
l
aege
h
i
de isl
_
b
a
sic_set i
n
ter
n
als
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-27
Sve
n
V
erdool
a
e
g
e
add isl_basic
_
set_{in,}equalities_matrix
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verdoo
l
a
e
ge
isl_ar
g
_pa
r
se:
s
u
ppor
t
f
o
oter
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
S
ve
n
Verdoolaege
isl_ar
g
_parse
:
avoid du
p
li
c
ate
newli
n
e in
help output
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaege
isl_a
r
g_parse: support grouping of options wit
h
i
n the
.
.
.
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sv
e
n Verdoolaege
isl_ar
g
_parse: support int
o
pt
i
ons
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-11-26
Sven Verd
o
ol
a
ege
isl_arg_p
a
rse
:
support ISL_
A
RG_HIDDEN
f
l
ag
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
next