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 a transitive closure example from the Omega test suite
2010-02-18
Sve
n
Verdoolaege
add a transitive
c
lo
s
ure example f
r
om th
e
Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en
Verd
o
o
l
aege
isl_m
a
p
_
transitive_clo
s
u
r
e:
c
omput
e
p
o
wer on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
isl_map_transitive_closure: intersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_map_transitive_c
l
os
u
re:
e
x
tract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_ma
p
_
tra
n
sitiv
e
_closure
:
m
o
v
e
acy
c
licity
t
e
s
t up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
ad
d
isl_s
e
t_
l
ower_b
o
und_si
commit
|
commitdiff
|
tree
2010-02-17
S
v
en
V
e
r
do
o
laege
isl_map_print: u
s
e consistent names on all d
i
sjun
c
ts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_cat: allow specification of output form
a
t on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en
V
erdoolaege
isl_m
a
p_print: su
p
port ISL_FORMAT_PO
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolae
g
e
isl_map_coales
c
e: fix some re
g
ressio
n
s i
n
tro
d
uc
e
d by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoola
e
g
e
add isl
_
clo
s
ure t
e
s
t ap
p
lication
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolae
g
e
add transitive closure
exa
m
ple fro
m
Kelly's 1996 pap
e
r
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoo
l
ae
g
e
isl_map_tr
a
nsiti
v
e_c
l
o
s
u
r
e:
c
onstruct
g
en
e
ral
paths
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
i
sl_map_trans
i
tive
_
closure: prepare for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ve
r
doolaege
isl_map_transiti
v
e_closur
e
: construct
paths that c
a
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
i
sl_tra
n
sitiv
e
_closure
:
extract ou
t
const
r
uction
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoo
l
aege
isl_ma
p
_transitive_
c
losure: use more generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
isl_map_print: ad
d
parenthe
s
e
s
a
r
ound
disju
n
cts
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdool
a
ege
i
sl_hash
_
table
:
use
s
ize that co
r
r
esponds to th
e
number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven V
e
r
d
oolaege
i
s
l_hash_table: grow table when
w
e run out of
e
ntries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
isl
_
map_
c
oalesce: only use
n
on-
r
edundant co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verd
o
olaeg
e
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
e
r
d
oolaege
is
l
_map_read
:
a
cce
p
t cha
i
ns of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdoolaege
export isl_m
a
p
_
align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdo
o
la
e
ge
isl_map_read:
f
orge
t
exis
t
entia
l
ly
q
uan
t
ified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Verdoolaege
is
l
_in
p
ut
.
c
: remov
e
ne
e
dless indi
r
ection
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdool
a
ege
do
c
:
document how to inspect
s
e
ts an
d
r
e
lations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export isl_map_compute
_
divs
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoola
e
ge
isl_constraint_
d
iv: make
sure requeste
d
div is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoolae
g
e
doc: dr
o
p
documentatio
n
of _
d
ump functi
o
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
isl_map_pri
n
t: im
p
rove output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
a
d
d
i
sl_ba
s
ic_map
_
forea
c
h_
c
o
nstrain
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_coalesce:
h
a
ndle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erd
o
olaege
privately export isl_set_
w
rap_face
t
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
doolaeg
e
i
s
l_
c
onvex_hull
.
c:
wrap_fa
c
et: allo
w
unbounded fac
e
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdool
a
ege
doc: impro
v
e
decr
i
ption of
i
sl_m
a
p
_transitiv
e
_clos
u
re
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ver
d
o
o
l
a
ege
isl_ma
p
_transit
i
ve_closure: improve t
e
s
t
for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Ve
r
doolae
g
e
add a co
u
nter example for Theorem
1
of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add isl_map_lowe
r
_
bo
u
nd_si
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
erdoolaege
is
l
_ma
p
_power: coales
c
e
dom
a
i
n an
d
range
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
isl_flow
.
c: a
d
d missing isl_access_info_free r
e
t
u
rn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
sl_coal
e
sce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
in
c
lude/isl_
i
nt
.
h:
argument of mp
_
get_memory
_
functio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
l
aege
isl_map_
r
ead: accept lists of affine expr
e
ssions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add i
s
l_
m
a
t_fro
m
_
r
o
w
_vec and isl_
m
at_vec_co
n
cat
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolae
g
e
is
l
_
map_read:
r
ead e
x
tended pol
y
lib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
a
dd
i
s
l
_
s
tream_next_token_
o
n_same_li
n
e
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
is
l
_map_
r
ead: make
s
u
re po
l
yli
b
constraint c
o
ef
f
icients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
isl_{map,set}
_
dim: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_ma
p
_read: use more uniform way of
reading in poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
i
s
l
_transitive_c
l
o
s
ure
.
c: fix t
y
po
i
n c
o
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
i
sl_map_
t
ransitiv
e
_closure: u
s
e more re
l
axed exactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
oolae
g
e
add
i
s
l
_
map
_
power
and isl_
m
ap_transitive_cl
o
sure
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_map_subt
r
act
.
c: make
s
o
m
e internal func
t
ions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
d
d gener
i
c is
l
_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
add
i
sl_{map,set}_a
d
d
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
renam
e
isl_{map,set
}
_add to isl_{m
a
p,s
e
t}_add
_
basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoola
e
g
e
isl_
s
et_project_out: always update dimension, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
er
d
o
ola
e
ge
i
s
l_d
i
m_join: d
o
n't re
q
u
i
r
e nam
e
s of joined
v
aria
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdo
o
l
a
e
ge
add
isl_map_fro
m
_domain_
a
nd_range
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_stream: treat "-" as operator ra
t
her than as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
i
s
l_
m
ap_
r
ead: accept "
s
t
r
i
c
t" i
n
equali
t
i
es
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
is
l
_i
n
pu
t
.
c: fix memory
deal
l
ocation problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add
depe
n
d
ence
a
nalysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add
i
sl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoola
e
ge
a
d
d private
i
sl_{
s
et,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n Ver
d
o
olaege
basis
_
re
d
uction
_
templ
.
c: fi
x
typo
i
n comment
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl
_
tab_p
i
p
.
c: find_so
l
uti
o
ns: break when con
t
ext
becom
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven
V
erdoolaege
isl_dim_e
q
u
a
l: don't
require
names of
i
nput and ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_di
m
_map: pr
o
p
erl
y
duplica
t
e names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_dro
p
:
properly adjus
t
length of names
array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
S
ven
Verdool
a
ege
d
oc: describe input/outp
u
t
f
ormats
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
ad
d
isl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omeg
a
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add isl outpu
t
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdoola
e
ge
isl
_
tes
t
: use is
l
_se
t
_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erd
o
o
l
aege
add isl_
s
et_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add i
s
l_ma
p
_
read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_m
a
p_read_f
r
om_fi
l
e:
a
llow unions i
n
i
sl form
a
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
basic_
m
ap_read
:
read defin
i
tion
s
of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privat
e
l
y expo
r
t isl_b
a
s
i
c
_map_add_div_co
n
straints
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaeg
e
isl_bas
i
c_map_read:
r
ea
d
a
ff
i
n
e con
s
t
r
a
int as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
is
l
_in
p
ut
.
c
: optionally read
p
arameter
s
f
rom
i
nput
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
rdoolaege
t
oken
i
zer: accep
t
"
a
nd" keyw
o
r
d
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoo
l
aege
export isl
_
map_read
_
from_fi
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
ex
p
ort is
l
_
basic_m
a
p_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
dro
p
redundant inpu
t
_forma
t
argument
f
rom r
e
ading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_
i
nput
.
c: m
e
r
g
e function
s
fo
r
read
i
ng PolyLi
b
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aeg
e
i
sl_in
p
ut
_
omega
.
c:
a
c
c
e
p
t PolyLib i
n
put
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaeg
e
is
l
_input_ome
g
a
.
c: prepare for reading parametri
c
un
i
ons
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
laeg
e
isl
_
i
nput
_
omega
.
c:
f
inalize
and simplify
resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoolaege
is
l
_inpu
t
_ome
g
a
.
c: f
i
x check for memo
r
y allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oo
l
ae
g
e
isl_st
r
eam_next_token: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
V
e
rdoola
e
ge
isl_tab_basic_map_parti
a
l
_lexopt: proper
l
y handle em
p
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
is
l
_basic_m
a
p_s
e
t
_
to_empty: r
e
move sampl
e
(if
any)
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaege
add
i
sl_
s
e
t_fast_
i
s_empty
commit
|
commitdiff
|
tree
2010-01-13
S
v
en Verdo
o
l
aege
properly rem
o
ve p
i
plib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven V
e
rdool
a
ege
i
sl_bas
i
c_m
a
p_updat
e
_from_tab:
re-g
a
uss re
s
ulting bmap
commit
|
commitdiff
|
tree
next