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_domain: properly set dimension of result
2010-06-26
Sven Verdoola
e
g
e
i
s
l_map_convex_hull: avoid
NU
L
L pointer d
e
reference
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_ba
s
ic_ma
p
_normalize_const
r
ai
n
ts
:
av
o
id
N
ULL poi
n
ter
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
er
d
oo
l
aeg
e
isl_basic_m
a
p_total_dim: avoid NULL
po
i
nter
d
ereference
commit
|
commitdiff
|
tree
2010-06-26
S
ven V
e
rd
o
olaege
isl_basi
c
_map
_
o
rder
_
divs: a
v
oi
d
N
U
LL pointer d
e
refer
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
eg
e
isl_con
v
e
x_hull
.
c:
is
l
_basic_set_add_equal
i
ty:
avo
i
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
is
l
_
c
onvex_hull
.
c
:
compute_facet: avoid NULL
p
oint
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
isl_test
.
c: map
_
is_equal: check input
commit
|
commitdiff
|
tree
2010-06-26
Sv
e
n
V
erdoo
l
aeg
e
isl
_
dim
.
c:
copy_n
a
mes: check input d
i
m
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
e
ge
isl_dim_dup
:
check in
p
u
t
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
o
olaege
i
sl_bas
i
c
_map_co
w
:
check
result of
a
l
l
ocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Ver
d
oolaege
i
s
l
_stream_n
e
w_str: check result
o
f allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olae
g
e
isl_stream
.
c
:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdo
o
laege
isl_ta
b
_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
ae
g
e
isl_tab
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdool
a
e
ge
isl_polynom
i
al
.
c
:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Ver
d
oolaeg
e
isl_vertices
.
c: fi
x
typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
is
l
_morp
h
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oola
e
ge
i
s
l_ma
p
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Ver
d
oolaege
isl_map_simplify
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
V
erdoolaege
isl_input
.
c: accept m
o
re general affine expression
s
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
ad
d
isl_ve
c
_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
l
aege
add isl_vec_
s
cale
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoola
e
ge
add isl_set
_
is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven V
e
rdoo
l
aege
a
dd
i
s
l
_map_is_tran
s
lat
i
o
n
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
doolaege
export
isl_qpolynom
i
al_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
Verdoolaege
isl_polyn
o
mial
.
c
: ad
d
mi
s
s
i
ng incl
u
de
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
oolaeg
e
isl_
m
ap_transitive_closure: check whether
d
ec
o
mposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdo
o
laege
add isl_stream_fl
u
sh_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
dd i
s
l
_stream_s
k
ip
_
line
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdool
a
ege
add
rudimentary error
reporting mecha
n
ism
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdool
a
ege
add isl_
v
ersion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
isl_point_alloc: avoid p
o
tenti
a
l mem
o
ry
l
ea
k
on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolae
g
e
doc: document isl
_
map_de
l
tas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
i
s
l_ta
b
_pip
.
c: compare all c
o
efficients when ch
e
cking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verd
o
ola
e
g
e
isl_pw_
q
polynomial{,
_
fold}_gist: use simple hull i
n
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add
isl_s
t
ream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oo
l
aege
doc: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
isl_qpolynomia
l
_lift: fix
l
ifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
opt
i
onally (an
d
by de
f
ault)
u
se bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
privat
e
ly export isl_qpolynomia
l
_fold_fold_on_d
o
main
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_pw_qpolynomial_fold_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erd
o
olae
g
e
add paramet
r
i
c
v
e
rtex
e
numeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add
i
sl_morp
h
_dom_dim
a
n
d isl_mo
r
p
h
_
r
an_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add is
l
_bas
i
c_m
a
p_is_rat
i
onal
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
privately e
x
por
t
isl_basic_set_so
r
t_cons
t
raints a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_detect_
i
m
p
licit_
e
q
u
alities: also detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl
_
tab:
o
ptiona
l
ly only mark strictly redundant
r
ows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
generalize isl_p
w
_qpolynomi
a
l
_
bound to isl_pw_
q
polynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
extract out generic p
a
r
t of isl_pw_qpolynomial_bou
n
d_ra
n
g
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolynomial_bound_range: also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
add isl_ba
s
ic_set_f
a
ctori
z
er
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
export
i
sl_
p
w_qpolynomia
l
_f
o
ld_drop_d
i
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
export isl_qpo
l
ynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add
isl_qp
o
l
y
nom
i
al_c
o
eff
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
doolaege
add
isl_qpolyno
m
ial_from_a
f
fine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
export
i
s
l
_qpolynomial_ad
d
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
o
l
aege
add
isl
_
qpol
y
n
o
mia
l
_
homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
a
dd isl_qpol
y
nomial_d
e
gree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_qpol
y
nomial_inser
t
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
is
l
_qp
o
lyn
o
mial_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_tab_det
e
ct_impli
c
it_
e
qualities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add
i
s
l
_
tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_
t
ab_select_fac
e
t: re
t
urn
i
nt instea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
V
e
rdoolae
g
e
add is
l
_basic_s
e
t
_full_co
m
pre
s
sion
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
privately e
x
port isl_pw_qpolynom
i
al_mo
r
ph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
ad
d
i
sl_qpolynom
i
al_f
o
ld_foreach_qpol
y
nomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
a
dd isl
_
pw_qpolynomial_fold_forea
c
h
_
l
ifted_piec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
export
i
s
l_pw_qpolynomi
a
l_fold_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
privately export isl_m
o
rph_a
l
l
o
c and is
l
_morph_identit
y
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
add isl
_
qpo
l
ynomial_fo
l
d
_
get_typ
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
exp
o
rt isl
_
pw_qpol
y
nomial_g
e
t_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
ad
d
i
s
l_ctx
_
peek
_
options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_range
.
c
: f
i
x
t
ypo
i
n
c
omme
n
t
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expor
t
i
sl_s
e
t_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
isl_bound: plug mem
o
ry lea
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
f
i
x
isl_qpol
y
n
omial_
f
old_dup
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaeg
e
isl_pw_q
p
olynomia
l
_bound_rang
e
: fi
x
r
emoval
of di
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add boun
d
_t
e
st
.
sh to dis
t
ributi
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolae
g
e
doc: d
o
cument gist opera
t
ion
s
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n
Verd
o
olaege
d
oc: document isl_c
o
nstrai
n
t_
i
s_equality
commit
|
commitdiff
|
tree
2010-06-04
S
ven Verdoolaege
ad
d
isl_map_i
s
_single_va
l
u
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdoola
e
g
e
isl_basic_map_foreach_constraint: make sure in
p
u
t has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
isl
_
ba
s
i
c_m
a
p_copy: mar
k
duplicated copy
a
s
fin
a
liz
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n
V
e
r
d
o
olae
g
e
isl
_
bas
i
c_s
e
t
_l
i
f
t:
fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-03
S
ven Ver
d
oolaege
isl_basic_map_move_di
m
s: always finalize
result
commit
|
commitdiff
|
tree
2010-06-03
S
v
en
Verdo
o
laege
i
s
l_basic_
m
ap_from
_
constr
a
int: fin
a
lize
r
es
u
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
dool
a
ege
isl_
a
ccess_info
_
c
o
mp
u
t
e
_flow: handle may
accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_access
_
info_co
m
p
u
te_flow: hand
l
e mul
t
i-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
do
o
l
ae
g
e
remo
v
e
some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolae
g
e
f
i
x some ic
c
warni
n
gs
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
e
r
doo
l
aege
r
e
name isl_
p
w_qpolynomial_move an
d
a
d
d isl
_
pw_qpolyn
o
mial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ve
n
Verdoolaege
i
sl_ctx
:
keep track of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
improved argument parsi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
isl_options_par
s
e: print h
e
lp mes
s
age
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
isl_bound te
s
t applicat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
add isl_pw_qpol
y
nomi
a
l_bo
u
nd_ran
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
add isl_pw_qpolynomial_
f
old_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rudim
e
ntary isl_mo
r
p
h
commit
|
commitdiff
|
tree
next