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 list of predicated elements
2010-02-19
S
v
en Verdoolaege
isl_map_read: accept list of predicate
d
elem
e
nts
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaeg
e
is
l
_map_rea
d
: extract out par
s
in
g
of
ma
p
body
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolaege
isl_map_read: add dummy variable
n
ame for
u
n
na
m
ed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
aege
isl_stream: accept
";"
token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
use -O1 optimization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_r
e
ad:
a
ccept affine combination
s
of earl
i
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdo
o
laege
is
l
_map_read: construct basic map while rea
d
ing v
a
ria
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaege
isl_map_prin
t
:
add pr
i
mes
t
o duplicate names
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_tra
n
sitive
_
closure: intersect wi
t
h dom
a
in
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Ve
r
d
o
olaege
isl_map_trans
i
tive_clo
s
ure: e
x
t
r
act out co
n
structi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven
V
erdoolaege
isl_map_transit
i
ve_closure: move acyclicity t
e
st up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
add isl
_
s
e
t_lower_bound_
s
i
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_map_print: us
e
cons
i
s
t
e
nt n
a
m
es
o
n all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
S
v
en
V
er
d
oolaege
is
l
_cat: allow specific
a
tion of out
p
ut format on comman
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_ma
p
_prin
t
: suppo
r
t
I
SL_FORM
A
T_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
o
l
aege
i
s
l
_map_coalesce: fix some regressions introduced b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
V
erd
o
olaege
add
i
sl_closur
e
t
e
st app
l
ication
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
a
d
d transitive closure
exam
p
le fro
m
Kelly's 1996 pape
r
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure: c
o
n
s
t
ruct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaeg
e
isl_map_transitive_closure: prepare f
o
r th
e
co
n
struction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
Verdool
a
ege
isl_map_tra
n
s
i
ti
v
e_closure: construct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolae
g
e
isl_transitive_closur
e
: extra
c
t
o
ut constructi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laeg
e
isl_map_
t
ra
n
s
itive
_
c
l
osure: use
m
ore generic
a
cyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Ve
r
doolaege
isl_map_pri
n
t:
a
d
d
par
e
nthese
s
around disjun
c
ts
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
isl_hash_ta
b
l
e: use size
that cor
r
esponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erd
o
olaege
i
s
l_hash_table: grow
table w
h
en we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_map_coalesce
:
onl
y
use n
o
n-redu
n
dant cons
t
raint
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Ver
d
o
o
laege
add isl_
s
et
_
fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolae
g
e
isl_map_read: accept
chains o
f
comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
export isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n
Ve
r
doolaege
isl_ma
p
_read: forget exi
s
tentia
l
l
y quantified
variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
a
e
ge
isl_input
.
c: r
e
move needl
e
ss indirectio
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
la
e
ge
do
c
: document
h
ow to in
s
pect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Ver
d
oolaege
export isl_map_co
m
p
ute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoolaege
isl_constraint_div:
m
ake sure requested div is a k
n
own div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: drop d
o
cu
m
entatio
n
of _
d
u
m
p functions
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolaege
isl_
m
ap_print: imp
r
ove output
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
add
i
s
l_
b
a
s
i
c
_map_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdo
o
laege
i
s
l_map_coalesc
e
: handle more
c
ases
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdo
o
la
e
ge
privately expo
r
t isl_set_
w
rap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ver
d
o
o
laege
i
sl_convex_hull
.
c: wrap_facet: allow unbounded
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoo
l
aege
d
o
c: improv
e
d
e
cri
p
tion of i
s
l_map
_
t
r
ansi
t
ive_closur
e
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
r
doolaege
isl_map_transi
t
ive_closure: improve te
s
t
for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
eg
e
add a counter example
for
Theorem 1 of the C
O
COA
p
ap
e
r
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoola
e
ge
add is
l
_map_low
e
r_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_map_
p
ower: coalesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
isl_f
l
ow
.
c: add
missi
n
g
is
l
_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
i
s
l_c
o
alesce
.
c: fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolae
g
e
i
s
l_map_r
e
a
d
: accept lis
t
s
of
aff
i
ne expressi
o
ns in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdoolaege
add isl_mat
_
fr
o
m
_
row
_
vec and
isl_m
a
t_
v
e
c_con
c
at
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
i
s
l_map_
r
ead: re
a
d
e
x
tended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verd
o
olaege
add isl_stream_nex
t
_
token_on_
s
ame_line
commit
|
commitdiff
|
tree
2010-02-04
S
ven Ver
d
oo
l
aege
isl_map_read:
make sure polylib constraint co
e
fficient
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
er
d
oolaeg
e
isl_{m
a
p
,
s
e
t}_dim: handle NULL
i
n
put
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
do
o
laege
isl_ma
p
_read: use more uniform w
a
y
o
f
rea
d
ing in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n V
e
rdoolaege
i
s
l
_
tran
s
iti
v
e_clo
s
ure
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
ola
e
ge
isl_map_transitive_
c
los
u
re: use more
r
elax
e
d
ex
a
ct
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add i
s
l_ma
p
_po
w
e
r and isl_ma
p
_
t
ransiti
v
e_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_su
b
tract
.
c: make some in
t
ernal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoo
l
aege
add gene
r
i
c isl
_
map_
p
rojec
t
_
out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
i
sl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
ola
e
ge
rename
i
sl_{map,set}_add
to isl_
{
map,set}_a
d
d_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_set_project_out: always
up
d
ate di
m
ension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
erdo
o
laege
i
sl_dim_join: don't require nam
e
s of join
e
d variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n Verdoolaege
add i
s
l_map_from_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
oo
l
a
ege
isl_stre
a
m
:
treat "-" as operator rather than a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoo
l
a
e
ge
isl_map_re
a
d: acc
e
pt "
s
t
rict
"
ine
q
ualiti
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oola
e
g
e
i
s
l_in
p
u
t
.
c: fix
memory deallocation proble
m
on missi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Ve
r
doolaege
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
add isl_map_
{
partia
l
_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add private isl_{se
t
,map}_make
_
disjoin
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
bas
i
s_reductio
n
_
t
e
m
pl
.
c: fix typo in
comm
e
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
a
e
ge
isl_tab_pip
.
c: find_sol
u
tion
s
:
break when conte
x
t
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
is
l
_d
i
m_eq
u
al: don't require names of
i
nput and o
u
t
put
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_map: properly
d
uplicate names
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoola
e
ge
is
l
_
dim_
d
r
o
p: prop
e
rl
y
adjust length
o
f
names a
r
r
a
y
commit
|
commitdiff
|
tree
2010-01-26
S
v
en V
e
rdoolaege
d
o
c: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
rdoolaege
doc: describe input/outpu
t
formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
d
oolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verd
o
o
laeg
e
add isl
_
c
a
t test ap
p
lication
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add omega
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add isl o
u
t
p
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_test:
u
s
e
isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
lae
g
e
add
i
sl_set_read_
f
rom_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
add isl_map_read_fro
m
_st
r
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
e
rdoolaege
i
s
l
_
m
ap_read_f
r
om_
f
i
l
e: allo
w
unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_basic_map_read:
r
ea
d
d
efinitions of exist
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privatel
y
e
x
po
r
t isl_
b
asic_map_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basic_map_re
a
d
:
r
ead aff
i
ne constrai
n
t as two aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ve
r
doolaeg
e
isl_input
.
c:
optionally re
a
d parameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
to
k
enizer:
a
ccept
"
a
nd" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolae
g
e
export isl_m
a
p_read_from_f
i
le
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoola
e
ge
exp
o
rt
isl_basic_map_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redundant inpu
t
_
format argume
n
t f
r
om reading funct
i
ons
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_input
.
c: merge fu
n
ct
i
ons for readi
n
g PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
isl_input_omega
.
c
: accept P
o
lyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
r
do
o
la
e
ge
i
s
l
_inpu
t
_
om
e
ga
.
c: prepare
f
o
r
reading p
a
rametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_input_omega
.
c: fin
a
lize and simplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoolaege
i
sl_input
_
omega
.
c: fix check for
m
emory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ver
d
o
o
la
e
ge
isl_s
t
ream_nex
t
_to
k
en: skip comm
e
nt lines
commit
|
commitdiff
|
tree
next