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
add isl_set_fast_is_universe
2010-03-04
Sven Verdoola
e
ge
add
i
sl_s
e
t_fast_is
_
u
ni
v
er
s
e
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdo
o
laege
isl_in
p
ut
.
c:
a
c
c
ep
t
_affin
e
: fix memory
l
eak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verd
o
o
laege
isl_map_intersect: detect
emp
t
y result also in ca
s
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolae
g
e
isl_map_read: skip until the end of the last
l
i
ne when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_s
t
ream_
n
ext_token_on
_
sam
e
_lin
e
: check if
l
a
s
t
token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoolaege
isl
_
se
t
_wr
a
p_facet: make sure
set is ma
r
k
ed rati
o
nal
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoola
e
ge
isl_coalesce
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olae
g
e
isl_map
_
r
ead: accept list of pr
e
dicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sven
Ve
r
d
o
o
laege
is
l
_ma
p
_re
a
d:
extr
a
ct
out
parsi
n
g of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rd
o
olaege
isl_map_rea
d
: add du
m
m
y
variable
name f
o
r
u
nname
d
va
r
i
abl
e
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
isl_stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
u
se -O1 optimization l
e
vel fo
r
gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
isl_map_read: accept affine c
o
m
b
i
nat
i
ons
of
e
arlie
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
sl_map_read: construct b
a
sic map while readi
n
g
variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdo
o
laege
isl_map_print: add primes
to
duplic
a
te names
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoo
l
a
e
ge
isl_map
_
transi
t
ive_closure: intersect with domain
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_tran
s
iti
v
e
_
closure
:
extract out
c
onstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_ma
p
_transitive_closure: move
ac
y
clicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
add is
l
_set_
l
ower
_
bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdo
o
laege
isl_map_print:
u
se consistent names o
n
all dis
j
u
ncts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_ca
t
: allow specificati
o
n of outpu
t
format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en
V
erdool
a
ege
isl_map_pr
i
n
t: sup
p
ort
ISL_FO
R
MA
T
_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Verdoolaege
i
s
l_m
a
p_coales
c
e: fix some reg
r
ess
i
o
ns introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
a
d
d isl_closure test application
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
add transiti
v
e closure example
from Kelly's 1996
paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
i
sl_map
_
transiti
v
e_closure: construct general pat
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map
_
transi
t
ive_
c
l
osure: prepar
e
fo
r
the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdool
a
ege
isl_map_transit
i
v
e_closure: construct p
a
t
h
s that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdool
a
e
g
e
isl_transitive_
c
lo
s
ure
:
e
x
tract out con
s
truction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl
_
map
_
transitive_
c
losu
r
e: use
more
generic acyc
l
i
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl_map_print: add parent
h
eses ar
o
un
d
d
isjuncts
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdo
o
l
aege
is
l
_hash_tabl
e
:
u
s
e size tha
t
corresponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_t
a
ble: g
r
ow table w
h
e
n we run out
o
f entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_map_c
o
ales
c
e: onl
y
use non
-
redund
a
nt const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verd
o
olaege
add isl_set_fi
x
_
s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_map_read: accept chains of
com
p
aris
o
ns
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdo
o
laege
export isl_ma
p
_
a
lign_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
i
s
l_map_
r
ead: forge
t
exist
e
n
t
i
a
lly qu
a
ntif
i
ed
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven
Ver
d
oo
l
aege
i
s
l_inpu
t
.
c:
r
emove
nee
d
l
ess
i
nd
i
r
e
c
t
ion
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
doc: doc
u
m
ent how to inspe
c
t sets and relati
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export isl_
m
ap_compute_d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoo
l
a
e
g
e
isl
_
constraint_
d
iv:
make su
r
e
r
eques
t
ed
d
iv i
s
a
k
nown div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
ege
doc: drop
doc
u
mentation of
_
dump functio
n
s
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
isl_map_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aeg
e
ad
d
isl_basic_
m
a
p_forea
c
h_c
o
n
s
traint
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl_map_coalesce
:
h
andle more c
a
ses
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
erdoolaege
privately expor
t
isl_set
_
wra
p
_facet
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
V
e
r
doolaege
isl_c
o
nvex_hul
l
.
c: w
r
ap_fac
e
t: all
o
w
unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
doc:
improve decripti
o
n of isl_
m
ap_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoo
l
aege
isl_map
_
transitive_closur
e
: improve t
e
st
fo
r
exact
n
ess
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a
c
o
unter example for T
h
eore
m
1 of the C
O
COA p
a
per
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
add is
l
_map
_
lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
do
o
laege
isl
_
map_p
o
wer: coalesce domain an
d
range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
isl_flow
.
c: add missing isl_ac
c
e
s
s
_
i
nfo_f
r
ee return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
isl_coalesce
.
c:
fix t
y
po in com
m
ent
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdo
o
laege
isl_map_r
e
a
d: a
c
cept l
i
sts
of a
f
fine e
x
pressions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
a
dd isl_m
a
t
_from_row_ve
c
and isl
_
mat_vec_conca
t
commit
|
commitdiff
|
tree
2010-02-04
S
ven Ver
d
o
olaege
isl
_
map_read: read
extended po
l
ylib forma
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
do
o
laege
add isl
_
stream_ne
x
t_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
i
s
l
_map_read: make sure
polylib constraint co
e
fficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_
{
m
ap
,
set}_di
m
: hand
l
e NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_map_read:
use more uniform wa
y
of rea
d
i
n
g i
n
p
o
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n V
e
rdoo
l
aege
isl_t
r
ansitive_closure
.
c
:
fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
Ver
d
oolae
g
e
isl
_
map_trans
i
tive_cl
o
su
r
e: u
s
e
m
ore relaxed exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
a
dd isl_m
a
p_power and isl_map_transit
i
ve_
c
l
o
sure
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verd
o
olaege
isl_map_subtract
.
c: make so
m
e
inter
n
al funct
i
ons
static
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ve
r
d
o
ola
e
ge
add gen
e
r
ic
i
sl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
rename isl_{
m
a
p,set}_add to is
l
_{map,set}_a
d
d_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_p
r
o
j
ect_
o
u
t
:
alw
a
ys
u
pdate dimension, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
is
l
_
dim_join: don't require
n
ame
s
of joined variable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
add
i
s
l_ma
p
_fro
m
_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
i
sl_stream: treat
"
-
"
as
o
perator rath
e
r than
a
s -1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoola
e
ge
isl
_
map_
r
ead: accep
t
"st
r
ict" inequali
t
ies
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl_i
n
p
ut
.
c:
f
ix
memory deall
o
ca
t
ion probl
e
m on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
add
depen
d
ence a
n
alysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
a
dd isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add priv
a
te isl_{set,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
basis_reduction_t
e
mpl
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
V
e
r
doolaege
isl_tab_pip
.
c:
fin
d
_solu
t
i
ons: break when cont
e
xt becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
e
r
dool
a
e
ge
isl
_
dim_equal:
don'
t
requir
e
names of in
p
ut and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdool
a
ege
isl
_
dim_map
:
pro
p
erly dupl
i
cate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
ae
g
e
isl_d
i
m
_
dr
o
p: prop
e
rly adjust
length of nam
e
s array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a
bit more on int
e
gers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
do
c
:
describe input/outpu
t
f
o
rmats
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoolaeg
e
doc: fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl_cat test a
p
plicat
i
on
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
o
me
g
a
output
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdo
o
l
a
ege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
isl_
t
est: use isl_s
e
t_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
add isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doola
e
ge
add isl_map_re
a
d_
f
rom_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
ae
g
e
isl_
m
ap_read_from_f
i
le: allow unions in isl f
o
rm
a
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_bas
i
c_map_read: re
a
d definiti
o
ns of existentia
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdo
o
lae
g
e
p
rivately
export
isl_basi
c
_
m
ap_add_div_c
o
n
s
traints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_bas
i
c_
m
ap_read: read a
f
fine co
n
st
r
aint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaeg
e
is
l
_input
.
c
:
optionally read par
a
meters fro
m
input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
toke
n
izer
:
a
c
cept "and" k
e
yw
o
rd
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdo
o
laege
export is
l
_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoo
l
aege
export isl_bas
i
c_map_read
_
from_str
commit
|
commitdiff
|
tree
next