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_print: extract out print_disjuncts
2010-03-04
S
v
en Verdoolaege
isl_m
a
p_pri
n
t:
e
xtract ou
t
print_di
s
juncts
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
add isl_set_fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolae
g
e
isl_input
.
c: accept_affine: fix m
e
mory l
e
ak on er
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_m
a
p_intersec
t
:
de
t
ect
empty res
u
l
t also
i
n cas
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
i
s
l
_map_read: skip until the end o
f
the last
line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
i
sl_stream_n
e
xt_token
_
o
n_same_
l
ine: che
c
k
i
f
l
ast
t
oken
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
doolaege
isl_set_wrap_facet: ma
k
e sure set is marked
r
ational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
lae
g
e
isl_coalesc
e
.
c: fix t
y
p
o
i
n comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oola
e
ge
i
sl_ma
p
_read: accept l
i
st o
f
predicated element
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
la
e
ge
isl_map_read: ext
r
a
c
t out parsing
of
m
a
p
bod
y
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaeg
e
isl_ma
p
_
r
ea
d
: add
d
ummy variable na
m
e for unnamed var
i
ables
commit
|
commitdiff
|
tree
2010-02-19
S
v
en
V
e
r
doolaege
isl_stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
use -O1
optimi
z
ation level f
o
r
gcc
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaege
drop comma at the end of enumerations in i
n
clud
e
fi
l
es
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
isl_map_r
e
ad: accept affine combinations of e
a
rlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
i
s
l_map_read: construct basic map w
h
ile rea
d
ing
v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
o
olaege
isl_map_print: ad
d
p
rimes to duplicate names
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
is
l
_
ma
p
_transit
i
ve_c
l
osure: improve ac
c
uracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_transitive_closure
:
per
f
orm
exactnes
s
check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
isl_map_tran
s
itive_closure: reformulate exactn
e
s
s
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a tr
a
ns
i
t
ive closur
e
example from
t
he
O
mega
te
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaeg
e
is
l
_ma
p
_t
r
an
s
it
i
ve_
c
l
o
s
ure:
compute
p
ower on str
o
ngly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaeg
e
isl_map_transitive_clo
s
ure: inte
r
sect w
i
th dom
a
i
n and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
rdoolaege
isl_map_transitive_closure: extrac
t
o
ut co
n
struc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ve
n
Verdo
o
laege
isl_map_tr
a
n
s
itive_closure: move acycl
i
city test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdo
o
laege
a
d
d isl_
s
et_lower_b
o
und_si
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Ve
r
doolaege
isl_map_print: use
c
onsistent names on all di
s
jun
c
ts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l_cat: allow specificat
i
on of output format
o
n
comm
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
i
sl_ma
p
_print: suppor
t
I
S
L_FORMAT
_
POLY
L
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl_ma
p
_co
a
l
esce: fix s
o
m
e
r
egressions intr
o
d
uced
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
add is
l
_closu
r
e test app
l
icat
i
on
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
a
d
d tra
n
sitiv
e
closure
e
xamp
l
e
from Kelly's 19
9
6 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
d
oolaege
isl_map_tran
s
itiv
e
_closure: constru
c
t general pat
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_map_
t
rans
i
tive_clos
u
r
e: prepare
f
or
the
co
n
structi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
is
l
_
m
ap_transi
t
i
ve
_
closure
:
cons
t
r
u
c
t paths th
a
t can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven
Ve
r
d
o
o
l
aege
i
s
l_transitive_closure: e
x
tra
c
t
out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_map_t
r
ansitive_closur
e
: use more gene
r
ic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
d
oo
l
aeg
e
i
s
l
_map_
p
rint: add parenthe
s
es around disjunct
s
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ve
r
d
oo
l
aege
isl_hash_table: use
s
i
ze that cor
r
e
sponds t
o
the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verd
o
olaeg
e
isl_
h
ash_table
:
grow tab
l
e
when we
r
un out
of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_map_coalesce: onl
y
use non-redundant c
o
nstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verd
o
o
laege
add isl_set_
f
ix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdo
o
la
e
ge
isl_map_read: accept ch
a
ins of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
expo
r
t i
s
l_map_al
i
gn_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_m
a
p_read: f
o
rget
exi
s
ten
t
ially qu
a
ntified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdoolaege
isl_i
n
put
.
c:
rem
o
ve ne
e
dless
indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
d
oc: document how
t
o i
n
s
p
e
ct sets an
d
rel
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
e
g
e
export isl_map_compute_d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
isl_constrai
n
t_div
:
mak
e
su
r
e
requested div is a known d
i
v
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
d
o
c: drop do
c
umentat
i
on
of _d
u
mp functions
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
Ve
r
dool
a
ege
isl_
m
ap_p
r
int:
i
m
prov
e
o
ut
p
ut
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
add isl_basic_map
_
foreac
h
_con
s
tra
i
nt
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
isl_map_coal
e
sce: handle
more
cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
pri
v
ately
export isl_set_
w
rap
_
fa
c
et
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdool
a
e
g
e
isl_convex_hull
.
c: wrap_facet: allow unbou
n
ded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdoolae
g
e
do
c
:
improve decri
p
t
ion of
i
sl_map_transit
i
v
e_closure
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ve
r
doola
e
ge
i
s
l_map_t
r
ansitiv
e
_closure: improve
t
e
st for exact
n
ess
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
a
d
d a
c
oun
t
er e
x
ample for T
h
e
o
rem 1 o
f
the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdool
a
e
g
e
add i
s
l_map_lower_
b
ound
_
si
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ver
d
o
olaeg
e
isl_ma
p
_po
w
er: coalesce domain and r
a
nge
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl_fl
o
w
.
c: a
d
d missing isl_access_info_
f
ree return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rdoo
l
aege
isl_coalesce
.
c: fix typo
i
n
c
omment
commit
|
commitdiff
|
tree
2010-02-07
Sven
V
erdoolaege
include/isl_i
n
t
.
h: ar
g
u
ment of mp_ge
t
_
memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n V
e
rdoolaege
is
l
_m
a
p_re
a
d: accept lis
t
s of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdo
o
l
a
e
ge
add isl_mat_from
_
row_v
e
c and isl_ma
t
_vec
_
concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: read extende
d
pol
y
li
b
forma
t
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaeg
e
add isl_s
t
ream
_
next_toke
n
_on_sam
e
_l
i
ne
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ve
r
doo
l
aeg
e
i
s
l_map
_
read: make sure polylib constraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
do
o
laege
isl
_
{map,set}_dim: handle NULL
i
nput
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoo
l
aege
isl_map_
r
e
ad: use more uniform way of
reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl_tr
a
nsitiv
e
_c
l
osure
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n Ver
d
o
o
laege
isl_
m
ap_transitive_cl
o
sur
e
: use mo
r
e re
l
a
x
ed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdoo
l
aege
add isl_m
a
p_power and isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_m
a
p
_subt
r
act
.
c: make
some interna
l
function
s
static
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
add generic isl
_
map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oola
e
g
e
add isl_{m
a
p,set}
_
a
d
d
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
ren
a
m
e
isl_{map,set}
_
add
to isl_{map,
s
et}_add_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
i
s
l
_set_
p
roject_out: always upd
a
te dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
isl_dim_join: don'
t
require names of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
d
d isl_map_from_
d
omain_and_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
isl_stream: tr
e
at "-
"
a
s
operator rather than as
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_map_read: accept "strict
"
inequal
i
ties
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Verdoolaege
isl_
i
nput
.
c: fix memory deallocat
i
on
proble
m
on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
add depe
n
dence ana
l
ysis
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
add isl_ma
p
_{
p
artial_
,
}
lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en
V
erdool
a
ege
add
private i
s
l
_{set,map
}
_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
S
ven V
e
rdool
a
ege
basis_reduction_templ
.
c
:
fix typo
in comme
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
is
l
_tab
_
p
i
p
.
c:
fin
d
_solutio
n
s: break whe
n
context becom
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdo
o
l
a
ege
isl
_
dim_equal
:
don't
require names of input and ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaeg
e
i
s
l_d
i
m
_m
a
p:
p
rop
e
rly dup
l
icate names
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoo
l
aege
isl_dim_d
r
o
p
:
properly a
d
just length of names array
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoo
l
aege
doc: a bit mo
r
e
on integers
commit
|
commitdiff
|
tree
2010-01-26
S
v
en
V
erdoo
l
aeg
e
doc: des
c
ribe input/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
rdool
a
ege
d
o
c
:
fix
typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
d
d isl_cat te
s
t application
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
add omega outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdool
a
ege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoo
l
a
e
ge
i
s
l_test: use i
s
l_set_
r
ead_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rdoolaeg
e
add
i
s
l_s
e
t_read_from
_
s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
olaege
add isl_map_read_
f
rom
_
str
commit
|
commitdiff
|
tree
next