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
isl_map_transitive_closure: reformulate exactness test in terms of extended paths
2010-02-18
S
ve
n
Ver
d
oola
e
ge
i
sl_map_transitiv
e
_closure
:
refo
r
m
ulate
e
x
actness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a
t
ra
n
s
i
tive closur
e
example from the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
isl_map_
t
ransitive_closure: compute power o
n
stron
g
ly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transitive_closure: int
e
r
sect
with d
o
ma
i
n and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
isl_map_
t
ra
n
s
i
tive_clos
u
r
e
:
e
x
tract out cons
t
ruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven
V
e
rdoolaege
i
sl_
m
ap_transitive_closure: move
a
c
y
c
lic
i
ty test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
a
d
d
isl_s
e
t_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Ver
d
ool
a
ege
isl_map_p
r
int:
use consiste
n
t names on a
l
l disjun
c
ts
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
isl
_
cat: allow sp
e
ci
f
ication of out
p
ut format on comma
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl_map_print: support I
S
L_FO
R
MAT_PO
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
isl
_
map_
c
oalesce: fix some regress
i
ons introduced b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdool
a
ege
add i
s
l_closure test app
l
ication
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
add
t
r
a
nsitive clos
u
re exampl
e
from Kelly's 1996
p
a
p
er
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Ver
d
oolaege
isl
_
ma
p
_
t
ransitive_closure
:
c
o
nstruct general pa
t
hs
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ver
d
oolaege
isl_ma
p
_
t
ransitive_closure: prepare for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
erdool
a
ege
i
s
l_map_tran
s
i
tive_c
l
osure: construct
paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
t
ransitive
_
closure: extract out
c
o
ns
t
r
uctio
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdoolaege
isl_ma
p
_t
r
ansitive_closure: use mo
r
e generic acycl
i
city
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoo
l
aege
isl_map_prin
t
:
a
d
d
parenthes
e
s around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_h
a
sh_tabl
e
: u
s
e size that corresponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl
_
hash_tabl
e
: grow t
a
ble when we ru
n
out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
rdo
o
la
e
ge
isl_map_coalesce: onl
y
use non-redundant constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdoolaege
add isl_set
_
fix
_
si
commit
|
commitdiff
|
tree
2010-02-13
S
ven Verdoolaege
isl_map_read: accept chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
S
v
en V
e
rd
o
olaege
exp
o
r
t
isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven Ve
r
do
o
laege
is
l
_
m
a
p_read: f
o
rget e
x
istential
l
y quantified variable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolaege
isl
_
input
.
c: remove ne
e
dless
i
n
dire
c
tion
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
dool
a
eg
e
doc: document how to
i
nspect se
t
s and rela
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
dool
a
ege
expor
t
isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
erdo
o
laege
isl_co
n
st
r
aint
_
di
v
: make sure r
e
quested div
i
s a known div
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
doc: drop document
a
t
ion of _dump f
u
nc
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
isl_map_print: impro
v
e o
u
tput
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add isl_basic_map_foreach_
c
onstraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_coale
s
ce: ha
n
d
l
e more case
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
o
l
aege
privately exp
o
rt isl_set_wrap_f
a
cet
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdo
o
la
e
ge
i
s
l_convex_hull
.
c: wr
a
p_facet: a
l
l
o
w un
b
ounded facet
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
doc:
im
p
r
o
ve d
e
cript
i
on
of i
s
l_map_
t
r
a
n
si
t
i
ve_
c
l
os
u
re
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
d
o
olaeg
e
is
l
_map_tra
n
sitive
_
cl
o
s
ure: improve test fo
r
exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
ad
d
a cou
n
ter example for Theorem 1 of t
h
e
C
OCOA pape
r
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n V
e
rdoolaege
a
d
d
i
s
l_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
g
e
isl_map_power: coalesce doma
i
n
and r
a
nge
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoola
e
ge
isl_flow
.
c: add missing isl_a
c
cess_inf
o
_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ve
r
do
o
laege
i
sl
_
c
o
alesce
.
c:
fix
ty
p
o in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
include/isl_int
.
h: argument of mp_g
e
t_memor
y
_functio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map
_
read:
accept lists
of affi
n
e
e
x
p
ressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
dool
a
ege
add isl_ma
t
_from_row_vec and isl_m
a
t_vec
_
concat
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolae
g
e
i
s
l_map_read: rea
d
extended p
o
lylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
add
i
sl_stream_n
e
x
t_token_on_sa
m
e_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_m
a
p_
r
ead: make sure polylib constra
i
nt
c
o
efficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_{map,set}
_
dim: handle NULL
i
nput
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdoolaege
isl_map_re
a
d
: use
m
o
r
e
unif
o
rm way of reading in
p
olylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl_tr
a
n
sitive
_
closu
r
e
.
c
:
fi
x
typo
i
n c
o
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
i
s
l
_ma
p
_transiti
v
e
_
closure:
u
se m
o
re
r
e
laxed exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
isl
_
ma
p
_p
o
wer a
n
d isl_map_tr
a
ns
i
t
i
ve
_
closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
eg
e
i
s
l_m
a
p_s
u
btract
.
c: make
some internal
functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdool
a
ege
add generic isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoo
l
aege
a
dd isl
_
{
map,
s
et}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
ren
a
me
i
sl_{map,se
t
}_
a
dd to
i
sl
_
{map
,
set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
isl_
s
et_pro
j
ect
_
out: always update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoo
l
aeg
e
i
sl_dim
_
join: d
o
n
'
t require nam
e
s
of joined
vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven V
e
rdoolaege
add
i
s
l_ma
p
_
from_domai
n
_an
d
_
range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
isl
_
stream: t
r
eat "-" as operator rathe
r
than as
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laeg
e
isl_map_r
e
ad:
a
c
cept "strict" inequ
a
l
i
t
ies
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_
i
n
p
u
t
.
c: fix memory
d
eallo
c
at
i
on probl
e
m on mi
s
sin
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add dep
e
nd
e
n
c
e analysis
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n Ve
r
doolaege
add isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
d
d private is
l
_{se
t
,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoo
l
aege
basi
s
_reduction_te
m
pl
.
c
:
fix
t
ypo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab_pi
p
.
c:
f
ind_solutions: break when context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oo
l
a
e
ge
i
s
l_dim_equa
l
: don'
t
req
u
i
re names of input
and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdo
o
la
e
ge
isl_d
i
m_map: properly duplicate
names
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Ve
r
d
oolaeg
e
isl_dim_dr
o
p: properly ad
j
ust le
n
gth of na
m
es ar
r
ay
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
ol
a
ege
doc: a
b
it more on inte
g
ers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdo
o
laege
d
o
c
: de
s
cri
b
e in
p
u
t
/output
f
o
r
m
a
ts
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ver
d
o
o
l
aege
add isl_
c
at test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
add omega
o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
ad
d
isl
o
ut
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
o
l
aege
isl
_
te
s
t
: us
e
isl_se
t
_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
do
o
lae
g
e
add isl_s
e
t_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
a
dd isl_map_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
erdoolaege
is
l
_m
a
p_
r
ead_from_file: all
o
w
un
i
ons in isl forma
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
oolaege
isl_basic_map_rea
d
: read definitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
pr
i
vately export isl
_
b
a
sic_map_add_di
v
_
c
onstraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl
_
basic
_
map_read
:
rea
d
affine constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ve
r
doolaege
isl_
i
nput
.
c:
o
ptionally rea
d
pa
r
ameter
s
from i
n
p
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
t
o
kenizer: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
export
isl_
m
ap_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ex
p
ort isl_basi
c
_map_read_f
r
om_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdool
a
ege
drop r
e
d
undant
input_for
m
at argumen
t
from reading funct
i
ons
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_inp
u
t
.
c: merge fu
n
ctions for readin
g
PolyLib
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
i
sl_in
p
ut_ome
g
a
.
c: ac
c
e
p
t PolyLi
b
input
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Ver
d
oo
l
aege
isl_input_omega
.
c: prepare
for re
a
d
i
n
g p
a
rametric uni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoo
l
aege
isl_input_o
m
eg
a
.
c: finali
z
e and simplify resul
t
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoo
l
aege
isl
_
input_ome
g
a
.
c
:
fix chec
k
for mem
o
ry allocat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ver
d
oo
l
aege
isl_
s
tream_next_token: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
isl_tab_basic_ma
p
_par
t
ial_lexopt: properly h
a
n
d
l
e empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaeg
e
i
sl_basic_map_set_t
o
_empty
:
remove
sample (if
a
ny)
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
rdool
a
eg
e
add
i
sl_se
t
_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
S
v
en V
e
rdoo
l
a
ege
properly re
m
ove piplib submodu
l
e
commit
|
commitdiff
|
tree
next