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 Verdoolaege
ad
d
isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verd
o
olaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
isl_qpolynomial_lift: fix lifting
in
a
b
se
n
c
e of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
optio
n
ally (an
d
by default) use bernstein
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
privat
e
ly expor
t
isl_qpolynomial_fo
l
d_f
o
ld_on_domain
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
rdoolaeg
e
add is
l
_pw_
q
polyn
o
mia
l
_
fo
l
d_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
ola
e
ge
add
p
a
r
amet
r
ic vertex enu
m
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
add isl_morp
h
_dom
_
dim and
i
sl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_basic_ma
p
_is_
r
ational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately expor
t
i
sl_basic_
s
et
_
sort_co
n
strai
n
ts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_tab
_
detect_imp
l
icit_equalities: al
s
o detect ma
n
ifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
i
s
l_tab: optionally only mark
str
i
ctly redu
n
dant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ge
n
eralize isl_pw_qp
o
lynomial_boun
d
to isl_pw_qpolynomia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
extract out
g
e
n
e
r
ic
par
t
of
isl_pw_qpolyno
m
ial_boun
d
_range
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
i
s
l_pw_qpo
l
yno
m
ia
l
_bound_range:
a
lso set
e
xactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_s
e
t
_
fact
o
rizer
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
e
xpor
t
i
s
l_pw_qpolynom
i
a
l
_fo
l
d_dr
o
p_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
a
dd isl_qpoly
n
omial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add
isl_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
export isl_qp
o
ly
n
omial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
rdoolaeg
e
a
dd
i
sl
_
qpolynomial
_
homog
e
nize
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolae
g
e
add isl_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdo
o
laege
add isl
_
qpolynomial_
i
nser
t
_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
o
l
aege
add
isl_qpolynomi
a
l_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ctx: ad
d
two
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
i
sl
_
tab_detect_imp
l
ici
t
_equal
i
t
ies:
ret
u
rn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_tab_si
g
n_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_t
a
b_select_facet: return int inst
e
a
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
erdoola
e
ge
add isl_bas
i
c_se
t
_full_co
m
pressi
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
p
r
ivat
e
ly ex
p
ort isl_pw_qpolynomial_
m
orph
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaeg
e
add isl_qpolynomia
l
_fold_
f
oreac
h
_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_pw
_
qpol
y
no
m
ial
_
fold_fo
r
each_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
export isl_pw_
q
p
o
lyno
m
ial_fold_is
_
zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
privately exp
o
rt isl_morph_all
o
c and isl_morp
h
_identity
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_qpolynomi
a
l_fold_get_
t
ype
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
expor
t
i
sl_pw_qp
o
lynom
i
al_get_c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
ad
d
isl_ctx_pe
e
k_op
t
i
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
i
sl_range
.
c
:
fi
x
t
ypo
in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
xp
o
rt isl_set_
i
s_
b
oun
d
ed
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
isl_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix isl_qpoly
n
omial_fo
l
d_dup
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoo
l
aege
isl_pw_qp
o
lynomia
l
_bound
_
rang
e
: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bound_test
.
sh
to dist
r
i
bution
commit
|
commitdiff
|
tree
2010-06-11
Sven Ve
r
doolaege
doc: document gis
t
operations
commit
|
commitdiff
|
tree
2010-06-04
S
ven Verdool
a
eg
e
doc: document isl_constrain
t
_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdool
a
ege
add i
s
l_
m
ap_is_s
i
n
g
le_valued
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdoolaege
isl_basic_ma
p
_for
e
ach_
c
on
s
traint:
make sure input ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoolaege
i
s
l_
b
as
i
c_map
_
c
o
py:
m
a
r
k
duplicated copy as fina
l
ized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
isl_basic
_
s
e
t
_lift: fi
n
alize r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_b
a
sic_map
_
move_dims: always finaliz
e
res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oo
l
aege
isl_basic_ma
p
_f
r
om_constraint: final
i
ze result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
isl_access_info_comp
u
t
e
_flow: handle
may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ver
d
oolaege
is
l
_ac
c
ess_info_compute_flow: handle multi-val
u
ed sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laege
remove some un
u
sed va
r
iabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
g
e
rena
m
e
isl_pw_qpolynomia
l
_move
a
nd add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Ve
r
doolaege
i
sl_ctx:
keep track of u
s
er options
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
im
p
roved argument pa
r
sing
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verd
o
olaeg
e
isl_op
t
ion
s
_parse: p
r
in
t
help
message
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdoola
e
ge
add isl_bound test appl
i
ca
t
ion
commit
|
commitdiff
|
tree
2010-05-14
S
ven V
e
rdool
a
ege
ad
d
i
s
l_pw_qpo
l
ynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
dd isl_pw_
q
polynomi
a
l_fol
d
_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolae
g
e
a
dd
r
u
d
ime
n
t
ary i
s
l
_
morph
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
o
laege
a
d
d i
s
l_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_equalities
.
c
:
fix
typo in
comment
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdool
a
ege
add
i
sl_mat_inser
t
_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
m
at_normal
i
ze
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
ma
t
_
diagonal
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoolaege
isl_mat
_
lin_to_aff
:
fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ola
e
ge
isl_
q
polynomi
a
l_o
p
t_on_domain:
handle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verd
o
olaege
isl_name_alloc:
f
ix err
o
r handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
dd i
s
l_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_
equa
l
ities
.
c:
fix typos in c
o
m
ment
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_pw_
q
po
l
ynomial_fold_cove
r
s
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolae
g
e
add isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
do
o
laege
privately expor
t
is
l
_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_set
_
c
o
u
nt_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
oolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoo
l
a
ege
add is
l
_stream_read_pw_
q
polynomia
l
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
ad
d
i
sl_q
p
olynomial_fro
m
_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolae
g
e
add isl_qpol
y
nomial_from
_
const
r
aint
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
oolaege
a
d
d isl_
b
asic_set_
f
oreach_bound
_
p
a
ir
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d i
s
l
_
qpolyn
o
mial_as_polynomial_on_dom
a
in
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
d
oolaeg
e
add isl_qpoly
n
omial_s
u
bstitute
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
ad
d
i
s
l_
b
a
s
ic
_
set_
d
ims_ge
t
_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
o
l
aege
add
i
sl_qpolynom
i
al_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
o
laege
add
i
sl_b
a
sic_set_
d
rop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
is
l
_qpolynomial_fold
_
opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
eg
e
isl_pw_*_eva
l
: fix
ha
n
dling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
r
dool
a
ege
add
i
sl
_
basic_s
e
t
_move
_
dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
e
x
port isl_qpo
l
ynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ve
r
d
o
o
l
a
ege
add i
s
l
_
q
polyno
m
i
a
l_get
_
dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_map_tran
s
itive_
c
losure:
co
a
lesce
input b
e
fo
r
e
c
h
ecking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolae
g
e
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdool
a
ege
i
s
l_map_lex_le:
u
se
o
ne bas
i
c
set less
in re
s
ult
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
e
rdoolaege
is
l
_stre
a
m: accept
l
exicograp
h
ic ope
r
ators
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Ver
d
oolaege
isl_map_transitive_closure: ch
e
ck if inpu
t
is clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Ve
r
doolaege
add
i
sl_
p
r
i
nt
e
r_f
l
ush
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n
Verdoola
e
ge
isl
_
map_read: pa
r
se parametric O
m
ega input
commit
|
commitdiff
|
tree
next