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_dim_dup: check input dim
2010-06-26
Sven
V
erd
o
olaege
is
l
_
di
m
_du
p
:
check
i
nput
dim
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdoolaege
isl_bas
i
c_map_cow:
ch
e
ck
r
e
s
u
lt
of allocation
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoola
e
ge
isl_stream_new_str: ch
e
ck result of
allocation
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_strea
m
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoo
l
ae
g
e
isl_
t
ab_pi
p
.
c:
fix ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
o
o
laege
isl_tab
.
c:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
isl_
p
o
lynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven
V
erdool
a
ege
isl_vertices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
V
e
rd
o
olaege
isl_morph
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_in
p
u
t
.
c: accep
t
m
ore general affi
n
e expressions
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
d
oola
e
ge
add isl
_
vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add i
s
l_vec_
s
cal
e
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
V
erdo
o
laege
add isl_set
_
is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdo
o
l
a
ege
add isl_
m
ap_is
_
translatio
n
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
aege
export isl_qp
o
lynomial_invo
l
ves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoolaege
isl_po
l
yn
o
mial
.
c:
add mi
s
sing
i
nclude
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaege
isl_map_tran
s
itive_c
l
o
sure:
check
whether
decomposit
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaege
add isl_stream_f
l
ush_to
k
ens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_st
r
eam_ski
p
_line
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
add
r
ud
i
mentary error reportin
g
mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
i
s
l
_
point_alloc: av
o
id
p
oten
t
ial m
e
mory lea
k
on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
en Ver
d
oolaege
doc: document isl_map_delta
s
commit
|
commitdiff
|
tree
2010-06-15
S
v
e
n V
e
rd
o
o
l
a
ege
isl_tab_p
i
p
.
c: compare all c
o
efficien
t
s when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdo
o
lae
g
e
i
sl_pw_qpolynomial{,_
f
old}_gist
:
use simpl
e
hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
add isl_set_se
t
_d
i
m_
n
a
m
e
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add i
s
l_stream_r
e
ad_set
commit
|
commitdiff
|
tree
2010-06-14
S
v
en V
e
rdoolaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
isl_qpolynomial_l
i
ft: fix lifti
n
g in absenc
e
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
optionally
(
a
n
d by default) use
b
erns
t
ein
e
x
pansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
pr
i
vately export
isl_qpolynom
i
al_fold_fol
d
_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
a
e
ge
add
isl_pw_qp
o
lynomial_fol
d
_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
dd para
m
e
t
ri
c
vertex e
n
um
e
rati
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaeg
e
add isl_m
o
rph_dom_dim and
i
sl_morp
h
_ran_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
o
la
e
ge
add isl_b
a
sic
_
m
ap_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
r
i
vately export isl_b
a
sic_s
e
t_so
r
t
_
constrai
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
isl_ta
b
_detect_implicit
_
equalities: also detect ma
n
ifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
isl_tab: optionally onl
y
mark strictly re
d
undant r
o
ws
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
general
i
ze isl_pw_qpolynomial_bo
u
nd to isl_pw_qpolynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
tra
c
t out
g
eneric part of
i
s
l_pw_qpo
l
ynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_pw_qpolyn
o
mial
_
bo
u
nd
_
range: also set exac
t
ne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add
isl_basic_set_factori
z
e
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
expo
r
t
isl_pw_qpol
y
nomial_fol
d
_
d
r
o
p_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
export isl_qpolynomial
_
i
s_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
a
dd
i
sl
_
qpo
l
y
n
omial_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdo
o
laege
ad
d
isl_qpolynomial_from
_
affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
export
i
sl_qp
o
l
y
nomial
_
add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl
_
qpoly
n
o
mial_h
o
m
og
e
ni
z
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add i
s
l
_qpolyn
o
mial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolae
g
e
add isl_qpolynom
i
al_i
n
s
e
rt_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erd
o
olaege
add isl_qpolynom
i
al_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_ctx: a
d
d two
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_tab_
d
et
e
ct
_
impl
i
cit_equ
a
lities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdo
o
laege
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl
_
tab_select_facet:
return int i
n
stea
d
of isl_t
a
b
*
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
a
d
d isl_b
a
sic_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
p
rivately exp
o
rt isl_pw_
q
p
ol
y
nomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
i
sl_qpo
l
y
n
o
m
i
al_fold
_
foreach_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_p
w
_qpolyn
o
mial
_
fold_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
e
x
por
t
is
l
_p
w
_qpol
y
nomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
priv
a
tely e
x
por
t
i
s
l
_morph_alloc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ver
d
o
olaeg
e
add
isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
expor
t
i
sl_pw_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolae
g
e
isl_range
.
c:
fix ty
p
o in
c
omment
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doola
e
ge
e
x
port
i
sl_set_is
_
bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoo
l
a
e
ge
isl_bound
:
plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix
i
sl_qpoly
n
o
m
i
al_
f
old_dup
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
isl_pw_qpolyno
m
ial_bound_
r
an
g
e: fix remova
l
of
d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add bound_test
.
s
h to distr
i
b
ution
commit
|
commitdiff
|
tree
2010-06-11
Sven
Verdoolaege
do
c
: document gist operati
o
ns
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoo
l
aege
doc: d
o
cument
i
sl_
c
onstraint_is_equal
i
ty
commit
|
commitdiff
|
tree
2010-06-04
S
ve
n
Verdo
o
laege
add isl_map_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
i
sl_basic_map_foreach_constraint: make
sure
i
n
p
u
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdool
a
ege
isl_bas
i
c
_map
_
copy
:
m
a
r
k d
u
plicate
d
copy
as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_
s
et_lift: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaege
isl_b
a
sic_map_move_dims:
a
lwa
y
s
fina
l
ize
r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
S
ven Ve
r
doolaege
is
l
_basic_map_from_constr
a
int: f
i
nalize r
e
sult
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
isl
_
acc
e
s
s
_info_compute
_
flow: handle may acces
s
es
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_
a
ccess_info
_
c
ompute_flow: h
a
ndle m
u
lti-v
a
lue
d
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
lae
g
e
remove some unus
e
d v
a
riables
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Ve
r
do
o
laege
f
i
x
s
o
m
e icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oo
l
aeg
e
r
e
name
i
sl_pw_qpo
l
ynomial_mo
v
e and add isl_pw_
q
polynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
isl_ctx: keep
t
ra
c
k
o
f user
o
ptions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
aege
impr
o
ved argument
p
ars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
V
e
rdoolaege
isl_
o
ptions_p
a
rse: pr
i
nt
h
e
l
p mess
a
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doo
l
ae
g
e
add
i
sl_bo
u
nd test applica
t
io
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verd
o
olaege
a
dd
isl_pw_qpolynomial
_
bound_
r
a
n
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_pw
_
qp
o
l
y
nomial_
f
old_m
o
r
p
h
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoolaege
ad
d
rudim
e
n
tary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_
s
eq
_
set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equal
i
ti
e
s
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
l
aeg
e
a
d
d isl_mat
_
insert_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoola
e
ge
add i
s
l_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl
_
m
a
t_lin_
t
o_aff: fix err
o
r
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
olaege
isl_qpolynomi
a
l_o
p
t_on_domain: han
d
le empty input
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdo
o
laege
isl_
n
ame
_
alloc: fix erro
r
handling
commit
|
commitdiff
|
tree
next