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_read: accept affine combinations of earlier variables in variable tuples
2010-02-18
Sv
e
n Verdoo
l
a
ege
isl_ma
p
_read
:
a
c
c
e
p
t a
f
fine
combinatio
n
s of e
a
rlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoo
l
aege
isl
_
m
ap_
r
ead
:
construct ba
s
i
c
map
w
hil
e
reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n V
e
rdoolaege
is
l
_map_print: add primes
t
o duplicate nam
e
s
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoola
e
ge
isl
_
map_transitive_closur
e
: improv
e
ac
c
uracy by copyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_m
a
p_transit
i
v
e
_
clo
s
ure: perfor
m
exactness
c
hec
k
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoola
e
ge
isl_map_transitive
_
closure: re
f
ormulate e
x
actness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a t
r
ansitive closure e
x
ample from the Omega te
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
sl_map_transit
i
ve_closure: co
m
pute power on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laege
isl_ma
p
_
t
r
a
nsitive_cl
o
su
r
e
:
intersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
isl_map_tr
a
nsitive_closure:
e
xtract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_
m
ap_transitive_closu
r
e: move
a
cycl
i
city test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
add
isl_set
_
lower
_
bou
n
d_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_map_print: use co
n
sistent names o
n
all dis
j
uncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l_cat: all
o
w
s
pecifica
t
ion of output f
o
rm
a
t on
c
ommand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_print: support ISL_FORMA
T
_P
O
LYL
I
B
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdool
a
ege
isl_map_coa
l
esce:
fix some regressions
in
t
r
o
duced b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
add isl_
c
losure
t
est appl
i
c
ation
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdoolaege
add transitive clo
s
u
r
e exam
p
le from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl_map_transiti
v
e
_closure: construct
ge
n
eral p
a
th
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map_transitive_clo
s
ure: prepare for
t
he constructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure: con
s
t
ruct paths t
h
at
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven V
e
rd
o
olaege
i
s
l
_transi
t
ive
_
closure:
e
x
t
r
a
ct out construct
i
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
V
erdoo
l
aege
isl_map_transitive_closure: use m
o
re gene
r
ic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdo
o
l
a
ege
isl
_
map_prin
t
: add par
e
ntheses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_hash_table: u
s
e
size that
c
orresponds
t
o the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_hash_table: grow
table
when
w
e run
out of en
t
r
ies
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoola
e
ge
isl_map_
c
oa
l
esce: only use non-redu
n
dant constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Verdoolaege
a
d
d isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoola
e
ge
isl_map_r
e
ad: accept cha
i
n
s
of
com
p
a
risons
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n Verdoolaege
expor
t
isl_map_a
l
i
g
n_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
aege
isl_
m
a
p
_read: for
g
et existenti
a
lly quantified variable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verdoola
e
ge
isl_input
.
c: remo
v
e needless i
n
direction
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
d
o
c: document how to inspect s
e
ts a
n
d
relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export is
l
_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
is
l
_con
s
t
raint_div:
m
a
ke sure requested div is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc
:
dr
o
p documen
t
a
tion o
f
_dum
p
functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doola
e
ge
i
s
l_
m
ap_
p
rint: improve o
u
tput
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n V
e
rdoo
l
aege
a
dd isl
_
ba
s
i
c
_ma
p
_
f
ore
a
ch_constrai
n
t
commit
|
commitdiff
|
tree
2010-02-08
Sven
Ver
d
oolaege
isl_map_coa
l
esce: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
ae
g
e
priva
t
ely export isl_set
_
wrap
_
facet
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
isl_conv
e
x
_
hull
.
c:
w
rap_fac
e
t: allow
u
nb
o
u
nded
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
d
oolaege
doc:
im
p
rove decription
of isl
_
map_transitive_closu
r
e
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
V
er
d
oolae
g
e
isl_map_transitive_closure: i
m
p
r
ove test for
e
xactness
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Ver
d
oolae
g
e
add a counte
r
e
xample for Theorem 1 of the C
O
COA pa
p
er
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdoolaege
ad
d
isl_ma
p
_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_power
:
coalesce
d
omain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
isl_fl
o
w
.
c:
a
dd missing isl_
a
c
c
ess_info_free
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdool
a
e
g
e
isl_coalesce
.
c
:
fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-07
Sven V
e
rdoolaege
include
/
isl_i
n
t
.
h: arg
u
m
e
n
t
o
f mp_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
is
l
_m
a
p_read
:
accept
lists of af
f
ine expression
s
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
add isl_
m
at_from
_
row_vec and i
s
l_mat_
v
ec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
isl_map
_
rea
d
:
r
ead extended polylib
format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
add is
l
_
stream_next_token_on_sa
m
e_line
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdoolaege
isl_map_read
:
make sure polylib
c
onstraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
r
doolaege
isl_{map,
s
e
t
}
_
dim: handle NULL i
n
p
u
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_map_read:
use
more uni
f
orm way o
f
reading in
p
o
l
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdool
a
ege
isl_transitive_closure
.
c: fix
typo
in
comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl
_
m
ap_tran
s
itive
_
closu
r
e: us
e
m
ore relaxed e
x
actn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
a
d
d isl_m
a
p_power and isl_ma
p
_tran
s
itive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdoolaege
isl
_
map_subtr
a
c
t
.
c:
m
ake some interna
l
functions stati
c
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
add generic
i
sl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdoola
e
ge
rename is
l
_{ma
p
,se
t
}_add t
o
i
sl_{map,
s
et}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
isl_set_project_out: a
l
ways
update
dim
e
nsi
o
n,
ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdo
o
laege
isl_dim_join: d
o
n't require names
o
f joine
d
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
add isl_map_f
r
om_
d
omain_and_rang
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
e
g
e
isl_s
t
ream: treat "-"
as ope
r
ato
r
r
a
th
e
r
t
han as -1
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Ve
r
doola
e
ge
isl_m
a
p_read
:
acc
e
pt
"strict" ineq
u
alitie
s
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Verd
o
o
l
aege
isl_input
.
c: fix memory deal
l
ocat
i
on
p
rob
l
em
on mi
s
sing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add depend
e
nce
analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
ad
d
isl_map_{p
a
r
tial_,}lex
o
pt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
add private isl_
{
set,
m
ap}_make_disj
o
int
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
lae
g
e
bas
i
s_reduction_
t
emp
l
.
c
: fix
typo in
comment
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
i
sl
_
tab_pip
.
c
: find_so
l
ut
i
ons: break when c
o
ntext become
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
o
ol
a
ege
isl_dim
_
equal: don't require names
of input a
n
d o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_map: properly duplicate n
a
mes
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaeg
e
isl
_
dim_drop: properly a
d
j
ust length
of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaege
d
o
c: a
b
i
t more on i
n
te
g
ers
commit
|
commitdiff
|
tree
2010-01-26
S
ven V
e
rdoolaege
doc: describe input
/
o
utput
for
m
ats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oola
e
ge
add
isl_cat test
a
ppl
i
cation
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
oolaege
a
dd omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
add
i
sl out
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
isl_test: us
e
isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
laege
a
dd isl_set_
r
ead_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
add isl_map_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
isl_map_read
_
fro
m
_f
i
le:
a
ll
o
w
unions i
n
isl
f
ormat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdoolaege
i
sl_basic_map_read: read d
e
finitio
n
s
o
f
ex
i
stential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
pr
i
vately export
i
sl_
b
asic_map_add_div_constr
a
i
nts
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
is
l
_
b
asic
_
map_read: rea
d
affine con
s
t
rai
n
t as t
w
o a
f
fin
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoola
e
ge
i
sl_
i
n
put
.
c:
optionall
y
read
p
ara
m
eters from
i
n
p
ut
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdoolaege
t
o
kenizer: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
e
x
port isl_map_read_
f
rom_file
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
l
a
e
g
e
export isl_bas
i
c_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
d
r
op redund
a
nt in
p
u
t_fo
r
m
a
t
a
rgument from r
e
ading functi
o
ns
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laeg
e
isl_inpu
t
.
c
: merge functions
f
or reading PolyLi
b
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdool
a
ege
is
l
_input
_
omega
.
c
:
a
c
cept P
o
lyLib in
p
ut
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl_input
_
o
meg
a
.
c: prepare for
r
ea
d
ing p
a
rame
t
ric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl_input_omega
.
c: fin
a
liz
e
and simplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_omega
.
c:
f
i
x
check for me
m
ory al
l
o
cation
.
.
.
commit
|
commitdiff
|
tree
next