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_set_preimage: avoid NULL pointer dereference
2010-06-12
Sven V
e
rdo
o
la
e
ge
priva
t
ely export isl_pw_qpolyn
o
mial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
i
sl_qpoly
n
omial_fold_foreach_qpol
y
nomi
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_
p
w_qpo
l
ynomial_fold_foreach_lifted
_
pi
e
c
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
expor
t
isl_pw_qpol
y
nom
i
al_fold_is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
pr
i
vately
export isl
_
morph_alloc and is
l
_
m
orph
_
id
e
nt
i
ty
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add i
s
l_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
d
oolaege
expor
t
i
sl_pw_
q
pol
y
nomial_get_c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_ctx_pe
e
k_options
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Ver
d
oolaege
isl_r
a
nge
.
c: f
i
x typ
o
in c
o
mment
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
do
o
laege
export isl_set_is_
b
ounded
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
isl_bo
u
nd: plug
m
e
m
ory leak
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
fix
isl_qpolynomial_fol
d
_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
i
s
l_p
w
_qp
o
lynomial_bound_r
a
nge: fix
removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add bo
u
nd_test
.
sh to distr
i
bution
commit
|
commitdiff
|
tree
2010-06-11
S
ven Verdo
o
laege
d
oc: docu
m
ent
g
i
st operation
s
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
ool
a
ege
doc: document isl_con
s
traint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
add i
s
l_map_is_single_valu
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
V
e
rdo
o
laege
isl_basic_
m
ap_forea
c
h_
c
onstraint
:
m
ake sure inp
u
t ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
o
l
aege
isl_basic_map_copy: mark duplicat
e
d copy as
f
i
nalized
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
isl_basic_set_lif
t
: fina
l
ize resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_b
a
sic_map_m
o
ve_dims: always final
i
ze result
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n V
e
rdoo
l
aege
isl_basic_
m
a
p_from_constraint
:
finalize result
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n V
e
rdoolae
g
e
isl_acc
e
ss_i
n
fo_comp
u
te_flo
w
: ha
n
dle
m
a
y
accesses
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Ver
d
o
o
laege
isl_access_in
f
o
_
compute_
f
l
ow: h
a
ndle multi-val
u
ed
s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
remove some unused variable
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oolae
g
e
fi
x
some icc w
a
r
n
ings
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdo
o
l
a
e
ge
rename isl
_
pw_qpolynom
i
al_move a
n
d
a
d
d isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
isl_ctx:
ke
e
p
track o
f
user
o
ption
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolae
g
e
improved argument pa
r
sing
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
r
d
oolaege
isl_options_parse: print help mes
s
a
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
o
olaege
add
isl_boun
d
test applicat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
add isl_pw_qpolynom
i
al
_
bound_ra
n
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
olaege
a
dd isl_pw_
q
polyn
o
mial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoo
l
aege
add rud
i
mentar
y
isl_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
r
dool
a
ege
add isl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
i
s
l_equalities
.
c: fix t
y
po i
n
c
o
mm
e
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
a
dd i
s
l_mat_insert_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
a
dd
i
sl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdo
o
laege
isl_mat_lin_
t
o_aff:
fix error han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoola
e
ge
isl_qpol
y
nom
i
al_
o
p
t
_on_domai
n
: handle empt
y
in
p
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l
_
n
a
me
_
all
o
c: fix
e
rror han
d
lin
g
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_
e
qualities
.
c: fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add
isl
_
pw_q
p
ol
y
nomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
olaege
add is
l
_
q
po
l
ynomial_le_cs
t
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaege
p
rivately export
isl_s
e
t_i
s
_boun
d
ed
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
a
dd isl_set_s
c
an
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaege
add isl_stream_
r
ead_pw_
q
p
o
lynomial
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
a
d
d isl
_
q
polynomial_from_ter
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
qpo
l
ynomial_from_con
s
t
r
aint
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaeg
e
add isl_bas
i
c
_set_foreach_boun
d
_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpol
y
nomi
a
l_
a
s
_
polynom
i
al_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoo
l
aege
add
i
sl_qpolyn
o
mial_substitut
e
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoolaege
add isl
_
basic_set_dims_get
_
sign
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdool
a
e
ge
isl_ct
x
:
a
dd z
e
r
o
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Ve
r
doola
e
ge
ad
d
isl
_
qpoly
n
omial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ve
r
do
o
l
aeg
e
a
dd isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
isl_qpolynomial_fold
_
opt_on_domai
n
:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Ve
r
d
o
o
l
aege
isl_p
w
_
*_eval
:
fix handling o
f
empty in
p
ut
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ve
r
doolaege
add isl_basic_set
_
move_dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
Verdoolaeg
e
e
xp
o
rt isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
ad
d
isl_qpolynomial
_
get_di
m
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_map_transitive_clo
s
ure: co
a
lesc
e
in
p
u
t
befo
r
e c
h
e
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
V
erdool
a
e
g
e
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rd
o
olaeg
e
isl_map_lex_le: u
s
e one basic set less i
n
result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdo
o
laege
isl_stream: accept lexicogra
p
hic opera
t
o
rs
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaeg
e
isl_
m
ap_transitive_closure
:
check if input
is close
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
o
l
aege
add is
l
_print
e
r_f
l
ush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
ol
a
e
ge
isl_map
_
r
ea
d
: parse para
m
etri
c
Omega
i
nput
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
is
l
_map_
r
ead: fix
t
y
po
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
i
s
l_c
o
nvex_hull
.
c
:
is_bound: any inequality is
a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
is
l
_convex_hul
l
.
c: add_bounds:
p
ropagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Ver
d
oolaege
document isl
_
map_re
v
e
r
s
e
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
is
l
_stream_next_token: te
r
minate
s
tring toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_m
a
p_transitive_cl
o
su
r
e:
treat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl_map_transi
t
ive_closure, omega-li
k
e: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
i
sl_m
a
p_
t
ransitive_closur
e
: use simple hull
i
n omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verdoo
l
aege
i
sl
_
map_transitiv
e
_
closure: try and
c
omput
e
c
l
osure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdoolaege
i
sl_map_coalesce:
a
llo
w
wrapping in sets that stic
k
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolae
g
e
isl_map_coa
l
e
s
ce: al
l
owing cutting eq
u
alities in ad
j
acent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
Verdoolaeg
e
ad
d
so
m
e more coalescing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
erdoolaege
isl_
b
a
s
ic_map_
g
i
st: be
more
agg
r
essive in remov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_stream: accept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdoolaege
i
sl
_
tab
_
rollba
c
k: restore rows t
h
at are no long
e
r m
a
r
ked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
d
o
c
: docu
m
ent simple hul
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc:
e
mphasize that w
e
are dealing w
i
th integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erd
o
olaeg
e
isl_transi
t
iv
e
_clo
s
ure
.
c: path_along_delta: on
l
y avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdool
a
e
g
e
isl_map_transit
i
ve_closure: compu
t
e
d
ivs of input
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
isl_map_co
m
p
u
te_divs
:
make sure result is g
a
ussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en V
e
rd
o
olaege
isl_print
e
r_
p
rint_pw_qpolynomial: properly pr
i
nt constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
isl_pip and
i
sl_cat: terminat
e
is
l
_ar
g
arra
y
with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaeg
e
d
o
c: document setting and g
e
tt
i
n
g
of dimension n
a
me
s
commit
|
commitdiff
|
tree
2010-04-19
S
ven
V
erdool
a
e
g
e
d
oc: doc
u
ment
*
_get_dim
f
unction
s
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
isl_m
a
p_convex_hull: handle non ful
l
-di
m
ensional pai
r
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Ve
r
doolaege
i
sl_convex
_
hull
.
c
: modulo_affine
_
hul
l
: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
ege
isl
_
conv
e
x_hull
.
c
: co
n
vex
_
hul
l
_
p
air: sk
i
p
d
ire
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
e
n
Verdoolaeg
e
isl_printer_print_basic_s
e
t: fix up printing
to strin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n
Verdoolaege
a
d
d isl_set_neg a
n
d isl_set_sum
commit
|
commitdiff
|
tree
next