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
Sve
n
Verdoolaege
isl_pw_qpolynomia
l
{,_f
o
ld}_gist: use simple hull
ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
add
isl_s
e
t_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
v
e
n
Verdo
o
laege
a
dd
isl_s
t
r
eam_read
_
se
t
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
Verdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
qpolynomial_lif
t
:
f
ix lifting in ab
s
ence o
f
div
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
o
ptionally (and by default) use berns
t
ein expans
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
priv
a
tely export isl_qpolynomial_fold_fo
l
d
_
on_doma
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
a
dd i
s
l
_pw_qpolynomial_
f
old_forea
c
h
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
ad
d
parametric
v
ert
e
x enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
a
dd isl_morph_dom_dim and isl_morph
_
ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
eg
e
a
dd isl_basic_map_i
s
_rati
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
priva
t
e
ly export isl_basic_set_sort
_
c
o
n
straints
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_
t
ab_detect_implicit_equal
i
tie
s
: also detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
is
l
_tab: op
t
i
o
na
l
l
y only mark strictly re
d
undant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
ge
n
eraliz
e
isl_pw_qpolynomi
a
l_bound
t
o i
s
l_pw_qpo
l
ynomia
l
_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
e
g
e
extract out gener
i
c part o
f
isl_pw_qpo
l
ynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl
_
p
w
_
qpolyn
o
m
ia
l
_bo
u
nd_ra
n
ge:
also s
e
t exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_basic_s
e
t_fa
c
torizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
expo
r
t is
l
_pw_qpolynomial
_
fold_drop_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
export i
s
l
_
q
p
o
l
ynom
i
a
l_is_
z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
add is
l
_qpo
l
yn
o
mial_coef
f
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
a
d
d
isl_qpolyno
m
ial
_
from_affin
e
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oo
l
a
e
ge
expor
t
isl_
q
polynomi
a
l_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
add
i
sl_qpolyno
m
ial
_
homogen
i
z
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolae
g
e
a
d
d is
l
_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaeg
e
add isl_qpolynomial_
i
nsert
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
a
dd isl_qp
o
lynom
i
al_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rd
o
ola
e
ge
isl_ct
x
: add two
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_tab_detect
_
implicit_equal
i
t
i
es: r
e
turn in
t
eg
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
a
d
d isl
_
ta
b
_sig
n
_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
is
l
_tab_select_facet: return int
inst
e
ad
o
f
isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
a
d
d isl_
b
as
i
c_se
t
_full_compression
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
o
o
l
a
e
ge
private
l
y expo
r
t
i
sl
_
pw_
q
po
l
y
nomi
a
l_
m
orp
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomi
a
l_fold_foreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolae
g
e
add is
l
_pw_qpolynomial_fold_foreach
_
lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expo
r
t
i
sl_pw_qpolynomi
a
l_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
priv
a
t
ely export isl_morph_alloc and isl_mo
r
p
h_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_qpolynomial_fo
l
d_get_ty
p
e
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
ex
p
o
rt isl_pw_qpolynom
i
a
l
_
get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
a
dd isl_ctx
_
peek_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
isl_range
.
c: fix
typo in
c
om
m
ent
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
exp
o
rt
isl_set
_
is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
isl
_
bound:
p
lug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
f
i
x
isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_pw_qpolynomia
l
_bo
u
nd_rang
e
: fix removal of d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
r
doolaeg
e
add boun
d
_
t
es
t
.
sh to dist
r
ib
u
tion
commit
|
commitdiff
|
tree
2010-06-11
Sven Ve
r
d
o
olaege
d
oc: do
c
um
e
nt
gist ope
r
ations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
doc:
document isl_c
o
ns
t
raint
_
is_equalit
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaeg
e
add is
l
_
m
ap_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basic_map_foreach
_
constraint: m
a
ke sure input
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolaege
i
sl_basic
_
map_co
p
y
:
mark duplicated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
isl_basic_set_lift: finalize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
a
e
ge
isl_basic_map_move_dims: a
l
ways
final
i
ze resul
t
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
i
sl_basic_map_from_constr
a
int
:
finalize res
u
lt
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaeg
e
isl_access_info
_
comp
u
t
e_fl
o
w: handle ma
y
ac
c
e
sses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaeg
e
isl_acc
e
ss_
i
nfo_compute_flow: handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove some unused
variab
l
es
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verd
o
olaege
f
ix
s
o
m
e icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
rena
m
e isl_pw_qpolynomial
_
m
ove
a
nd add
i
sl_pw_qpolynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
V
e
r
d
ool
a
e
g
e
isl_c
t
x: keep t
r
a
c
k of user
o
p
t
i
ons
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oo
l
aege
improved
argume
n
t
p
a
r
s
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
lae
g
e
isl
_
o
pti
o
n
s_p
a
r
s
e: print help messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_bou
n
d
test application
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolae
g
e
ad
d
isl_pw_qpolynomi
a
l_
b
ound_rang
e
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add i
s
l_p
w
_qpolynomial_fold_m
o
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdool
a
ege
add rudiment
a
ry isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_s
e
q
_
s
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
is
l
_equali
t
ies
.
c: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
d
o
o
l
a
ege
ad
d
i
s
l
_
mat_i
n
se
r
t_row
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_ma
t
_normalize
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
a
d
d
is
l
_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
i
sl_mat_lin_to_
a
ff: f
i
x
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
is
l
_
q
po
l
ynom
i
al_opt_on_domain: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
isl_name
_
alloc: fix error h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oola
e
ge
add isl
_
dim_off
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
i
s
l
_
equalit
i
e
s
.
c: fix typos in com
m
ents
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolynomial_fol
d
_
c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
privately e
x
p
ort isl_
s
et_
i
s_
b
oun
d
ed
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
a
d
d isl
_
set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
a
dd
i
sl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoola
e
ge
a
dd is
l
_stream_
r
ea
d
_pw_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdo
o
laeg
e
add isl_qpo
l
ynomia
l
_fr
o
m
_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_basi
c
_set_forea
c
h_bo
u
nd_
p
air
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
a
dd isl_q
p
o
lynomial_
a
s
_
polynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
l
a
ege
add isl_qpoly
n
o
mial_subst
i
tute
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
add isl
_
basic_set_dim
s
_get
_
s
i
g
n
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ver
d
oolaege
isl
_
c
t
x
:
add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doo
l
aeg
e
add isl_qpoly
n
omial_negin
f
t
y
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Ve
r
d
oo
l
aege
a
dd is
l
_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdool
a
ege
isl_qpolynomia
l
_
fold_opt_on_domai
n
:
fix
t
yp
o
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ve
r
doolae
g
e
isl_pw_*_
e
val: fix handli
n
g
of empty
inpu
t
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
a
d
d isl_basic_set
_
move_
d
ims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
e
x
port isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
d
d isl_qpol
y
nomial_
g
e
t
_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
i
sl_map_tra
n
si
t
i
v
e_closure: co
a
lesc
e
input be
f
ore c
h
ecking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
add
map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_map_lex_le:
use one
basic set less i
n
result
commit
|
commitdiff
|
tree
2010-05-01
S
ve
n
Verdoo
l
ae
g
e
isl_stre
a
m:
accep
t
l
e
x
i
cograp
h
ic operat
o
r
s
commit
|
commitdiff
|
tree
next