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
extract out generic part of isl_pw_qpolynomial_bound_range
2010-06-12
S
v
en
V
e
rdoolaege
extract out generic part of isl_pw_
q
polyn
o
m
i
al_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
isl_pw_qpolynomial_bound_range:
a
lso set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd
isl_
b
asic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_qpolynomial_fol
d
_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
export isl_qpolynomia
l
_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_qpol
y
nomial_c
o
e
f
f
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
ad
d
isl_qpolynomial_from
_
af
f
ine
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
export isl_q
p
ol
y
nom
i
a
l
_
add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
add is
l
_qpol
y
no
m
ial
_
h
om
o
gen
i
z
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
add isl_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_qpolynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
add isl_
q
p
olynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
i
s
l_ctx
:
add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_
d
etect_im
p
li
c
it_equal
i
t
i
e
s
:
r
eturn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
e
g
e
add isl_t
a
b_sign_of_
m
a
x
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
isl_tab_select_facet: return int
i
nstead of isl
_
tab
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_set_full_compressio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
priva
t
e
l
y export isl_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_qpolyn
o
mial_f
o
l
d_fore
a
ch_
q
polynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
a
dd isl
_
pw_qpo
l
ynom
i
al_fold_foreach_lift
e
d
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
export isl_pw_
q
polynomial_fol
d
_i
s
_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
ol
a
e
g
e
privately export isl_morph_alloc and isl_morph_i
d
e
ntit
y
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd is
l
_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw
_
q
p
o
lyn
o
m
ial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
ge
add is
l
_ctx_peek_opt
i
on
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
is
l
_
r
ange
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expo
r
t isl_set_is_bo
u
nded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_bound
:
plu
g
m
e
mory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
f
i
x
isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
isl_pw_qp
o
ly
n
omial
_
boun
d
_range: fix removal
of dim
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
b
o
und_test
.
sh to
d
i
s
tribution
commit
|
commitdiff
|
tree
2010-06-11
S
v
en Ver
d
oolaege
doc: documen
t
g
i
st op
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdool
a
ege
doc: docume
n
t
isl_const
r
aint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_map_i
s
_single_
v
a
lued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basic_map_f
o
rea
c
h_
c
onstr
a
int: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basi
c
_map_copy:
m
ark du
p
licated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_ba
s
i
c_set_lif
t
:
fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
is
l
_basic_map_move_d
i
m
s: always fi
n
a
lize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
ol
a
ege
isl_basic_map_from_co
n
straint: finalize resu
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
i
sl_access_inf
o
_compute_flow: handle may ac
c
esses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
i
s
l_access_
i
nfo_compute_fl
o
w: ha
n
dle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove some
u
nu
s
e
d
variabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaeg
e
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
rename isl
_
pw_qpolynom
i
al_move
and add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
i
sl_c
t
x: k
e
ep track o
f
user options
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verd
o
olaege
improved ar
g
ument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdool
a
ege
isl_options_parse: print help m
e
s
s
age
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdool
a
ege
add isl_
b
ou
n
d
test applicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
e
rdoola
e
ge
add isl_pw_qpolyno
m
ial_b
o
und_r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_q
p
olynomial_
f
old_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd rudimen
t
ary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolae
g
e
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
olaege
isl_equalities
.
c: fix
typo in
co
m
ment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_mat_
i
nsert_
r
ows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat
_
normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_m
a
t_dia
g
onal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl_mat_lin_
t
o_aff: fix
error han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoo
l
a
ege
isl_qpolynomial_opt_on_domain: handle
e
mp
t
y inp
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
laege
isl_name_alloc:
fi
x
erro
r
hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_d
i
m_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolae
g
e
isl_equalities
.
c: f
i
x typos in comm
e
nts
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
doolaege
add isl_pw_qpo
l
ynomi
a
l_fold_
c
overs
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
d
o
olaege
a
dd isl_
q
polynomial_l
e
_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
privately export isl_set_is_bound
e
d
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
ad
d
isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
oolae
g
e
a
d
d isl_set_sc
a
n
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
a
d
d isl_s
t
ream_r
e
ad_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
laeg
e
add isl_qp
o
lynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
ad
d
isl_qpolynomial_
f
rom_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
ad
d
i
s
l
_basic_se
t
_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoo
l
aege
add isl_qpolyn
o
mial_as
_
po
l
ynomi
a
l_on_domai
n
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Ve
r
doolaege
add isl_qpolynomial_su
b
st
i
tute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
e
ge
add i
s
l
_
basic
_
set_dims_get_
s
i
g
n
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
is
l
_ctx: add zer
o
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
a
dd i
s
l_qpolynomial_ne
g
infty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
a
d
d isl
_
basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaeg
e
isl_qpolynomial_
f
old_opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
isl_pw_*_eval: fix ha
n
dlin
g
o
f e
m
pty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_bas
i
c_se
t
_move_
d
ims
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
exp
o
rt is
l
_qpo
l
ynomial_
s
ub
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
er
d
oolaege
add
i
sl_qpol
y
nom
i
al_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
isl_map_tran
s
itive_cl
o
sure: c
o
a
l
e
sce
input
befo
r
e checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
a
d
d ma
p
_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoolaege
i
s
l_map_lex_le
:
us
e
one
b
asic set
l
e
s
s
i
n
r
esult
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Ver
d
oolaeg
e
isl_strea
m
: accept le
x
icographic
o
perato
r
s
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
d
oolae
g
e
isl_ma
p
_tran
s
itive_clo
s
u
r
e: check if
i
nput is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoola
e
ge
add
isl_
p
rinter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
isl_map_read:
parse parametric Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdool
a
e
g
e
isl_map_r
e
ad: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
isl_convex_
h
ull
.
c
:
is_bound: any inequa
l
ity is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_conv
e
x_
h
u
l
l
.
c: a
d
d_bounds: propagate
errors fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoo
l
aege
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
isl_stream_next
_
t
o
ken: t
e
rminat
e
st
r
ing tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l
_map_transi
t
i
ve_clo
s
ure: t
r
eat
e
qual
i
ty
a
s
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_
t
ransitive
_
closure
,
omega-like: only us
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
e
rdo
o
la
e
ge
isl_
m
ap_transitiv
e
_closure: use simple h
u
ll in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verdoolaege
is
l
_map
_
tra
n
sitive_
c
losure: tr
y
a
n
d
com
p
ute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
is
l
_m
a
p_coalesce:
a
llow wrapp
i
n
g
i
n sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_m
a
p
_coales
c
e
:
allowing
c
u
t
ting e
q
ualities in adjac
e
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Ver
d
o
o
laege
add some more c
o
alescin
g
test cases
commit
|
commitdiff
|
tree
next