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_stream.c: fix typo
2010-06-25
Sve
n
Ve
r
doolaege
isl_stream
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
i
s
l_tab_
p
i
p
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
rdoolaege
is
l
_tab
.
c: f
i
x ty
p
os
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoola
e
g
e
is
l
_ver
t
ices
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
isl_morph
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoo
l
aeg
e
isl_map
.
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
isl_map_simplify
.
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
isl_input
.
c: accep
t
more
g
eneral a
f
fine ex
p
ressio
n
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_
v
ec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
l
a
ege
add isl_vec_sc
a
le
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdo
o
l
aege
add isl_s
e
t_i
s
_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Ve
r
doolaege
add
isl_map
_
i
s
_t
r
a
n
s
latio
n
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
erdoolae
g
e
export
isl_qpolynomial_inv
o
lves_
d
ims
commit
|
commitdiff
|
tree
2010-06-21
S
v
en
V
er
d
oolaege
isl_po
l
ynomial
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_map_t
r
ansi
t
i
ve_closure:
c
heck w
h
et
h
e
r
de
c
om
p
osition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaege
add
i
sl_stream_
f
l
u
sh_to
k
ens
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
add
is
l
_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add rudimentar
y
error reporting mech
a
nism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add
i
s
l_v
e
rsion
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
V
e
rdoo
l
a
e
g
e
i
s
l
_
poi
n
t_all
o
c: avoid potential memo
r
y leak
o
n
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ver
d
oolaege
doc: documen
t
isl_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolae
g
e
isl
_
tab_pip
.
c
:
compar
e
all coeffici
e
nts when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
is
l
_pw_qpolyn
o
m
ial{,_fo
l
d}_gist: u
s
e
sim
p
l
e
hull inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
add
i
s
l
_
set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
add i
s
l_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdo
o
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_qpolynomial_lift
:
fix
lifting
i
n absence o
f
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
g
e
o
p
tionally (
a
nd by defaul
t
) use bernste
i
n expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
privat
e
ly export isl_qpolynomi
a
l_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add
i
s
l
_
pw
_
qpolynomial_
f
old_foreach_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
dd
p
arametri
c
vertex
e
n
umeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
add isl_morph_dom_di
m
and isl_morph_ra
n
_
dim
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
add isl_basic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
privat
e
ly export isl_basi
c
_set_sor
t
_constrai
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab
_
detect_impl
i
cit_e
q
u
a
lities
:
also
d
et
e
ct
m
a
n
ifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_tab: optionally on
l
y mark s
t
rict
l
y redundant row
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
g
e
neralize isl_pw_
q
poly
n
omial_b
o
u
nd
t
o isl_pw_qpo
l
ynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
extract out generic part of isl
_
pw_qpolynomial_b
o
und_rang
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_pw_qpolynomial_bound_range: also set
exac
t
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
o
la
e
ge
add isl_ba
s
ic
_
set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
ex
p
o
r
t isl_pw_qpolyn
o
mi
a
l
_
f
old_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
export
i
sl_qpolynomial
_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
add isl_qpolynom
i
al_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
add
isl_qpolynomial_from_af
f
i
n
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
export isl_qpolynomia
l
_ad
d
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
olaege
a
d
d
i
sl
_
qpolyno
m
ial_homogeni
z
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add
i
sl_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
ol
a
eg
e
add isl_
q
polynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_qpoly
n
omial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
i
sl
_
c
tx:
ad
d
tw
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_detect_implicit_equalities: return
intege
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
r
doolaege
add isl_tab_
s
ign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
isl_
t
ab_s
e
le
c
t_fa
c
et: return int inste
a
d of
i
sl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
eg
e
a
dd i
s
l_basic_s
e
t
_
full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
pr
i
vately exp
o
rt i
s
l_
p
w_qpolynomial_mo
r
ph
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoola
e
ge
add isl_qpolyn
o
m
i
al_fold_foreach_q
p
olynom
i
al
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
add isl_pw_qpolynomial_fold_foreach
_
lifted_piec
e
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
ex
p
ort isl_
p
w_qpoly
n
omial_fold_i
s
_zero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
er
d
oolaege
privately ex
p
ort isl_morph_alloc and i
s
l
_mo
r
ph_ident
i
ty
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
add isl
_
qpolynomial_fold_get
_
t
ype
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
e
x
port isl_pw_qpoly
n
omial_
g
et_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
add
is
l
_c
t
x_peek_options
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Ve
r
d
oolae
g
e
isl_range
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
e
xport
isl
_
set_i
s
_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdo
o
laege
isl_bound:
plug
mem
o
ry leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
fix isl_qpolyno
m
ial_fo
l
d_d
u
p
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
isl_pw_qpolynom
i
al_bound
_
range: f
i
x removal of
d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
add bound_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoo
l
aege
doc: document
gist op
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolaege
doc
:
document isl_constraint
_
is_equalit
y
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdo
o
laege
add
i
s
l_map_is_s
i
ngle_v
a
lu
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolae
g
e
isl_basic_map_fo
r
e
ach_co
n
st
r
a
i
nt: make sur
e
i
nput has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n
Verdoolaege
i
s
l_ba
s
ic_map_copy: mark duplic
a
te
d
c
o
py as fin
a
lized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
isl_b
a
s
i
c_set_li
f
t: finalize resul
t
commit
|
commitdiff
|
tree
2010-06-03
S
v
e
n
Verdoola
e
ge
isl_basic_map_move_
d
i
m
s: always f
i
nalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
is
l
_basic_map_from_const
r
a
i
nt: f
i
nalize result
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Ver
d
oola
e
ge
i
s
l_access_info_com
p
ute_f
l
o
w
: handle m
a
y ac
c
ess
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sven Verd
o
olaege
i
s
l_access_inf
o
_compute_flow: handle multi-v
a
l
ued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove
some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix some icc warnin
g
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaege
rena
m
e i
s
l_pw_qpol
y
no
m
ial_m
o
v
e an
d
add isl_
p
w_qpoly
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
isl_ctx: keep track of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolae
g
e
im
p
r
o
ved a
r
gu
m
ent p
a
rsin
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
isl_options_parse: pri
n
t help
m
essage
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
dd isl_bound te
s
t
application
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
V
erdoola
e
ge
add isl
_
pw_qpolynom
i
al_bound_r
a
n
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l
_pw_qpolynomial_f
o
ld_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolae
g
e
add rudi
m
entary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoola
e
ge
add isl_s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoo
l
aege
i
s
l_equaliti
e
s
.
c
:
fix
typo
i
n com
m
ent
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_mat_insert_row
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add is
l
_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
ae
g
e
add isl_ma
t
_diagon
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_mat_lin_to_aff: fix error
h
andling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl_qpolynomi
a
l
_
opt_on_
d
om
a
in
:
h
a
ndle empty inp
u
t
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdo
o
laege
isl_name_all
o
c
:
fix error handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoola
e
ge
a
d
d isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equa
l
ities
.
c:
f
ix typ
o
s in commen
t
s
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erd
o
olaege
ad
d
isl_p
w
_qpoly
n
o
mial_fold_cov
e
r
s
commit
|
commitdiff
|
tree
next