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_stream_skip_line
2010-06-19
Sven Verdoo
l
aege
add isl_
s
tream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
add
r
u
dim
e
ntary
e
rro
r
reportin
g
mecha
n
i
sm
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
isl_point_alloc:
avoid pot
e
ntial me
m
o
r
y leak
o
n
erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
v
en Verdoolaege
doc: docume
n
t
isl_
m
ap_d
e
ltas
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
rdoolaege
isl_tab_pip
.
c
:
c
ompare
all coeffici
e
nts w
h
en che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolae
g
e
i
s
l_p
w
_qpol
y
nomial{,_fold}_gist: us
e
simple hu
l
l
ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdool
a
ege
a
d
d
i
sl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
o
olae
g
e
add isl_stream_re
a
d_se
t
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
ola
e
ge
do
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
aege
is
l
_
qpolynomi
a
l_lift: fix lifting in abs
e
nce of di
v
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optiona
l
ly (and b
y
d
e
fau
l
t) use
b
e
rn
s
te
i
n
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
privately export is
l
_qpolynom
i
al_fold_f
o
ld_
o
n_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
laege
ad
d
isl_pw_qpolyn
o
mial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add
p
arametric
v
ertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_morph_do
m
_di
m
and is
l
_morph_
r
an_dim
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
add isl_basic
_
m
ap_
i
s_ratio
n
al
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaeg
e
private
l
y export is
l
_basic_set_sort_co
n
straints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_tab_detect_implicit_eq
u
alities: also detect ma
n
ifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aege
i
s
l_ta
b
: o
p
t
i
o
nal
l
y only
m
a
rk stri
c
tly
r
edun
d
ant rows
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
g
e
neralize isl
_
p
w
_qpolyno
m
i
al_boun
d
to i
s
l_pw_qpol
y
nomia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdoolaege
e
x
tract
o
ut generic part
of
i
s
l_pw_qpo
l
ynomial_boun
d
_
r
ange
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
i
s
l
_
pw_qp
o
l
y
nomial_bound_r
a
nge
:
also s
e
t exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add isl_basic_s
e
t_factoriz
e
r
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
expor
t
isl_pw_qpolynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expor
t
isl_q
p
olynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
i
sl
_
qpolynomial_coef
f
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
a
dd isl_qpol
y
nomi
a
l_from
_
affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
o
o
laege
e
xport isl_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolae
g
e
a
d
d isl_qp
o
lyn
o
mial_h
o
mogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoo
l
aege
add isl_qpo
l
ynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_qpolynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
add is
l
_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
i
sl_tab_d
e
t
e
ct
_
implicit_eq
u
al
i
ties:
return
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_sign_o
f
_max
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoola
e
ge
isl_tab_select_f
a
cet: r
e
turn int
inste
a
d of isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_
b
asic
_
se
t
_ful
l
_compressi
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
r
dool
a
ege
privately
e
xp
o
r
t isl_pw_qp
o
lynomi
a
l
_morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
ad
d
isl_qpolynomial_fold_foreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
ol
a
ege
a
dd isl_pw_qpoly
n
omial
_
fold_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
export isl_pw_qpolynomial_fold_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
privately export isl_morph_al
l
o
c
and isl
_
m
o
rph_
i
dentity
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Ver
d
oolaege
a
d
d is
l
_qpol
y
nomial_
f
old_get_
t
y
p
e
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oo
l
aege
export isl_pw
_
qpo
l
yn
o
mial_get_c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_pee
k
_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
isl_
r
a
n
ge
.
c
: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
e
x
por
t
isl_s
e
t_is_boun
d
e
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_
b
ound: pl
u
g memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
fix isl_qpolynomial_fold_
d
up
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
i
s
l_pw_qpolyno
m
ial_bound_range: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
add bound_test
.
sh to distr
i
bution
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
erdoolaege
doc: docum
e
nt gi
s
t
o
p
er
a
tion
s
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolaege
doc: docu
m
en
t
isl_const
r
aint_is
_
equa
l
ity
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoo
l
a
e
g
e
add isl_map_i
s
_single_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
olae
g
e
isl
_
b
a
sic_map_foreach_constraint
:
make sure
i
nput has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
d
oolaege
isl_basic_m
a
p_cop
y
: mark duplica
t
ed copy as f
i
nalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_
s
et_lift: finalize res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
isl_basic_map_move
_
dims: always finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n
V
er
d
oola
e
ge
i
sl_
b
a
sic
_
map_from_co
n
st
r
aint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_acces
s
_
info_co
m
pute_flow: handle may access
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n Verdoolaege
i
sl_
a
cces
s
_info
_
compute_fl
o
w: han
d
le mult
i
-valued
sin
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove s
o
m
e
unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaeg
e
fix so
m
e icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
rename isl_pw_
q
poly
n
om
i
al_mov
e
and
a
d
d
isl_pw_qpolynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
i
s
l
_ctx: keep tr
a
ck of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laeg
e
improved arg
u
ment
pars
i
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_option
s
_parse: pri
n
t help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
add
isl_b
o
un
d
t
e
s
t applicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
l
aege
add isl_pw_qpo
l
ynomial_
b
ou
n
d_range
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
olaeg
e
add isl_pw_qpolynomia
l
_fold_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
e
rdoolaege
a
dd ru
d
imen
t
ary isl_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
ad
d
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
doolaege
isl_eq
u
aliti
e
s
.
c
: fix
t
y
po in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolae
g
e
add
isl_mat
_
ins
e
rt_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_mat_no
r
m
alize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
m
a
t_diag
o
nal
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
ege
i
sl_mat_lin_to_aff: fix er
r
or handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
isl_q
p
ol
y
nomia
l
_o
p
t_on_domain
:
handle e
m
pty input
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdo
o
la
e
ge
isl_name_alloc:
fix er
r
o
r
h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
add
isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
i
sl_eq
u
alities
.
c: fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add
i
sl_
p
w
_qpolynomial_f
o
l
d
_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
privately exp
o
rt
isl_set_
i
s_bounded
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
d
o
o
laege
add isl_
s
et_
c
o
unt_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add
isl_se
t
_sc
a
n
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
lae
g
e
add isl_st
r
eam_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_f
r
om_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_qpo
l
ynomi
a
l_
f
r
o
m_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add
isl_b
a
si
c
_set_foreac
h
_bound_
p
air
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
l
a
ege
a
d
d
isl_
q
p
olyno
m
ial_as_pol
y
nomia
l
_on_d
o
main
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
ad
d
isl_
q
poly
n
o
m
ial_sub
s
titute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_basic_set
_
d
i
m
s_
g
et_
s
i
gn
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
i
s
l_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n V
e
rdoolae
g
e
add isl_qpolynomial_
n
eginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
a
d
d
isl_b
a
sic_set_dro
p
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
isl_q
p
olynomial_fold_opt_on_
d
omain: fix
t
ypo
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolae
g
e
is
l
_pw_
*
_ev
a
l: fix hand
l
ing of empty
i
nput
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
o
la
e
ge
a
dd is
l
_
ba
s
ic_set_mo
v
e
_
d
i
ms
commit
|
commitdiff
|
tree
next