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_basic_map_cow: check result of allocation
2010-06-26
Sv
e
n
Verdoolaege
isl_basic_map_cow: check result of
a
l
locatio
n
commit
|
commitdiff
|
tree
2010-06-26
Sven Verd
o
olaege
isl_stre
a
m_ne
w
_str: ch
e
c
k
result of al
l
ocat
i
on
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
isl_stream
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
i
s
l
_
t
ab
_
pi
p
.
c:
f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoola
e
ge
isl_tab
.
c: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoo
l
aege
isl_poly
n
o
m
ial
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoo
l
aeg
e
isl_vertices
.
c: fix typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
lae
g
e
isl_morp
h
.
c: fi
x
typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verd
o
o
l
aeg
e
isl_map
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oola
e
ge
isl_m
a
p_simplify
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_in
p
ut
.
c: ac
c
ept more general affine
expressio
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
add isl_v
e
c_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_
v
ec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
a
dd isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add isl_map_is
_
transl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export
i
sl_
q
pol
y
nomial_invo
l
ves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
ol
a
ege
isl_polynom
i
al
.
c: add missing
i
nc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
e
rdo
o
laege
i
s
l_map_transit
i
ve_c
l
o
sure: che
c
k wh
e
ther decomposi
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoola
e
ge
ad
d
isl_s
t
r
eam_flush_t
o
kens
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rd
o
olaege
add isl
_
s
tream_skip
_
line
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
add r
u
dimentary erro
r
reporting mechanis
m
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n
Verdoolaege
a
d
d i
s
l_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_po
i
nt
_
a
l
loc: a
v
oid potent
i
a
l
me
m
ory le
a
k
on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaeg
e
doc: documen
t
isl_map_d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verd
o
olaege
isl_tab_pip
.
c: compare all coefficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoo
l
aege
isl_p
w
_qpolynomia
l
{,_fold}_gist: use simple hu
l
l instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdo
o
laeg
e
add isl_stream_read_se
t
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
isl_qpolynomial_
l
ift: fix
lifting
in absence of di
v
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally (
a
nd by default) use bernstei
n
e
x
pa
n
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
pr
i
vately expo
r
t is
l
_q
p
olynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add is
l
_pw_qpolynomial_
f
old_foreach_pi
e
c
e
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdo
o
laege
add par
a
metric
v
ertex
e
n
um
e
r
ation
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
a
ege
add i
s
l
_
morph_do
m
_dim and i
s
l_
m
o
rph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
add
i
sl_basic_map_is_r
a
tional
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
priv
a
te
l
y e
x
port
i
s
l
_
b
asic_set_so
r
t_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_tab
_
d
e
t
e
ct_
i
mplicit_equalities: also de
t
e
c
t manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
i
sl_tab
:
optionally only
m
ark s
t
ri
c
tl
y
r
edundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
gen
e
r
a
l
iz
e
isl_pw_
q
p
olynomia
l
_
bound to isl_pw_qpo
l
ynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extract out generic p
a
r
t
of isl_pw_qpolynomia
l
_bo
u
nd_r
a
nge
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_pw_qpolynomial_bo
u
nd_range: also set exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
lae
g
e
add
i
sl_basi
c
_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
export is
l
_pw_qpoly
n
o
mia
l
_
f
old_drop_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
g
e
export
i
sl_qpolyno
m
ia
l
_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add
i
sl_qpol
y
nomial_c
o
eff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add is
l
_qpol
y
nomial_fr
o
m
_
aff
i
ne
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
ort isl_qpolyn
o
mial_add
_
di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
add
isl
_
qpolynomia
l
_homo
g
enize
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laege
add
i
sl_qpolynom
i
al_
d
egr
e
e
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
a
dd i
s
l_qpolynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoo
l
a
e
ge
add isl_qp
o
lynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
isl_ctx: add t
w
o
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
ege
i
s
l_tab_detect_im
p
licit_equalit
i
es:
ret
u
rn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
add isl_
t
ab_s
i
gn_of_ma
x
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
isl_ta
b
_
s
elect_facet: return int
i
nst
e
a
d
of i
s
l_t
a
b
*
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
e
ge
add isl
_
basic
_
set_full_compressio
n
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
p
rivately exp
o
rt isl_pw_q
p
olynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
a
dd
i
sl_qpo
l
yno
m
ial
_
f
old_foreach
_
qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
a
dd i
s
l_p
w
_qpolynomial_fol
d
_foreach
_
lif
t
ed_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
export isl_pw_q
p
oly
n
omial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
privately expor
t
isl_morph_alloc
a
nd isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
add isl_qp
o
lynomial_
f
o
l
d_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
e
x
p
ort
i
sl_pw
_
q
polynomi
a
l_get_ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_peek_o
p
tions
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_range
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expo
r
t
isl_s
e
t_is_b
o
unded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_boun
d
:
plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
f
ix isl_
q
p
oly
n
omial_
f
old_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_pw_q
p
olyno
m
i
al_bound_
r
a
nge: fix remova
l
of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add bou
n
d_test
.
sh to distr
i
b
u
tion
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
erdoolaege
d
oc: do
c
u
m
en
t
gist ope
r
ations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
lae
g
e
doc
:
document
isl_constr
a
i
n
t_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoola
e
ge
a
dd
i
sl_
m
ap_is_single_val
u
ed
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdoolaeg
e
isl_basic_map_
f
oreach_const
r
aint: make
s
ure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven
V
erdoolaege
is
l
_
b
a
s
i
c_map_c
o
py
:
mark duplic
a
ted copy as fi
n
alized
commit
|
commitdiff
|
tree
2010-06-03
S
ve
n
Verdoo
l
aege
i
sl_basic_set_lift: finaliz
e
result
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_basic_map
_
move_dims
:
a
l
w
a
y
s
finalize
r
esul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
dool
a
ege
i
s
l_b
a
s
ic_map_fr
o
m_constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolae
g
e
is
l
_access_info_co
m
pute_flow:
h
andle may
a
cce
s
s
e
s
commit
|
commitdiff
|
tree
2010-05-31
S
v
en
Verd
o
ol
a
ege
isl_acces
s
_
info
_
compute_flow: ha
n
dle multi-valued si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
aege
remove some unused
v
ari
a
ble
s
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolaege
fix some ic
c
warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename isl_pw_qpolynomial_move a
n
d add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n
Verdoolaege
isl_
c
t
x
: keep tr
a
ck of
u
s
er o
p
t
ions
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
imp
r
o
v
ed argument pars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
isl_optio
n
s
_
parse: print h
e
l
p
message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
dd isl_bound test applicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoolae
g
e
add isl_pw_qpo
l
ynomial_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add
i
sl_pw_qp
o
lynomial_fold_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add rudimentary is
l
_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
doolae
g
e
add is
l
_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
is
l
_equalities
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_mat_i
n
sert
_
r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaege
add i
s
l_ma
t
_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_m
a
t_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_mat_lin_to_aff: fi
x
error ha
n
dl
i
n
g
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
i
s
l_qpolynom
i
al_o
p
t_on_dom
a
in:
h
a
ndle
e
mpty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
isl_na
m
e_alloc
:
fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Ve
r
dool
a
ege
add isl
_
dim_offset
commit
|
commitdiff
|
tree
next