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
Sv
e
n Verdoolaege
isl_map_t
r
ansitive_closure: re
f
ormulate exactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en V
e
rdoolaege
ad
d
a transitive closur
e
ex
a
m
p
le from
the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verd
o
o
laeg
e
isl_
m
a
p_transiti
v
e_closure: c
o
mpute power on st
r
ongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verd
o
olaege
isl
_
ma
p
_tr
a
nsi
t
ive_closure: intersect with domain
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_map_transitive_closure: e
x
tract out
c
onstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
e
rdoolaege
isl
_
map_t
r
ansitive_closure: move acyclici
t
y te
s
t
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
add isl_set
_
l
o
w
e
r_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
rdoolaege
is
l
_map
_
print: use
c
onsistent names on
a
ll disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdool
a
eg
e
isl_cat: allow
sp
e
cifica
t
ion of output
f
ormat on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
isl_map_print: support ISL_FORMAT_POLYL
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
isl_map_coalesce:
f
ix some regressions introduc
e
d
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oo
l
a
e
ge
add isl_
c
l
osure
test application
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
er
d
o
o
laege
add transitive c
l
osure example fro
m
Kelly's
1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_
m
a
p
_
tran
s
itive_closure: construct gener
a
l p
a
ths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map_tran
s
iti
v
e_
c
losur
e
: prepare for the constr
u
ction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Ve
r
doo
l
aege
isl_map_t
r
ansitive_closu
r
e: constr
u
ct
p
ath
s
t
h
at ca
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_tr
a
nsitiv
e
_
c
l
o
sure:
extract out c
o
n
s
truction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdool
a
ege
isl_map_transitive_closure
:
use
m
o
r
e
gener
i
c
acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_
m
ap_
p
r
i
nt: ad
d
p
arentheses around disju
n
cts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
i
s
l_
h
ash_table: use
s
ize tha
t
corresponds to the
n
umb
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoola
e
g
e
i
s
l_
h
ash_table: grow table
w
hen we run ou
t
of ent
r
ie
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_coales
c
e: only use non-redu
n
dant con
s
tr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdo
o
lae
g
e
add is
l
_s
e
t
_
fix_s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoo
l
aege
isl_map_
r
ead: accept chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
d
o
ola
e
ge
e
x
port
i
s
l_ma
p
_
a
l
ign_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
i
s
l_map
_
rea
d
: forget exi
s
tentially q
u
an
t
ified v
a
riab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
V
erdo
o
l
a
e
ge
isl_input
.
c: remov
e
needle
s
s indir
e
ction
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolaege
doc:
d
o
cument how to inspect
s
e
ts
an
d
re
l
ations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olaege
exp
o
rt isl_m
a
p_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
isl_cons
t
raint
_
div: make su
r
e
r
equested div
i
s a kno
w
n div
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolae
g
e
doc: drop documentation o
f
_dump fun
c
ti
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_print: impr
o
ve ou
t
put
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
erdoolaege
add
i
s
l_basic_map_
f
oreach_constrain
t
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rd
o
olaege
isl_map_coalesce: handle m
o
re cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
V
erdoo
l
a
e
ge
privately
e
xpo
r
t isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_convex_hull
.
c: w
r
ap_facet: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
Verdoola
e
ge
do
c
:
i
mprove
decription of
isl_map
_
tr
a
n
sitiv
e
_closure
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
i
s
l
_
map_transitiv
e
_closure: improve test for e
x
actness
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
add a
c
ounter ex
a
mple for Theore
m
1 o
f
the CO
C
O
A
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
is
l
_map
_
powe
r
: coales
c
e
dom
a
in and
r
ange
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
isl
_
f
l
ow
.
c: add missing isl
_
access_info
_
fr
e
e return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl_coalesce
.
c: fi
x
typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-07
Sve
n
Verdo
o
laege
include/isl_int
.
h: ar
g
ument of
m
p_get_memory_funct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl_map_read: accept lists of affine e
x
p
ressions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
add isl_m
a
t
_
f
rom_r
o
w
_
vec
and
i
sl_mat_vec_con
c
at
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
i
sl_map_read: read exte
n
ded polylib form
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
add i
s
l_s
t
r
eam_ne
x
t_
t
oken_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
V
e
r
d
o
olaege
isl_map_read: m
a
ke sure polylib constraint
c
o
e
fficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n V
e
rd
o
olaege
isl_{map,set}_di
m
: handle NUL
L
input
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaeg
e
i
sl_map
_
read: use
mor
e
uniform way of
r
eading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
i
s
l_tran
s
i
t
i
ve_closure
.
c
:
fix ty
p
o in com
m
ent
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aeg
e
i
sl_m
a
p_
t
ransitive_closure: use
m
or
e
relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
add i
s
l
_
m
a
p
_
power and isl_map_
t
r
ansitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl_ma
p
_
s
ubtra
c
t
.
c: make
s
o
m
e int
e
r
n
al f
u
n
cti
o
ns static
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ver
d
oolaeg
e
add generic isl_map
_
project_out
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
erdoolae
g
e
add isl_{map,set}_a
d
d
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
rena
m
e isl_
{
m
ap,set}_add to isl_{map,set}_add_
b
a
sic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdo
o
laege
isl_set_project_out: al
w
ays upda
t
e d
i
mensi
o
n, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_dim_join: do
n
't require names of joi
n
ed variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verd
o
olaege
ad
d
isl
_
m
a
p
_
from_domain_an
d
_range
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
isl_stream: treat "
-
"
as operator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_read: accept "strict" inequal
i
ties
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
isl_input
.
c:
fix mem
o
ry deal
l
oca
t
ion problem
o
n m
i
s
s
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
add
dependen
c
e an
a
l
y
sis
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
V
e
r
d
oolae
g
e
a
d
d isl_map_
{
partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdool
a
ege
add
private i
s
l_{
s
et,map}_m
a
ke_d
i
sjoint
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolae
g
e
b
a
sis_re
d
u
c
tion_tem
p
l
.
c: fix typo i
n
c
omment
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
isl_tab_pip
.
c:
f
ind_so
l
utions: b
r
e
ak when cont
e
xt be
c
omes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdool
a
ege
isl_dim_
e
qual:
don't require
nam
e
s of
i
npu
t
a
n
d ou
t
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_dim_ma
p
:
p
roperly dupl
i
cate names
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
isl
_
dim_drop: properly
ad
j
ust length of
n
am
e
s
array
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdool
a
eg
e
doc: a bit
mo
r
e on integ
e
r
s
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verd
o
olae
g
e
doc:
d
escribe input/output f
o
rmats
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n
Verdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
a
dd isl_cat test applic
a
tion
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega out
p
ut
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verdoo
l
a
ege
add
i
sl outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoola
e
ge
isl_test: use
i
sl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add isl_se
t
_read_fr
o
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaeg
e
ad
d
is
l
_map_
r
e
ad
_
fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdool
a
ege
isl_m
a
p_read_from
_
file: allow
unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoola
e
ge
isl_basic_m
a
p_read: read defin
i
tions of exis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
privately expo
r
t isl_basic_map_a
d
d
_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Verdoolaege
isl_basic_map
_
read: read
a
ffine constra
i
nt as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
e
rdoolaege
isl_input
.
c: optionally read
parame
t
ers
f
r
om input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tok
e
n
i
zer: accept
"
a
n
d" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
e
xport
i
sl_map_r
e
ad_fr
o
m_
f
i
le
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
export isl_basic_
m
ap_read_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Ver
d
oolae
g
e
drop redu
n
dant
input
_
fo
r
mat ar
g
umen
t
from reading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoo
l
aege
isl_
i
np
u
t
.
c
: m
e
rge func
t
i
o
n
s
f
o
r
readi
n
g PolyL
i
b a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input_omega
.
c: ac
c
e
p
t Po
l
yLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_inpu
t
_omega
.
c: prepa
r
e for reading parametric
un
i
ons
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoolaege
isl_input_o
m
ega
.
c: finalize and
s
implif
y
resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
l
aege
isl_i
n
put
_
omega
.
c: fix chec
k
for memory
a
llocatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaeg
e
isl_stream_next
_
t
oken: ski
p
comment li
n
e
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
d
oolaege
isl_tab_basic_
m
ap_
p
a
r
ti
a
l_lexopt: properly handle
empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
basic_m
a
p
_
s
et
_
to_empty: r
e
m
ove sample (
i
f any)
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
add
i
sl_set_
f
a
st_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdool
a
ege
properly remove p
i
plib submodule
commit
|
commitdiff
|
tree
next