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_vec_scale
2010-06-25
Sven
Verdool
a
ege
a
dd
isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
add isl_
s
e
t_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add
i
s
l_map_is_transl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
o
o
laege
e
x
port i
s
l_qpolynomial_involves
_
dims
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verd
o
ol
a
ege
isl_polynomial
.
c:
add missi
n
g inc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
doolaege
isl_m
a
p_tra
n
s
itive_closure: che
c
k whether de
c
o
mpos
i
tio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
er
d
oolaege
a
d
d isl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
dd
isl_strea
m
_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
add rudimen
t
ar
y
error re
p
ortin
g
m
echanism
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoola
e
g
e
add isl_v
e
rsi
o
n
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
isl_point_al
l
o
c:
avoid potential memory le
a
k on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoola
e
ge
doc: document isl
_
map_del
t
as
commit
|
commitdiff
|
tree
2010-06-15
S
ven Verdoolaege
isl_tab_pip
.
c: compare all
coefficients when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
ven Verdoo
l
aege
is
l
_pw
_
qpolynomial{,_fold}_gist: us
e
simple h
u
ll
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
v
e
n
V
e
rdoolaege
add
isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
ven Ve
r
d
o
o
la
e
g
e
add isl
_
st
r
ea
m
_
r
ead_s
e
t
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
Ve
r
doolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_qpolynomial_l
i
f
t
:
f
i
x liftin
g
in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
optio
n
all
y
(
a
nd by default
)
us
e
bernst
e
in expan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
p
rivately export isl_
q
polynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add isl_pw_qpolynom
i
al_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoola
e
ge
add parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
a
dd isl_morph_dom_
d
im an
d
i
s
l_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
ad
d
i
s
l_basi
c
_map_is_rationa
l
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
privat
e
l
y
export isl
_
basic_set_sort_constraints a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
t
ab_detect_implicit_eq
u
aliti
e
s
:
a
l
s
o detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_t
a
b
: opti
o
n
ally only ma
r
k strictly redund
a
nt rows
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
o
lae
g
e
generalize isl_pw_qpolynomial_bound to i
s
l_
p
w_qpolynom
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extra
c
t ou
t
generic part of isl_pw_qp
o
lynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
isl_pw_
q
polynomial_bound_range: also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laeg
e
add isl_basic
_
set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
r
doolae
g
e
export isl_pw_qpolyno
m
ial_fold_dr
o
p_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolae
g
e
expo
r
t isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
add is
l
_
qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
add
i
sl_qpol
y
n
o
m
i
al_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
export isl_qp
o
lynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
ad
d
isl_qp
o
l
y
no
m
ial
_
homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolyno
m
ia
l
_
d
egree
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
ad
d
isl_qpolynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
add is
l
_qpolynomial_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
isl
_
ctx
:
add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_dete
c
t_i
m
plicit_equalities: return int
e
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laege
add isl_
t
a
b_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
isl_
t
ab
_
s
e
le
c
t_facet: return
int instead of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
add i
s
l_basic_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
pri
v
a
tely
e
xport i
s
l_pw_qpolynom
i
al_mo
r
ph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
a
d
d isl_qpolynomia
l
_
fold_foreach_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_pw_qpolynomial
_
fo
l
d_fo
r
each
_
li
f
ted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_
q
p
o
l
y
nomi
a
l_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
privately export i
s
l_morph_alloc and i
s
l
_
m
o
r
p
h
_iden
t
ity
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
isl_qpo
l
ynomial_fold_ge
t
_typ
e
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
o
l
aege
export isl_pw_qpolynomi
a
l_g
e
t_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
dool
a
e
g
e
add isl_ct
x
_pe
e
k_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
isl_
r
ange
.
c: fix
t
ypo i
n
c
o
mme
n
t
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
export isl_se
t
_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
isl_bound:
plug m
e
mory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
fix isl_qp
o
lynomial
_
fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
dool
a
ege
isl
_
p
w_qpolynomial
_
b
o
und_range: f
i
x
r
emoval
of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add bound_t
e
st
.
sh t
o
distribu
t
io
n
commit
|
commitdiff
|
tree
2010-06-11
S
v
en Verdoolaege
do
c
:
document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
V
erdoolaege
doc: document isl_
c
onstraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
d
oolae
g
e
add isl_map_is
_
single_value
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolae
g
e
isl_b
a
sic_map_fo
r
ea
c
h_c
o
n
s
train
t
:
make sure
i
nput has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
d
o
olaege
isl
_
b
asi
c
_map_
c
op
y
:
mark dup
l
icated co
p
y as fin
a
liz
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
s
l_basic_set_
l
ift
:
fi
n
alize res
u
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Ve
r
d
o
olaeg
e
isl_basi
c
_ma
p
_move_dims
:
a
lways finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
e
r
doola
e
ge
isl_bas
i
c_map_from_
c
onstrai
n
t: f
i
nal
i
z
e result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_access_info_compu
t
e_fl
o
w: handle
m
ay acc
e
sses
commit
|
commitdiff
|
tree
2010-05-31
Sven
V
erdoolaege
i
sl_access_inf
o
_
c
o
mpute_f
l
ow
:
handle multi-valued sin
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven
Verdoolaege
re
m
ove some unused va
r
i
a
ble
s
commit
|
commitdiff
|
tree
2010-05-30
S
ven
V
e
rdo
o
laege
fix so
m
e ic
c
warn
i
ngs
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
rename isl_pw_qpo
l
ynomial_move and
a
d
d isl_p
w
_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_ctx: keep
track of user opti
o
ns
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
improved argument p
a
rsin
g
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verd
o
o
l
aeg
e
isl_opt
i
ons
_
pa
r
se: print hel
p
m
e
s
s
a
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_bound test appl
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_pw_qp
o
lynomial_bound_rang
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaege
a
dd isl_p
w
_
qpoly
n
om
i
al_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
eg
e
add
rudimenta
r
y isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doolae
g
e
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equaliti
e
s
.
c: fix
t
ypo i
n
comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaeg
e
a
dd isl_m
a
t_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
d
d isl
_
mat_n
o
rmalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl_mat_di
a
gonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl
_
mat_lin_to_aff: fix e
r
ror han
d
li
n
g
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
i
s
l_qp
o
l
y
nom
i
al_opt_on_dom
a
in: handle
e
mpty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_
n
ame_alloc: fix
error handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
olaege
add isl_di
m
_
o
ffse
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
isl_
e
qualities
.
c: fix
t
y
p
os in
c
om
m
e
n
ts
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
dool
a
ege
add isl_
p
w_
q
polynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
o
l
aege
ad
d
isl_qp
o
lynomi
a
l_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
pr
i
vately expo
r
t isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_s
e
t_count_
u
pto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
e
g
e
add
i
s
l
_
s
et_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
a
dd isl_strea
m
_r
e
ad_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
ad
d
isl_qpolynomial_fr
o
m_term
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_
q
polynomial_from_co
n
straint
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_basic
_
set_for
e
a
ch
_
b
o
und_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_q
p
oly
n
omial
_
a
s_polyn
o
m
i
al_
o
n_d
o
main
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add
i
s
l
_qpolynomia
l
_
s
ubstitu
t
e
commit
|
commitdiff
|
tree
next