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_map.c: fix typo
2010-06-26
Sven Verdoolaege
isl_dim_
d
up: check input
d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
i
s
l_
b
asic_map_cow
:
c
he
c
k r
e
sult of
allocati
o
n
commit
|
commitdiff
|
tree
2010-06-26
S
ven
V
erdool
a
e
ge
isl
_
stream_ne
w
_
str: chec
k
result of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
i
sl_stream
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab_pip
.
c: fi
x
t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
isl_ta
b
.
c: fix
t
ypos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
p
olynomia
l
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoola
e
ge
isl_vertices
.
c: fix
t
ypo
s
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
V
erdoo
l
aege
isl_m
o
rph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
d
oolaege
isl_map
.
c
:
f
ix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_map_simplify
.
c: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
do
o
laege
isl_input
.
c: accept more general aff
i
ne exp
r
essions
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
add is
l
_vec_ad
d
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl
_
vec
_
scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
ola
e
ge
add isl_s
e
t_is
_
bo
x
commit
|
commitdiff
|
tree
2010-06-24
Sven
Ver
d
o
o
laege
ad
d
isl_map_is
_
t
ranslati
o
n
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdoola
e
ge
export i
s
l_q
p
olyno
m
ial_invo
l
ve
s
_dim
s
commit
|
commitdiff
|
tree
2010-06-21
S
ven V
e
rdoolae
g
e
isl_polynomial
.
c
:
add mi
s
sing
i
ncl
u
d
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaeg
e
isl_map_tran
s
i
tive_closure: check
w
h
e
th
e
r decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
add isl_stream
_
flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
lae
g
e
add isl_stre
a
m
_
skip_line
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Ver
d
o
o
laege
add rudiment
a
ry err
o
r r
e
po
r
ti
n
g mechanism
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n Ve
r
doolaege
add
i
sl_version
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ver
d
oolae
g
e
i
s
l_point_
a
lloc:
a
void potential memory leak
o
n er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoo
l
aege
do
c
:
d
o
c
ument is
l
_map_
d
eltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_t
a
b_
p
ip
.
c: c
o
mpare a
l
l coefficients w
h
e
n che
c
kin
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n Verdool
a
ege
is
l
_pw_qpo
l
ynomial
{
,
_
fo
l
d}_gis
t
: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdoo
l
a
ege
add isl_s
e
t_set_di
m
_
n
ame
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdool
a
ege
add isl_strea
m
_read
_
set
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
dool
a
ege
d
o
c:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_qpolyn
o
mial_lif
t
: fix l
i
fting in absence of d
i
vs
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Ver
d
oolaege
op
t
ionally (a
n
d
by default) u
s
e b
e
rnst
e
in
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdool
a
ege
privately export isl_qpol
y
nomial_fold_fold
_
on_
d
omain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
i
sl_pw
_
qp
o
lynomial_f
o
ld
_
forea
c
h_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdo
o
laege
ad
d
par
a
metric vertex e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add isl_mo
r
ph_do
m
_dim and isl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
add isl_bas
i
c_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
private
l
y export
isl_ba
s
i
c_set_sort_constr
a
in
t
s
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
do
o
l
a
ege
isl_tab_de
t
ect_implicit_equalitie
s
: al
s
o detect mani
f
est
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
is
l
_tab: optionally only
m
ar
k
st
r
i
ctly r
e
dund
a
nt r
o
ws
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
generalize
isl_pw
_
qpolynomi
a
l
_bound to isl_pw_
q
p
o
lyno
m
ial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaeg
e
extract
o
u
t gener
i
c part of isl_
p
w_qpolynomial_
b
ound
_
range
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolae
g
e
i
s
l_pw
_
qpolynomial
_
bound_r
a
nge: a
l
so set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
d
d isl_basic_s
e
t_
f
actorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_qpol
y
n
o
mial_fol
d
_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
e
xpo
r
t isl_q
p
olynomia
l
_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
o
o
laege
add is
l
_
qp
o
lynomial_c
o
eff
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
a
d
d is
l
_qpolynomial_f
r
om
_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erd
o
olaeg
e
e
xport isl_qpolyn
o
mial
_
add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
a
dd is
l
_qpoly
n
omial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_
q
polynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add i
s
l_qpolynomial_insert_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdo
o
laege
add isl
_
qpoly
n
o
m
ial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_
c
tx:
a
dd two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b
_
d
etect_implicit_
e
quali
t
ies: return
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
ege
isl_tab
_
se
l
ec
t
_facet: ret
u
rn
int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_basic_set_ful
l
_com
p
ression
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
p
r
ivate
l
y expor
t
isl_pw_qpol
y
nomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
qpolynomial_fold_for
e
ach_qpoly
n
o
mial
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oola
e
ge
a
dd isl_pw_qpolynomial_fold_fo
r
each_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
export isl
_
pw_qpolynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
priva
t
e
l
y
expo
r
t isl_mor
p
h_alloc and isl_mo
r
ph_identity
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
add isl
_
qp
o
lynomial_fo
l
d_get_type
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
export
i
sl_pw_qpolyno
m
ial
_
get
_
ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
add isl_ctx
_
peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
i
s
l_ran
g
e
.
c:
fix
t
ypo in comm
e
nt
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
exp
o
rt
i
sl_set
_
is_bou
n
ded
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl
_
bo
u
nd:
plug memor
y
leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix
isl_qpo
l
y
n
o
mia
l
_
f
old_d
u
p
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl
_
p
w
_qpolynomial_
b
ound_ran
g
e
: fix removal of dim
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
l
ae
g
e
add boun
d
_
test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
d
o
c: doc
u
ment gist oper
a
tio
n
s
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdoolaege
doc:
docum
e
nt is
l
_cons
t
raint
_
is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
laeg
e
add isl_map_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaege
i
sl_basic_map
_
fo
r
e
ach_constrai
n
t: ma
k
e
sure input
h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
o
o
laege
isl_basic_m
a
p_copy: mark duplicat
e
d copy as final
i
zed
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rd
o
olae
g
e
isl_basic_set_
l
ift: fi
n
a
l
ize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
s
l_basic_map_mo
v
e_dims: always fi
n
a
l
ize re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdool
a
ege
isl_basic_map_
f
rom_
c
onstr
a
int: finalize result
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verd
o
olaege
isl_access_info
_
compute_flow: handle may acc
e
sses
commit
|
commitdiff
|
tree
2010-05-31
S
ven Verdoolae
g
e
isl_access_i
n
fo
_
com
p
ut
e
_
f
low:
handle multi-
v
alued
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaeg
e
remove some unu
s
ed
v
ariabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laege
ren
a
me isl_pw_qpolynomial_
m
ove and
add
isl_pw_qpolyno
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdo
o
laege
isl_
c
t
x
:
keep
t
ra
c
k of user options
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
improved argument par
s
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
er
d
o
o
l
aege
is
l
_options_pa
r
se: pri
n
t help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
add isl_bound test applicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add i
s
l_pw_qpoly
n
o
mial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolynom
i
al_fold_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add rudim
e
ntary i
s
l
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
ege
a
d
d
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
doolaege
i
s
l
_equali
t
i
e
s
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
a
dd isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add i
s
l_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
oolaege
add isl_mat_d
i
agonal
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
o
laege
i
sl_mat_li
n
_to_a
f
f
:
fix error handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_qpol
y
nomial_opt_
o
n_domain:
h
a
n
d
le empty inpu
t
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdo
o
laege
isl_nam
e
_alloc
:
fix error
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add
isl_dim_offset
commit
|
commitdiff
|
tree
next