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_set_is_box
2010-06-25
Sv
e
n
Verdoolaeg
e
a
dd isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdool
a
ege
add
i
s
l_ma
p
_is_t
r
anslation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
aege
ex
p
ort is
l
_qpolynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
S
ve
n
Verdoolaege
is
l
_polynom
i
al
.
c: add missing includ
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoola
e
g
e
isl_map_
t
ransitive
_
cl
o
sure: check wheth
e
r decomposit
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ver
d
o
olaege
a
d
d
isl_stre
a
m_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Ver
d
oolae
g
e
add isl
_
stream_s
k
i
p_line
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdool
a
ege
a
d
d
rudime
n
tary error reporti
n
g mechanism
commit
|
commitdiff
|
tree
2010-06-19
S
ve
n
V
erdool
a
ege
add
i
sl_versi
o
n
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
isl_point_alloc: avoid potent
i
al m
e
mory
leak
on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc: documen
t
isl_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoo
l
a
ege
isl_tab_pip
.
c
: com
p
a
re all co
e
f
ficients w
h
en checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
i
s
l_pw_qpoly
n
o
m
i
al
{
,_fold}_gis
t
: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdool
a
ege
ad
d
i
sl_set_set_
d
im_name
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoolaege
add i
s
l_strea
m
_r
e
ad_
s
et
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoo
l
aege
d
o
c: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l
_qpolynomial_lift
:
fix lifti
n
g
i
n absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
o
ptionall
y
(
a
nd
b
y
d
e
f
ault) use bernstein
expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
privately export isl_qp
o
l
y
nomia
l
_fo
l
d_f
o
l
d_on_
d
o
main
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Ver
d
o
o
laege
add
i
sl_pw_qpolynomia
l
_fold_f
o
reach_piec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
add parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oola
e
ge
add is
l
_morph_dom_dim and
i
sl_morph_ran_
d
im
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
add isl_basic_m
a
p_is_rati
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
p
r
ivatel
y
export
i
sl_basic_
s
et
_
s
o
rt_
c
o
n
straint
s
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_tab_detect
_
i
m
pli
c
it_
e
qu
a
liti
e
s: also detect
m
ani
f
est
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
is
l
_tab: op
t
ionally only m
a
rk strictl
y
redundant
rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
genera
l
iz
e
isl_pw_qpolynomia
l
_bound to isl_pw_
q
po
l
y
n
omial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdool
a
ege
extract
out generic
pa
r
t of isl_pw_qpolynomial_bo
u
nd_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
o
l
aege
isl_pw_qpo
l
yno
m
ial_bound_ran
g
e: also se
t
ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
add
isl_basic_set_
f
actorize
r
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolae
g
e
expo
r
t
isl_pw_qpolyn
o
mial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
ex
p
ort is
l
_qpolyno
m
i
a
l_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
a
dd isl_qpolyno
m
ia
l
_
coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
olaeg
e
add isl_qpolyno
m
i
a
l
_
from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
e
x
port isl_qpolyn
o
mial_a
d
d_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_qp
o
ly
n
omial_hom
o
g
e
ni
z
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl
_
qpolynomial_deg
r
ee
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
add
isl
_
qpo
l
y
n
omia
l
_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_qpolyn
o
mial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_ct
x
:
a
dd t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_tab_detect_implicit_
e
qualit
i
e
s
: return in
t
eg
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_t
a
b_select_
f
acet: return int ins
t
ead
of isl_tab
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_basi
c
_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rd
o
olaege
p
rivately
e
xport isl_pw_
q
polynomia
l
_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add
i
sl
_
q
poly
n
omial_f
o
l
d
_f
o
reach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add isl_pw_qpolynomial_fold_fo
r
each
_
lifte
d
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
export
is
l
_pw_qpol
y
nomial_fold_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
pr
i
vately
e
xp
o
rt isl_morph_a
l
loc
a
nd isl
_
m
o
rph_
i
dentity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
ad
d
isl_qpolynomial_fold_ge
t
_t
y
pe
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoola
e
ge
export isl_pw_qpolynomi
a
l
_
g
et_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
a
d
d isl_ctx_p
e
ek_op
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdool
a
ege
isl_range
.
c
:
fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
e
g
e
export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
isl_bound: plug me
m
ory
l
e
a
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
f
i
x
i
s
l_qpolynomial_
f
old_dup
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Ver
d
ool
a
e
ge
isl_pw_qpolynomial_b
o
u
nd_rang
e
:
fix removal of
d
ims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
add b
o
u
n
d
_test
.
sh
to
d
istributio
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoo
l
aege
doc: docume
n
t gi
s
t oper
a
tion
s
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolae
g
e
doc: document
isl_c
o
nstraint
_
is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoola
e
ge
add isl_ma
p
_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basic_map_foreach_constraint: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
i
s
l_basic_map_cop
y
: mar
k
dupl
i
cated
c
opy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_basic_set_lif
t
: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
isl_ba
s
i
c
_map_move
_
d
ims: a
l
way
s
finalize
result
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Ve
r
doo
l
aege
is
l
_bas
i
c_map_from_
c
onstraint:
fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
i
s
l_access_info_compute_flow: h
a
nd
l
e may acce
s
ses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_access_info_c
o
mpute
_
f
low: handle m
u
lt
i
-valu
e
d sin
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
dool
a
e
ge
remove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Ver
d
oolaege
fix
s
ome i
c
c
w
ar
n
in
g
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename isl_pw_q
p
o
l
ynomial_move and add isl_pw_q
p
olyno
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_ctx: keep track of
user opt
i
ons
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
imp
r
oved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
i
s
l
_
o
p
tions_p
a
rse: pri
n
t h
e
lp message
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
add isl_bo
u
nd test appl
i
cati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
add i
s
l_pw_qp
o
lynomi
a
l
_
bound_r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
p
w_q
p
olynomial
_
fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
ege
a
d
d rudimentary
is
l
_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
oolaeg
e
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
isl_equa
l
i
t
ie
s
.
c
: fix
typo in c
o
mment
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
olaege
add
isl_
m
at_inse
r
t_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaeg
e
add isl_mat_nor
m
ali
z
e
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdoolaege
a
dd isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
d
o
olaege
isl_ma
t
_lin_to_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdo
o
laege
isl_qpol
y
nomial_opt_
o
n_d
o
m
ain:
handle em
p
ty
i
nput
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
ege
isl_name_allo
c
: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
doolaege
ad
d
isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_
e
qualities
.
c
: fix typos i
n
c
omments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add isl_
p
w_qpolynom
i
al
_
f
old_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_q
p
olynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
pri
v
a
tely expo
r
t isl_set
_
is_bo
u
nd
e
d
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_set
_
count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add isl_set_
s
can
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
d
oo
l
aege
add isl_
s
tr
e
am_read
_
pw_qpolyno
m
ial
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoo
l
ae
g
e
add isl_
q
p
o
l
yno
m
ial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
ad
d
isl_qpoly
n
omial_from_
c
o
n
s
t
raint
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verd
o
olaege
ad
d
isl_basic_set_foreac
h
_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpo
l
ynomial_as_pol
y
nomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoo
l
ae
g
e
add isl_q
p
olynom
i
al_sub
s
titute
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
ol
a
ege
a
dd isl_ba
s
ic_set_dims
_
get_si
g
n
commit
|
commitdiff
|
tree
next