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 Verdool
a
e
g
e
add isl_stream_skip_lin
e
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add rudimentary e
r
ror reporting mechanis
m
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
ege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
isl_po
i
nt_al
l
oc: avoid potenti
a
l
memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verd
o
o
laeg
e
d
o
c: do
c
ument
i
sl_
m
ap_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
is
l
_tab_pip
.
c: compare all c
o
effi
c
i
e
nts when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
e
r
d
o
olaege
isl_p
w
_qpoly
n
omial{,_fold
}
_gi
s
t: use simp
l
e
hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add
i
sl_set_set_dim_nam
e
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoola
e
ge
add
isl
_
s
t
r
e
am
_
read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
i
s
l
_qpolynomi
a
l_lift: fix lifting i
n
abs
e
nce o
f
divs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
optionally (and by de
f
ault) use bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
privat
e
l
y
expo
r
t
i
s
l
_q
p
olyno
m
i
a
l
_
fold_fold_on_
d
oma
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
l
a
ege
add isl_pw_qpolynomial_fold_foreac
h
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add par
a
metric vert
e
x enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add i
s
l_morph_
d
om_dim an
d
i
s
l_m
o
rph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
ad
d
is
l
_basic_map_i
s
_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately e
x
port isl_basic_set_s
o
rt_constraints a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_tab_detect_implicit_equalities:
a
l
so
d
ete
c
t manif
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab
:
optionally
only mark strictly red
u
ndant row
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olae
g
e
general
i
ze isl_pw_qpolynomial_bound to is
l
_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extract out gene
r
ic part o
f
isl_pw_
q
polynomial
_
bound
_
ran
g
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl_pw_qpolyno
m
ial_b
o
und_range: also set
ex
a
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_basic_set_factorize
r
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
exp
o
rt is
l
_pw_qpolynom
i
al_fo
l
d_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
export isl
_
qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
rdoolaege
a
dd isl_
q
poly
n
omial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qp
o
lyno
m
ia
l
_from_affin
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
e
x
port isl_qpolynomi
a
l_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
add i
s
l_
q
polynomial
_
ho
m
ogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_qpolynom
i
al_
d
egree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_insert_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_q
p
olynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
e
g
e
is
l
_
ctx:
add tw
o
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaeg
e
isl_tab_dete
c
t
_i
m
p
licit_equalities: return
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
add isl_tab_s
i
gn_of
_
max
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_tab_select_f
a
c
e
t: retu
r
n
i
nt
i
nstead of
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Ver
d
ool
a
e
ge
add
i
sl_bas
i
c_set_full_compressio
n
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
privat
e
ly ex
p
ort isl_pw_
q
p
olynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
a
d
d isl_qpolynomial_f
o
ld_foreach
_
qpolyno
m
i
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doola
e
ge
ad
d
isl_pw
_
qpolynomial_fold_forea
c
h_li
f
ted
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
r
t
isl_pw_
q
polynomial_fold_is_z
e
r
o
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verd
o
olaege
pri
v
a
t
ely expo
r
t isl
_
morph_al
l
oc a
n
d isl_
m
orph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erd
o
o
l
a
e
g
e
add isl_qpolynomial_f
o
ld_get
_
t
y
pe
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
ort isl_
p
w_qpolynomial_get_c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
r
ang
e
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
ex
p
ort is
l
_
s
e
t
_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
ool
a
e
ge
isl_bound:
plug memory l
e
ak
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
d
o
o
l
a
e
ge
fix isl_qpoly
n
omial_fold_
d
up
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_pw_q
p
olynomial_bound_range: fix re
m
oval of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoo
l
a
e
ge
a
d
d bound
_
test
.
sh
t
o distributi
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoola
e
ge
doc:
document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdoolaeg
e
doc:
document isl
_
c
onstra
i
n
t_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
ven Ve
r
doolaege
ad
d
isl_map_is_singl
e
_value
d
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdoolae
g
e
i
s
l_basic
_
map_f
o
reac
h
_
c
on
s
traint
:
make sure inp
u
t
h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
sl_b
a
sic_map_copy: mark duplicated copy
a
s f
i
n
a
lized
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaege
i
sl
_
basic_set
_
l
i
ft
:
finalize
r
e
su
l
t
commit
|
commitdiff
|
tree
2010-06-03
S
ven Ve
r
do
o
laege
isl_basic_map_move_dims: always finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_ma
p
_from
_
constrain
t
: finalize resu
l
t
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
isl
_
access_info_compute_flow:
h
andle may
a
ccesses
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n Ve
r
dool
a
ege
isl_acc
e
ss_in
f
o_compute_
f
l
ow:
h
a
ndle multi-valu
e
d s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaege
remove some unused
v
a
r
iables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
ae
g
e
f
i
x
som
e
icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolae
g
e
renam
e
isl_pw_qp
o
lynomial_
m
ove and add is
l
_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_ctx
:
k
e
ep track of user
opt
i
ons
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdo
o
laege
improved argument pars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoola
e
ge
isl_o
p
t
ions_parse: print he
l
p message
commit
|
commitdiff
|
tree
2010-05-14
S
v
en V
e
r
d
oolaege
add is
l
_boun
d
tes
t
applic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoo
l
aege
add isl_pw_qpolynomial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaeg
e
add
isl_pw_qpo
l
ynomial_fold_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
ae
g
e
add
r
udimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoolaege
add isl_seq
_
set
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdool
a
ege
i
s
l_equalit
i
es
.
c
:
f
ix ty
p
o i
n
comm
e
nt
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolae
g
e
add is
l
_mat
_
insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_mat_norma
l
iz
e
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
olae
g
e
add isl_mat_di
a
go
n
al
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
i
s
l_mat_li
n
_
to_af
f
: fix
e
r
ror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
isl_qp
o
lynomial_opt_on_d
o
m
ain:
handle
e
mpty inpu
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
isl_name_alloc: fix
e
r
ro
r
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
isl_dim_of
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equali
t
ies
.
c: fix ty
p
o
s
in comments
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaege
add isl
_
pw_qpolynomi
a
l_fo
l
d_
c
overs
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
d
o
o
l
a
eg
e
add isl_qpolynomi
a
l_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
pri
v
ately export
i
sl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
oolaege
add
isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
a
d
d isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_stream_rea
d
_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpol
y
n
o
mial_f
r
om_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_qpolynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_bas
i
c
_
s
et_forea
c
h_bound
_
pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl
_
qpolynomia
l
_
a
s_polynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoolaege
add i
s
l_qpolynomi
a
l
_
substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
ad
d
i
s
l_basic_s
e
t_dims_
g
et_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_c
t
x: add zer
o
commit
|
commitdiff
|
tree
2010-05-04
S
ve
n
Verdoolaege
add isl_qpo
l
ynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
add isl_bas
i
c
_set_drop
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n V
e
rdoo
l
a
ege
isl_qpolyno
m
ial_fold_opt_on
_
dom
a
in:
fi
x
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw_*_eval:
f
i
x hand
l
ing of
empty inpu
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
add isl_
b
asic_set_move_dims
commit
|
commitdiff
|
tree
next