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_map_read: accept affine combinations of earlier variables in variable tuples
2010-02-18
Sven Verdoolaege
isl
_
map_read: accep
t
affine comb
i
nation
s
of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoo
l
aeg
e
isl
_
map_read: con
s
truct basic ma
p
w
hile reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolae
g
e
isl_map_pr
i
nt: add
p
rimes
t
o
duplicate n
a
m
e
s
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
laege
i
sl_map_trans
i
ti
v
e_clos
u
re: improve accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
s
l_map_transi
t
ive_
c
losure
:
perform exactness
c
heck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
s
l_map_tr
a
nsit
i
ve_closure: refo
r
m
u
late
e
xactness
t
est
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
r
d
oo
l
aege
add a tran
s
itive closure example
fr
o
m the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_transitive
_
closu
r
e: comp
u
te power on stro
n
gly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolae
g
e
isl_map_transitive
_
closure: int
e
r
sect w
i
th domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdo
o
lae
g
e
isl_map_
t
ransit
i
ve
_
cl
o
sure: extrac
t
o
ut const
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
ae
g
e
isl_map_transitive_closure
:
move acyclicity
t
e
st
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erd
o
o
l
a
e
g
e
add
i
sl_se
t
_
lower_bound
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
i
s
l_ma
p
_
p
r
i
n
t: use consistent
names on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erd
o
o
l
a
e
ge
isl
_
cat: allow
specification of output format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verd
o
olaege
i
s
l_m
a
p
_p
r
int: s
u
pport ISL_FO
R
MAT_P
O
LYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laege
is
l
_m
a
p_coalesce: fix some
regressions introdu
c
ed by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
a
d
d isl_clos
u
re test application
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
add transitiv
e
clo
s
ur
e
e
x
ample
from Kelly's 1996 pape
r
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdool
a
ege
isl_map_transitive_closure: construct general paths
commit
|
commitdiff
|
tree
2010-02-15
S
v
en V
e
rdoolaege
isl_map_transitiv
e
_closu
r
e
: pr
e
pare for
t
he const
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_map
_
transi
t
ive_
c
l
osur
e
:
co
n
struct path
s
that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
er
d
o
o
lae
g
e
isl_transitive_closure: extract out
construction
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_map_tran
s
itiv
e
_cl
o
sur
e
: use mo
r
e generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_
m
ap
_
p
r
i
nt:
a
dd parenthese
s
around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_has
h
_ta
b
le: us
e
size that
corresponds to th
e
number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
rdoolaege
isl_hash_table: grow table
when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_map_c
o
alesce: o
n
ly use no
n
-redundant co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdool
a
ege
add isl_set_fix_
s
i
commit
|
commitdiff
|
tree
2010-02-13
S
ven Ver
d
ool
a
ege
isl_map_rea
d
: a
c
c
e
pt chains of comp
a
risons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
e
xport isl_
m
ap_
a
lign_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolae
g
e
isl_map_read: f
o
rget existenti
a
l
l
y quantified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n Verdool
a
ege
isl_input
.
c: remove needle
s
s indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verd
o
olae
g
e
doc:
document how t
o
insp
e
c
t
set
s
and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
export is
l
_
m
a
p_compu
t
e_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
isl_c
o
nstraint_
d
i
v: m
a
ke sure
r
equested div is a
known
div
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verd
o
olaege
doc: drop documentati
o
n of _d
u
mp funct
i
ons
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
is
l
_
m
ap_print
:
i
mprove ou
t
put
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add isl_
b
asic_map_foreach_
c
onstraint
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ve
r
doolaege
isl_m
a
p_coalesce: handle
more
case
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
p
rivately export isl_
s
e
t_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
i
sl_convex_hull
.
c
: w
r
ap_facet: allow
u
nbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
doc:
i
mpr
o
v
e decription of
i
sl_map_transitive_cl
o
s
u
re
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Ver
d
oolaege
isl_m
a
p_transit
i
ve_closure:
i
mprove test
for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
a
ege
add a c
o
unter e
x
ample f
o
r Theo
r
em 1 of the COC
O
A
p
aper
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolae
g
e
add isl_map_low
e
r
_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
isl
_
map_pow
e
r: coale
s
c
e
domain
a
nd
r
a
nge
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_flow
.
c: a
d
d
m
is
s
ing isl_a
c
ces
s
_i
n
fo_fre
e
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoola
e
ge
isl_
c
oale
s
ce
.
c: fi
x
typ
o
i
n
comment
commit
|
commitdiff
|
tree
2010-02-07
Sven V
e
r
d
oolaege
incl
u
de/
i
sl_int
.
h: argume
n
t
of
mp_get_mem
o
ry_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
g
e
isl_
m
ap_read: a
c
c
e
pt lists
o
f affin
e
express
i
ons in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
a
dd isl_mat_from_r
o
w_vec and isl_mat_vec
_
concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map
_
read: r
e
ad ext
e
nded p
o
lyl
i
b
f
o
rmat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_stre
a
m_n
e
xt_
t
ok
e
n_on
_
same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
l
a
e
ge
isl
_
map_read: ma
k
e s
u
re po
l
y
l
ib constr
a
int coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
r
d
oolaege
isl
_
{
m
ap,set}_
d
i
m
: handle
NULL inp
u
t
commit
|
commitdiff
|
tree
2010-02-04
S
ve
n
Verd
o
olaege
isl_map_rea
d
:
use mo
r
e
uniform way
o
f reading in p
o
ly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olae
g
e
isl_transitive_clo
s
ure
.
c: fix
t
yp
o
in comme
n
t
commit
|
commitdiff
|
tree
2010-02-04
S
ven
V
erdo
o
laege
isl_map_tra
n
sitive_clos
u
re:
u
se
m
ore relax
e
d
e
xactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
add isl_m
a
p_power and isl_m
a
p_transitive
_
closur
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl
_
map_subtrac
t
.
c
:
make
some
inter
n
a
l f
u
n
ctio
n
s
s
tatic
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdo
o
la
e
ge
add generic
isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
a
d
d isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
l
a
e
ge
re
n
ame isl_{map,se
t
}_add
to isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdo
o
l
a
ege
isl_set_p
r
oject_out: always update dimension, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl
_
d
i
m_j
o
in: do
n
't r
e
q
u
i
re names of joi
n
ed var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
erdoolaege
add isl_map_from_
d
omain_and_rang
e
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoola
e
g
e
isl
_
stream: t
r
eat
"-" a
s
operator rather than
a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl_map_read:
acce
p
t "st
r
ict" inequ
a
lities
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
i
s
l_input
.
c: fix
memory deallocatio
n
problem
o
n missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoo
l
aege
a
d
d dep
e
n
dence ana
l
ysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
do
o
la
e
ge
a
d
d isl_
m
ap_{
p
artial_
,
}lexop
t
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
add private isl_{set,
m
a
p
}_make_disj
o
int
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basis
_
red
u
c
tio
n
_templ
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_tab_pip
.
c:
f
ind_so
l
u
tions: break wh
e
n co
n
text b
e
comes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_e
q
ual: don't require names
o
f
i
n
put a
n
d output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdo
o
laege
isl_dim_
m
ap: properly duplica
t
e name
s
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoo
l
aeg
e
isl_dim_d
r
op:
pro
p
erly
a
d
j
u
s
t
l
ength of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
aege
d
oc: a bit mo
r
e on inte
g
ers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
oc: describe input/output fo
r
mats
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdo
o
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add
i
sl_cat test ap
p
lication
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
add omeg
a
o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
V
erdoo
l
aege
isl_t
e
st: use isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
oo
l
aege
a
d
d
i
s
l_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaeg
e
add
i
sl_map_read
_
fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
isl_map_
r
ead_fr
o
m
_file: allow un
i
ons in isl f
o
rmat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_basic_map_read:
read
d
efinitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
privately
e
x
port
isl_basic_map_add_di
v
_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oola
e
ge
is
l
_basic_map_read: rea
d
affine constraint as two
a
ffine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doola
e
ge
isl_input
.
c: optio
n
all
y
read para
m
eters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
tokenizer:
acce
p
t "a
n
d" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verd
o
olaege
exp
o
rt is
l
_map
_
read
_
from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
e
x
port isl_basi
c
_m
a
p_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoo
l
aege
drop
r
edundant input_forma
t
argume
n
t
from re
a
ding functions
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
erdoo
l
aege
isl
_
input
.
c: m
e
rge fu
n
c
tio
n
s f
o
r reading P
o
l
y
Lib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_inp
u
t_omega
.
c
:
accept
P
o
lyLib input
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n Verdoolaege
isl
_
input_omega
.
c
: prepare for r
e
a
ding
p
arametric union
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_inp
u
t_omega
.
c
: finalize an
d
simp
l
ify re
s
ulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input
_
omega
.
c: fix check
f
or memory allocation
.
.
.
commit
|
commitdiff
|
tree
next