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_next_token_on_same_line: check if last token read was a newline
2010-03-04
S
ven
V
erdoo
l
a
e
ge
isl_stream_next_tok
e
n
_o
n
_same_line: check i
f
last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoola
e
ge
isl_set_wr
a
p_facet: make sure set is
marked rat
i
o
n
a
l
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_c
o
alesce
.
c: fi
x
typo in
c
omment
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verdo
o
lae
g
e
isl_m
a
p_read
:
acc
e
pt l
i
s
t of predicat
e
d
elements
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoolaege
isl_map_r
e
a
d
:
extract out parsing o
f
map body
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolaege
i
s
l
_
m
a
p_r
e
ad: add dummy
v
a
riable name for unnamed
v
a
r
iables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_stream: accept ";" t
o
ken
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
use
-O1
o
ptimizat
i
o
n
l
evel for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
S
ven V
e
rdoola
e
ge
drop
comma
a
t
the end of e
n
umerations
i
n inc
l
ude
f
iles
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Ver
d
o
olaege
isl
_
map_read: ac
c
ept a
f
fine
c
ombinations
of
e
arlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl
_
map_read: constru
c
t
basic map while reading v
a
riab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolaeg
e
isl
_
map_print: add primes to
d
uplicate n
a
m
e
s
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
isl_map_transit
i
ve_closure:
i
mprove accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdool
a
ege
isl
_
m
a
p_transitive_closure:
perform
e
xactness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolae
g
e
isl_map_tran
s
itive_closure: reformulate exactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a trans
i
tive closure example from the Om
e
ga test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
isl_map_transitive_cl
o
sure: c
o
mpute
po
w
er on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
V
erdoo
l
aege
isl_map_transitive_closure: intersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoo
l
aege
isl_map_
t
r
an
s
itive_
c
losure:
ext
r
act ou
t
construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_m
a
p_tran
s
itive_closure: move
a
cyclicity test
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaeg
e
add isl_set_lowe
r
_bound
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl
_
m
a
p
_
print: use co
n
si
s
tent names on all disjunct
s
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
d
oolaege
isl_cat:
allow spec
i
ficati
o
n of o
u
tput fo
r
mat
on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l_
m
ap_pr
i
nt: support ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
is
l
_map_
c
oale
s
ce: fix
some regress
i
ons intr
o
duc
e
d by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
a
dd isl_closure
test ap
p
lication
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add transitive closure example from
K
elly's
1
9
96 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl_map
_
tra
n
sitive_c
l
o
sure: con
s
truct general p
a
t
hs
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l
_map
_
t
r
ansitive_c
l
osure:
prepare fo
r
the constructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ve
r
doo
l
aege
isl_map_transitive
_
closur
e
:
construct paths
that
c
an
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erd
o
ol
a
ege
isl_
t
ransitive_closur
e
: extra
c
t out
constructio
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
i
s
l
_
map_transiti
v
e_closure:
u
se more gen
e
ric
a
c
yclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolae
g
e
isl_map_prin
t
: add par
e
n
t
hese
s
aro
u
n
d
di
s
junct
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
isl_
h
ash
_
table: use si
z
e that corresp
o
nds t
o
the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
hash_table: g
r
ow table when w
e
r
un out of entrie
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_map_coalesc
e
:
o
nly use non-redundan
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
ven Verdoolaege
a
d
d
isl_set_fi
x
_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoola
e
ge
isl_map_read: accept
c
hains
o
f
c
omparis
o
ns
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
do
o
lae
g
e
export i
s
l_m
a
p_al
i
gn_divs
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Verdoolaeg
e
isl_m
a
p_read: forget existentially quant
i
fied variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolae
g
e
isl_inp
u
t
.
c: r
e
move needl
e
ss
i
ndirection
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdo
o
laege
do
c
:
d
o
cu
m
e
n
t
ho
w
to inspect sets and relat
i
ons
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
ex
p
ort isl_map_
c
o
m
p
u
t
e_divs
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Verdoolaege
is
l
_const
r
aint_div: make s
u
re
r
equested div is a kno
w
n
d
iv
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Ve
r
doolaege
do
c
:
d
rop d
o
cume
n
tati
o
n of _du
m
p functions
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
e
r
d
o
o
l
aege
isl_m
a
p_print
:
improve output
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verd
o
olaege
add isl_basic_ma
p
_forea
c
h
_cons
t
raint
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
V
e
rdoolaeg
e
isl
_
map_co
a
lesce: handle mor
e
cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
privatel
y
ex
p
o
r
t
isl
_
set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdool
a
ege
is
l
_conv
e
x_h
u
ll
.
c:
wrap_facet: allow unbound
e
d face
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
d
oc: im
p
rove decript
i
on of
isl_map_transitive_c
l
o
s
ur
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl
_
map_trans
i
tive_clo
s
ure
:
imp
r
ov
e
test for e
x
a
ctness
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoo
l
aege
add a
c
oun
t
e
r example f
o
r
Theorem 1 of the COC
O
A
p
aper
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdool
a
ege
add isl_map_lowe
r
_bound_si
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
V
erdoolaege
isl
_
map_power
:
coalesce domain
a
nd range
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdo
o
laege
is
l
_fl
o
w
.
c: add missing isl_acc
e
ss_inf
o
_
fr
e
e return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
i
s
l_coalesce
.
c: f
i
x typo in c
o
mment
commit
|
commitdiff
|
tree
2010-02-07
Sven
Verdoolaege
includ
e
/isl_int
.
h: argument of mp_get_memory_funct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdo
o
l
aeg
e
isl_map_read: accep
t
lists
of a
f
f
ine
express
i
o
n
s in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Ver
d
oolaege
a
dd is
l
_
m
at
_
f
r
om
_
row_vec and
i
sl_mat_ve
c
_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_r
e
ad: read exte
n
ded
polyl
i
b format
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaeg
e
add isl_stream
_
next_t
o
k
en_on_same
_
line
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl_ma
p
_read
:
make sur
e
polylib
c
o
nstraint coef
f
icien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
e
g
e
isl_{map,set}_dim
:
h
andle
N
ULL in
p
u
t
commit
|
commitdiff
|
tree
2010-02-04
S
v
en V
e
rdool
a
ege
isl
_
m
ap_read:
use more uniform w
a
y of rea
d
ing in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdo
o
laege
isl_tr
a
nsitive_cl
o
sur
e
.
c:
fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_transitive_clos
u
re: us
e
mor
e
relax
e
d exactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
erdoolaege
add isl_map_power and isl_map_transitive_clos
u
re
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl
_
map_subtract
.
c:
m
ake some internal funct
i
ons static
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
add generic
isl
_
m
a
p
_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
re
n
ame isl_
{
map,se
t
}_add to
i
sl_{
m
a
p,set
}
_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl_se
t
_pr
o
j
e
c
t
_out: always
update dim
e
nsion, e
v
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_dim
_
j
oin: don't require names
o
f
j
o
ine
d
v
a
riabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaeg
e
a
d
d isl_map_from_do
m
ain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_stream: treat
"-"
a
s operator rat
h
er than as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_read: accept "strict" in
e
qual
i
ties
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verd
o
olaege
isl_inpu
t
.
c: f
i
x mem
o
ry deallo
c
ati
o
n problem
o
n missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
add
d
e
p
e
ndence ana
l
ysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
dd isl_map
_
{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
a
ege
add privat
e
isl_{set,map
}
_ma
k
e
_dis
j
oin
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basis_reduc
t
io
n
_
tem
p
l
.
c: fi
x
typo in comme
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
isl_tab_
p
ip
.
c: find_
s
olutions
:
break when context become
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
is
l
_
dim_
e
qua
l
: don't
require n
a
mes of inp
u
t and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laeg
e
i
s
l_dim
_
map: proper
l
y dupl
i
cate
n
ames
commit
|
commitdiff
|
tree
2010-01-31
S
ve
n
Verd
o
olaege
isl_dim_drop: properly adjust length of names
array
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoolaege
doc: a bit m
o
r
e
on i
n
tegers
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
o
olaege
doc:
describe
i
nput/output
f
ormats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
e
ge
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ve
r
doolae
g
e
add isl
_
cat test application
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Ve
r
d
oo
l
a
ege
a
d
d
omega
o
ut
p
ut
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
oola
e
ge
add i
s
l
o
utput
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
isl_test: use isl_set_re
a
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
add isl_set_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
d
d isl_
m
ap
_
read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
is
l
_
m
ap_read_
f
rom_f
i
le:
a
llow unions in is
l
for
m
at
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_basic_map
_
read: read def
i
n
i
tions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oola
e
g
e
privat
e
ly
export
i
sl_basi
c
_
m
ap_ad
d
_d
i
v_co
n
straint
s
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
i
sl_basi
c
_m
a
p_read: r
e
ad
affine co
n
straint a
s
two
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Ve
r
doolaege
isl_input
.
c: opt
i
onally read parameters from input
commit
|
commitdiff
|
tree
next