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_map_is_translation
2010-06-24
Sven Verdo
o
la
e
ge
ad
d
i
sl_
m
ap_is_transl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoolaege
expo
r
t isl_qpolynomial_i
n
volv
e
s_dims
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Verdoo
l
aege
isl_polynom
i
al
.
c
: add
miss
i
ng in
c
l
ude
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_map
_
tra
n
sitive_closure:
ch
e
c
k whethe
r
decom
p
osition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
add
isl_s
t
r
e
am_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
d
d i
s
l_stream_skip_lin
e
commit
|
commitdiff
|
tree
2010-06-19
S
v
en
V
erdoolaege
a
d
d rudimentary error reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_versi
o
n
commit
|
commitdiff
|
tree
2010-06-19
S
ven
Verdoo
l
aege
isl
_
p
oint_all
o
c: avoid p
o
tential
m
emory leak
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdool
a
ege
doc:
document isl_map_d
e
l
t
as
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
rd
o
olae
g
e
isl_tab_pip
.
c:
comp
a
r
e
all co
e
ffi
c
ie
n
ts wh
e
n
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdool
a
ege
isl_pw_qp
o
lynomial{,_fold}_gist: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
add
i
sl_set_set_dim_
n
ame
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoolaege
add isl
_
str
e
am_read_se
t
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoola
e
ge
isl
_
qpolynomial_lift
:
fix lifting in
a
bsence
of
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
option
a
lly
(and by defaul
t
) use
b
e
rns
t
e
i
n
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
privat
e
ly
e
xpo
r
t isl
_
qpolynomial_fold_
f
old
_
on_dom
a
in
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
add i
s
l_pw_qpolyn
o
mial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add parametr
i
c
v
ertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add isl_morph
_
do
m
_dim an
d
isl_morph_
r
an_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_basic_m
a
p_
i
s
_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately ex
p
or
t
isl_basi
c
_set_sor
t
_
c
ons
t
ra
i
nt
s
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl_tab_det
e
ct_implicit_equa
l
ities
:
also detect m
a
nifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
tab: optionall
y
o
nly mark strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aeg
e
generalize isl_pw_qpolynomial_bound to isl_pw
_
qpolyno
m
i
a
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
extra
c
t o
u
t generic part of is
l
_pw_qpoly
n
omi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_pw_qpolynomia
l
_
bound_
r
ange: also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
a
d
d isl_bas
i
c_set_f
a
ctorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
export i
s
l_pw_qpolynomi
a
l_fold
_
drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
ge
export isl_q
p
olynomial_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
add i
s
l_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add
i
sl_q
p
olynom
i
al_fr
o
m_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
p
o
r
t isl_qpoly
n
omi
a
l
_add_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add isl_qpo
l
y
nomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpo
l
ynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_qpolynomial_inser
t
_
d
im
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
is
l
_ctx:
a
d
d two
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aege
isl
_
tab_detect_implicit_equal
i
ties: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
add
i
sl_tab_sig
n
_of
_
max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_tab_
s
elec
t
_facet: return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basi
c
_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rd
o
o
l
aege
privately export i
s
l_pw_qp
o
lynomial_mor
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_qpolynomial_fold
_
f
o
rea
c
h_qpolynomia
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_pw_qpolyn
o
mial_f
o
l
d
_
f
oreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
V
er
d
o
olaege
ex
p
ort isl_pw_
q
polynomial_fo
l
d_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
p
rivately export isl_morph_alloc and isl_m
o
rp
h
_id
e
ntity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
a
dd isl_qpolynomial
_
fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
export isl
_
pw
_
q
polyn
o
mial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
add isl_c
t
x_peek_op
t
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
isl_range
.
c
:
fix
t
ypo in commen
t
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt isl_set_is_b
o
und
e
d
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
i
s
l_bound: plug
memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
f
ix isl_qp
o
lyn
o
mial_fold_d
u
p
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpoly
n
o
m
ial_bound_range: fix remov
a
l o
f
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
add
bound_tes
t
.
sh to d
i
stribution
commit
|
commitdiff
|
tree
2010-06-11
S
v
en Ver
d
oolaeg
e
d
oc: docu
m
e
n
t g
i
st operations
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoo
l
ae
g
e
d
o
c: document isl_constraint_
i
s
_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_map_is_sin
g
le_
v
alued
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolaege
isl_basic
_
map_foreach_constraint:
m
ake sure input h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaege
isl_ba
s
ic_map_copy: m
a
rk du
p
l
icated cop
y
as fin
a
lized
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_basic_set_lift: finalize resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
g
e
i
s
l_basi
c
_map_move
_
dims: alwa
y
s finalize re
s
u
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
o
l
aege
isl
_
basic_map_
f
r
om_constra
i
nt: final
i
ze resul
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_access
_
info_compu
t
e_flow: handl
e
may access
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
i
sl
_
ac
c
ess_info_compute_fl
o
w: han
d
le multi-v
a
lu
e
d si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
ool
a
ege
remov
e
some unus
e
d vari
a
b
l
es
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolaeg
e
f
i
x some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
r
e
name isl_pw_qpoly
n
omial_move and add isl_pw_qpoly
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaege
isl_c
t
x: keep tr
a
ck of
u
ser options
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verd
o
ol
a
ege
impr
o
v
ed argument parsi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_options_p
a
r
se: print h
e
l
p message
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
a
dd isl_boun
d
t
e
st
appl
i
c
a
t
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
d
oolaege
a
dd isl_pw_qpolynomial_bou
n
d
_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
e
g
e
ad
d
isl_p
w
_qp
o
lynomi
a
l_
f
old
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoolaege
add rudimentary isl_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
d
d is
l
_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
isl_
e
qualities
.
c: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_
m
at_inser
t
_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
dd isl_ma
t
_
n
ormal
i
ze
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
laege
add isl_mat_diagon
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_mat_lin_t
o
_aff: f
i
x erro
r
h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdo
o
lae
g
e
isl_q
p
olyn
o
mial_opt_
o
n_domain:
handle
e
m
pty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaege
isl
_
name_all
o
c
: fix
e
rror ha
n
dling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equa
l
ities
.
c:
f
ix typos in co
m
ments
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
laege
add isl_
p
w_qpolynomial
_
fold_c
o
v
ers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_
q
pol
y
nomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
p
rivately export isl_set_i
s
_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_set_coun
t
_
u
pto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
d
d is
l
_
s
e
t
_sca
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_
s
tream_re
a
d_p
w
_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
olaege
add isl_qp
o
lynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
oolaege
a
d
d isl_
q
poly
n
o
m
ial_fr
o
m_
c
onstraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_basic_set_foreach_boun
d
_
pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
a
dd isl_qpol
y
nomial_
a
s_p
o
lynomia
l
_o
n
_domain
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoolaege
ad
d
i
sl_qpo
l
ynomial
_
s
ubstitute
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Ve
r
doolaege
a
dd isl_b
a
s
i
c
_
set_dims_
g
e
t
_sig
n
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_ctx: add zero
commit
|
commitdiff
|
tree
next