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
Sven Verdoolaege
i
s
l_stream_next
_
t
o
ken_on_same_line:
check if last
token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_set_wrap_facet: m
a
ke sure set is mark
e
d rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
a
ege
isl
_
coal
e
sce
.
c
: fix typ
o
in co
m
ment
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdool
a
e
ge
isl_map_read: ac
c
e
p
t list
of
p
redicated el
e
ments
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_r
e
ad: extract o
u
t parsing of map
b
ody
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n V
e
rdoo
l
aege
isl_map_rea
d
: add dummy
v
a
r
iable name
f
o
r
u
nname
d
variables
commit
|
commitdiff
|
tree
2010-02-19
S
ven
Verdoolaege
isl_stream: accept ";
"
token
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
do
o
laege
use
-O1 opti
m
i
z
atio
n
le
v
el
f
or gcc
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoolae
g
e
drop c
o
mma at
the end of enumeration
s
in include files
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoo
l
aege
isl_map_read: ac
c
ept a
f
fi
n
e combinations of earl
i
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaeg
e
i
s
l_map_read: co
n
struct basic m
a
p
while rea
d
i
n
g
va
r
i
a
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdo
o
laege
isl_ma
p
_prin
t
: add primes to du
p
lic
a
te names
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_tra
n
sitiv
e
_closure:
improv
e
accuracy by c
o
pying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Ver
d
o
olaege
is
l
_map
_
transit
i
ve_closu
r
e:
p
erform exactne
s
s
check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolaege
isl_
m
ap_
t
ransitive_closure: reformulate exactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en V
e
rdoolaege
add a transitive c
l
o
s
u
r
e ex
a
mple from the O
m
ega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdo
o
l
a
ege
isl_map_transitive_
c
lo
s
ure: compute powe
r
on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
a
e
ge
isl_map_t
r
an
s
itive_closure: intersect wi
t
h do
m
a
i
n and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verd
o
olaege
isl_map_transitive_closure:
e
x
tract o
u
t constr
u
ction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
i
s
l_
m
ap_transiti
v
e_closure: move acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
add isl_se
t
_lower_bo
u
nd_si
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n
Verdoo
l
aeg
e
i
sl_map_pri
n
t: use co
n
siste
n
t
names on all
d
i
sju
n
c
ts
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
rdoolaeg
e
isl
_
cat: a
l
low
s
pecification of output
format on comma
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
V
erdoolaege
isl_map_print
:
supp
o
rt ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
i
s
l_ma
p
_
coalesce: fix
som
e
regre
s
sions in
t
roduce
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
V
erdoolaege
add isl_closure
t
est app
l
ication
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add tran
s
itive c
l
osure ex
a
m
p
le from Ke
l
ly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
map_transitive_closure: co
n
s
t
ruct genera
l
paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
d
o
olae
g
e
isl_map_tran
s
itive_
c
losure: pre
p
ar
e
for the constructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoola
e
g
e
is
l
_map_transi
t
ive_closu
r
e: co
n
struc
t
paths tha
t
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_transitive_cl
o
s
u
re: extract out con
s
t
r
ucti
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdo
o
l
a
eg
e
i
sl
_
m
ap_t
r
ansitive_closur
e
: use more generic
ac
y
clicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
er
d
o
o
l
aeg
e
isl_map
_
pr
i
nt:
a
dd parentheses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_hash_table: use size tha
t
corr
e
s
p
onds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_h
a
sh_table: grow table wh
e
n we ru
n
out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
isl
_
map_coalesce: only use non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Ver
d
o
o
la
e
g
e
add i
s
l_s
e
t_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdool
a
eg
e
i
s
l_ma
p
_read:
accept chains of com
p
arisons
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoo
l
aege
export is
l
_ma
p
_align_
d
ivs
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdoolaeg
e
isl_m
a
p_read: for
g
et exist
e
ntiall
y
quantified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
do
o
laege
isl_inpu
t
.
c: remove needless ind
i
rection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
d
oc: document how t
o
ins
p
ec
t
sets and r
e
lations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
expo
r
t isl_m
a
p_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
isl_cons
t
raint_div: make su
r
e requested div is a
known div
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Verdoo
l
aege
doc:
d
rop docu
m
e
n
ta
t
io
n
of _du
m
p
f
un
c
tions
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
isl_map_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolaeg
e
add isl_ba
s
i
c
_map_foreac
h
_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
is
l
_map
_
coalesce: han
d
le more
cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n V
e
r
d
oolaege
privat
e
ly e
x
p
ort i
s
l_
s
et_wrap_f
a
cet
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl_convex_hull
.
c: wrap_face
t
: allow un
b
ounded f
a
cets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
doc: improv
e
decription of isl_map_tr
a
nsitive
_
closur
e
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
V
erdoolaege
isl_m
a
p_
t
r
ansitive
_
closure:
i
mprove tes
t
for exactne
s
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
a
d
d a coun
t
er example for
T
h
e
orem 1 of the COCOA pape
r
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
ola
e
ge
a
d
d isl_map_
l
ower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_
m
ap_power: coalesce do
m
ain and r
a
nge
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
is
l
_
f
low
.
c: add mi
s
sin
g
i
sl_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n V
e
rdoolaege
isl_
c
oales
c
e
.
c:
f
ix typo in
comm
e
nt
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
include
/
is
l
_int
.
h: ar
g
um
e
nt
o
f
mp_get_memory_f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_m
a
p_read: a
c
cept lists of affine e
x
press
i
ons in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
d
o
olaege
ad
d
isl_mat_from_row
_
vec and isl_
m
at_v
e
c
_
concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
i
s
l_map_read: re
a
d extended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
a
dd isl_str
e
am
_
n
ex
t
_
t
oken_on_same
_
line
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolae
g
e
isl_map_read:
make sure polyl
i
b
con
s
traint
coeffici
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Ve
r
doo
l
aege
isl_{map,
s
e
t
}_dim
:
h
a
ndle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
i
s
l_map_read
:
use more un
i
form
way of
r
e
a
ding in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_tr
a
nsitive_closur
e
.
c:
fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdoolaege
isl_map
_
transit
i
v
e
_
closur
e
:
us
e
more relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
ad
d
isl_map_pow
e
r and isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
isl
_
map
_
subtract
.
c: make so
m
e interna
l
fun
c
tions static
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ver
d
o
olaeg
e
add gen
e
ric isl_map_project
_
out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_{map,s
e
t}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
rename isl_{m
a
p,set}_add to isl_{m
a
p,set
}
_add_ba
s
ic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ve
r
d
o
o
laeg
e
isl_set_pr
o
ject_out: a
l
way
s
update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
o
laege
isl_
d
im_join:
d
o
n't
require n
a
mes of
j
oin
e
d varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aeg
e
ad
d
isl_map_fr
o
m
_
domain_an
d
_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_stream: tr
e
at "-"
a
s operator rat
h
er t
h
an as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl_map_rea
d
: acce
p
t "strict"
inequalities
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
Verdoolaege
isl_inpu
t
.
c: fix me
m
ory deallocati
o
n problem
o
n
miss
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add depend
e
nce ana
l
ysis
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
add
isl_map_{partial_,}l
e
x
o
pt
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
add pr
i
vate isl_{set,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basi
s
_reduction
_
templ
.
c: fi
x
typ
o
in
c
o
m
men
t
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rd
o
olaege
isl_
t
ab_pi
p
.
c: find_s
o
lutions:
break when
c
ontext beco
m
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
isl_dim_e
q
ual:
do
n
't requi
r
e names of input and o
u
tput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolae
g
e
isl_
d
im_map: properly dup
l
i
cate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
isl_dim_drop: pr
o
pe
r
ly adjust length
o
f names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
S
ve
n
Ver
d
o
o
laege
doc:
d
escribe inpu
t
/output f
o
rmats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
ge
doc: fix
typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
add
i
sl_cat
t
est application
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rdo
o
laege
a
dd omega output
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add
i
sl o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
isl_test: use isl
_
se
t
_r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add isl_set_read_
f
rom_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
i
sl_map_read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_map_read
_
fr
o
m_file:
a
llow unions in
i
sl
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
isl_basic_map
_
read: read def
i
nitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
private
l
y export
i
s
l
_basic_map_add_div
_
constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
oolaege
isl_basic
_
ma
p
_read: re
a
d
affine const
r
aint as two
a
ffine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolae
g
e
isl_input
.
c: op
t
io
n
all
y
read parame
t
ers from input
commit
|
commitdiff
|
tree
next