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 0.03
2010-06-19
S
v
en Verd
o
olaege
add ru
d
imentary error reporting
m
ech
a
nism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
dd isl_v
e
rsion
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
V
e
r
d
o
o
l
a
ege
isl_point
_
alloc: avoid potential memo
r
y leak
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verd
o
olaeg
e
doc: docum
e
nt isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
i
s
l_tab_pip
.
c
:
compare all c
o
efficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n
Verdoolaeg
e
i
sl_pw_qpolynomial{,_fo
l
d}_gist: use simple
hu
l
l instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoolaege
add is
l
_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rd
o
olaege
add
i
sl_stream_r
e
ad_set
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n
V
erdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_qp
o
l
ynomial_lif
t
: fix lift
i
ng i
n
absen
c
e
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
e
ge
optionally (and by default) use berns
t
ei
n
e
xpansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately
export
i
sl_qpolynomial_fold_fold_on_domai
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
do
o
lae
g
e
add isl_pw_
q
p
o
lynom
i
a
l_fold_fo
r
each_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add para
m
etric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
ad
d
isl_m
o
rph_dom_dim and i
s
l
_m
o
r
ph_ran_
d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_basi
c
_
map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
r
doolae
g
e
p
rivately e
x
port isl_
b
asic_set_sort
_
constraints
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_tab_detect_implicit_eq
u
a
l
i
t
i
es: also detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ta
b
: o
p
t
i
onally
only mark str
i
ctly
redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
o
olaege
generalize isl_pw_qpolynomial_bo
u
nd to
isl_pw
_
qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
ext
r
act out
g
ener
i
c par
t
of isl_pw
_
qpolynom
i
a
l
_
bou
n
d_range
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
isl_pw_qp
o
lyno
m
ial
_
bound_range: als
o
s
et
e
xactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_basic_
s
et_fa
c
tor
i
zer
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
export isl_pw
_
qpolyn
o
mial_fold_dr
o
p_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
e
xport
i
sl_qpoly
n
o
mial
_
is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
add isl_
q
polyn
o
mial_c
o
e
f
f
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
ad
d
isl_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
or
t
is
l
_qpo
l
yn
o
mial
_
a
d
d_dim
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
o
o
la
e
ge
add
isl_qpolyn
o
m
i
al_homogeniz
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_qp
o
lynomial_insert_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_
q
polyn
o
mial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_t
a
b_detec
t
_implicit_equalit
i
es: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
a
d
d i
s
l_t
a
b_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
is
l
_tab_
s
elect_facet: re
t
urn int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdoo
l
aege
add
i
sl_
b
asic_
s
et_full_compre
s
s
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
privately
export isl_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
a
dd isl
_
qpolynom
i
al_fold_foreac
h
_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoola
e
ge
a
dd isl
_
pw
_
q
p
olyno
m
ial_fold_foreach
_
l
i
fted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
e
x
port
i
sl_pw_qpolynomial
_
fo
l
d_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
privately export isl_mor
p
h_alloc and isl_morph_i
d
ent
i
ty
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aeg
e
a
dd isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaeg
e
export isl
_
pw_qpoly
n
omial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oo
l
aege
a
d
d
isl_ctx
_
peek_options
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
i
sl_
r
ange
.
c: f
i
x typ
o
in
c
o
m
ment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_set_i
s
_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
is
l
_bound: plu
g
memory l
e
ak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix isl
_
q
p
olynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_pw_qpolynomial_bound_ran
g
e
:
f
ix
r
emoval of
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
a
dd
b
o
u
n
d
_test
.
sh to di
s
trib
u
t
i
on
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
d
o
c: document gist
o
perations
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdo
o
lae
g
e
doc: doc
u
ment isl_const
r
aint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
doo
l
aeg
e
ad
d
isl_map_is_single_
v
alued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
i
s
l
_basic_
m
ap_fo
r
ea
c
h_constraint:
mak
e
sure input
h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_bas
i
c_
m
ap_
c
o
py:
mark du
p
l
i
c
ated co
p
y
as
f
i
nalized
commit
|
commitdiff
|
tree
2010-06-03
S
ven V
e
rdoolaege
i
s
l
_
basic_set_lift: finalize result
commit
|
commitdiff
|
tree
2010-06-03
S
v
e
n
Verdo
o
laege
isl_basi
c
_map_mov
e
_dims: always final
i
ze resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n V
e
rdo
o
l
a
e
g
e
isl_basic
_
m
ap_from
_
constraint: f
i
nalize resu
l
t
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoolae
g
e
i
s
l_a
c
c
e
ss_info_compute_flow: handle ma
y
accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoola
e
ge
isl_
a
cc
e
s
s_info_
c
omp
u
t
e
_flow: handle m
u
lti-val
u
ed sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
e
ge
remove some un
u
s
e
d
var
i
ables
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaege
re
n
ame
i
sl_p
w
_qpoly
n
omia
l
_mov
e
a
nd add isl_pw_qpolyno
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
isl
_
ctx:
kee
p
track of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
improve
d
argu
m
e
n
t
p
ar
s
in
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_
o
ptions_pars
e
:
p
r
i
n
t
help message
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdool
a
ege
add
i
s
l
_bou
n
d test
application
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
olaege
add isl_
p
w_q
p
oly
n
omia
l
_bou
n
d_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpoly
n
omial_f
o
l
d
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doola
e
g
e
add rudi
m
en
t
a
r
y isl
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoo
l
a
ege
add isl_seq
_
set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
isl_equalit
i
es
.
c
:
fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolae
g
e
add i
s
l_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
aege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ver
d
o
o
laege
add is
l
_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
V
e
rdoo
l
ae
g
e
isl_mat_lin
_
t
o_aff: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Ver
d
o
ola
e
ge
i
sl_qpolynomial_opt_on_do
m
ain
:
ha
n
dle empty input
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
isl_name_a
l
l
o
c: f
i
x e
r
ror handling
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_dim_off
s
et
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaeg
e
is
l
_equalities
.
c
:
fix typos in
co
m
ments
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
e
rdoolaege
add isl_pw_qpo
l
yno
m
ial_fold
_
co
v
ers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
privatel
y
export isl
_
s
et_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_set_count
_
upt
o
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add
is
l
_s
e
t_
s
can
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oo
l
aege
add isl_s
t
ream_read_pw_qpolynom
i
al
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolae
g
e
add
isl_qpolyno
m
i
al_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_qpolynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoolaege
a
d
d isl_ba
s
ic_set_forea
c
h_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laeg
e
add
isl_qpolyn
o
mial_as
_
polynomial_on_
d
o
m
ain
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaeg
e
a
d
d isl_qpolynomia
l
_subs
t
itute
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
l
aege
add i
s
l_basic_set_di
m
s_get_sig
n
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
sl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
o
laege
add isl_qpol
y
nomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ver
d
oolaege
add isl_bas
i
c
_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
i
sl_qpolynomial_
f
o
ld_opt_
o
n_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
isl_pw_*_eval
:
fix
hand
l
ing of emp
t
y inpu
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
ool
a
ege
add isl_basic_se
t
_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export is
l
_qpolynomia
l
_su
b
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
do
o
laege
a
d
d
i
sl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
next