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 Verdoolaege
a
dd isl
_
map_is_t
r
anslation
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoolaege
e
xport
isl_qpolynomial_invol
v
es_di
m
s
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
isl
_
p
o
lynomial
.
c: add mi
s
sing in
c
lude
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoola
e
g
e
i
s
l
_map_tran
s
i
t
ive_closure: check wh
e
ther decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verd
o
olaege
add isl_stream_flush
_
tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
a
d
d
rudimentary
e
rror reporting mech
a
n
ism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
ad
d
isl
_
v
e
rsion
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdool
a
e
ge
isl_point_alloc: avoid potent
i
a
l
memory
l
eak on err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
en Verdo
o
laege
doc: document isl_map_
d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n
V
e
rdool
a
ege
isl
_
tab_p
i
p
.
c:
c
ompare al
l
coeffici
e
nts wh
e
n checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
doolaege
is
l
_pw_qpol
y
n
omia
l
{,_fold}_gist: use s
i
mple hull i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
ad
d
isl_set_set_dim_
n
a
m
e
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaeg
e
ad
d
i
s
l_s
t
ream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
d
o
olaeg
e
doc:
fix t
y
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_qpo
l
ynomial_lif
t
: fix lifting in
a
bsence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
o
p
tionall
y
(a
n
d by default)
use b
e
rns
t
ein expansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
privately export
isl
_
q
p
ol
y
nomial_f
o
l
d
_
fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_pw_qpolynomial_
f
old
_
foreach_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
add param
e
tric ver
t
ex enumer
a
tio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aeg
e
a
d
d isl_morph_dom_dim and isl_mor
p
h_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
a
d
d isl_basic_ma
p
_
is_ratio
n
al
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
privatel
y
export isl_basic_set_sort_c
o
nstrain
t
s and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_dete
c
t_
i
mplicit_equalities
:
also detec
t
m
anifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_tab: optionally only mark strictl
y
redundant rows
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
generaliz
e
isl_pw_q
p
olyn
o
mial_bound to
isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
extrac
t
out g
e
n
eric p
a
rt
o
f
isl
_
pw_qpolyn
o
mial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_pw_q
p
olynomial_b
o
und_range: als
o
set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
b
asic_set_factor
i
zer
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
expor
t
is
l
_pw_
q
polynomial_fol
d
_dr
o
p
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
exp
o
rt isl_qpolynomial_is
_
ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
ad
d
isl_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
rdoolaege
add is
l
_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaeg
e
e
xport isl_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
add
i
s
l_qp
o
lynomial_homogeniz
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add
i
sl_qpolynomia
l
_d
e
gree
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add
isl_qpo
l
y
n
omia
l
_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
add isl_
q
polynomial
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
e
ge
isl_ctx
:
add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
is
l
_tab_det
e
ct_
i
mplicit_
e
qualit
i
es: return i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Ve
r
doo
l
a
e
ge
add
isl_tab
_
sig
n
_
of_
m
ax
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
t
ab_select_f
a
cet: retu
r
n int inst
e
ad of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
a
d
d is
l
_basic_set_fu
l
l_com
p
ressio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
pri
v
ately ex
p
ort isl_pw
_
q
polyno
m
ial_m
o
rph
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aeg
e
a
d
d
isl
_
qpol
y
nomial_
f
old_foreac
h
_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_pw_qpolynomial_fold
_
foreach_lifted_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
d
oolaege
export isl_pw_q
p
o
l
yno
m
ial_fold
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laege
pr
i
vately expo
r
t isl_m
o
r
p
h
_
a
l
l
oc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
add isl_qpoly
n
o
m
ia
l
_
f
old_ge
t
_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
p
or
t
is
l
_
p
w_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl
_
ctx_peek_
o
pt
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaeg
e
isl_ra
n
ge
.
c
:
f
ix typo
in comme
n
t
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
export isl
_
se
t
_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_bound:
p
lug
m
emo
r
y lea
k
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
e
g
e
fi
x
isl_qpolyno
m
ial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
is
l
_pw_qpolynom
i
al
_
bound
_
ra
n
g
e: fi
x
remo
v
a
l
of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bound_test
.
s
h
t
o dist
r
ibution
commit
|
commitdiff
|
tree
2010-06-11
Sven Ve
r
do
o
l
a
ege
doc: document gi
s
t o
p
erati
o
ns
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
la
e
g
e
doc: do
c
ument
i
sl_const
r
aint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add
isl
_
map
_
is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Ver
d
o
o
laege
isl_
b
asic_map_foreach
_
constraint: make sure
input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
isl_basic_ma
p
_copy: mark
duplic
a
ted copy as f
i
nalized
commit
|
commitdiff
|
tree
2010-06-03
S
v
en
Ve
r
do
o
laege
i
sl_b
a
s
i
c
_s
e
t_lift: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
ola
e
ge
i
s
l_basic_ma
p
_
m
ove_dims:
alw
a
ys
finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
isl_b
a
sic_ma
p
_
f
r
om
_
constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoo
l
aege
isl_access_info_compute_flow: handle m
a
y accesses
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Ver
d
oolaege
is
l
_access_info_compute_flow: handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove some u
n
used
v
ariables
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
fix some icc warn
i
n
gs
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
rename isl_pw_q
p
ol
y
n
o
mial_mo
v
e and add isl_pw_qpolynomial
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaege
isl_ct
x
: ke
e
p t
r
ack of us
e
r
o
p
t
ions
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoolae
g
e
im
p
r
oved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
i
sl_opti
o
ns
_
par
s
e: print help messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
e
g
e
ad
d
isl_bo
u
nd te
s
t applicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ve
r
doolaege
add isl_pw_
q
polynomial_bound_
r
ange
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_pw_qpolynomial_fold
_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add r
u
dimentary isl_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
o
o
laege
add
i
sl_se
q
_
set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
isl_equali
t
ies
.
c: fix typ
o
in
co
m
m
e
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_mat_insert_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_
m
at
_
normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
isl_mat_lin_
t
o_aff: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doolaege
isl_qpolyn
o
m
ial_opt_on
_
domain: handle empty in
p
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
isl
_
nam
e
_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
i
s
l_equalities
.
c: fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
add isl_pw_qpol
y
nomi
a
l_fold_
c
overs
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
oolaege
privately export i
s
l_set_i
s
_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oolae
g
e
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doo
l
aeg
e
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
er
d
o
olaege
add isl_str
e
am_re
a
d_pw_
q
polyno
m
ial
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
olaege
add isl_qpolynomial_from_
t
erm
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
doolaege
add isl_qpolynomial_from_con
s
traint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_basic_set_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoola
e
g
e
a
dd isl
_
qp
o
lynomial_as_polynom
i
al_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
a
d
d
i
sl
_
q
po
l
ynomial_subs
t
itute
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
a
dd isl_basic_
s
e
t
_dims_get_si
g
n
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
is
l
_
c
tx: add zero
commit
|
commitdiff
|
tree
next