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
Sven V
e
rdoolaege
isl_map_read
:
accept lis
t
o
f
p
red
i
cated
elem
e
nts
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
s
l
_ma
p
_
r
ead: extract ou
t
parsi
n
g
of ma
p
b
ody
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoola
e
g
e
isl_map_read: a
d
d d
u
mmy variabl
e
name for un
n
amed variabl
e
s
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verd
o
olae
g
e
isl_stream:
accept ";" to
k
en
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
use -O1 o
p
timization l
e
vel
f
or gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
dro
p
co
m
m
a
at
t
h
e end of enumer
a
tions in
i
ncl
u
de fi
l
es
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
e
rdo
o
laege
isl_map
_
read:
a
ccept affin
e
c
ombina
t
ion
s
of ea
r
lier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaeg
e
is
l
_map_read: construc
t
basic m
a
p
wh
i
l
e
re
a
d
i
ng variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_
m
ap
_
print: add primes to d
u
p
l
icate n
a
mes
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_
m
a
p_transit
i
ve_c
l
os
u
re: improve accuracy by copyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoolaege
isl
_
map_tran
s
i
t
ive_clos
u
re: perform
e
x
actness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n
Verdoolaege
isl_map_transitive
_
closure: refo
r
mula
t
e exact
n
ess tes
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Ver
d
oolaege
add a tran
s
itive closu
r
e example
f
rom th
e
Omega t
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n
Verdoo
l
a
e
ge
isl
_
map
_
trans
i
tive_closure:
c
omp
u
t
e
pow
e
r on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
erdool
a
eg
e
isl_map_transitive_cl
o
sure:
i
ntersect
with d
o
mai
n
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Ver
d
o
o
laege
isl_map_t
r
an
s
itive_cl
o
sure: extract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
isl_
m
ap_t
r
ans
i
tive_closur
e
: move ac
y
clicity tes
t
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
add isl
_
s
e
t_lower_boun
d
_si
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoola
e
ge
isl_map_print: use cons
i
s
t
en
t
names on all disju
n
ct
s
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erd
o
olaege
isl_cat:
a
llow speci
f
ication of outp
u
t format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map
_
print: support ISL_FOR
M
AT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdo
o
la
e
ge
isl_map_coa
l
esce
:
fix some regression
s
introd
u
ced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
rdool
a
ege
add
i
sl_closure test
a
pplication
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add t
r
ans
i
tiv
e
c
l
osure ex
a
mple from Kelly's 1996
p
a
per
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
Verdoolae
g
e
isl_
m
ap_transitive_c
l
o
s
ure
:
construc
t
general paths
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdool
a
ege
isl_map_transitive_closu
r
e: p
r
e
p
are for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven
V
erdoolaege
i
s
l_m
a
p_transit
i
ve_closure: construct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_tran
s
i
tive_closure
:
extract out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdool
a
ege
isl_
m
ap_transitive_c
l
osure: use more generi
c
acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_m
a
p_p
r
i
n
t
: add parentheses around d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
d
oolaege
isl
_
hash_t
a
ble: use size that cor
r
esp
o
nds to
t
he n
u
mber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl_hash_table: grow tab
l
e
when w
e
run out
o
f
e
ntrie
s
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
Verdoolaege
isl_map_coalesce: o
n
ly use non-
r
ed
u
ndant
c
onstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
ven Verdoola
e
ge
ad
d
i
s
l_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erdoolaege
i
s
l
_map_read: accept chains
of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
e
xp
o
rt isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
v
en
V
erdoolaege
is
l
_ma
p
_re
a
d:
f
orget existentially quantifie
d
varia
b
le
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
doolaege
isl_input
.
c
:
remove needl
e
ss i
n
d
i
r
ection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
l
a
eg
e
doc: document how to
inspect sets
a
nd
relati
o
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdool
a
ege
e
xpor
t
isl_map_comput
e
_
divs
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
isl_constraint_div: make sure
r
e
quested div is
a known d
i
v
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
d
oc:
d
rop
d
ocument
a
t
i
on
o
f
_dump functions
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
V
erdoolaege
isl_map_pri
n
t: impr
o
ve
o
utput
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoolaege
add isl
_
basic
_
map_f
o
re
a
c
h
_constrain
t
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
V
erdoolaege
isl_map_coalesce: handle mo
r
e
cases
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdo
o
laege
privately exp
o
r
t isl_s
e
t_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
isl_convex_hull
.
c:
w
rap_facet: al
l
ow unbou
n
ded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaeg
e
doc
:
improv
e
d
ecription of isl_m
a
p_transi
t
i
ve
_
closur
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
isl_map
_
t
r
a
nsitiv
e
_cl
o
sure:
i
mprove t
e
st f
o
r e
x
a
c
tness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
add a counter
exa
m
ple
for Theorem 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
ad
d
isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoola
e
g
e
i
s
l_map_power: coalesce domain a
n
d
r
ange
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaeg
e
isl_
f
low
.
c: add missing
i
sl_access_info
_
free retur
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
i
sl
_
coalesce
.
c:
f
ix t
y
po in comm
e
n
t
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdool
a
e
g
e
include/isl_i
n
t
.
h
:
argument of
mp_g
e
t_memory_
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdo
o
laege
isl_map_rea
d
:
a
ccept lists of a
f
fine expression
s
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
add isl_m
a
t_from_row_vec
a
nd isl_mat_vec_
c
o
n
cat
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
is
l
_map_read: r
e
ad exte
n
ded polylib forma
t
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdool
a
ege
a
d
d i
s
l_stream_next_t
o
ken_on
_
sa
m
e
_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_
m
ap_re
a
d:
m
ake
sure polylib constrain
t
coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ve
r
doolaege
isl_{
m
ap,set}_dim: handle
NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
d
ool
a
ege
isl_m
a
p_rea
d
: use mor
e
uniform way of re
a
ding in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
isl_transitive_cl
o
sure
.
c:
f
ix typo
in comm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_map_transitive_cl
o
sure: use more r
e
laxed exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
add is
l
_map_po
w
er and
i
sl_map_transitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_m
a
p
_
s
u
btrac
t
.
c
:
make some internal
functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
g
eneric isl
_
ma
p
_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdo
o
l
aege
a
dd isl_{m
a
p
,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
rename isl_{map,
s
et}_add to isl
_
{map,set}_add_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl
_
set_project_out:
a
lways update di
m
ens
i
on
,
e
v
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolaeg
e
i
s
l_dim_join
:
don
'
t require names
of joi
n
ed variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
ad
d
isl_ma
p
_from_domain
_
and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
isl_stream: treat "-" as operator rather
than as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolaege
isl_map_r
e
a
d
: accept "st
r
ict" ine
q
ualities
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ver
d
oolaege
isl_inp
u
t
.
c: fix memory
d
e
allocation pro
b
lem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add depende
n
ce a
n
aly
s
is
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add isl_ma
p
_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
ven Ver
d
o
olaege
a
d
d private is
l
_{set,map
}
_make_
d
i
sjoint
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verdoolaege
basis_reduction_tem
p
l
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdo
o
laege
isl_t
a
b
_pip
.
c: find_solutions
:
break when
c
o
n
text beco
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
isl_dim_equa
l
: don't require names of inpu
t
a
n
d o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
isl_dim_m
a
p
: properly duplicate n
a
mes
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
isl_dim_drop: pr
o
perly adjust
l
ength of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
rdoolaege
doc: a b
i
t
m
ore on inte
g
er
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
olaege
doc: describ
e
input/output format
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fi
x
typ
o
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
add isl_cat
test a
p
plication
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega outpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
o
olaege
a
d
d isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolae
g
e
isl_test: us
e
isl_
s
e
t
_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add i
s
l_set_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdool
a
ege
add isl_map_read_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_
m
ap_re
a
d_from_file: a
l
low
u
n
ions in
isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ver
d
oola
e
ge
isl_basic_map_read: read
d
efiniti
o
n
s
of existentia
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaeg
e
privatel
y
export i
s
l_basic_m
a
p_a
d
d_div
_
const
r
aints
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
isl_
b
asic_map_read:
r
e
a
d affi
n
e const
r
aint as t
w
o affin
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
rd
o
olaege
isl_input
.
c:
opti
o
nal
l
y rea
d
parameters
f
ro
m
inp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
to
k
enizer: acce
p
t "and"
k
ey
w
ord
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoola
e
ge
e
xport isl_map_
r
ead_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export i
s
l
_
bas
i
c_map_read_from_str
commit
|
commitdiff
|
tree
next