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_stream: accept ";" token
2010-02-19
Sven Verdoolaeg
e
isl_str
e
a
m: accept ";" tok
e
n
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
use -O1 optimiz
a
t
i
on level for
gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
d
r
op comm
a
at the en
d
o
f
enumerations
in
i
nclud
e
files
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_m
a
p_read: accept affine combinati
o
n
s
of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl_map_read: construct basic m
a
p while read
i
ng variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en
V
erdoolaege
isl_map_print: add primes to duplica
t
e names
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
s
l_map_tra
n
sitive_closure: imp
r
ove accuracy b
y
copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdo
o
laege
isl_map_transitive_c
l
osure: perform
exactness che
c
k
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolae
g
e
isl_map_transitive_closure: reformulate exact
n
ess test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verd
o
olaege
add a
t
r
ansitive clos
u
re example from t
h
e
Om
e
ga t
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoolaege
isl_map_
t
r
a
ns
i
tive_cl
o
sure: comput
e
power on
s
tro
n
gl
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_map_tr
a
nsitive_closur
e
: inters
e
ct with dom
a
in
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaege
isl_map_trans
i
ti
v
e_closure: ex
t
ract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_
m
ap_transi
t
ive_closu
r
e: move acyclicity test u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
add isl_se
t
_lower_bou
n
d_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_ma
p
_print: use con
s
iste
n
t n
a
mes
o
n all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
isl_cat: allow spe
c
ification of
out
p
ut forma
t
on comman
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
i
sl_map
_
print: suppo
r
t
ISL_FORM
A
T
_
POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
is
l
_
m
ap_co
a
l
esce: fix some regressions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ver
d
oolaege
add
isl_clo
s
ure test
a
ppl
i
ca
t
i
on
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
do
o
laeg
e
add
t
ransi
t
ive closur
e
exa
m
ple from
Kelly's 1996
paper
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdo
o
laege
i
sl_map_transitive_cl
o
sure: construc
t
general pat
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdool
a
ege
isl_m
a
p
_
tran
s
it
i
ve_closure: prepare for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_map_transi
t
iv
e
_
c
losure: construct paths
t
h
a
t can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_tra
n
sitive_c
l
o
s
u
re: extract out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
isl_map_tra
n
sitive_closu
r
e: use mo
r
e generic
acyc
l
i
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
i
s
l
_
map_prin
t
: add pare
n
t
h
e
s
e
s aro
u
n
d disjuncts
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
Verdoolaege
isl_hash_table: use size
that
corr
e
sponds t
o
the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
is
l
_
h
ash_table
:
g
r
o
w
table when we
r
u
n
o
ut o
f
entries
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_map
_
coal
e
sce: onl
y
use non-redundant c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
rdoola
e
ge
a
d
d isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoo
l
aege
isl_map_re
a
d: acce
p
t chains of com
p
arisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdo
o
l
aege
export isl_map
_
align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n Verdoolaege
isl_map_read:
forget exist
e
ntia
l
ly qu
a
n
ti
f
i
e
d
v
a
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
en
V
e
rdool
a
ege
isl_input
.
c: rem
o
ve
n
eedless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: docume
n
t how to insp
e
ct sets and relat
i
o
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Ver
d
oolaege
e
x
port
i
sl_map
_
compute_di
v
s
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Verdoolae
g
e
isl_c
o
n
straint_d
i
v: make su
r
e
requested d
i
v is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
d
o
c: drop documentation of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
isl_map_print: i
m
pr
o
ve outp
u
t
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Verd
o
o
l
aege
add isl_basic_map_fore
a
c
h
_const
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
la
e
ge
isl_
m
ap_coales
c
e:
h
andle mor
e
cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
ool
a
e
g
e
priva
t
ely export isl_set_w
r
ap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
isl_convex_hul
l
.
c:
wrap_facet
:
a
l
l
o
w unb
o
unde
d
face
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdool
a
ege
doc: improve decr
i
p
t
ion of
i
sl_
m
ap
_
tr
a
nsitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
i
sl_map_tra
n
si
t
i
v
e
_closure
:
improve test fo
r
exa
c
t
n
es
s
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ver
d
oolaege
add a cou
n
ter example fo
r
The
o
rem 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
a
d
d
is
l
_map_lower_b
o
und_si
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdo
o
laege
is
l
_m
a
p_pow
e
r: coales
c
e doma
i
n and
range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flow
.
c: add
missing isl_
a
c
c
ess_i
n
fo_free retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ver
d
oolaege
isl_coa
l
esce
.
c: fi
x
t
ypo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
include/isl
_
int
.
h: argument of
m
p
_get
_
m
e
m
o
ry
_
functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: accept
l
i
sts
of affine
e
xpress
i
ons
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
a
d
d isl_mat_from_row_vec
and isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoola
e
g
e
isl_map_re
a
d:
read extended
po
l
ylib format
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
add isl_stream_next_token_on_s
a
m
e
_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
i
s
l_map_rea
d
: make sure p
o
lylib con
s
traint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oo
l
aege
isl
_
{map,set}_dim:
h
a
n
dl
e
NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_ma
p
_
read:
u
se more un
i
form w
a
y of reading in poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_transit
i
v
e_cl
o
sure
.
c: fi
x
t
ypo
i
n comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_t
r
ansitive_closure: u
s
e more relaxed
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaeg
e
add isl_m
a
p_powe
r
and
i
sl_
m
ap_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_ma
p
_
s
ubtract
.
c:
make so
m
e
i
nt
e
rn
a
l functions st
a
tic
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdool
a
ege
a
dd generic isl_map_p
r
oject
_
out
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ver
d
oola
e
ge
a
d
d isl_{
m
ap,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoo
l
aege
rename isl_
{
map,se
t
}_a
d
d to isl_{map,set}_add_basic
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
is
l
_
s
et_project_o
u
t: always
update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
is
l
_dim_join: don't r
e
qui
r
e
names of
joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
a
dd isl_map_from_domai
n
_
a
n
d
_
rang
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolae
g
e
isl_st
r
eam
:
treat "-"
a
s
operator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_read: accept
"
strict
"
inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
e
g
e
isl_inpu
t
.
c: fix memory deallocation prob
l
em on mi
s
sing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdo
o
laege
add dep
e
nde
n
ce analy
s
is
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
V
erdool
a
ege
add isl_ma
p
_{parti
a
l_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
a
d
d pri
v
at
e
isl
_
{set,map}_m
a
ke_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
bas
i
s_reducti
o
n_templ
.
c
: fix ty
p
o
in comment
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Ver
d
oolaege
i
s
l_ta
b
_pip
.
c: find_solut
i
ons: br
e
a
k when
c
ont
e
xt becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim
_
equal: don'
t
r
e
q
u
ire names of
i
n
put
a
nd outpu
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_dim_m
a
p
: p
r
operly duplic
a
te names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_
d
im_d
r
op
:
p
roperly
a
d
j
u
s
t
leng
t
h of na
m
es arr
a
y
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n
V
erdoolaege
do
c
: a bi
t
more on integers
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoola
e
ge
doc: describe input/out
p
ut fo
r
m
a
ts
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ve
r
doolaege
a
d
d isl_cat
t
est application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verd
o
olaege
add isl outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
o
laege
isl_te
s
t: use
is
l
_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Verdoolaege
add isl_se
t
_read
_
from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ve
r
doolaege
a
dd
i
s
l_map_r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_m
a
p_read_from_f
i
le: all
o
w
u
nions in is
l
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdo
o
laege
isl_
b
a
sic_map_rea
d
: read definitions of
e
x
i
st
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
doola
e
ge
privately exp
o
rt is
l
_
basic_ma
p
_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
i
sl_b
a
sic_map_r
e
ad: read a
f
fine con
s
traint as two a
f
fine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
r
d
oolaege
is
l
_input
.
c: optionally
r
e
a
d param
e
t
ers from
i
nput
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
er
d
oolaege
tokenizer: accept "a
n
d" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
ex
p
ort isl_map_
r
ead
_
fro
m
_file
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdoolaege
export isl_basic
_
ma
p
_
read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laeg
e
drop redu
n
dant in
p
ut_format argument from re
a
ding functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c:
merge fun
c
tions for reading
P
olyLi
b
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
o
olaege
isl_input_omega
.
c: acce
p
t PolyLi
b
inpu
t
commit
|
commitdiff
|
tree
next