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
add rudimentary error reporting mechanism
2010-06-19
S
v
en Verdo
o
l
a
e
ge
add rudime
n
tary err
o
r rep
o
r
ting
m
echanism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoo
l
aege
add
i
sl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
isl_point_alloc: a
v
oid potential memory leak
on
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
ven
V
erdoolaege
doc: document isl_
m
ap_de
l
tas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verd
o
olaeg
e
isl_tab_pip
.
c: c
o
m
pare all coef
f
icients when c
h
ec
k
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Verdoolaege
isl_pw_qpolynomial{,_fold}_gist: use simple h
u
ll inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaeg
e
add isl_se
t
_
set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
er
d
ool
a
ege
add is
l
_str
e
a
m_re
a
d_
s
et
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
doc: fix
typ
o
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_qpolynomial_lift: fix lift
i
ng i
n
absen
c
e of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
opti
o
nally
(and
by default) u
s
e berns
t
ein expans
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
priv
a
tely e
x
p
ort isl_q
p
olynomial_fold_fold
_
on_domai
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ve
r
doolaeg
e
add isl_pw_
q
polynom
i
al_fold_
f
o
r
each
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoola
e
ge
add parametric
ver
t
ex enumerat
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
add
i
s
l_morp
h
_d
o
m_dim and
is
l
_morph_ra
n
_
d
im
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
l
a
ege
ad
d
isl_basic_map
_
is
_
ration
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately ex
p
ort isl_basic
_
set_sort_con
s
t
r
a
ints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_tab_detect_implicit
_
equ
a
lit
i
e
s: also det
e
ct manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoo
l
aege
isl_tab: optionally only mark st
r
ict
l
y redundant rows
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
gen
e
rali
z
e isl_p
w
_qpolyn
o
mial_bound
t
o isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
extract out generic part of isl_
p
w_qpoly
n
omial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
isl_pw_qpoly
n
omial_bound_rang
e
:
also set
e
xactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_set_fa
c
t
o
rizer
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
ex
p
ort i
s
l_pw_
q
polynomial_f
o
ld_dr
o
p_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
e
xport isl_
q
pol
y
nomial_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ver
d
oo
l
aege
add isl_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add is
l
_qp
o
l
ynomial_fro
m
_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpolyno
m
i
al_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
add isl_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_qpolynomial_
d
e
gree
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdo
o
laege
a
dd isl_qpolynomi
a
l
_i
n
s
e
r
t
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_
q
polynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
is
l
_
c
tx: a
d
d two
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
isl_tab_detect
_
implicit_equalities
:
r
etu
r
n integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Ver
d
o
o
laege
add
isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_tab
_
sel
e
ct_facet: return i
n
t
i
n
stead of is
l
_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_basic
_
set_full_compressio
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
p
r
ivately
e
x
port isl_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
add
i
sl_qp
o
lynomial_fo
l
d_foreach_
q
polyno
m
ial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_
p
w_
q
polynomial_fol
d
_forea
c
h_
l
ifted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aeg
e
export isl_pw_qp
o
lynomial_fo
l
d_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
r
ivately export isl_morph_alloc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
a
e
ge
a
d
d isl_qpol
y
n
omial_
f
old_
g
et
_
t
ype
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
e
xport is
l
_pw_qpo
l
y
n
omial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oo
l
aege
add isl_ct
x
_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl
_
r
a
n
ge
.
c: fix
t
ypo in co
m
ment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
export isl_se
t
_
is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_b
o
und: plug m
e
mory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix i
s
l
_qpolynomial
_
fold_du
p
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_pw_qpolynomial_bound
_
ran
g
e
:
fix removal of d
i
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add bound_tes
t
.
sh
t
o distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoo
l
aege
do
c
: document
gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaeg
e
do
c
: document isl_constraint_i
s
_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaeg
e
add
i
sl_map_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
ol
a
ege
isl_basi
c
_map_forea
c
h_constra
i
nt: make sur
e
i
n
p
u
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdool
a
e
ge
isl_b
a
sic_map_copy: mark du
p
licated copy as finaliz
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolaege
isl_ba
s
ic_set_
l
ift:
finalize res
u
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verd
o
o
l
aege
isl_basic_
m
ap_move_
d
im
s
: always finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Ve
r
doolaege
isl_basic_map_from_
c
onstrai
n
t:
f
i
nalize result
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaeg
e
isl_
a
ccess_info_compute_flow: handle may acce
s
se
s
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoola
e
ge
isl_
a
cce
s
s_info_co
m
pu
t
e_flow: hand
l
e mu
l
ti-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove
s
o
me unused
varia
b
les
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
ren
a
me isl_pw
_
qpolynomial
_
move and add isl_pw_q
p
olynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
i
s
l_ct
x
: k
e
e
p t
r
ack of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
l
aege
i
sl_optio
n
s_p
a
r
se: pri
n
t help message
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add isl_
b
ound test
a
ppli
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
a
d
d isl_pw_
q
polynomial_
b
ou
n
d
_
range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_pw_qpolyn
o
mial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add rudimentary isl_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
ol
a
ege
add
isl_seq_se
t
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Verd
o
olae
g
e
i
sl_equalitie
s
.
c:
f
ix
t
y
po in
c
o
m
ment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
dd isl_mat_ins
e
rt
_
row
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
a
d
d isl_mat_norma
l
ize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add is
l
_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolae
g
e
isl_ma
t
_lin_to_aff:
fix
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoo
l
a
ege
isl_qpolynomial_opt_on_
d
o
main: h
a
ndle em
p
t
y
input
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
isl_name_allo
c
: f
i
x error h
a
ndl
i
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add is
l
_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoolaege
i
s
l_equalities
.
c:
f
ix
t
yp
o
s
i
n
com
m
e
n
ts
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add is
l
_pw_qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
dd isl_qpolynomi
a
l_
l
e_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
pri
v
at
e
l
y
e
x
port
isl
_
s
e
t
_
i
s
_bounded
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
doolaege
a
d
d
i
sl_set_
c
ount_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_sca
n
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdool
a
eg
e
add
i
s
l_stream_read_p
w
_q
p
olyn
o
mia
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_q
p
oly
n
omial_from
_
t
er
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_
q
polynomial_from_constr
a
int
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
d
d
i
s
l_basic_set
_
for
e
ach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
d
d isl_qp
o
lynomial_as_polynomial_o
n
_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
dool
a
e
g
e
ad
d
i
s
l_qpolynomial_su
b
s
titute
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoola
e
g
e
add isl_basic_set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
Verdoola
e
ge
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_
q
polyno
m
ial_negin
f
ty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
V
e
rdoolaege
add isl_basi
c
_
set
_
drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
isl_qpolynomial_fol
d
_opt_on_
d
omain:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
i
sl_p
w
_*_eval: fix h
a
ndlin
g
of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
V
erdoolaege
a
d
d
isl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
expor
t
isl_
q
pol
y
nomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erd
o
o
l
aege
add isl
_
qpolynomial_get_dim
commit
|
commitdiff
|
tree
next