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_add
2010-06-25
Sven Verdoolaeg
e
add
isl
_
ve
c
_add
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
ad
d
isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laeg
e
add
isl_set
_
i
s_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add is
l
_map_is_tr
a
n
s
lation
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
doolaege
export isl_qpol
y
no
m
ial
_
invol
v
es
_
d
ims
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n
V
erdoolaege
isl_polynomia
l
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2010-06-21
S
ven
V
e
r
doolaege
isl_ma
p
_transitive_closure: check whet
h
er d
e
compo
s
ition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolae
g
e
add isl_stream_flush_toke
n
s
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
add isl_st
r
eam_ski
p
_li
n
e
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
add rudi
m
ent
a
ry error
repo
r
ting mechani
s
m
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add
i
sl_vers
i
on
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_point_alloc: avoid
potential memory le
a
k
o
n
error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ve
r
doolaege
d
oc: document isl_map_del
t
as
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_ta
b
_pip
.
c: compar
e
all coeffi
c
ients when chec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n Verdoolaege
i
s
l_pw_qpolyn
o
mia
l
{,_fold}_gist:
u
se
s
imp
l
e hull
i
n
s
tead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Ve
r
doolae
g
e
a
d
d i
s
l
_s
e
t_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdool
a
ege
ad
d
is
l
_
stream_read_s
e
t
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
isl_q
p
o
lynom
i
al_lift: fix lifting in
absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
o
ptiona
l
ly
(a
n
d b
y
default) use b
e
r
n
s
t
ein expansio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
pri
v
a
t
el
y
e
x
p
o
rt isl_qpolynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
r
doolaege
add isl_pw_qpolyn
o
mial_fold_foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oo
l
aege
add parametric vertex enumerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
add isl
_
morph_dom
_
dim
and
i
s
l
_morp
h
_ran_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
add is
l
_basic_
m
ap_i
s
_rationa
l
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
olaege
privately export
i
sl_b
a
si
c
_set_sort_constrain
t
s a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aege
isl_tab_d
e
t
ect_implicit
_
e
q
ualities
:
also det
e
ct mani
f
est
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laeg
e
i
sl_tab:
o
ptionally
o
n
l
y mark strictly redundant
r
ows
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
g
eneralize isl_pw_qpolynomial_bo
u
nd to isl_p
w
_q
p
olynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extra
c
t out generic part of isl_pw_qpolynomi
a
l_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
isl_pw_qp
o
lynomia
l
_bound_range: also set exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add isl_
b
a
s
i
c
_se
t
_fa
c
t
o
r
i
zer
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
expo
r
t
isl_pw_
q
polynom
i
al_fol
d
_drop_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
export isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add i
s
l_qp
o
lynomi
a
l_coef
f
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d i
s
l_qpolynomi
a
l_f
r
om_affine
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
expo
r
t
i
s
l
_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
add isl_qpolynomial_h
o
mogeni
z
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_qp
o
lynomial
_
insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_qpolynomial_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
i
sl_
c
tx: ad
d
t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
t
ab_
d
etec
t
_im
p
licit_equalities
:
retu
r
n integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_sign_of_m
a
x
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
isl
_
t
ab_sele
c
t_facet: ret
u
rn int inste
a
d
of isl_
t
ab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_basic_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
privately export isl_pw_qpoly
n
o
m
ial_mo
r
ph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolyn
o
mial_
f
old_foreach_q
p
olynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
o
olae
g
e
a
d
d isl_
p
w_q
p
olynomial_f
o
ld_foreach_l
i
fted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export
i
s
l
_
p
w
_q
p
olyno
m
ial_fold_i
s
_
zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olae
g
e
privatel
y
export
i
s
l
_
m
orph_
a
lloc an
d
isl_mor
p
h
_identi
t
y
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
o
laege
add
isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
e
x
po
r
t isl_pw_
q
p
o
ly
n
om
i
a
l
_
get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaeg
e
a
dd isl_c
t
x_peek
_
opt
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
isl_range
.
c: f
i
x
typo
in c
o
mment
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoo
l
aege
export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolae
g
e
isl_b
o
und: plu
g
memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
fix i
s
l
_qpolynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
i
sl_p
w
_qpolyno
m
i
a
l_bound_range:
fix rem
o
val of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
b
oun
d
_test
.
s
h to distr
i
b
u
tion
commit
|
commitdiff
|
tree
2010-06-11
S
v
en
Verdool
a
ege
doc: document gi
s
t operati
o
ns
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
olaege
doc: document isl_cons
t
raint_is_equ
a
l
i
ty
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoo
l
aege
add isl_map_is_single_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
oolaege
isl_bas
i
c_map_fore
a
ch_constraint: make sur
e
input
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolae
g
e
isl_basic_map_copy: mark dupli
c
a
t
ed cop
y
as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
isl_
b
asic_set_lift: finali
z
e result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
i
sl_basic_map
_
move_dims: always fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaege
isl_basic_map_f
r
om_constraint: finali
z
e
r
esult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl
_
acces
s
_inf
o
_compute_flow: handle may
a
cces
s
es
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaeg
e
is
l
_acces
s
_info_compute_fl
o
w: handle
m
ult
i
-valu
e
d sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaege
r
e
move some
unu
s
ed variables
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdo
o
laege
fix some icc
w
arning
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaege
rename i
s
l_pw_qp
o
lynomial_move a
n
d add is
l
_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_c
t
x: keep
tr
a
c
k
o
f us
e
r options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
i
m
proved argu
m
en
t
pars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Ver
d
oolae
g
e
i
s
l_options_parse: p
r
int help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
ad
d
isl_
b
ound te
s
t
a
pplication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
dd i
s
l_
p
w
_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
l
aege
add isl_pw_q
p
olynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
r
u
d
i
m
entar
y
isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoolaege
add isl_se
q
_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
d
oolaege
i
sl_equalities
.
c: f
i
x
t
ypo in c
o
m
ment
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oo
l
aege
a
d
d isl_
m
at_
i
nsert_r
o
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
l
aege
ad
d
isl_mat_no
r
malize
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoola
e
ge
a
d
d isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_
m
at_lin_to_a
f
f:
f
ix
erro
r
hand
l
i
ng
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rd
o
olaege
isl_qpolynomial_o
p
t_on_
d
omain
:
h
a
ndle
empt
y
inpu
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl
_
n
ame_all
o
c: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add is
l
_dim_of
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rd
o
olaege
is
l
_equalities
.
c: fix typo
s
in comments
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdo
o
laege
add isl_pw_qpolynomial_fold_cover
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
d
d is
l
_
qpolyn
o
mia
l
_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
pri
v
ately export isl_set_is_b
o
u
nded
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
ad
d
isl
_
set_
c
o
u
nt_upto
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
doolaege
ad
d
i
sl
_
s
e
t_scan
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_stream_rea
d
_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
add isl_qpo
l
ynomial
_
f
rom_te
r
m
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdool
a
ege
add i
s
l_q
p
olynom
i
a
l_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add
i
sl_
b
asic_set_foreach_b
o
und_pair
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Ve
r
doo
l
a
ege
a
d
d i
s
l_qpo
l
ynomi
a
l_as_polynomial_on_doma
i
n
commit
|
commitdiff
|
tree
next