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_equalities.c: parameter_compression_multi: avoid NULL pointer dereference
2010-06-12
S
ven Verdoola
e
g
e
exp
o
r
t
i
sl
_
qpoly
n
om
i
al
_
i
s
_zer
o
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_qpolynomial_c
o
eff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_qpolynomial
_
from_aff
i
n
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
e
xport is
l
_q
p
olyn
o
mial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
add isl_qpoly
n
omial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
ad
d
isl_qpolynomia
l
_d
e
g
r
ee
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_q
p
ol
y
nomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
add i
s
l_q
p
o
l
y
nomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
i
sl
_
tab
_
d
etec
t
_
i
mpli
c
it_equalit
i
es: return
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
ge
a
d
d isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
ae
g
e
isl_
t
a
b
_select_facet:
return int i
n
s
t
e
a
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
dd i
s
l
_
ba
s
i
c_set_full_compr
e
ssi
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
privately export
i
sl_pw
_
qpoly
n
o
m
ia
l
_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
ad
d
isl_qpo
l
ynomial_fold_fo
r
each_
q
pol
y
nomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
lae
g
e
add isl_
p
w
_qpolynomial
_
fold_
f
oreac
h
_lifted_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
export isl_pw_qpolynomial_
f
ol
d
_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priv
a
tely export i
s
l_morph_alloc a
n
d isl_
m
orph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
o
l
ae
g
e
add isl_qpolynomial_
f
old_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
e
x
port isl_pw_qpolyno
m
ia
l
_get_
c
tx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
dd isl_ctx_pe
e
k_op
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_range
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
e
xport isl_set_is_bounde
d
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaeg
e
isl_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
fix isl_qpolyno
m
i
al_fold_d
u
p
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_pw_qpolynomial_boun
d
_rang
e
:
fix removal
o
f dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bound_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n
V
e
rdoolaege
doc
:
document g
i
st operat
i
ons
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: doc
u
m
en
t
isl_c
o
nstraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolaege
a
d
d isl_map_is_single_
v
alued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en
V
er
d
oolaege
isl_basic_map_f
o
reach
_
c
onstraint: ma
k
e s
u
re input
h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
ola
e
g
e
isl_b
a
s
i
c
_
m
ap_copy: mark dupl
i
cated copy a
s
finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaege
isl_basic_set_lift:
f
i
n
alize resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoola
e
ge
isl_b
a
sic_map
_
m
ove_dim
s
: a
l
ways finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
basic_map_f
r
om
_
c
o
nstraint: fi
n
a
l
ize
r
esult
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
V
erdool
a
e
g
e
isl_acces
s
_in
f
o_compute_flo
w
:
h
andle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl
_
access_info_compute_flow: han
d
le m
u
l
ti-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
er
d
oolaege
remove some
u
n
u
s
ed v
a
riable
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
fix so
m
e i
c
c warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rena
m
e isl_
p
w_qp
o
l
y
n
o
mial_move and add isl_pw_qpolynomia
l
_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
i
s
l_ctx: keep track of u
s
er options
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Ve
r
dool
a
eg
e
improved argum
e
n
t
p
arsin
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_options_
p
arse: pri
n
t help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
add
i
s
l_bound test appl
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaeg
e
add isl_pw_qpolynomial_b
o
u
n
d_r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
isl_
p
w_qpolynomial_fold_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
l
aege
add
r
u
d
i
m
e
ntary isl_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oolaege
a
dd i
s
l_se
q
_
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
aege
isl_
e
qu
a
lities
.
c: fix
t
yp
o
in comment
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
o
l
aeg
e
add isl_
m
at_ins
e
r
t_rows
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
e
r
do
o
laege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
lae
g
e
a
dd isl_mat_d
i
agonal
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoolaege
isl_mat_lin_to_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_qpol
y
nomia
l
_opt_on_
d
om
a
i
n: handle em
p
ty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl
_
n
a
m
e
_all
o
c: fix error
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
a
d
d isl_
d
im_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl_equalities
.
c
:
fi
x
t
ypos in
com
m
ents
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoo
l
a
ege
add
i
sl_pw_qpolynomial_fol
d
_
c
o
v
ers
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Ver
d
oolae
g
e
add i
s
l_qpol
y
nomial_
l
e
_
cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
privately ex
p
ort
i
s
l
_set
_
i
s
_
bounded
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
rdo
o
laege
ad
d
i
s
l
_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl
_
stream_read
_
p
w
_q
p
olynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
ad
d
isl_qpolynomial_
f
rom_term
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
olaege
ad
d
isl_qpolynomial_
f
rom_constraint
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_basic_set_f
o
reach_b
o
u
nd_pair
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_
q
polynomial_a
s
_polynomial_on_doma
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
eg
e
add isl_qpolyn
o
mial_subs
t
i
t
u
te
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
a
dd i
s
l_basic_set_dims_get_s
i
gn
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
isl_ctx: add z
e
r
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
o
laeg
e
a
d
d
isl_qpoly
n
omia
l
_negin
f
ty
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoola
e
ge
ad
d
isl_ba
s
ic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
e
ge
isl_qpolyn
o
mial_fold
_
opt_on_d
o
main: fix ty
p
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
isl_pw_*_eval
:
fix handling of
e
m
pty
i
nput
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdoolaege
a
d
d
isl_basic_s
e
t_move_
d
i
ms
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
o
laeg
e
exp
o
rt
isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
add isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
isl_map_
t
ransitive_closu
r
e: coalesce input be
f
ore
c
heckin
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
a
dd map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
v
en
V
e
rdoolaege
isl_map_l
e
x_le
:
use one
basic set less in r
e
su
l
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_stream: accept le
x
ic
o
graphic operato
r
s
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_
m
ap_
t
ransi
t
ive
_
cl
o
s
u
re: check if inp
u
t
i
s cl
o
sed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
add isl_printer_flus
h
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_
m
ap_read: pa
r
se p
a
rametric Omega in
p
ut
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoo
l
aeg
e
isl_map
_
r
e
ad: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
isl
_
convex_hull
.
c: is_boun
d
:
any inequality is a
b
oun
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
isl_con
v
ex_hull
.
c: add_bounds: propagate error
s
fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaeg
e
document i
s
l_map
_
revers
e
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verd
o
olaege
isl_str
e
am_next_token: terminate string tok
e
n
s
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_map_tr
a
nsitive_closure: trea
t
equalit
y
a
s
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
r
d
oolaeg
e
is
l
_map_transitive_closure, omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
is
l
_map_transi
t
ive_
c
los
u
re: use
s
imple hull in omeg
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_
m
ap
_
t
ransitiv
e
_closure: try a
n
d com
p
ute clos
u
r
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_coalesce: allow wrapping in sets that
stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
g
e
isl
_
map_coalesce: a
l
lowing
c
u
t
t
ing equalities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add some more c
o
al
e
s
c
ing test
cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_basic_map_gist: be
m
o
r
e
aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdool
a
ege
isl_
s
tream: ac
c
ept st
r
ing tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
e
rdool
a
eg
e
i
s
l_ta
b
_rol
l
back:
r
estore rows t
h
a
t
are no
longer
m
arked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
doc: docum
e
nt simple hull
commit
|
commitdiff
|
tree
next