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
privately export isl_qpolynomial_fold_fold_on_domain
2010-06-12
Sv
e
n V
e
rdoolaege
privately export isl
_
qpolynomial_f
o
ld
_
fo
l
d
_
o
n_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw_qpoly
n
omial
_
fold_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add par
a
metric vertex enumera
t
i
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n V
e
r
doolaege
add i
s
l_morph_dom_dim a
n
d isl_morph
_
ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_map_i
s
_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
lae
g
e
privately export isl_basic_set_sort
_
c
onstraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
l
aege
isl_tab_det
e
ct_implicit_
e
qualities: a
l
so detect
man
i
fest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab:
o
ptionally
only mark strictly redu
n
d
ant rows
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
r
d
oolaege
generalize isl_pw_qpolynomial_bound to is
l
_
pw_qpolynom
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
extract
o
ut gen
e
r
ic part
o
f is
l
_
pw_q
p
o
lynomi
a
l_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
ola
e
ge
isl_pw
_
qpolynomi
a
l
_
bound_range: a
l
so set exac
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d i
s
l_basic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
export isl_p
w
_qpol
y
nomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Ver
d
o
olaege
export
isl_qpoly
n
o
m
ial_i
s
_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
ool
a
ege
add isl
_
qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
a
d
d
i
s
l_qpolynomial_from_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
r
d
oola
e
ge
export isl_qpolynomial
_
add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
a
dd isl_qpolynomial_h
o
m
ogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add
i
sl_qpo
l
ynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl
_
qpolynomial_insert_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
add isl_qpolynomial_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_c
t
x: add two
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
isl
_
ta
b
_de
t
ect_implicit_eq
u
alities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
d
oola
e
ge
add isl_t
a
b_sign_
o
f_max
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
l
a
e
ge
isl_tab_se
l
ect_fa
c
et:
r
e
t
u
r
n int in
s
tead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
a
e
ge
add isl
_
basi
c
_se
t
_full
_
c
o
m
pression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
priva
t
ely export isl_pw_qpolynomial_mo
r
ph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_qpol
y
nomi
a
l_
f
old_foreach
_
qpol
y
nomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
g
e
add isl_pw_qpolynomial_fold_forea
c
h
_l
i
fted_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
e
ge
export isl_pw_qpolyn
o
mial_
f
old_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
private
l
y
e
xport
isl_morph_alloc and isl_morph
_
ident
i
t
y
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
i
sl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
export isl_p
w
_qp
o
l
ynom
i
al_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
a
d
d isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
isl
_
range
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export
i
sl_set_
i
s_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
isl_bound: plug m
e
mory l
e
ak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix is
l
_qpolynomial_fold_du
p
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_pw_qpolynomi
a
l_bound_range: fix remova
l
o
f
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
bound
_
test
.
sh to di
s
tribu
t
ion
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
rdo
o
laege
doc: d
o
cumen
t
g
i
st op
e
rations
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
d
oolaege
doc: document isl_constrai
n
t
_
is_eq
u
ality
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
d
o
olaege
add is
l
_
m
a
p_is_
s
ingle_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoo
l
aege
isl_basic_
m
ap_foreach_c
o
nstr
a
int: make sure inpu
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map_copy: mark dup
l
ica
t
ed copy as f
i
n
a
lized
commit
|
commitdiff
|
tree
2010-06-03
S
ven Ver
d
oolaege
isl_basic_se
t
_lift
:
f
i
n
alize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_m
a
p_move_d
i
m
s: alway
s
finalize re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
isl_basic_map_
f
rom_con
s
traint: finali
z
e
r
e
s
ul
t
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Ve
r
doo
l
aege
isl
_
access_info_compu
t
e_flow: handle
m
ay accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoo
l
a
e
ge
isl_access_info
_
c
o
mpute_flow: handle
m
ulti-value
d
s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
a
e
ge
r
e
move
some unused variab
l
es
commit
|
commitdiff
|
tree
2010-05-30
Sven
Ver
d
ool
a
ege
fix
some icc warning
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olae
g
e
rename isl_pw
_
qpolynomial
_
move and add
isl_
p
w_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
isl_ctx:
keep track of user
o
ptions
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdo
o
l
aege
impr
o
ved argument
parsi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
is
l
_opti
o
ns_pars
e
: print help
m
e
ssage
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaeg
e
add isl_bound test a
p
pl
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ver
d
oolaege
add isl_pw_qpolynomial_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_pw_qpolynomial_fo
l
d_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
dool
a
ege
add rudim
e
nt
a
ry isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doola
e
ge
add isl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c
:
fix
typ
o
in com
m
ent
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
ad
d
i
sl_
m
a
t
_
insert_row
s
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
a
dd i
s
l_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoo
l
aege
a
dd isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaege
is
l
_
mat_lin_to_aff: fix error handlin
g
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
isl_qpolynomial_opt_on_domain: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_name_alloc: fix er
r
or hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
a
d
d
isl_dim_offse
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
is
l
_equaliti
e
s
.
c:
f
ix typo
s
in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_pw_q
p
olynomial_fold_cov
e
rs
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_qpolyn
o
mial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
ege
pri
v
atel
y
expor
t
isl_
s
et_is_bou
n
ded
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
a
d
d isl_set_count_upt
o
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoo
l
aege
add is
l
_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aeg
e
add
i
sl_
s
tream_read
_
p
w
_qp
o
l
ynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_q
p
olynomia
l
_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_
q
polynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_basic_set_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_qpo
l
y
n
omial_as_po
l
ynomia
l
_on_do
m
a
in
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
a
d
d
isl_qpolynomial_
s
ubst
i
tut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
ad
d
isl_basic_set_di
m
s_g
e
t_sign
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoola
e
ge
isl_ctx:
add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolynomia
l
_
neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolae
g
e
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_qpolynomial_fold_opt_on_domain: fix t
y
po
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
sl_
p
w_*_eval: fix han
d
ling of empty
in
p
ut
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
a
d
d isl_basic_
s
et_mov
e
_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
export i
s
l_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
a
d
d isl_qpolynomial
_
get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdoolaege
isl_ma
p
_
t
ransiti
v
e_cl
o
sure
:
coalesce input be
f
ore checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
o
laeg
e
add map_le
x
_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoola
e
ge
isl_
m
ap_lex_le: use one ba
s
ic set
l
e
s
s in
result
commit
|
commitdiff
|
tree
2010-05-01
Sven Ver
d
oolaege
isl_stream
:
accept l
e
x
i
cographic
o
perato
r
s
commit
|
commitdiff
|
tree
2010-04-28
S
ven V
e
r
d
oolaege
isl_map_tran
s
itive
_
c
losure: check if
i
nput is cl
o
sed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erd
o
olaege
isl_m
a
p_r
e
ad:
p
arse parame
t
ric O
m
ega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
isl_map_read
:
f
i
x typ
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
aege
isl_convex_hull
.
c: is_bo
u
nd: any inequality
is a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
er
d
oolaeg
e
isl_conve
x
_hull
.
c: ad
d
_bo
u
nds:
propagate
errors
f
rom
.
.
.
commit
|
commitdiff
|
tree
next