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 isl_stream_skip_line
2010-06-19
Sven Verdo
o
laege
add
i
sl_stream_skip_lin
e
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aeg
e
add
r
udimentary error reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdool
a
ege
add
isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
a
e
g
e
isl_p
o
i
n
t_alloc
:
avoid potential me
m
ory l
e
a
k
on err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoo
l
aege
doc: doc
u
ment isl
_
map_d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verd
o
olae
g
e
isl_ta
b
_pip
.
c: compare
a
ll coefficie
n
ts
w
hen che
c
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdool
a
e
ge
isl_pw_qpolynomial{,_fold}_
g
ist: us
e
simple hull i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
a
d
d isl_set_set_
d
im_name
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
ad
d
isl_s
t
ream_
r
e
a
d
_
set
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
doolaege
doc: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
er
d
o
olaege
isl_qpolynomial_lift: fix lifting in absence
of
divs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdool
a
ege
optionally
(
and
b
y
defa
u
l
t
) use
be
r
nstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
priv
a
t
e
l
y
e
xport
i
s
l_qpo
l
ynomial_fold_f
o
ld
_
on_dom
a
in
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw_q
p
ol
y
n
om
i
al_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
add para
m
etric ve
r
tex enumerat
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_morph
_
dom_di
m
a
nd isl_
m
orph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
add isl
_
basic_
m
ap_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
rivately
e
xpor
t
isl_basic
_
s
e
t_sor
t
_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_tab_detect_implicit
_
equ
a
lities: als
o
det
e
c
t manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
isl_tab: optional
l
y only mar
k
strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
generalize isl_pw_q
p
olyn
o
mial_bou
n
d to isl_p
w
_
q
polynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
extr
a
c
t
ou
t
generic
p
art o
f
isl_pw
_
qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
isl_pw_qpolynomial_bound_ran
g
e: als
o
set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_set_
f
actorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
o
r
t isl_pw_
q
poly
n
omial_
f
old
_
drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export isl_qpolynomi
a
l_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
a
dd isl
_
qp
o
ly
n
o
m
ial
_
coeff
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doola
e
ge
a
d
d
isl_qp
o
ly
n
o
m
ial_f
r
om_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdool
a
ege
expo
r
t isl_qpoly
n
omia
l
_
add
_
d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
d
d
i
s
l_qpolynomial_
h
omogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_qpoly
n
omial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolae
g
e
add isl_qp
o
l
y
nomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qp
o
lynomial_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_
c
tx: add t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
i
s
l
_
tab_detect_im
p
licit_equalities: r
e
turn int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
add isl_tab_
s
ign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
is
l
_tab_se
l
e
c
t_fa
c
et:
r
eturn int in
s
tead
o
f isl_tab
*
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add i
s
l_basi
c
_
se
t
_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
p
r
ivatel
y
export isl_pw_qpolyno
m
ial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl
_
qpoly
n
omia
l
_fol
d
_
f
oreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdoolaege
add isl_pw_qpolynomial_fold_
f
oreach_li
f
ted_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ver
d
oolae
g
e
export isl_pw_qpolyno
m
ia
l
_fold_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
privately export isl_morp
h
_alloc
a
nd isl_morph_ident
i
t
y
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_qp
o
lynomi
a
l_fold_ge
t
_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export is
l
_pw_qpoly
n
omial_
g
e
t_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
dd isl_
c
tx_peek_
o
ptions
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doo
l
ae
g
e
isl_range
.
c: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
export isl_set_is_bound
e
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
isl_b
o
und: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix isl_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
isl_pw_qp
o
lynomia
l
_
bound_rang
e
: fix removal of d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add bound_test
.
s
h to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolae
g
e
d
o
c
:
document gist operat
i
ons
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoolaeg
e
d
oc:
d
ocument
i
sl_c
o
nstraint_is_eq
u
ali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_map_is_
s
ingle_value
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoo
l
aege
isl_b
a
sic_map
_
foreach_constraint
:
make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
sl_basic_map_co
p
y: mar
k
du
p
licated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
isl_ba
s
i
c
_
s
et_lift: final
i
z
e
result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
isl_
b
a
s
ic_m
a
p_mo
v
e_dim
s
:
always finaliz
e
r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
ba
s
ic_
m
ap_f
r
om_cons
t
raint:
f
inalize result
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
isl_acc
e
ss_inf
o
_
compute_flow: ha
n
dle may
a
ccesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
Verdoolaege
isl_access_in
f
o_comput
e
_flow: h
a
ndle
m
ulti-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
r
e
move som
e
unused v
a
riables
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n
V
e
r
d
oolae
g
e
fi
x
some
icc
warnings
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
V
e
rdoolaege
rename isl_pw_qpo
l
ynomia
l
_move
and add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verd
o
olaege
isl_ctx: keep t
r
ack of u
s
er
o
ption
s
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoola
e
ge
i
mpro
v
ed argument
parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_opti
o
ns_parse: print help
m
essage
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
add isl_bound test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
e
g
e
add isl_pw
_
qp
o
l
ynom
i
al_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doola
e
ge
add
isl_pw
_
qpolyn
o
m
i
al_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add rudimentary i
s
l_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
d
d is
l
_
s
eq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolae
g
e
i
s
l_equali
t
ies
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolae
g
e
add
isl_mat
_
inser
t
_
rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_mat_norma
l
i
z
e
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoo
l
aege
a
d
d
isl_mat
_
dia
g
onal
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaeg
e
isl_mat_lin
_
to_aff
:
f
ix
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
isl_qpolynomial_opt_on_do
m
a
i
n
: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ver
d
oola
e
ge
is
l
_
n
a
m
e_al
l
oc: fix error
handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoola
e
ge
ad
d
isl_
d
im
_
offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
is
l
_equalities
.
c: fix typos in
c
omments
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_pw_qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
ad
d
isl_
q
p
o
l
yno
m
ial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oolaege
p
ri
v
ately export
i
sl_set_is_b
o
unded
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
ad
d
isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n V
e
rdoolaege
ad
d
isl_
s
et
_
s
can
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_str
e
am_rea
d
_pw_qpolynom
i
al
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaege
add isl
_
qpolynomial_from_
t
erm
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
add is
l
_qpolyno
m
ial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
V
e
r
d
oolaege
a
dd i
s
l_basic_s
e
t_foreac
h
_bound_p
a
ir
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
laege
ad
d
isl_q
p
oly
n
o
m
ial_as
_
polynomial_on_do
m
ain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add i
s
l
_q
p
olynomial_subst
i
tute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_basic_
s
et_dims_get_s
i
gn
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
isl
_
ctx: a
d
d zer
o
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
a
dd isl_qpol
y
n
omial
_
n
e
gi
n
fty
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdool
a
ege
a
d
d isl_
b
a
s
ic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verd
o
olaeg
e
isl_qpo
l
ynomial
_
f
o
ld_opt_on
_
doma
i
n: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rd
o
olaege
i
sl_pw
_
*_eval:
f
ix
handling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
dool
a
eg
e
a
d
d isl_basic_set_mo
v
e
_
dims
commit
|
commitdiff
|
tree
next