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_set_wrap_facet: make sure set is marked rational
2010-03-04
S
v
en Verdoolaege
isl_set_wrap_f
a
c
e
t:
make sure set i
s
marked ratio
n
al
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
doolaege
isl_coales
c
e
.
c: fix ty
p
o in
c
ommen
t
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaeg
e
isl_map_read: accept lis
t
of predicat
e
d e
l
e
m
ent
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
aege
isl_m
a
p_read:
e
xtract
o
ut parsing of
map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_read:
ad
d
dummy var
i
able name for unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoo
l
aege
isl_stream:
a
ccept ";" token
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoo
l
aege
use -O1 optimi
z
ation lev
e
l for gc
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
laege
drop co
m
ma a
t
th
e
end of enumerations in inc
l
ude files
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaege
isl_map
_
read: accept a
f
fi
n
e combinations
of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdool
a
ege
is
l
_map_r
e
ad: construct
basic
m
ap w
h
ile
reading v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
laege
isl_map_print: a
d
d primes to
d
uplicate n
a
m
e
s
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n
V
erdoolaege
is
l
_map_transitive_closure: improv
e
accur
a
c
y
by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
isl_map_tr
a
n
sitive_clo
s
ure: pe
r
form e
x
a
c
tness che
c
k
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Ve
r
do
o
l
a
ege
isl_
m
ap_
t
ra
n
sitive_closure: reformulate e
x
actnes
s
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doo
l
aege
a
dd a tra
n
s
i
tiv
e
closure
e
xample from
the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdo
o
l
a
ege
isl
_
map_transitive
_
closure: compute po
w
e
r on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Verdoolaege
isl_
m
ap_transi
t
ive_
c
l
osure: in
t
e
rsect
w
ith domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolae
g
e
isl_m
a
p
_
t
ran
s
itive_closure
:
extract o
u
t co
n
stru
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_
t
ransitive_closure: move
acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doola
e
ge
add i
s
l_se
t
_low
e
r
_bound_si
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoola
e
ge
isl_
m
ap_p
r
int: use consi
s
tent
n
am
e
s
o
n a
l
l disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_cat: allow s
p
ecification
o
f o
u
tput for
m
at on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolae
g
e
isl_ma
p
_p
r
i
nt:
s
u
p
port ISL_
F
ORMAT
_
POLYL
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
er
d
oolaege
isl_
m
ap_coalesce: fi
x
some regress
i
ons int
r
o
d
uced
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
add isl_closure test applicatio
n
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdo
o
laege
add transiti
v
e cl
o
sure exampl
e
from
Ke
l
ly's
1996 pap
e
r
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
i
s
l
_
map_transitive_closure:
c
on
s
truc
t
general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap
_
transitive_
c
losure: prepare f
o
r th
e
c
o
nstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
d
o
olaege
isl_map_
t
ransitive_closure: c
o
nstruct
p
ath
s
t
h
at ca
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_transitive_closure:
e
xtract out constructi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_clo
s
ure: use more
generic acy
c
licity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ve
r
do
o
laege
isl
_
ma
p
_print: add parenthese
s
around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_has
h
_
t
able: use siz
e
t
h
at corresponds to the numb
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
o
l
aege
isl_hash_table: gro
w
ta
b
le when we run out
of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap_
c
oalesce: only
use non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Ve
r
d
oolaege
add isl_set_f
i
x
_
si
commit
|
commitdiff
|
tree
2010-02-13
Sven Ve
r
doolaege
i
sl_ma
p
_
r
ead: a
c
cept chains of compar
i
sons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
export isl_map
_
align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
aege
isl_m
a
p_
r
ead: fo
r
g
e
t
e
xistentially quantified va
r
ia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n
Verdoolaege
isl_input
.
c: re
m
ove needless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: do
c
u
m
ent how to inspec
t
sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdool
a
ege
export isl_map_compu
t
e
_
div
s
commit
|
commitdiff
|
tree
2010-02-09
S
ven Ve
r
d
oolae
g
e
isl_
c
onstraint
_
div: make su
r
e requested div i
s
a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
doc
:
drop d
o
cumentation o
f
_dump fun
c
tio
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolaege
isl_map_p
r
i
n
t
:
improve outp
u
t
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
a
d
d isl_basic_map_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_coalesce: handle
more c
a
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
privately export
i
sl_set_wr
a
p_fac
e
t
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdo
o
laege
isl_convex_hull
.
c
: w
r
ap_facet: allow unbound
e
d fa
c
ets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
d
oc: improv
e
decriptio
n
of isl_map_tr
a
ns
i
tive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_ma
p
_
t
ransitive_
c
losure: impro
v
e te
s
t for exac
t
ness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
add a
c
o
un
t
er example for Theo
r
em 1 of
t
he COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add
i
sl_map_l
o
wer_bound_si
commit
|
commitdiff
|
tree
2010-02-08
S
v
en V
e
rdoolaege
isl
_
map_power: coalesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
isl_flow
.
c: add mi
s
sing isl_acces
s
_inf
o
_free re
t
urn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
i
s
l
_coalesce
.
c:
f
i
x
typo in c
o
mment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoo
l
aege
include/isl_in
t
.
h:
a
rgument of mp_ge
t
_memory_f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: accept lis
t
s of a
f
f
i
n
e expressions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
add i
s
l_m
a
t
_
fr
o
m
_
row_v
e
c a
n
d
i
sl_mat_vec
_
conca
t
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
V
erdoolaege
is
l
_
map_rea
d
: read extended poly
l
ib f
o
rmat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
ae
g
e
add isl_stream_ne
x
t
_
token
_
o
n
_same
_
l
ine
commit
|
commitdiff
|
tree
2010-02-04
S
ve
n
Verd
o
o
l
aege
isl_map_read: make sure
p
oly
l
ib constraint c
o
e
f
ficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_{map,s
e
t}_dim: handle
NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_map_
r
ead:
use
m
ore uniform wa
y
o
f reading in po
l
y
li
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_
t
ransiti
v
e
_
closure
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl
_
map_transitiv
e
_closu
r
e: use more relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olae
g
e
a
dd is
l
_ma
p
_power and is
l
_ma
p
_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_subtr
a
ct
.
c: make some internal
fu
n
ctio
n
s stat
i
c
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
add generic isl_m
a
p_projec
t
_out
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoo
l
a
e
g
e
a
d
d isl_{m
a
p,set}_a
d
d
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ve
r
doolaege
rename isl_{map,set}_a
d
d to isl_{ma
p
,s
e
t}_add_b
a
sic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
ol
a
eg
e
isl_set_p
r
oject
_
out: al
w
a
ys update dimen
s
io
n
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_di
m
_j
o
in: don't require names
of joined var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
ad
d
isl
_
m
ap_f
r
om_doma
i
n
_and_ra
n
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
isl_stream: treat "-
"
a
s operator rather than as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_re
a
d: accept "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_input
.
c
:
fix memory deallo
c
ation pro
b
l
e
m on
m
issi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
a
d
d
d
ependence an
a
lysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olae
g
e
a
d
d isl_map_{
p
art
i
al_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add priva
t
e
i
sl_{set,map}_make_d
i
sjoi
n
t
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
b
asis_reduction
_
templ
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab_pip
.
c: find
_
solutions: br
e
ak
w
h
en context become
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdo
o
l
a
ege
isl_dim_equa
l
:
don't req
u
ire name
s
of input and ou
t
p
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_
d
im_map: pro
p
e
rly dup
l
icate na
m
es
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoo
l
ae
g
e
isl_d
i
m_drop:
pr
o
pe
r
l
y adjust length of names
a
rray
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdo
o
laeg
e
doc: a bit more o
n
inte
g
ers
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
doc:
d
escribe i
n
put/output formats
commit
|
commitdiff
|
tree
2010-01-26
S
ve
n
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdo
o
laege
a
d
d isl_cat test
a
ppli
c
ati
o
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add ome
g
a output
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verd
o
olaege
add is
l
output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
erdoolaege
isl_tes
t
:
use isl_
s
et_read_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doola
e
ge
add
isl
_
set_read_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
add isl_m
a
p_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Verdo
o
laege
isl_map_re
a
d_f
r
om_fil
e
: allow unio
n
s
in i
s
l format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdoolaege
isl_ba
s
i
c
_m
a
p_read: read defi
n
i
t
ions of
exist
e
ntial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoola
e
g
e
privately export
i
s
l
_ba
s
ic_m
a
p_a
d
d_div_constra
i
nts
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_
b
asic
_
map_read: read
aff
i
ne co
n
s
t
rain
t
as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_i
n
put
.
c: optionally read param
e
ters fr
o
m
input
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdool
a
ege
tok
e
nizer: accept
"
a
nd" keyword
commit
|
commitdiff
|
tree
next