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_map_is_translation
2010-06-24
Sven Verdool
a
ege
a
dd isl_map_is
_
translation
commit
|
commitdiff
|
tree
2010-06-21
S
ven V
e
rdo
o
laege
export isl_qpolynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
ol
a
e
g
e
isl_pol
y
nomial
.
c: add m
i
ssing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
S
ven V
e
rdoolaege
i
s
l_map_tra
n
sitive
_
clo
s
ure: check whether d
e
composition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n
Verdoolaege
add isl
_
stream_fl
u
sh_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_strea
m
_
skip_li
n
e
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add ru
d
imentary e
r
ror r
e
porting mecha
n
i
s
m
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaeg
e
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_point_alloc: avoi
d
poten
t
i
al mem
o
ry lea
k
o
n
er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
ven V
e
rdoolaege
doc: documen
t
isl_m
a
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Verdool
a
ege
isl
_
t
ab_pip
.
c:
c
ompare
a
l
l coefficients w
h
en checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
erdoo
l
aege
isl_pw_qpolynomial{,_
f
old}_gist: us
e
simple
hul
l
ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
d
oolaege
a
dd isl_
s
et
_
se
t
_dim_na
m
e
commit
|
commitdiff
|
tree
2010-06-14
S
v
en V
e
rdoolaege
add
i
s
l_strea
m
_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdool
a
e
ge
do
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
i
sl_qpolynomial_li
f
t: fi
x
l
i
f
ting
i
n absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
option
a
lly (and by defau
l
t) u
s
e bernstein expan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
priva
t
e
l
y export isl_qpolynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolae
g
e
a
dd isl_pw_
q
polynomial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add par
a
metric vertex enume
r
a
t
io
n
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_morp
h
_dom_dim
a
n
d is
l
_mo
r
p
h
_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
d
d isl_basic_map_is_rationa
l
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
privately export
i
s
l
_basic_
s
e
t
_so
r
t
_const
r
ai
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaeg
e
i
s
l_tab_det
e
ct_i
m
plicit_equalities: also
detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
isl_tab: option
a
lly only mark strictly redund
a
n
t
rows
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
g
e
neralize isl_pw_qpoly
n
omial_bound to isl_pw_qp
o
lyno
m
ial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
o
laege
extract
o
ut gener
i
c pa
r
t o
f
isl_p
w
_qpolynomial_
b
ou
n
d_
r
a
nge
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
d
oolae
g
e
isl_pw_qpolynom
i
a
l_bound_range:
a
lso set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_b
a
sic_set_f
a
ct
o
rizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
e
xport isl_pw_qp
o
ly
n
omial_fold_drop_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
ex
p
ort isl_qpol
y
nomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_qpoly
n
o
mial_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
add isl_qp
o
ly
n
o
m
i
al_from_affine
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
la
e
ge
export isl_q
p
olynomial_a
d
d
_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add
isl_
q
polyno
m
ial_
h
omogeni
z
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaeg
e
add isl_qpolynomia
l
_deg
r
ee
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add
isl_qp
o
lynomial_inser
t
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
a
e
ge
a
d
d
isl_
q
p
o
lynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
isl_ctx: add t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
isl_tab
_
d
e
tect_
i
mpl
i
cit_
e
qualities: r
e
turn
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
e
r
doolaege
a
dd isl_tab_sign_
o
f_max
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
is
l
_tab_sele
c
t_facet: return int instead of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
basic_set_ful
l
_comp
r
ession
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
r
ivately
e
xport
i
s
l_pw_qpolyno
m
ial_m
o
rph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_qpolynomial_
f
ol
d
_foreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
add isl_pw_qpo
l
ynomial_
f
old_foreach_li
f
ted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
xpo
r
t isl_pw_
q
p
o
lynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export
isl_morp
h
_allo
c
a
n
d isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
r
d
o
olaege
add isl
_
q
p
olynomia
l
_
fold_get_ty
p
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_qpoly
n
omia
l
_g
e
t_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
r
do
o
laege
a
dd
i
sl
_
c
t
x_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_r
a
nge
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export isl_set_is_bou
n
ded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
isl_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
fix isl_qpolynomial_fo
l
d
_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
is
l
_pw_q
p
olynomial_
b
ound_range: fix
r
emoval of
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
add bound
_
test
.
sh
t
o
d
istribution
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
rdoolaege
doc: d
o
c
ument gis
t
opera
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
d
oo
l
aege
doc
:
docum
e
nt isl_
c
onstraint_is_eq
u
ality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_map_
i
s_s
i
n
g
l
e_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdool
a
ege
isl_basic_map_foreach_constraint: make sure in
p
ut has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
er
d
oolae
g
e
isl_bas
i
c_m
a
p_copy: mark duplicated copy as final
i
zed
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
isl_b
a
s
i
c
_se
t
_li
f
t: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaege
i
sl_basi
c
_map
_
mo
v
e_dims: always fi
n
alize
result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
sl_
b
asic
_
map_from_cons
t
raint:
f
inaliz
e
resu
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
i
s
l
_
ac
c
ess_info_compute
_
flow
:
handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
Verdoolaege
isl_access_
i
nfo_compute
_
flow: handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
remove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
aeg
e
rename isl_p
w
_qpol
y
nomial_move and add
i
sl_pw
_
qpolynomia
l
_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Ve
r
doola
e
ge
is
l
_ct
x
: ke
e
p track of user o
p
t
ions
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoola
e
ge
im
p
r
oved argument
parsi
n
g
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaege
isl_options_parse: print help mess
a
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
laege
add
isl_boun
d
test application
commit
|
commitdiff
|
tree
2010-05-14
S
ven
Verdoolaeg
e
add isl_pw_qpolynom
i
a
l_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_pw_qpolynom
i
al_fold_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
a
d
d rudime
n
tary isl_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oola
e
ge
ad
d
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolae
g
e
isl_equa
l
iti
e
s
.
c
:
f
i
x typo i
n
comment
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
add isl_mat_i
n
sert
_
rows
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_mat_lin
_
to_aff: fix error
h
andli
n
g
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaeg
e
isl
_
qpolynomia
l
_o
p
t_on
_
domain: ha
n
dle empty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
i
s
l_n
a
me_alloc: f
i
x err
o
r
ha
n
dling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
e
ge
ad
d
i
sl_dim_offs
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalitie
s
.
c: fi
x
t
y
pos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
a
d
d
i
s
l_pw_q
p
o
l
ynomial_fold_
c
ove
r
s
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoola
e
ge
a
dd i
s
l
_qpolyn
o
m
i
a
l_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
olaege
private
l
y
exp
o
r
t
isl_set_is_
b
o
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_co
u
nt_upt
o
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rd
o
olaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_stream_read_pw_q
p
o
l
ynom
i
al
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
add isl_qpo
l
ynomial_from_
t
e
r
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_
q
polynomi
a
l_from_constrai
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolae
g
e
ad
d
isl_basic_set_foreach_bound
_
pair
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolae
g
e
a
dd
isl_
q
poly
n
omial_as_polyno
m
ial_on_doma
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_qpolynomial_substi
t
ute
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_b
a
sic_set_dims_ge
t
_s
i
gn
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoola
e
ge
isl_ctx
:
add
zero
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ve
r
dool
a
ege
add i
s
l_qpolynomi
a
l_n
e
ginfty
commit
|
commitdiff
|
tree
next