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_map.c: fix typo
2010-06-26
Sven
V
erdoolaege
isl_dim
.
c: copy_names:
c
h
eck input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
i
s
l
_
d
im_dup: check input dim
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoola
e
ge
is
l
_ba
s
ic_ma
p
_c
o
w
: c
h
ec
k
result of al
l
ocation
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
i
sl_stream_new_str:
c
heck r
e
sult of all
o
c
ation
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rd
o
olaege
is
l
_stream
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
i
s
l_tab_pip
.
c
: fix t
y
po
s
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n
V
erdo
o
laege
isl_tab
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
isl_v
e
rtices
.
c
: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaeg
e
isl_
m
orph
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verd
o
olaege
is
l
_m
a
p
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl
_
ma
p
_simpl
i
fy
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_
i
nput
.
c: accept more gene
r
al
a
ffine expres
s
ions
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Ve
r
doolaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
l
a
eg
e
add isl_
v
ec_sc
a
le
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_set_is_
b
ox
commit
|
commitdiff
|
tree
2010-06-24
S
v
en Verdoolae
g
e
a
dd isl_ma
p
_i
s
_
t
ran
s
la
t
ion
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export isl
_
q
p
olynomial_inv
o
lves
_
dims
commit
|
commitdiff
|
tree
2010-06-21
S
ven
V
e
r
d
oolaege
isl_p
o
lynomial
.
c: add missing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoo
l
aege
isl_ma
p
_
t
ransitive_closure: chec
k
wheth
e
r
d
ecomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
V
er
d
oolaege
add
isl
_
stream_
f
lu
s
h_t
o
kens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
d
d
isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolae
g
e
a
d
d ru
d
imentary error reporting mechanis
m
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoo
l
a
e
ge
a
dd i
s
l_ve
r
sion
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
i
s
l
_poin
t
_alloc: avoid pot
e
ntial memory
leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ve
r
doolaege
d
o
c: documen
t
isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
V
e
rdoolaege
i
s
l_
t
ab_pip
.
c:
c
ompare a
l
l c
o
effici
e
nts when checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
v
en
V
erdoolaege
isl_
p
w_qpoly
n
omial{,_fo
l
d}_gist: use simpl
e
hu
l
l instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoolaege
ad
d
i
sl_set_set_dim_na
m
e
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
e
r
d
oolaege
add isl_stream_re
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
d
o
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
isl_qpolynomial_lift: fix lifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
optionally (
a
nd by default) us
e
ber
n
stein
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
pri
v
ately
e
xport isl_qpolyno
m
ial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_pw_qpolynomial_f
o
ld_fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
a
d
d param
e
t
r
ic
v
ertex enu
m
eration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_morph_dom
_
dim and isl_morp
h
_
r
an_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
g
e
add isl_basic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
rivately expor
t
isl_bas
i
c_set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
isl_tab_det
e
c
t
_implicit_equalities: also
d
etect man
i
f
est
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
isl_tab:
o
pt
i
onal
l
y
only
mark s
t
ri
c
tl
y
r
edundant rows
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rd
o
olae
g
e
generalize
i
sl_pw_qpolynom
i
al_bo
u
nd t
o
is
l
_pw_qpolynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extract out
gene
r
i
c p
a
rt of
isl_pw_q
p
olyno
m
ial_boun
d
_ran
g
e
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
isl_pw_qpolyn
o
mial
_
b
o
und_
r
ange: also s
e
t exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_basic_se
t
_fact
o
r
izer
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
export isl_pw_qpolynomial_fo
l
d
_
dr
o
p_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
export isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_qpolynomi
a
l_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
xport
isl_qpol
y
nomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_h
o
mogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolyno
m
ial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add
i
sl_qpolyn
o
m
i
a
l
_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
rdoo
l
aege
add isl_qpolynomial_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
isl_tab_dete
c
t_implic
i
t_e
q
ualities: ret
u
rn
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
r
d
oolaeg
e
i
s
l
_tab_select_fa
c
et: return
i
nt instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
i
s
l
_basic_set_full_compres
s
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privatel
y
export isl_pw_qpolynom
i
al_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aege
a
d
d
i
sl_qpolyno
m
ial_fold_foreach_qpolynomia
l
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
rdo
o
laege
add is
l
_pw_qpol
y
nomial_fol
d
_foreach_lifted
_
pie
c
e
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aege
exp
o
rt is
l
_
p
w_qpolynomial_fold_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately expor
t
isl
_
morph_alloc an
d
i
s
l_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
ad
d
isl
_
qpolynomial_fold_get_t
y
pe
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt isl_pw_qpolynomial_ge
t
_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_ctx_peek
_
options
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
is
l
_rang
e
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
exp
o
rt isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_bound: plug m
e
mo
r
y leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix
i
sl
_
qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_q
p
oly
n
omial_bound_range: fix remova
l
of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
bound_test
.
sh to distr
i
b
u
tion
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n
Ve
r
doolaege
doc: docum
e
n
t
gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
dool
a
ege
d
oc: documen
t
is
l
_constra
i
nt_is_
e
qualit
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
oola
e
ge
add isl
_
map_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdool
a
ege
isl_basic_
m
ap_fore
a
c
h
_cons
t
raint:
m
ake sure inpu
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolae
g
e
isl_basic_map_
c
opy: ma
r
k duplicated cop
y
as f
i
nal
i
zed
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaege
isl_
b
asic_set_lif
t
: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doo
l
aege
isl_
b
a
s
ic_map_move
_
d
ims: always fi
n
a
lize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
l
aege
isl_basi
c
_map_from_constraint: finalize resul
t
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
is
l
_access_info_compu
t
e_
f
l
o
w: han
d
le
m
ay accesse
s
commit
|
commitdiff
|
tree
2010-05-31
Sven
Verdoo
l
aege
isl_acc
e
ss_info
_
compute_flow: han
d
l
e
multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
e
rdoo
l
aege
r
emove some unused v
a
riables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix
s
ome icc warnin
g
s
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Ver
d
oo
l
aege
r
e
na
m
e isl_p
w
_qpolynom
i
al_move
and add
i
sl_pw_qp
o
l
y
no
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaeg
e
i
sl
_
ctx:
k
eep t
r
ack of use
r
option
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oolaege
impro
v
ed argu
m
ent pa
r
sing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
isl_options_parse: print help m
e
ssage
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
i
sl_bound test a
p
p
li
c
atio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
add i
s
l
_pw_qpolynomial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add i
s
l
_p
w
_qpolynomi
a
l_f
o
l
d_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add ru
d
ime
n
tary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add i
s
l_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rd
o
o
laeg
e
isl_equalities
.
c: fix typo in c
o
m
m
ent
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdo
o
laege
add isl_mat_
i
ns
e
rt_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Ver
d
oolaege
add i
s
l_mat_normali
z
e
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Ve
r
dool
a
e
g
e
add isl_mat
_
diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
olae
g
e
i
sl_mat_lin_to_aff:
fix
e
rror h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_qpolynomi
a
l_opt_on_doma
i
n: ha
n
dle empty in
p
ut
commit
|
commitdiff
|
tree
next