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 Verdoola
e
g
e
add isl
_
map_is_tran
s
lation
commit
|
commitdiff
|
tree
2010-06-21
S
v
e
n
Verd
o
o
l
aege
export isl_q
p
olynomia
l
_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
aege
is
l
_polynomial
.
c:
a
dd
m
issing include
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoo
l
a
e
g
e
is
l
_
map_trans
i
tive_
c
losure:
c
heck
whet
h
er
d
ecomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdool
a
e
ge
a
d
d isl_stream_flu
s
h_t
o
k
ens
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoo
l
a
ege
ad
d
isl_stream_
s
kip_
l
ine
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolae
g
e
add rudimentary erro
r
reporting me
c
hanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
add isl_ve
r
sion
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
e
rdoolaege
isl_
p
o
i
nt_a
l
loc: avoid potential memory
l
eak on
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
d
o
c: document isl_map_del
t
as
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
erd
o
olaege
is
l
_ta
b
_pip
.
c: compa
r
e
a
ll c
o
ef
f
icient
s
when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ver
d
oolaeg
e
isl_p
w
_qp
o
lynomial
{
,_
f
old}
_
gi
s
t
:
u
s
e
simple hul
l
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolae
g
e
add
i
sl_se
t
_set_d
i
m_name
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verdoolaege
add isl_stream_
r
e
a
d_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
q
polynomial_lift: fi
x
lifting in a
b
sence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
optional
l
y (and b
y
defa
u
lt) use berns
t
e
i
n expa
n
s
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdool
a
ege
privat
e
ly export
isl_qpolynomial_fo
l
d_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
a
dd isl_p
w
_qpo
l
yn
o
mial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
ad
d
parametr
i
c v
e
rtex
e
numer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
add
isl_morph_dom
_
dim an
d
isl_morph
_
r
a
n
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
b
asic_ma
p
_i
s
_
r
ation
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
p
rivately expo
r
t
i
sl_
b
as
i
c_se
t
_sort_
c
onstraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_tab_detect
_
im
p
lici
t
_equ
a
li
t
ies
:
a
ls
o
d
e
te
c
t ma
n
ifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
isl_tab: optionally on
l
y mark str
i
ctly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaege
ge
n
eralize isl_pw_q
p
olynomi
a
l_boun
d
to isl_pw_q
p
oly
n
om
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
tract
out generi
c
part of isl_pw_q
p
olynomia
l
_boun
d
_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_pw_qpolynomial_bound_range:
also set ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
add isl_basi
c
_
set_fa
c
torizer
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
export
i
s
l
_pw_qpol
y
n
omial_fo
l
d
_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
e
xport isl_qpolynom
i
al_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add i
s
l
_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomi
a
l_
f
r
om_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
export isl_
q
p
o
lynomial_add_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
g
e
add
i
s
l
_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
a
d
d isl_qpolynomial_insert_dim
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laeg
e
a
dd isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_ctx:
ad
d
two
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
i
s
l_t
a
b
_
dete
c
t_implicit
_
equa
l
ities:
re
t
urn
i
nt
e
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_ta
b
_sign_of_ma
x
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl
_
tab_sele
c
t_facet
:
return
int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
g
e
add isl
_
basic_s
e
t_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
p
r
ivatel
y
e
x
port isl_pw_qpol
y
nomi
a
l_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
add isl_
q
p
o
lyn
o
mia
l
_fold_foreach
_
qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add
i
sl_p
w
_
qpolynom
i
al_fol
d
_foreach_lif
t
ed_piec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
port isl_pw
_
q
p
olynomial_fold_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
r
doo
l
aege
priva
t
ely e
x
port isl_morph_all
o
c and isl_mor
p
h_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
q
polynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
export isl_p
w
_qpolynomial_get
_
c
t
x
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
a
d
d isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_range
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_set_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoo
l
ae
g
e
isl_bound: plug m
e
m
o
r
y
l
eak
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdo
o
laege
fix isl
_
qpolynom
i
al_fold_
d
up
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_pw_qpolynom
i
al
_
bound_rang
e
: fix
rem
o
val
of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
a
d
d bound_tes
t
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verd
o
olaege
doc: docu
m
ent g
i
st operat
i
ons
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
lae
g
e
doc: document is
l
_constraint_is_e
q
uali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdoola
e
ge
a
d
d isl_map_is_single_val
u
ed
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaege
isl_basic_map_fo
r
each_const
r
aint: make
s
ur
e
input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erd
o
o
l
a
ege
isl_basic_map_copy:
m
a
r
k
d
uplicate
d
copy
as fina
l
ized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_set_l
i
ft:
finali
z
e re
s
u
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
s
l_basic_ma
p
_
move_d
i
ms: alw
a
ys final
i
ze
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaege
isl
_
bas
i
c_map_from
_
constraint: finalize r
e
sult
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
i
s
l_access_info_compute_flow: handle may a
c
cesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_access_info_compute_flow:
h
andle multi-va
l
ued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
remov
e
some
u
n
u
sed
v
ariables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
fix som
e
icc wa
r
nings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename isl
_
p
w_q
p
olynomial_move and add isl
_
pw_qpolyn
o
mial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdo
o
laege
isl_ct
x
: keep
t
rack
of user options
commit
|
commitdiff
|
tree
2010-05-30
S
v
en V
e
rdoolae
g
e
improve
d
argument parsing
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoola
e
ge
isl_optio
n
s_parse: print help message
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add
i
sl_bound
t
est
application
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdool
a
ege
add isl_pw_qpo
l
yn
o
mial_bou
n
d
_
range
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaeg
e
add
i
sl_
p
w_qpolynomial_fold_
m
or
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
a
dd
rudi
m
e
n
t
ary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoola
e
ge
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
isl_
e
qualitie
s
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoola
e
ge
a
dd isl_mat
_
insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaeg
e
add isl_mat_n
o
rm
a
lize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
isl_mat_lin_to_aff:
fix error
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_qpolynom
i
a
l
_opt_on_d
o
main: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_nam
e
_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
d
d isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
i
s
l_equalities
.
c: fix typos
in comme
n
ts
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
p
w
_
q
p
olynomia
l
_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolae
g
e
add isl_qpolynomial_l
e
_cst
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoola
e
ge
priva
t
e
l
y expo
r
t
i
sl_set_i
s
_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_set_
c
ou
n
t_upto
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
ad
d
isl_set_sc
a
n
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
o
l
ae
g
e
add isl_stream_read_pw_qpolyno
m
ial
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_qpolynomi
a
l_
f
rom
_
term
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oolaeg
e
add isl
_
qpo
l
ynomial
_
from_c
o
nstr
a
int
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
ge
add isl_basic_set_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_as_polyno
m
ia
l
_on_do
m
ain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_q
p
olynomial_sub
s
titute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add
i
sl_basi
c
_
set_dims_get_s
i
g
n
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl_ctx: add
zero
commit
|
commitdiff
|
tree
next