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_order_divs: avoid NULL pointer dereference
2010-06-26
Sven Verdoola
e
ge
i
s
l_basic_map_order_divs: avo
i
d NULL
pointer dere
f
er
e
nce
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
isl_con
v
ex_hu
l
l
.
c: isl_basi
c
_set_add_
e
quali
t
y: avoid
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
laeg
e
is
l
_c
o
nvex_hul
l
.
c: comput
e
_
f
a
c
et: avoid N
U
LL
p
ointer
.
.
.
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdo
o
l
a
e
ge
isl_t
e
st
.
c: map_is_equal: c
h
eck in
p
ut
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
isl_dim
.
c: copy_nam
e
s: check input dim
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolae
g
e
isl_dim_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
isl_basic
_
map_cow:
c
h
eck result o
f
allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
e
rdool
a
ege
isl_st
r
eam_new_str: chec
k
result
of allocation
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
isl_st
r
eam
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_t
a
b_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_tab
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_po
l
ynom
i
al
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl_ve
r
tices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erd
o
ola
e
g
e
is
l
_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdoolaege
isl_
m
ap
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map_simplify
.
c: f
i
x typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoola
e
ge
isl_input
.
c: accept more general affine expres
s
ions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
a
d
d
is
l
_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
add isl
_
vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
g
e
add isl_set
_
is_box
commit
|
commitdiff
|
tree
2010-06-24
S
ven V
e
rdoola
e
ge
add isl_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
olaege
export isl_qpo
l
yn
o
mial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoola
e
ge
isl_polynomial
.
c: add
m
i
ssing
inc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_map_
t
ran
s
i
t
i
ve_closure: check w
h
ether decompos
i
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoolaege
add isl_st
r
eam_
f
l
u
sh_token
s
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
ad
d
isl_str
e
am_sk
i
p
_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
dd
r
udimen
t
ary error re
p
orting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Ve
r
doo
l
ae
g
e
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
r
doolaege
isl_point_alloc:
a
void potential
m
emory lea
k
on erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolae
g
e
doc: do
c
u
m
ent isl_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
r
d
oolaege
isl_tab_pi
p
.
c: com
p
are
a
ll coeffic
i
ents when che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_pw_qpolyno
m
i
al{,
_
fold}_g
i
st: use
simple hull in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
ol
a
e
g
e
add
i
s
l_se
t
_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdoolae
g
e
add isl_stream_r
e
ad_set
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_qpo
l
y
n
om
i
al_lift: f
i
x lif
t
ing in absence o
f
divs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
opt
i
onally (and by de
f
ault) use ber
n
st
e
i
n
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
p
r
ivatel
y
export isl_q
p
olynomial_fold_fol
d
_on_
d
omain
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
rdoolaege
ad
d
isl_p
w
_qp
o
lynomial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
a
d
d
p
arametric vertex enu
m
erati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
d
o
olaege
add isl_morph_dom_dim a
n
d
isl_morph_
r
an
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaeg
e
add isl_basic_ma
p
_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately ex
p
ort isl_
b
asic_s
e
t_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_tab_detect_
i
mpl
i
cit_
e
qualities: a
l
so detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoo
l
ae
g
e
i
sl_tab: opti
o
nally
o
nly mark str
i
c
tly
redunda
n
t
rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
g
ener
a
lize isl_pw_qpo
l
yno
m
i
al_b
o
un
d
to
isl
_
pw_qpolynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
e
xtract out gen
e
ric pa
r
t of isl_pw_q
p
olynom
i
al_bo
u
nd_r
a
ng
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_p
w
_qpoly
n
omial_bound_range: also se
t
exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
a
dd i
s
l_basic_set_f
a
ctor
i
zer
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doo
l
aege
export i
s
l_pw_qpolyn
o
mial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
export isl_qpolynomi
a
l_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
ad
d
isl_qpol
y
nomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
dd isl_q
p
olynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
e
x
port
isl_q
p
ol
y
nom
i
al_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_
q
polynomial_hom
o
g
e
nize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial
_
degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
add isl_qpolynomial_insert_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add
isl_qpolynomial
_
dim
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
e
g
e
is
l
_c
t
x: add t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
isl_tab_d
e
tect_implic
i
t_equaliti
e
s
:
retu
r
n
i
nt
e
ger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_tab_sign_of_ma
x
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
i
s
l
_
tab_select_
f
acet:
return int i
n
stead of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
add isl_b
a
sic_set_
f
ull_compr
e
ss
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
privately export
i
s
l_pw_qpolynomial_mo
r
ph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
d
d isl_
q
po
l
ynomial_
f
old_foreach_qpol
y
nomia
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw_qpolynomial_
f
o
ld_foreach_l
i
f
t
ed_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
xport isl_pw_qpol
y
nomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
d
o
olaeg
e
private
l
y e
x
port isl_
m
orph_alloc and isl_morp
h
_identity
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Ve
r
doo
l
aege
add isl_qpol
y
nomial_fold_
g
e
t_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
export isl_pw_qp
o
l
ynomial_get_ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
d
d
isl_ctx_peek_op
t
i
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ran
g
e
.
c
:
fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoolae
g
e
expor
t
isl_set
_
i
s_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
isl_bound: plug memory le
a
k
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
f
i
x is
l
_qpolynomial_
f
o
l
d_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_p
w
_qpolynomial_bo
u
nd_range: fix
r
emoval of d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add bound_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
erdoolaeg
e
doc: documen
t
g
ist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
d
oc: docum
e
nt isl_constraint_
i
s_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoo
l
ae
g
e
add
i
sl_map_is_singl
e
_val
u
ed
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl
_
bas
i
c_map_foreach_co
n
str
a
int: make
sure input ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
e
n Ve
r
doo
l
aege
isl_bas
i
c_
m
ap_copy: mark du
p
licated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Ve
r
d
oolaege
isl_basic_set_lift:
f
inalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
i
s
l_basic_map_
m
ove_
d
i
ms: al
w
ays finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
isl_basic_ma
p
_from_const
r
a
i
nt: final
i
ze result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
isl_access_info_
c
o
m
pute_f
l
ow: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
Ver
d
oolae
g
e
isl
_
ac
c
ess_info
_
compute_
f
low: handle
m
ul
t
i-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
aege
re
m
ove
some
u
n
u
sed
v
aria
b
les
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
V
e
rd
o
olaege
rename is
l
_pw_qpolynomi
a
l_move a
n
d add isl_pw_qpolyn
o
mia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
isl_ct
x
: keep track of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven
Ver
d
oolaege
improved argument pars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olae
g
e
isl_options_pa
r
se
:
print help mess
a
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
a
d
d
isl_bound tes
t
applic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaeg
e
add isl_pw_
q
polynomial_b
o
und_range
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
e
rdoolaege
ad
d
i
sl_pw_qpolynomial_fo
l
d_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ver
d
ool
a
e
g
e
add
r
udi
m
entar
y
isl
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_
s
eq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
lae
g
e
isl_equal
i
t
i
es
.
c: fix
typo i
n
comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_mat_insert_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_m
a
t_nor
m
aliz
e
commit
|
commitdiff
|
tree
next