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: add primes to duplicate names
2010-02-18
Sven Verd
o
olaege
isl_m
a
p
_print: add prim
e
s to duplicate
n
ames
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoo
l
aege
isl_map_transitive_cl
o
sure
:
intersect with domain a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaege
isl_map_tra
n
si
t
ive_closure:
e
xtract
o
ut construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
a
e
ge
isl_map_transitive
_
c
l
osure
:
m
ove acyclicit
y
te
s
t
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n Verd
o
ol
a
ege
add isl_set_lower_bound
_
si
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n Verdoolaeg
e
i
s
l_ma
p
_
print
:
use consis
t
ent name
s
on
a
ll disju
n
cts
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdool
a
ege
isl_cat: allow
s
p
e
cification
of output for
m
at on com
m
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_
m
ap_print: support ISL
_
FORMAT
_
POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_
m
ap_c
o
alesce: fix s
o
me regressions introduce
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
rdoolaege
add isl_closure
test appl
i
cation
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
do
o
laege
a
dd transitive closure exa
m
ple from
K
elly
'
s 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
erdoolaege
isl
_
map_
t
r
a
nsitive_closure:
construct general
p
a
t
hs
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoo
l
aege
isl_map
_
trans
i
tive_clos
u
re: prepa
r
e for the co
n
s
truction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
i
sl_map_t
r
ansitive_closure: cons
t
ruct paths
t
hat can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
isl_transitive_clos
u
re: ext
r
a
c
t out constructi
o
n o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_trans
i
tive_
c
losure: use more generic ac
y
clicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verd
o
olaege
isl_map_print: add parentheses around
d
isjuncts
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
i
sl_hash
_
table: use
size th
a
t c
o
rresponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_table:
g
row table wh
e
n we run out
o
f
entr
i
es
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_c
o
alesce: on
l
y use non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Verdoolaege
add isl_set_fi
x
_
s
i
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
V
erdoolaege
i
sl_map
_
read: accept chains of compa
r
is
o
ns
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdoolaege
expor
t
i
s
l_
m
a
p
_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Ver
d
oolaege
isl_map_read:
f
orget
e
xistentially qua
n
tified
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
is
l
_input
.
c:
remov
e
needless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: do
c
umen
t
how t
o
insp
e
ct
s
e
ts a
n
d
rel
a
ti
o
n
s
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
V
e
rdo
o
la
e
ge
expo
r
t
isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Ver
d
oolaege
isl_cons
t
r
aint_div: make
s
u
re requeste
d
d
i
v
is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Verdoolaege
d
o
c:
d
rop documentation of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
S
ven Ve
r
doolaege
isl_map_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
add isl_basic_map_foreach_constrain
t
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
isl_map_coalesce: h
a
n
d
le
m
ore cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verd
o
o
l
a
ege
p
rivately export isl_set_wrap_fa
c
e
t
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolae
g
e
i
s
l
_convex_hull
.
c: wra
p
_facet:
allow unbou
n
ded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdool
a
ege
d
oc: improve dec
r
ip
t
i
o
n of
i
sl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoo
l
aege
isl
_
m
a
p_tra
n
sit
i
ve_clos
u
re:
improve
t
est for exact
n
ess
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdo
o
la
e
g
e
add a c
o
unter e
x
ample for
Theor
e
m
1
of the CO
C
OA paper
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verd
o
ol
a
e
g
e
a
d
d
isl_ma
p
_lower
_
b
oun
d
_
s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_
m
ap_
p
ower: co
a
l
e
sce dom
a
in and rang
e
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
V
erdoolaege
isl_flow
.
c:
a
dd missing isl_
a
ccess_i
n
f
o
_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
e
ge
isl_c
o
a
l
esc
e
.
c: fix
t
ypo
i
n comment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verd
o
olaege
i
s
l_map_read: acc
e
pt lists
of
af
f
in
e
expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
add isl_ma
t
_from_r
o
w_vec and isl_
m
at_vec_conca
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erd
o
ola
e
ge
isl_map_re
a
d: read exte
n
ded
polylib format
commit
|
commitdiff
|
tree
2010-02-04
S
ven
Verdoolaege
a
d
d
isl_str
e
am_next_token_
o
n_same_l
i
ne
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l
_
ma
p
_read: mak
e
sure
polylib c
o
nstrai
n
t coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_{map,se
t
}
_di
m
:
h
andle NUL
L
i
nput
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rd
o
olaeg
e
i
s
l_m
a
p_re
a
d: use more
uniform way of
reading in
po
l
yl
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n Verdoolaege
isl_
t
rans
i
tive_closure
.
c: f
i
x typo
i
n co
m
me
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_
m
a
p
_transitive_closu
r
e:
use mo
r
e relaxed exactnes
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
a
d
d isl
_
map_power and isl
_
map_tra
n
sitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
isl_map
_
subtract
.
c
: make some internal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoola
e
ge
add generic is
l
_map_projec
t
_out
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdool
a
ege
add isl
_
{map,se
t
}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oo
l
aege
r
e
name isl_{ma
p
,set}_add to isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
i
s
l_set_proj
e
ct_out: alwa
y
s
update dimension, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_
d
im_join: don't requ
i
re names of joined
v
ar
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoo
l
aege
add isl_map_f
r
om_doma
i
n_an
d
_range
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Ve
r
doolaege
i
s
l
_stream: t
r
e
a
t
"-" as
operato
r
rather than
a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
isl_map_
r
ead: a
c
cept "strict
"
inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
i
s
l_input
.
c: f
i
x memo
r
y deal
l
ocation
p
r
o
blem
o
n
m
issing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
S
ven Ver
d
oolaeg
e
add isl_ma
p
_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdo
o
lae
g
e
add priv
a
te isl_{set,m
a
p}_mak
e
_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
b
asis_reduction_tem
p
l
.
c: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verd
o
olaege
isl_tab_pip
.
c: fi
n
d_solutions: br
e
ak when
c
ontext becom
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
isl_dim_equal: don
'
t
r
eq
u
ire
n
ame
s
o
f inpu
t
and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
isl_dim
_
map:
properly duplicate n
a
mes
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_dim_drop:
pr
o
perly
a
dju
s
t len
g
th of
names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bi
t
more on intege
r
s
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verd
o
o
l
aege
doc: de
s
cribe input
/
ou
t
p
ut f
o
rmats
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
ool
a
ege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add isl_ca
t
te
s
t appl
i
cation
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
add o
m
ega output
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoola
e
ge
add isl ou
t
pu
t
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
erdoo
l
aege
isl_test: us
e
isl_set
_
rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
Ve
r
doolaege
add isl_set_r
e
ad_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add i
s
l_map_read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
i
s
l
_map_
r
ead_from_
f
ile
:
a
l
l
ow unions in isl fo
r
mat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
rdoolaege
i
sl_basic_map_rea
d
: read definitions
of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
privatel
y
export isl_b
a
sic_
m
ap_
a
dd_div
_
con
s
traints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
i
sl_b
a
sic_m
a
p_read:
r
e
ad a
f
fine constraint as
t
wo
a
ffine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
is
l
_input
.
c: optionally read parameters from input
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Ve
r
do
o
laege
toke
n
izer: accept "and
"
keyw
o
rd
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
expo
r
t isl_ma
p
_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
export isl_basic_
m
ap_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redundan
t
i
nput
_
for
m
a
t
argument from re
a
ding functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c:
m
erge
f
u
n
c
t
i
ons for
r
ea
d
ing PolyLib
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven
Verdoolaege
isl_input
_
omega
.
c
:
a
ccept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl_input_o
m
ega
.
c: prep
a
re for reading parametric un
i
o
n
s
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoo
l
aege
isl
_
input_omega
.
c
: finalize and simplif
y
r
esultin
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
laege
i
s
l_in
p
ut
_
omega
.
c
:
fix
c
heck fo
r
memory
al
l
ocati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_
s
tream_next_to
k
e
n: skip
c
o
mment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
ge
isl_tab_basic_map_p
a
r
t
ial_le
x
o
pt: properl
y
han
d
le empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
i
s
l
_
b
asic_map_set_to_e
m
pty: remove sample
(
if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add isl_set_
f
ast
_
is_
e
mp
t
y
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
properly remove pipli
b
submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaege
isl_basic
_
m
ap_update
_
from_
t
ab: re-gauss res
u
lting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
olaege
ax_su
b
module
.
m4: don't l
e
t --with-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
oolaege
isl_
b
asic
_
set_compar
e
_at: compute
r
esul
t
in t
e
r
m
s
o
f
.
.
.
commit
|
commitdiff
|
tree
next