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_pw_qpolynomial{,_fold}_gist: use simple hull instead of convex hull
2010-06-15
Sven Verdoola
e
ge
isl_pw_qpolynomial{,
_
f
o
ld}
_
gi
s
t
:
use simple hull i
n
st
e
ad
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdo
o
laege
a
d
d
isl
_
stream_re
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
S
ven Verd
o
olae
g
e
doc:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
eg
e
is
l
_qpoly
n
omial
_
lift:
fix lifti
n
g in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
optionally (and by default) use bernste
i
n
e
x
pansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
privat
e
ly export is
l
_qpol
y
n
omial_fold_
f
old_on
_
domain
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
add isl_p
w
_
q
polynomial_
f
old_fore
a
c
h_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
add para
m
etri
c
vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoo
l
aege
a
d
d
isl_morph_dom_d
i
m and
isl_morp
h
_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
a
ege
ad
d
isl_basic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
eg
e
privately
e
xport isl_ba
s
ic_s
e
t_sort_constrai
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b_d
e
tect_im
p
licit_equalities:
a
lso dete
c
t ma
n
ifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
dool
a
ege
isl_
t
ab: opt
i
onally o
n
ly mar
k
strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
ge
n
eralize
isl_pw_q
p
olynomial_bound
to is
l
_pw_qpoly
n
omial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
extrac
t
o
u
t
ge
n
eri
c
par
t
of isl_pw_
q
polynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
i
sl_pw_qpo
l
yn
o
mi
a
l_bound_range: also se
t
e
xactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
a
d
d isl_ba
s
ic_set_
f
actorize
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
po
r
t isl_p
w
_q
p
olynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
export isl_
q
po
l
ynom
i
a
l
_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add
i
s
l
_
qpolynomial
_
coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
a
e
g
e
add isl_qpolynomial_
f
rom_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
e
x
port is
l
_qpolyn
o
mi
a
l_add_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl
_
q
polynomial_homog
e
ni
z
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add i
s
l_qpolynomial_degre
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
a
dd isl_qpolynomial_insert
_
dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolae
g
e
add isl_qpolyn
o
m
i
al_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
i
sl_c
t
x
: a
d
d
t
wo
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
i
sl_tab_detect_impli
c
it_equalit
i
es: re
t
u
r
n i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b_sel
e
ct_fac
e
t: retur
n
i
n
t instead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add
isl_basic_set_full_c
o
m
p
ression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priv
a
t
e
l
y export
i
sl_pw_qpoly
n
o
mial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
ad
d
i
s
l_qpolyno
m
ial_fold_foreach_qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw
_
qpoly
n
omial
_
fold_foreach_lifte
d
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_qpol
y
nomial_fold
_
is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
privately expo
r
t is
l
_m
o
rph_a
l
l
oc an
d
is
l
_morph
_
identi
t
y
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
a
dd isl_q
p
olynomial_fo
l
d_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
e
x
port isl_pw_qpolynom
i
al_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
o
l
a
eg
e
a
dd i
s
l_
c
tx_peek
_
opti
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_ra
n
ge
.
c: fi
x
ty
p
o i
n
comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
e
xp
o
rt isl_set_is_bo
u
n
d
ed
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolae
g
e
is
l
_
bound: plug memory l
e
a
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix
i
sl_q
p
o
lyno
m
i
a
l_fol
d
_du
p
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_p
w
_qp
o
ly
n
omial_bound_range: f
i
x re
m
oval of
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd b
o
u
nd_test
.
s
h
to distribut
i
on
commit
|
commitdiff
|
tree
2010-06-11
S
ven Verdoolaege
doc
:
doc
u
ment
gist
operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
oolaege
doc: d
o
cument isl_c
o
nstraint
_
is_equal
i
ty
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoo
l
aege
add
isl_map_is
_
s
ingle
_
va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoolaege
isl_basic_
m
ap_foreach
_
constraint: make sure in
p
u
t h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_ba
s
i
c
_map
_
copy: mar
k
dupli
c
ated cop
y
as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n
Verdoolaege
i
s
l_basic_set_l
i
ft: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoo
l
aege
isl_ba
s
ic_m
a
p_move_
d
ims: alway
s
finalize result
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdool
a
eg
e
isl_basic_map
_
from_constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
dool
a
ege
isl_acce
s
s
_
info_compute_flow: h
a
ndle ma
y
accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolae
g
e
isl_acc
e
ss_info_compute_flow: handle multi-valued s
i
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remov
e
some unused
v
a
r
i
ables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
a
e
ge
rename isl_pw_qpolynomia
l
_move and add isl_pw_
q
polynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Ver
d
oolaege
isl_ctx: ke
e
p track of user op
t
io
n
s
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
e
rdoolaege
improv
e
d
argument
parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
i
s
l_options_p
a
rse:
p
rint help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
ad
d
isl_bo
u
n
d test application
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
doolaege
ad
d
isl_pw_qpolynomial_boun
d
_rang
e
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verd
o
olaege
add i
s
l
_
p
w_qpolyn
o
mial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add rudimentary isl_mo
r
p
h
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
doolaege
add isl_s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdool
a
e
ge
isl_equa
l
i
t
ies
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoola
e
ge
add isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaege
add
isl_m
a
t_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
i
s
l
_m
a
t
_lin_to_aff: fix error h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoolaege
isl_
q
polyn
o
mi
a
l_opt
_
on_domain: handle empt
y
input
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
d
o
ola
e
ge
isl
_
n
am
e
_alloc:
f
ix error handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doo
l
aege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoo
l
aeg
e
isl_equali
t
ies
.
c: fix typos in
c
omments
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
add is
l
_pw_qp
o
l
ynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_
qpoly
n
omi
a
l_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolae
g
e
privately e
x
port isl_set_is
_
b
o
unde
d
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doo
l
aege
add
i
sl_
s
e
t
_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add is
l
_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_stream_re
a
d_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl
_
qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl
_
qpol
y
nomi
a
l_from_constr
a
int
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Ve
r
doola
e
ge
add
isl_
b
asic_set_for
e
ach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
a
dd isl_qpolyn
o
mial_as_polynomial_on_do
m
ain
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaege
add isl_qpolynomial_s
u
bs
t
it
u
te
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
basic_set_dims
_
g
e
t_
s
ign
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
isl
_
ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdool
a
ege
add isl_qpol
y
nomial_negin
f
ty
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdoolaege
a
dd is
l
_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
g
e
isl_qp
o
l
y
n
omial_
f
old_opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw_*_eval
:
fix han
d
ling
o
f empty
in
p
u
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add i
s
l_basic_se
t
_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
expor
t
isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
ad
d
isl_qpolyn
o
mia
l
_
g
et_dim
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
i
s
l_map_transit
i
ve_
c
lo
s
u
r
e: coalesce input befo
r
e che
c
k
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add map_lex_*
_
first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdo
o
laege
isl_
m
ap_lex_le: use one b
a
s
i
c
s
et l
e
ss
in
result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_stream: accept l
e
xico
g
ra
p
hi
c
o
per
a
tor
s
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
i
sl_map_transitive_clos
u
re:
c
heck if
input i
s
closed
.
.
.
commit
|
commitdiff
|
tree
next