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_basic_map_from_constraint: keep all divs, even redundant ones
2010-06-14
Sven Ver
d
ool
a
eg
e
doc:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
i
s
l
_qpol
y
nomial_lift: fix liftin
g
i
n absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
option
a
lly (and by de
f
ault)
u
se bernstein exp
a
nsion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
privatel
y
expor
t
i
s
l_q
p
olynomial_fold_fol
d
_
o
n
_domai
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olae
g
e
a
d
d
i
sl_pw_q
p
o
lynomial_fold_f
o
reach
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add parametri
c
vertex enumer
a
t
ion
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
lae
g
e
add isl_mo
r
ph_dom
_
dim
a
nd isl_morph
_
ran_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
ae
g
e
add is
l
_
b
as
i
c_map_is_ra
t
iona
l
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
pri
v
a
tely e
x
port
i
sl_basic_set_s
o
rt_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
e
g
e
isl_t
a
b_
d
etect_implicit_equalities:
also detect mani
f
est
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoola
e
ge
i
s
l_tab: optionally only
m
ark strictly
r
e
dundant
r
ows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
gen
e
ralize isl_p
w
_qpolynomial_bound to isl
_
pw_qpolyn
o
mial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
extract out gene
r
ic part
of isl
_
pw_qpolynomial_bou
n
d_ran
g
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
is
l
_pw_qpolynomia
l
_bound_ra
n
ge: also
s
et exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
er
d
oolaege
a
d
d isl_
b
asi
c
_s
e
t_fa
c
torizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
e
x
port
i
s
l
_p
w
_q
p
olynomial_fold_drop_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
export isl_qpoly
n
omial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
q
p
olynom
i
al_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erd
o
olaege
add
isl_qpolynomi
a
l_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
export isl_qpolynomi
a
l
_
a
d
d_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add isl_qp
o
lynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add i
s
l_qpolynomi
a
l_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
add i
s
l_q
p
oly
n
o
mial
_
i
nser
t
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
a
e
ge
add isl_qpoly
n
omi
a
l_dim
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verd
o
o
l
a
ege
is
l
_
c
tx: add two
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
i
sl_ta
b
_det
e
ct_implici
t
_equalitie
s
: re
t
urn
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
a
dd
i
s
l
_
tab_sign_
o
f_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
e
g
e
isl_tab_select_facet: return int
instea
d
of
i
sl
_
tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
add isl_basic_set_full_co
m
pres
s
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
p
r
ivately export isl_pw_qp
o
lyn
o
mi
a
l_
m
o
r
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpo
l
y
n
o
m
ial
_
fold_foreach_q
p
ol
y
nomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_pw_qpolynom
i
al_fold_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erd
o
olaege
export isl
_
pw_qp
o
lynom
i
al_fold_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
pr
i
vately export isl_morph_alloc and isl_morph_id
e
nti
t
y
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
s
l_qpolynom
i
al
_
f
o
ld_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
export is
l
_pw_qpolyn
o
mial_g
e
t_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaege
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_ra
n
ge
.
c: fix
t
ypo i
n
comment
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
e
x
p
o
rt isl_set_is_b
o
u
nded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_bound:
plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n V
e
r
d
o
o
l
aege
fix
i
s
l
_
q
polynom
i
al_
f
old_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oola
e
ge
isl_pw_qpolynomial_bound_range:
fix removal of dim
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
add bo
u
nd_test
.
s
h
to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoola
e
ge
do
c
: docum
e
n
t
g
ist
o
perations
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdoolaeg
e
do
c
:
docu
m
e
n
t isl_constrai
n
t_is_e
q
uality
commit
|
commitdiff
|
tree
2010-06-04
S
ven Verdoolaege
ad
d
isl_map_is_
s
ing
l
e_valued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en V
e
r
d
oo
l
a
e
g
e
i
sl_ba
s
ic
_
map_fore
a
ch_constra
i
nt:
make sure inpu
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoo
l
aege
isl_basic_
m
ap_copy: ma
r
k duplicated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaeg
e
isl_b
a
sic_set_lift: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdool
a
ege
i
s
l
_basic_map_move_dims: alwa
y
s fi
n
alize resul
t
commit
|
commitdiff
|
tree
2010-06-03
S
v
en V
e
rd
o
olaege
isl_basic_
m
ap_fro
m
_constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_acce
s
s_
i
nfo_com
p
ute_flow
:
h
andle may
a
cce
s
ses
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Verdoolaege
isl_acce
s
s
_
info_compute_flow: handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
remove some unused var
i
ables
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n
V
e
rdoolaeg
e
fix some icc warni
n
gs
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Ve
r
doolaege
rename isl_pw_qpolynomia
l
_
move and add isl_pw_qp
o
l
y
nomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
e
rdoolaege
isl
_
c
tx:
k
eep tra
c
k of u
s
er options
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
improved argument p
a
r
sing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
dool
a
ege
i
s
l
_options_par
s
e: print
h
el
p
me
s
sage
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
a
d
d isl_
b
ou
n
d test application
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdoola
e
g
e
add isl_
p
w_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolae
g
e
add isl_pw
_
qpo
l
ynomial
_
fold
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
a
dd
rudimen
t
ary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add
i
sl_seq_se
t
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoolaege
isl_eq
u
a
lities
.
c: fix ty
p
o
i
n co
m
ment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaeg
e
a
dd isl_
m
at_ins
e
rt_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_ma
t
_no
r
malize
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_
m
at_diagonal
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
i
sl_
m
at_lin_to_aff: fix e
r
ror handl
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaeg
e
isl_qpol
y
nomial_
o
pt_on_domain: handle empt
y
i
n
p
ut
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaeg
e
isl_
n
ame_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add
isl_di
m
_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
isl_equa
l
ities
.
c: fix typos in
comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
d
d isl_pw
_
qpol
y
n
omial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_qpolynomial_le
_
cst
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rd
o
olaege
pr
i
vately
e
x
p
o
rt is
l
_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_set_
c
ount_upto
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
er
d
o
olaege
add isl_
s
et
_
s
c
a
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ola
e
ge
add is
l
_stream_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
a
dd isl_qpolynomial
_
f
r
o
m_
t
e
r
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
a
d
d isl_qpolynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaege
add isl_ba
s
ic_set_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
ol
a
ege
add i
s
l_qpolyn
o
mial_as_polynomial_on_do
m
a
i
n
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
ol
a
ege
add isl_
q
polynomial_
s
u
b
stitute
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_basic_set
_
dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
isl
_
ctx:
add zero
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoola
e
ge
add isl
_
qpolynomi
a
l_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
add isl_
b
a
s
ic
_
set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
i
s
l_
q
p
olyno
m
ial_fol
d
_opt_on_do
m
ain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw_*_eval
:
fix
h
an
d
ling of empt
y
inpu
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doo
l
aege
a
dd
isl_bas
i
c_set_move_dim
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
g
e
e
xport is
l
_q
p
olynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdo
o
la
e
ge
add isl
_
qpol
y
nom
i
al_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
is
l
_map_tr
a
n
s
itiv
e
_
closure: coa
l
esc
e
input bef
o
re c
h
e
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdool
a
ege
add map
_
lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_map_lex_le: use one
b
asic s
e
t le
s
s
in result
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verd
o
olaege
isl_
s
tream: accep
t
lexicogra
p
hic op
e
rators
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
do
o
laege
isl_map_t
r
ansitive_closur
e
:
check if input is
clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add isl_print
e
r_flus
h
commit
|
commitdiff
|
tree
2010-04-28
Sven
Ver
d
oo
l
aege
isl_map_read
:
parse parametric
Omega input
commit
|
commitdiff
|
tree
next