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_bound: accept folds as input
2010-06-19
S
v
en Verdoolaege
add rudimentary error report
i
ng me
c
hanism
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
V
e
rdoolaege
add is
l
_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_point_alloc: avo
i
d pote
n
tial me
m
ory leak on er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
V
erdoolaege
doc: document
isl_ma
p
_
d
elt
a
s
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdo
o
laege
isl_tab_pip
.
c: compare all c
o
eff
i
ci
e
nts wh
e
n ch
e
cking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
ven Verdoolaege
isl_pw
_
qpo
l
yn
o
m
i
a
l
{
,_fo
l
d}_gist: use simple hull in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
v
en
V
er
d
oolaege
add i
s
l
_
s
e
t_set_di
m
_
n
am
e
commit
|
commitdiff
|
tree
2010-06-14
S
v
e
n Verd
o
o
laege
add isl_stre
a
m_re
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ver
d
oolaege
i
s
l_qpolynomial_lift: fix lifting in absence o
f
divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
option
a
lly
(and
b
y default) use bern
s
t
ein expa
n
sion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export isl_qpolyn
o
mi
a
l_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add i
s
l_
p
w_qpol
y
n
omial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add para
m
e
t
ric
v
ertex en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d is
l
_morph_dom_dim and isl_mo
r
ph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaeg
e
add
i
sl_basic
_
map_is_ra
t
ional
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export isl_basi
c
_set_sort_c
o
nstraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
e
ge
isl_tab_d
e
tec
t
_i
m
plicit_e
q
ual
i
ties: also d
e
t
ec
t
mani
f
est
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_ta
b
: optional
l
y on
l
y mark strictly
redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
o
laege
generalize isl_
p
w
_
q
pol
y
nomial_bound to isl_pw_qpo
l
ynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
extract out g
e
neric part of isl_pw_qpoly
n
omial_b
o
und_r
a
ng
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_pw_qpolynom
i
a
l
_
boun
d
_ran
g
e:
a
lso set
exactn
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_bas
i
c
_
s
et_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
export
i
sl_
p
w_qpol
y
nomia
l
_fold_dro
p
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
export isl_
q
polyno
m
ia
l
_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
a
d
d i
s
l
_q
p
oly
n
omia
l
_coef
f
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
e
ge
add isl_qpolyn
o
m
ial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
export isl
_
qpoly
n
omia
l
_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ve
r
do
o
laege
add isl_qp
o
lynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
add isl_qp
o
l
ynomia
l
_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
add isl_qpolynomia
l
_insert_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
l
aege
add isl_qpolynom
i
a
l_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_ctx:
add two
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
isl_tab_detec
t
_
i
mplici
t
_e
q
ualities:
r
etur
n
integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_s
i
g
n_
o
f
_
max
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_tab_select
_
fac
e
t: return i
n
t
ins
t
ea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add
isl_basic_set_ful
l
_comp
r
ession
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
privatel
y
export i
s
l_p
w
_qpol
y
nomia
l
_mor
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_qpolynom
i
al_f
o
ld_for
e
ach_qpo
l
yn
o
m
i
al
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolae
g
e
add
i
s
l_pw_
q
polynom
i
al_f
o
l
d_foreach_l
i
f
t
ed_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolae
g
e
ex
p
ort isl_pw_qpolynomi
a
l_fold_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
r
d
ool
a
ege
privately export isl
_
morph_
a
lloc and isl_m
o
rph_iden
t
i
t
y
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_
q
p
olynomial_fold_g
e
t_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
xport isl_pw_qpol
y
nomial_get_
c
tx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
c
tx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
r
a
n
g
e
.
c: f
i
x ty
p
o in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
olaege
exp
o
r
t
is
l
_set_is_bo
u
n
ded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_bou
n
d: plug m
e
mory leak
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
o
olaege
fix
isl_qpo
l
ynomial_fold
_
dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
i
s
l
_pw_q
p
olyn
o
mial_
b
ound_range: f
i
x
r
e
m
oval
of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
g
e
add bound_tes
t
.
sh to
d
istr
i
b
ution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoo
l
a
ege
doc: doc
u
ment gis
t
operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
ol
a
e
ge
doc: document isl_constr
a
int_is_
e
quality
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoola
e
ge
add is
l
_
m
a
p_is_sing
l
e_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
laeg
e
isl_basic_map_forea
c
h_c
o
nstraint: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n
V
erdool
a
ege
isl_ba
s
i
c
_map_copy:
m
a
r
k
dupli
c
ated copy as finali
z
ed
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolae
g
e
isl_ba
s
ic_set_lift: f
i
naliz
e
result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
b
a
sic_map_move_dims: al
w
ays finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolaege
isl_basic_map_fr
o
m_co
n
straint: final
i
ze result
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
isl_access_info_comput
e
_flow: han
d
le
may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n
V
erd
o
olaege
i
sl_
a
cces
s
_info_compute_flow: han
d
le multi-value
d
s
ink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
ae
g
e
r
em
o
v
e
some unused variab
l
es
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
a
eg
e
fi
x
some icc warn
i
ngs
commit
|
commitdiff
|
tree
2010-05-30
S
ven
Verdoolaege
rename is
l
_pw_qpolynom
i
al_move and add is
l
_pw_
q
polynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Ve
r
doo
l
a
e
g
e
isl_ctx: keep track o
f
u
ser options
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
improved ar
g
u
m
ent
pars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verd
o
olaege
i
s
l_options_parse: p
r
int h
e
lp mes
s
age
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
add isl_bound test applicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
rd
o
ola
e
ge
add isl_pw_qpolynomial_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoo
l
aege
add isl
_
pw_qpo
l
ynomi
a
l_fold
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
rudimen
t
a
r
y
isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
la
e
ge
isl_equalities
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
add is
l
_
m
at_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_
m
at
_
n
or
m
alize
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoolae
g
e
add i
s
l_mat_diagona
l
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
isl_mat_lin_to_aff: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
laege
isl
_
qpolynomial_opt_on_do
m
ain: handle em
p
ty input
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doo
l
aege
i
s
l_name_a
l
loc: f
i
x err
o
r handling
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
V
er
d
ool
a
ege
a
d
d isl_
d
im_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl_
e
qualit
i
es
.
c: fix typos in comment
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
a
dd
i
s
l
_
p
w_q
p
ol
y
n
omi
a
l_fold_cov
e
rs
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
oolaege
ad
d
isl
_
qp
o
lynomial_le_
c
s
t
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaeg
e
privately
e
x
p
ort isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
ad
d
isl_set_c
o
unt_upto
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
aege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_stream_read_
p
w_qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add
i
sl_qpol
y
n
omial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_qpolynomia
l
_from_
c
on
s
traint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_b
a
sic
_
set_foreach_bound_pai
r
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolae
g
e
ad
d
isl_qpo
l
y
nomi
a
l_as_polynomial_on_do
m
ain
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoola
e
ge
add
i
sl_qpolyno
m
i
a
l_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolae
g
e
a
dd isl_basi
c
_set_dims_g
e
t_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
sl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdool
a
ege
a
dd
i
sl_qp
o
lynomial_n
e
g
infty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdool
a
e
g
e
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
sl_qpolynomial_f
o
ld_o
p
t_on_domain
:
fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n V
e
rdool
a
ege
isl_pw_*_eval: fix
h
andling of em
p
ty input
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
add isl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdool
a
ege
ex
p
ort isl_qpolynomial_s
u
b
commit
|
commitdiff
|
tree
next