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
Sven
V
erdoola
e
g
e
i
s
l_s
e
t_wrap_facet: make sure set is
marked rational
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
l
aege
isl_coal
e
sce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
V
e
r
do
o
laege
isl_map_read: ac
c
ept lis
t
o
f
p
redicated ele
m
ents
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n V
e
rdoo
l
aege
isl_m
a
p_
r
e
ad: extract out pa
r
sing
o
f map
b
ody
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
laeg
e
isl_map_read: a
d
d
dum
m
y variable n
a
me for
unn
a
med
variables
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolae
g
e
isl_stream: a
c
cept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
aege
use
-O1 optimization
l
evel for
gc
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
S
ven Ver
d
o
o
laege
drop comma at
the
end
o
f enum
e
rations i
n
include files
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_
r
ead: accept af
f
ine combinations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
e
rdoolaege
isl_
m
ap_read:
construct
ba
s
i
c map while reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoo
l
ae
g
e
isl_map_p
r
i
nt: ad
d
prim
e
s to duplicate names
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verd
o
olaeg
e
isl_m
a
p_transitive_closure: improve accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n
V
erdool
a
ege
i
s
l
_
m
a
p_transiti
v
e_closure: perform e
x
actness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
e
rdoo
l
aege
isl_map_tran
s
itive_closure:
reformulat
e
exactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
e
ge
a
d
d a tr
a
nsitive
c
losure
e
xamp
l
e
from the Omega
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoo
l
aege
i
sl_map_tra
n
sitive_closure: compute power on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_ma
p
_transiti
v
e_cl
o
sure: i
n
tersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoo
l
ae
g
e
isl
_
map_tra
n
sitive_clos
u
r
e: extrac
t
o
u
t
c
ons
t
ruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_map_t
r
an
s
itive_clo
s
ure: move acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
add isl
_
set
_
l
o
wer_bou
n
d_
s
i
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verd
o
olae
g
e
isl_map_p
r
int:
u
se consistent names on a
l
l di
s
jun
c
ts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
is
l
_cat: allow specification of output format on
c
ommand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
isl_map_pri
n
t: support ISL
_
FORM
A
T_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_
m
ap_coa
l
e
sce:
fi
x
some regressio
n
s introduced
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
add isl
_
closure test applicatio
n
commit
|
commitdiff
|
tree
2010-02-15
S
v
en V
e
rdo
o
l
aege
a
d
d transitiv
e
c
l
o
s
u
re example from Kelly's 1996 pa
p
er
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdool
a
ege
isl_map_tr
a
nsitive_closure: con
s
truct gener
a
l
p
aths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
i
s
l_map_transitive
_
closure: prepa
r
e fo
r
the const
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
V
erdoolaeg
e
isl_
m
ap_transiti
v
e_c
l
osure: construct paths
that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
i
s
l_tra
n
sitive_cl
o
sure: e
x
tract
o
u
t
construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transi
t
ive_closure: use more generic acycli
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdoolaege
isl_map_print: add parenthese
s
around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ve
r
doolaege
i
s
l_
h
ash_table: use size that cor
r
esponds t
o
the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdoolaege
isl_hash_table: grow table when
w
e run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doo
l
aege
isl_map_
c
oalesce:
o
nly use non-
r
e
dundant con
s
tra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdoo
l
aege
a
dd
is
l
_se
t
_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdoolaege
isl_map_re
a
d
:
acce
p
t chains of
c
o
m
pa
r
isons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
export isl_map_
a
lign_divs
commit
|
commitdiff
|
tree
2010-02-10
S
v
en
Verdoolaege
i
sl_map_rea
d
: forget existentially
q
uantified v
a
r
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rd
o
ola
e
ge
isl_i
n
put
.
c
: remove
n
eedless
indirect
i
on
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: docu
m
ent how to ins
p
ect se
t
s and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolaege
e
x
port
i
sl
_
ma
p
_
c
omp
u
te_d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_constr
a
int_div: make
s
u
re
r
equested d
i
v is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolaege
doc:
d
rop
documentation
o
f _dum
p
fu
n
c
tions
commit
|
commitdiff
|
tree
2010-02-09
S
ven
Ver
d
oolaege
i
s
l_
m
ap_print:
improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
a
d
d isl_b
a
sic_map_fo
r
e
a
ch_constra
i
nt
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
ool
a
e
g
e
isl
_
map_coalesc
e
:
hand
l
e more ca
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolae
g
e
priv
a
t
e
ly
export isl_set_wra
p
_facet
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl_convex_hul
l
.
c:
w
r
a
p_facet:
a
llow un
b
ounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
doc: i
m
prove decription of isl_map
_
transitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl_
m
ap_
t
rans
i
tive_closure: improve test for ex
a
ctnes
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a
counter
example for Theorem 1 of
t
h
e COCOA p
a
p
e
r
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
ad
d
i
s
l_map_lower
_
bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
sl_ma
p
_power:
c
oale
s
ce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolae
g
e
i
s
l_flow
.
c: add missing isl_access_info_free retur
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_coale
s
ce
.
c:
f
ix
t
ypo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven
Verdoola
e
ge
includ
e
/isl_int
.
h: arg
u
ment of mp_get_mem
o
ry_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
isl_map_r
e
ad: acc
e
pt lists o
f
a
f
f
ine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdool
a
ege
a
d
d
isl_mat_f
r
o
m_
r
o
w_v
e
c and isl_mat
_
vec_conca
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaeg
e
isl_map_re
a
d: read ext
e
nded polylib form
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
add isl_stream
_
next_token_on
_
s
a
me_line
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
erdoolae
g
e
i
sl_map_read: ma
k
e su
r
e p
o
lylib constraint c
o
efficie
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolae
g
e
isl_{
m
a
p,set}_dim
:
handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
S
ve
n
Verdoolaege
isl_map_read
:
use more
un
i
form w
a
y
o
f reading in polyli
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
e
r
d
oola
e
ge
isl_transi
t
i
v
e_clos
u
re
.
c: fix typo in c
o
mme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
l
aege
isl_map_transitive_closu
r
e: use mor
e
rel
a
xed exac
t
n
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verd
o
olaege
add isl_map_powe
r
an
d
isl_m
a
p_trans
i
t
ive_clo
s
ur
e
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
V
erd
o
olaege
isl_map_subtract
.
c:
m
ake some in
t
ernal f
u
nctions
static
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
a
dd generic isl_map_pr
o
ject_o
u
t
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_{map,s
e
t}_add
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
rename isl_{map,set}_add t
o
isl
_
{ma
p
,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
isl_set_p
r
o
ject_out: alway
s
upd
a
te dimension
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
ol
a
ege
isl_
d
im_join
:
don't require
n
a
m
e
s of joined variab
l
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoola
e
g
e
add is
l
_map_from
_
domain_and_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
dool
a
e
g
e
isl_stream: tr
e
at "-" as o
p
erator ra
t
her
than as -1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoo
l
aege
isl_
m
a
p
_read: acce
p
t
"strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl_input
.
c
:
fix m
e
m
ory dea
l
locat
i
on problem on
missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaeg
e
ad
d
dependence analy
s
is
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
ad
d
isl_map_{pa
r
tial
_
,}l
e
xopt
commit
|
commitdiff
|
tree
2010-01-31
S
ven
V
erdo
o
la
e
ge
add private isl_{set,
m
ap}_make_
d
isjoint
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaeg
e
b
asis_red
u
c
t
ion_t
e
mpl
.
c:
f
i
x typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl
_
t
ab_pi
p
.
c
:
find_solutions:
b
reak when cont
e
x
t
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ve
n
Ver
d
oolaege
isl_dim
_
equa
l
: don't requir
e
names of
i
n
p
u
t and ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
isl_di
m
_map: p
r
operly
duplicate
n
a
m
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_dim_drop: properly adjust length of name
s
array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
ege
d
oc: d
e
scribe input/outp
u
t
f
ormats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
oc
:
f
i
x typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
lae
g
e
add isl_cat t
e
st
a
p
p
lication
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
erdoolaege
add omega outpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
add isl outpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
laege
i
sl_test: use isl_se
t
_re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
rdoolaege
add is
l
_
s
et_rea
d
_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
add i
s
l_map_read
_
fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_map_re
a
d_from_
f
ile:
a
l
low unions i
n
isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
isl_basic_map_rea
d
:
read definition
s
of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
privately export isl
_
basic_map_a
d
d_div_constraint
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
i
sl_basic
_
map_read: read affi
n
e constraint as two aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_i
n
put
.
c:
optio
n
ally read parame
t
ers fro
m
input
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
t
o
kenizer:
a
c
cept "and
"
keywor
d
commit
|
commitdiff
|
tree
next