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
Sven Verdoola
e
g
e
add rudim
e
ntary err
o
r rep
o
rting mechan
i
sm
commit
|
commitdiff
|
tree
2010-06-19
S
v
en V
e
rdo
o
laege
ad
d
isl_versio
n
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
is
l
_point_alloc:
a
void
potential memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sve
n
Verdool
a
ege
doc
:
do
c
umen
t
i
sl
_
map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n Verdoolaeg
e
isl
_
t
ab_pi
p
.
c
: compare all
c
oe
f
ficients w
h
en check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdo
o
l
a
ege
isl_pw_qpo
l
yno
m
ial{,_fold}_gist: use simple
h
ull inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Ver
d
oolaege
add isl_set
_
set_d
i
m_name
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoolaege
a
d
d i
s
l_stream_
r
ead_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdo
o
laege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_qpolynomial_lift: fix lifting
in absen
c
e
o
f
divs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
optionally
(
and b
y
default) use
bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
priva
t
ely
e
xport is
l
_qpolynom
i
al_fold_fol
d
_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_pw_
q
p
olynomia
l
_f
o
l
d_forea
c
h
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
a
d
d
p
ar
a
metric verte
x
enume
r
ati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_morph_
d
om_dim
and isl_morph_r
a
n_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
add
i
sl_basic_ma
p
_is_
r
ational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
privately e
x
por
t
isl_basic_
s
et_sort_constra
i
nts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
is
l
_
t
ab_det
e
ct_i
m
plicit_equalities
:
a
lso detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_tab: opt
i
onally only mark
stric
t
ly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdo
o
la
e
g
e
generalize isl_pw_qpolynom
i
al_boun
d
to isl_pw_qp
o
lyn
o
mia
l
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdool
a
ege
extr
a
c
t out generic par
t
of
is
l
_
p
w_qpolynomial
_
bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_pw_qpolynomial_bound_range:
al
s
o set exac
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
add isl_basic_set_fact
o
rizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export isl
_
pw_qp
o
lyn
o
mial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
o
o
laege
export is
l
_qpol
y
nomial_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erdoolaege
add isl_qpolynom
i
al_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add
isl_qpolynomia
l
_from_aff
i
ne
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoola
e
ge
e
xport isl_
q
polynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
add isl_qp
o
lynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
add isl_qpolynomial_d
e
gree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
a
d
d isl
_
qpolynomial_insert_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
ege
add
i
sl_qpo
l
ynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
isl_ct
x
: add two
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_
t
ab_detect_implicit_equaliti
e
s: retu
r
n inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
ege
add isl_t
a
b
_
sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
isl
_
tab
_
s
elect_facet: return int instead of isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_basic_set_full
_
compr
e
ssion
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oo
l
aege
private
l
y export isl
_
pw_qpolyno
m
ial
_
mo
r
ph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_qpolyno
m
ial_fold_foreach_qpolynom
i
al
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
e
ge
add
i
s
l_pw_qp
o
lynomi
a
l_fold_foreach_lifted_p
i
ec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_
p
w_qp
o
lynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
r
i
v
ately export is
l
_
morph_a
l
loc
a
nd isl_
m
o
rph_identi
t
y
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_qpolynomial_fo
l
d_g
e
t_type
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
export i
s
l
_pw_qpoly
n
omial
_
g
e
t
_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ver
d
oolaege
isl_ran
g
e
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaeg
e
expor
t
isl_set_is_
b
o
unded
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
r
doola
e
ge
isl_boun
d
: pl
u
g memory le
a
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fi
x
isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oo
l
a
ege
isl_pw_qpoly
n
o
m
ial
_
bound_range: fix remov
a
l
o
f
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoolaege
add bound_
t
e
s
t
.
sh t
o
distribution
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n Verdoolaege
doc:
d
ocum
e
nt gist oper
a
tions
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
oolae
g
e
do
c
: do
c
ume
n
t isl_constraint_i
s
_
e
quality
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolaege
add
isl_map_is_single_val
u
ed
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
oolaege
i
sl_basic_map_f
o
r
each_
c
onstraint: make sure input
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verd
o
o
l
aege
isl_bas
i
c_map_copy: m
a
rk duplicated copy
as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdo
o
laege
is
l
_basic_set_lift: finalize r
e
su
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_basic_map_move_di
m
s: a
l
w
a
ys fi
n
alize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_basic_map_f
r
om_c
o
n
s
traint: finalize re
s
u
lt
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
isl_
a
c
c
ess_info_compute_flo
w
:
h
andle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
V
e
rdoolaege
isl_access_
i
nfo_compute_
f
low: handle
mul
t
i-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaege
remove some unused var
i
a
b
les
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
o
laege
f
i
x
s
ome icc wa
r
ni
n
gs
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
rename isl_p
w
_qpolyn
o
mia
l
_move and add isl_pw_qpolyn
o
mial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
i
s
l_ctx: keep track of use
r
o
ptions
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
e
rdoolaege
impro
v
ed arg
u
m
e
nt
p
arsing
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n
V
erdoo
l
aege
isl_opt
i
ons_parse: p
r
int h
e
lp message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
laege
a
dd isl_bo
u
nd test appl
i
cation
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ver
d
oolaege
a
d
d isl_p
w
_qp
o
ly
n
omial_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdo
o
laege
add isl_pw_qpolynomial_
f
old_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add
ru
d
imenta
r
y isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
o
o
laege
add isl_
s
eq_set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolae
g
e
isl_equalities
.
c: f
i
x
t
ypo
i
n commen
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
ge
add isl_mat_insert_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
dd isl_ma
t
_nor
m
alize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add
isl_
m
a
t
_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
isl_
m
at_l
i
n_to_
a
ff
:
fi
x
err
o
r handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
o
l
a
ege
isl_qpol
y
nom
i
al_opt_on_domain: handle
e
m
pty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaege
i
sl_name_all
o
c
:
fix
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_dim
_
offset
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolae
g
e
is
l
_equalities
.
c
: f
i
x
t
ypo
s
in
c
omments
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
o
laeg
e
add isl_pw_
q
polynomial
_
fold_covers
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl
_
qpolyno
m
ia
l
_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoo
l
aege
p
r
ivately export isl_set_is_b
o
un
d
ed
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaeg
e
add i
s
l_
s
e
t
_count_
u
pto
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_set_
s
can
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_stream_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_q
p
oly
n
omial
_
fr
o
m_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
olaege
add isl_qpo
l
ynom
i
al_from_c
o
nstraint
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
do
o
laeg
e
add
isl_basi
c
_set
_
foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
eg
e
add
i
sl_qp
o
lynomia
l
_as_
p
o
l
ynom
i
al_on_doma
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
d
oola
e
ge
ad
d
i
s
l
_qpolynomial_subst
i
tute
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oolaege
ad
d
isl_basic_set_dims_ge
t
_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
s
l_ctx:
a
dd zero
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaeg
e
add i
s
l_qpolynomial_negi
n
fty
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
add isl_b
a
si
c
_set_dro
p
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verd
o
olae
g
e
isl_qpolynomial_
f
ol
d
_opt_on_domain:
f
i
x
t
y
po
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaeg
e
isl_pw_*_eval: f
i
x
h
a
n
dling of empt
y
input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
add
is
l
_
b
as
i
c
_
se
t
_move_
d
i
ms
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
Verdoola
e
ge
e
xport isl_qpolynomial_sub
commit
|
commitdiff
|
tree
next