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_read_set
2010-06-14
Sven
Ve
r
doo
l
aege
ad
d
is
l
_stream_read_s
e
t
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
d
oolaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_qpo
l
ynomia
l
_
l
if
t
: fix lifting
i
n ab
s
ence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
opt
i
onally (and by default) u
s
e bernste
i
n
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately
e
x
p
ort isl_qpolynomia
l
_fol
d
_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_
p
w_qpolynomial_fold
_
foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
add pa
r
ametric
v
e
rtex
e
numeration
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add
i
sl_morph
_
dom_di
m
a
n
d is
l
_morph_ran_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
a
d
d
isl_basic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
pr
i
vately export
is
l
_bas
i
c_set_sort_constraint
s
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oo
l
aege
isl_tab_detect_impli
c
it_equalitie
s
:
also dete
c
t
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
is
l
_tab
:
opt
i
o
n
a
lly only mark s
t
rictly redun
d
ant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
gen
e
ralize isl_pw_qpolynomial_bound
to isl_
p
w_qpoly
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
d
oolaege
e
xtract out generic part of isl_pw_qp
o
lynomia
l
_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
p
w_qpolynom
i
al_bou
n
d_range: also
s
et exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
isl
_
ba
s
ic_set_fac
t
orizer
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
ool
a
ege
export isl_pw_qpolynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
export isl_qpolynomia
l
_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
o
l
aege
add isl_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
o
l
aege
a
dd i
s
l_
q
polynomial
_
from_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
e
x
port isl_qpol
y
no
m
ia
l
_add_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
doo
l
aege
add i
s
l_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
add isl_q
p
olynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdo
o
l
aege
add isl_qpolynomial
_
insert_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoola
e
ge
add
isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_tab_detect_i
m
plicit_e
q
ualiti
e
s: retu
r
n integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
add is
l
_t
a
b
_
s
i
gn_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l
_
t
ab_sel
e
ct
_
f
a
cet: return i
n
t inste
a
d
o
f isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add
i
s
l
_
basic_set_full_c
o
mpression
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
p
rivately exp
o
r
t isl
_
pw_qpolynomial_
m
orph
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoo
l
aeg
e
a
d
d isl_
q
pol
y
nomial
_
fold
_
forea
c
h_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add
isl_pw_q
p
olynomial
_
fold_for
e
ach_
l
if
t
e
d
_
piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoolaege
ex
p
ort isl_
p
w_qpolynomi
a
l_fold_is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
r
ivately expo
r
t is
l
_morph_alloc a
n
d isl_
m
orph_
i
denti
t
y
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
o
olaege
add isl_qpoly
n
omial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
export isl_pw
_
qpo
l
ynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
ad
d
isl_ctx_p
e
ek_
o
ption
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_range
.
c: fix typo
i
n c
o
m
ment
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
la
e
ge
e
x
port isl_set_is_
b
o
u
n
ded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_boun
d
: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
fix isl_qp
o
ly
n
omial
_
f
o
ld_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
i
sl_pw_
q
p
o
ly
n
o
mial_bound_range: fi
x
r
e
moval of di
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laege
add b
o
und_t
e
s
t
.
sh to d
i
str
i
bution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoola
e
ge
doc: docum
e
nt gist o
p
erations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: d
o
cumen
t
i
sl_cons
t
raint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
V
erdoolaege
add isl
_
map
_
i
s_single_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoolaege
i
s
l_basic_ma
p
_foreach
_
co
n
s
t
raint
:
mak
e
sur
e
input
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoola
e
ge
i
s
l
_basic_m
a
p_copy: mar
k
duplicated cop
y
as f
i
nalized
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoola
e
g
e
i
sl_b
a
sic_set_lift: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdo
o
l
ae
g
e
isl_
b
asic_ma
p
_move_dims: always finaliz
e
r
esult
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaeg
e
isl_basic_map_fr
o
m_const
r
aint: f
i
n
a
l
iz
e
res
u
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
is
l
_a
c
cess_i
n
f
o_compu
t
e
_
flow: handle may
accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaeg
e
isl_
a
cces
s
_
info_comput
e
_flow:
h
andle mul
t
i-val
u
ed si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaeg
e
re
m
ove
some unu
s
ed variables
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
fi
x
some icc warn
i
ngs
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoo
l
aege
rename isl_pw_qpolynom
i
al_move and
a
d
d i
s
l_pw_
q
polynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
isl_ctx: keep track of user o
p
tion
s
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoo
l
aege
i
m
proved a
r
g
ument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
isl
_
opt
i
ons
_
p
a
rse: print help
message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
isl_bo
u
nd tes
t
a
p
plication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
add isl_pw_q
p
olynomial_
b
ound_
r
ange
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_p
w
_qpolynomi
a
l_fol
d
_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rudime
n
tar
y
isl_m
o
r
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
a
dd i
s
l_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oo
l
aege
i
sl
_
e
q
uali
t
i
e
s
.
c
:
fix typ
o
in co
m
ment
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
ol
a
ege
ad
d
is
l
_
mat_inse
r
t_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d is
l
_mat_normaliz
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_m
a
t_diagonal
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoo
l
a
ege
isl_ma
t
_li
n
_t
o
_
aff: fix
error
h
a
n
dling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
isl_qpo
l
ynomial
_
opt_on_domain:
h
and
l
e empty
i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
is
l
_
n
ame
_
a
l
l
o
c: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd i
s
l_d
i
m_
o
ffset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
isl
_
equalit
i
es
.
c: fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_pw_qpolynomial_fol
d
_covers
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_qpolynomial_
l
e_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
privately e
x
port isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add is
l
_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaege
add isl_stream_read_p
w
_qpol
y
nomi
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
q
polynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
d
d
isl_qpolynomial
_
from_const
r
a
int
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add
i
sl_basic_set_forea
c
h_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaege
add i
s
l_qpolynomial_as_poly
n
omial_on_doma
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
ad
d
isl_qpolynomial_
s
ubstitut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
basic_set_
d
ims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
g
e
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
add isl_qp
o
lynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Ve
r
doolaeg
e
add
i
s
l_basic_set_
d
rop
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdoolaege
isl_qpoly
n
omial_fold_opt_on_d
o
mai
n
: fi
x
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
isl_pw_*_e
v
al: fi
x
hand
l
i
n
g
of
e
mpt
y
input
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add isl_
b
asi
c
_
s
e
t_move_dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
export isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ve
r
doolaege
add isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erd
o
olaege
isl_map_tra
n
s
i
tive
_
closur
e
:
c
o
a
l
esce inp
u
t before
c
h
ecking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
ad
d
map
_
lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoola
e
ge
isl_map_
l
ex
_
le: use one basi
c
set less in resul
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doolaege
i
s
l_stream: accept lexicographic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
isl_map_tr
a
nsitiv
e
_closu
r
e
:
c
heck if input
is c
l
osed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolaege
add i
s
l_
p
rinter_flu
s
h
commit
|
commitdiff
|
tree
next