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-25
Sven Ver
d
oolaege
isl_
m
ap
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoo
l
aege
is
l
_ma
p
_
simplify
.
c
: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_input
.
c
: accept
m
o
re gen
e
ral affine e
x
pressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
add i
s
l
_vec_a
d
d
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaeg
e
a
d
d
isl_vec_sca
l
e
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
ad
d
is
l
_
set_is_b
o
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoola
e
ge
add isl_map_i
s
_t
r
anslation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolae
g
e
export
i
sl
_
qpolynomial_invo
l
ves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
olaege
isl_polyno
m
ial
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n
Verdo
o
laeg
e
i
s
l_map_tr
a
nsit
i
ve_closure:
chec
k
whether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
dd isl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add
i
sl
_
stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
laeg
e
a
d
d rudimentary error rep
o
rting me
c
h
a
nism
commit
|
commitdiff
|
tree
2010-06-19
S
ve
n
Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
isl_point_alloc: avoid p
o
ten
t
i
al memory leak on e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
en
V
erdoolaege
doc: document isl_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
ve
n
Verd
o
olaege
isl_
t
ab_pip
.
c: com
p
are all coeff
i
cien
t
s when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
doolaege
isl_pw
_
qpol
y
no
m
ial{,_f
o
ld
}
_
g
i
st: use
simple h
u
ll
instea
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
V
e
rdoolaege
add i
s
l_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
r
doolaege
add isl_stream
_
r
ead_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaeg
e
doc: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
isl_qpolyn
o
mial_lift: f
i
x
lifting
i
n abse
n
ce of
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
optionally (and by defaul
t
) use bernst
e
in
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
privately export isl_qpolynomial_
f
old_fold_on_
d
omai
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add is
l
_
p
w_qpolyn
o
mia
l
_fold_foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
a
d
d param
e
tric ve
r
tex enumera
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
g
e
add
i
s
l_mor
p
h_dom_dim and isl_morph_ran_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oo
l
aeg
e
add i
s
l_basic_map_is
_
rational
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
privately export
is
l
_basic_set_sort_c
o
nstraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verd
o
ola
e
ge
isl_tab_detect_implicit_equ
a
lities: also
d
e
tect ma
n
ifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
isl_t
a
b
:
opt
i
onally only mark
s
trictly red
u
nd
a
nt rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
g
eneraliz
e
isl_pw_
q
polyno
m
ia
l
_
b
o
und to isl_pw_qpolynomia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
extract
o
ut generic part of
i
sl_pw_qpolyn
o
mial
_
bou
n
d_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
isl_pw_qpolynomial_
b
o
u
nd_ran
g
e:
a
lso se
t
exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Ve
r
doolaege
ad
d
isl_bas
i
c_set_factori
z
er
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
export
isl_pw_qpoly
n
omia
l
_fold_d
r
op_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qp
o
lyn
o
mial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
e
g
e
a
d
d is
l
_qpolynomial_co
e
ff
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olaege
add isl_qpolynomi
a
l_from_a
f
fine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
export isl_
q
polynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd
isl_qpoly
n
omial_ho
m
ogenize
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl
_
q
p
o
ly
n
om
i
al_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_qpol
y
nomia
l
_inser
t
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl
_
ctx:
a
dd two
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
isl_tab_dete
c
t
_impl
i
cit_equ
a
lities
:
r
eturn integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
add
i
sl
_
t
ab_
s
ign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
i
s
l
_
tab_select
_
f
a
cet: return int instead
o
f isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
dd isl_basic_set_ful
l
_comp
r
ession
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doola
e
ge
p
r
i
v
ately export isl_
p
w_qpoly
n
omial_
m
or
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdo
o
laege
add isl_qpolynomial_fold
_
foreach_
q
p
olynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl_pw_qpolynomial_fold_foreach_lifted_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erd
o
olae
g
e
export isl_pw_qpolynomial_
f
old_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
privately export isl_morph_alloc and isl
_
m
orp
h
_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_qpo
l
ynomia
l
_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
port i
s
l
_pw_q
p
olynomial
_
ge
t
_ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ct
x
_
p
eek_
o
ptions
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Ver
d
oolae
g
e
i
s
l_range
.
c
: fix typ
o
i
n comment
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
export is
l
_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
i
s
l
_
bound:
plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
fix isl
_
qpolyno
m
ial
_
fold_
d
up
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
isl_pw_qp
o
lynomial_bound_range: f
i
x r
e
m
oval o
f
d
i
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add bound
_
t
e
s
t
.
sh to distributi
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdo
o
l
aege
doc
:
document gi
s
t o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdoolaege
doc: document isl
_
constrain
t
_is_equa
l
ity
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Ver
d
oolae
g
e
add
i
s
l_map_is_
s
ing
l
e_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
i
sl_basic_m
a
p_foreach_constraint
:
make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
isl_basi
c
_map_
c
o
py:
mark duplicated
copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_
b
asic_
s
et_lift: finalize res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_
b
asic_
m
ap_move_dims:
alway
s
f
i
na
l
i
ze result
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolae
g
e
isl_basic_m
a
p_fro
m
_con
s
tr
a
int: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_acc
e
s
s_inf
o
_comput
e
_flow:
handle may
a
ccesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ver
d
o
o
laege
isl_acce
s
s_info_compute_flow: handle
mul
t
i-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaeg
e
remove som
e
unused v
a
riab
l
es
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
f
ix some icc warni
n
gs
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoo
l
aege
re
n
ame isl_pw_qpolynomia
l
_mo
v
e and add isl_pw_qpo
l
ynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaeg
e
isl_
c
tx: kee
p
t
r
ack of
user option
s
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoola
e
ge
improved ar
g
ument pa
r
sing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
i
s
l_options
_
parse: print help messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
add
isl_b
o
und test applic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ver
d
oolaege
add isl_pw_qpolyn
o
mial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
dd
i
sl_pw_
q
poly
n
omial_fold_
m
o
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
ool
a
ege
add rud
i
m
entary isl_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
s
l_
s
eq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
dool
a
ege
isl_
e
q
u
aliti
e
s
.
c:
f
ix typo
in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_mat_inse
r
t_rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add
i
sl_mat_norm
a
lize
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaege
add isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl_mat_lin
_
to_aff:
f
ix
error handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Ve
r
doolaege
isl_qpolyno
m
ial_opt_o
n
_dom
a
in: h
a
n
dle empty in
p
ut
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl_name_alloc: f
i
x error
han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
i
s
l_equalities
.
c:
f
ix typ
o
s
in co
m
m
ents
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoo
l
ae
g
e
add is
l
_pw_qpo
l
yno
m
ial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_qpolynom
i
a
l_
l
e_cst
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdo
o
lae
g
e
p
riva
t
ely
export isl_s
e
t_is_bo
u
n
de
d
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
rdoolaege
ad
d
isl_set_s
c
an
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
i
sl_s
t
ream_
r
ead_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl
_
qpolynomi
a
l_fr
o
m_term
commit
|
commitdiff
|
tree
next