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_tab.c: tab_mat_product: avoid NULL pointer dereference
2010-06-12
Sven Ve
r
doolaege
i
s
l_tab: optionall
y
only mark str
i
c
tly redunda
n
t
rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
gen
e
ralize
isl_p
w
_
q
polynomial_bound t
o
isl_pw_
q
polynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doo
l
aege
e
x
tr
a
ct out
g
e
neri
c
part of isl_p
w
_
qpo
l
y
no
m
ial
_
bound
_
range
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolae
g
e
isl_pw_qpoly
n
o
mial_
b
o
u
nd_range: al
s
o
s
et exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add isl_basic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_
p
w_qpolynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
port is
l
_qpolynomi
a
l_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
do
o
l
a
ege
add
isl_qpolyn
o
mial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add is
l
_q
p
o
l
y
nom
i
al_f
r
o
m_affine
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
o
laege
export
i
sl_qpolynomial_add_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
ad
d
isl_qpol
y
nomial_h
o
mogenize
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
a
d
d isl_qpolynomial_degre
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_
q
polyn
o
mial_insert_
d
im
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
lae
g
e
add isl_qpolynomial_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
isl_ctx:
a
dd t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
isl_tab_dete
c
t_implicit_
e
qualities: retu
r
n inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_tab_sign_of_m
a
x
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
i
sl_tab_
s
elect_facet: retu
r
n
int
i
nstead of isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdo
o
l
a
e
g
e
a
d
d i
s
l
_
basic_
s
et_fu
l
l_c
o
m
p
ression
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
pri
v
ately
expor
t
isl_
p
w_q
p
olynomi
a
l
_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
ad
d
isl_qpolyn
o
mia
l
_fold_foreach_q
p
o
l
y
nomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
a
d
d isl_pw_qpolynomial_fol
d
_fore
a
ch_li
f
t
e
d_piece
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdo
o
laeg
e
export isl_pw_qp
o
l
y
n
omial_fol
d
_i
s
_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
privately ex
p
or
t
isl_morph_alloc and isl_mor
p
h_ide
n
t
i
ty
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
eg
e
a
dd isl_q
p
ol
y
nomi
a
l
_
fold_ge
t
_
t
y
p
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
l
a
ege
export isl
_
pw_
q
polynomial
_
get_
c
tx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
is
l
_range
.
c: fix ty
p
o
in comment
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
export isl_set_i
s
_
bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_
b
ound: plug memory le
a
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
fi
x
isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolyn
o
mial_bound_r
a
nge: fi
x
removal of
d
i
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd
b
o
u
nd_test
.
sh
t
o
distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
r
d
o
ol
a
e
g
e
doc: docum
e
nt gist oper
a
tion
s
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: docu
m
e
n
t
isl_constr
a
int_is_equali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_map_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoo
l
aege
isl_basic_m
a
p_forea
c
h_const
r
ai
n
t
:
ma
k
e
s
ure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdool
a
ege
is
l
_b
a
sic_map_copy:
mark d
u
pli
c
ate
d
copy
as finalized
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoolaege
isl_b
a
s
ic_set_lift: finalize r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verd
o
olae
g
e
isl_bas
i
c_
m
a
p
_
move_dims: always fina
l
ize resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
b
a
sic_m
a
p
_from_constraint: finalize r
e
sult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
isl_access_info_com
p
ute_f
l
ow: ha
n
dle may ac
c
esses
commit
|
commitdiff
|
tree
2010-05-31
Sven
V
erd
o
olaege
i
s
l_access_info_co
m
pute_flow: handle multi-value
d
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Ve
r
doolaege
remov
e
some unused v
a
riables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
a
ege
r
e
n
a
m
e isl
_
pw
_
qpolynomial_mov
e
and add isl_pw_qpolynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolae
g
e
isl_c
t
x: keep t
r
ack of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
im
p
roved ar
g
u
ment parsi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
is
l
_
o
p
t
i
o
ns_pa
r
se: print hel
p
messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoo
l
aege
add isl
_
b
o
u
n
d test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add i
s
l_pw_qpolynomial
_
boun
d
_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_pw_qpol
y
n
om
i
al_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaeg
e
add rud
i
m
e
ntary i
s
l_morp
h
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
laege
add
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl
_
equa
l
ities
.
c: f
i
x typ
o
in co
m
men
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_mat_in
s
e
r
t
_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_m
a
t_
n
ormalize
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add i
s
l_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
aege
isl_mat_lin_t
o
_aff:
f
i
x
e
r
ror hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_qpolynomial_opt_on_
d
o
mai
n
: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_na
m
e
_
allo
c
: f
i
x
e
r
ro
r
h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erd
o
olaege
add isl_
d
im_offset
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
isl
_
e
q
ualit
i
es
.
c: fix typos in co
m
ments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
ege
add isl_pw_q
p
o
lynomi
a
l_fo
l
d_cove
r
s
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolae
g
e
add isl_qpolynomial_le_c
s
t
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
privately
export isl_set_is_b
o
unded
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
a
dd
is
l
_
s
et_count_up
t
o
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
d
d
i
sl_set_
s
c
a
n
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoo
l
aeg
e
a
dd i
s
l
_
stream_rea
d
_
p
w_
q
p
o
l
ynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_qpoly
n
omial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add
i
sl_bas
i
c_se
t
_f
o
re
a
ch_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolyno
m
ial_
a
s
_
polynomi
a
l_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaeg
e
a
dd isl
_
qpolynomial_su
b
stitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
ege
add
i
sl_bas
i
c_
s
e
t
_dims_g
e
t
_
sign
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
Verdo
o
laege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rd
o
olaege
add i
s
l_qpolyno
m
i
a
l
_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolae
g
e
add i
s
l
_
b
asic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
is
l
_qpoly
n
o
m
ial_fol
d
_opt_
o
n_domain:
f
i
x typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
i
s
l_
p
w_*_eva
l
: fix
h
andling of empt
y
input
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
add isl_basic_set_mov
e
_
d
ims
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdo
o
laege
e
x
port isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdo
o
lae
g
e
add i
s
l
_qpolynomial_g
e
t_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
oolaege
isl_map_
t
ra
n
sit
i
ve_closure: coal
e
sce input befor
e
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_lex_
*
_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verd
o
olaege
i
s
l_map_lex_
l
e: u
s
e
one basic
s
e
t
less in resul
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Verd
o
olae
g
e
i
sl_stream: ac
c
ept lexicographic oper
a
tor
s
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
isl
_
map_transitive_closu
r
e:
c
h
e
ck
i
f input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
V
erdo
o
l
aege
add isl_pr
i
nter_
f
lush
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoo
l
aege
isl_map_r
e
ad: parse parametric Omega in
p
ut
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
isl_m
a
p_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
i
s
l_convex_
h
ull
.
c: i
s
_b
o
u
nd:
any in
e
quality i
s
a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoola
e
ge
isl_convex
_
hu
l
l
.
c: add_bounds:
prop
a
gate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
document
i
sl_map_rev
e
rse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
isl_stream_next_token: termin
a
te str
i
n
g tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
e
rdoolaege
is
l
_map_tra
n
sitive_closure: t
r
eat e
q
u
a
lity
as
p
air
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_map_transitive_closure
,
omega-lik
e
: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_
t
ra
n
sitiv
e
_clos
u
re: us
e
s
i
mple
h
ul
l
in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdool
a
ege
isl_map
_
transitive_closu
r
e: try and compute cl
o
sur
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoo
l
aeg
e
isl_map_coalesc
e
: a
l
low wrapping in sets
t
h
a
t
stick
.
.
.
commit
|
commitdiff
|
tree
next