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
Sven Verdoolaege
isl_stream
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
rdo
o
laege
isl_tab_
p
ip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaege
isl_tab
.
c:
f
ix typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ve
r
do
o
laege
isl_
p
olynomial
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vertice
s
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
ol
a
e
g
e
isl_mo
r
p
h
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdool
a
ege
is
l
_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n V
e
rdoolaege
is
l
_map_simplify
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
do
o
l
aege
isl_input
.
c: acc
e
pt more
g
e
n
eral affine express
i
ons
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
a
d
d isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdo
o
l
a
ege
add i
s
l_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoola
e
ge
add isl_s
e
t_is_
b
ox
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
a
d
d
isl_m
a
p
_i
s
_transl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaeg
e
export isl
_
qpolynomial_invo
l
v
es_dims
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Ve
r
d
ool
a
ege
isl_polyn
o
m
ial
.
c: add missing
include
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
e
rdoolaege
is
l
_ma
p
_
t
ransi
t
i
ve_closure:
check
whethe
r
d
ecompositio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verd
o
olae
g
e
add is
l
_stream_f
l
ush_token
s
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rd
o
olaeg
e
add isl_str
e
am_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
a
d
d rudim
e
ntary error repor
t
ing mechani
s
m
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
a
d
d i
s
l_version
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdool
a
ege
is
l
_poi
n
t_alloc: avoid potential memor
y
l
e
ak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sve
n
Verdoolaege
do
c
:
d
o
c
umen
t
isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoo
l
aege
isl_
t
ab
_
pip
.
c: co
m
pare
all c
o
ef
f
icients
w
h
en
c
hecking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_pw_qpoly
n
omial
{
,_fold}_gist: use
s
i
m
ple hull i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
Ve
r
doolaege
add i
s
l_set_set_di
m
_name
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdool
a
ege
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoola
e
ge
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
isl_qpolyn
o
mial_lift: fix lift
i
ng in absence of d
i
v
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally
(
and by default) us
e
bernstein
e
xpansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
l
a
ege
privately export isl_
q
polynom
i
al_fol
d
_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
a
d
d is
l
_pw_qp
o
l
y
nomia
l
_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
parametri
c
vertex enumerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
add
isl_mor
p
h_dom_dim a
n
d
i
sl_morp
h
_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
a
d
d isl_basic_ma
p
_is_
r
ationa
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
privately
e
xport
i
sl_basi
c
_set_sort
_
c
o
n
straints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
isl_tab
_
detect_impli
c
it_e
q
ualiti
e
s: also detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
isl_tab:
o
ptio
n
al
l
y
onl
y
mark stri
c
t
l
y redundan
t
ro
w
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
genera
l
i
z
e isl_pw_
q
po
l
y
nomial_bound
to
i
s
l
_pw_qpolynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extract out ge
n
eric part of isl
_
pw_qpolynomial_boun
d
_rang
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
i
s
l_pw_qpol
y
nomial_bound_
r
ange: also set e
x
actn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
add isl_basic_
s
et
_
fa
c
torizer
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
export isl_pw_qpolynomi
a
l_fold_
d
r
o
p_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
er
d
oolaege
export isl
_
qpoly
n
o
m
i
al_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaeg
e
add is
l
_
q
p
oly
n
omial_c
o
eff
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
add isl_qpolynomi
a
l_from_affi
n
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
expor
t
i
sl_qpolyno
m
ial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olae
g
e
add is
l
_
q
po
l
ynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
a
d
d
i
sl_qp
o
lynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_q
p
ol
y
n
omial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
ad
d
isl_qpolynomial_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_c
t
x: add tw
o
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoo
l
aege
isl_ta
b
_d
e
tect_implicit_equalit
i
es: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
ad
d
isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl_tab_
s
elect_
f
ace
t
: r
e
t
u
rn int instead of is
l
_tab
*
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add
i
s
l
_
basic_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
p
r
ivat
e
ly export isl_pw_qpolynomia
l
_mor
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_qpolynomial_fol
d
_f
o
reach_qpoly
n
om
i
al
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
ad
d
isl_
p
w
_
q
polynomial_f
o
ld_foreac
h
_l
i
ft
e
d_piece
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
doolaege
export isl_pw_qpoly
n
omial_fold_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
pri
v
a
t
ely export isl_morph_
a
lloc and isl_morp
h
_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add isl
_
qpolynom
i
al_f
o
l
d
_get_type
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
ex
p
ort isl_pw_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
isl_r
a
nge
.
c: fix ty
p
o in comm
e
nt
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
export isl_
s
et
_
i
s_
b
ounde
d
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_boun
d
: plug me
m
ory
leak
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
f
ix isl_qpo
l
ynomial_fold
_
dup
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
lae
g
e
is
l
_
pw
_
qpolynomial_bound
_
range: fix
remova
l
o
f
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add b
o
und_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verd
o
olaege
doc: docum
e
n
t
g
i
st op
e
ratio
n
s
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
doc: doc
u
m
e
nt isl_cons
t
raint_i
s
_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_m
a
p_is_single_
v
a
lued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolae
g
e
isl_basic_
m
ap_foreach_con
s
traint
:
make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_ba
s
ic_map_copy: mark duplicate
d
copy as final
i
z
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
isl_basic_se
t
_lif
t
:
f
inalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
isl_
b
asic_map_mo
v
e_dims: always finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolaeg
e
isl_basic_ma
p
_f
r
om_c
o
nstraint
:
fi
n
a
lize re
s
ult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl
_
access_i
n
f
o_compute_flow: handle m
a
y
a
ccesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
is
l
_access_info_compute_fl
o
w:
h
an
d
le
m
u
l
t
i-val
u
ed
s
ink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
remov
e
some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
o
laege
f
ix some icc
warni
n
gs
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdo
o
l
aege
rename isl_pw_qpol
y
nomial_move and add isl_pw
_
qp
o
l
y
nomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Ver
d
o
o
laeg
e
isl_
c
t
x
:
keep trac
k
of user options
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Ver
d
oola
e
ge
improv
e
d arg
u
m
ent parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
i
s
l_
o
ption
s
_pars
e
: print h
e
lp message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
g
e
ad
d
isl_bound test applicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
dd isl_pw_qp
o
lynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
d
oolaege
a
d
d is
l
_p
w
_qpolynomial_fold_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add r
u
dimentary isl_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add
i
sl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl_equalities
.
c: fix t
y
po in comm
e
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
a
d
d isl_mat_insert_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
laege
a
d
d
isl_ma
t
_
normali
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
o
l
aege
add is
l
_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
i
sl_ma
t
_
lin_to_aff: fix error
h
a
n
dlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
laege
isl
_
q
p
ol
y
nomia
l
_opt_
o
n_
d
omain:
handle empty
i
nput
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
isl_nam
e
_a
l
loc: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
aege
add
isl
_
dim
_
of
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalit
i
es
.
c
:
fix typos in
commen
t
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
o
laege
add isl_pw_qpolynomi
a
l_fold_
c
overs
commit
|
commitdiff
|
tree
next