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_transitive_closure: intersect with domain and range before projection
2010-02-17
Sven V
e
rdoolaege
isl_m
a
p_t
r
a
nsitive_closure: in
t
ersect
w
ith domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n
Verdoolaege
isl_map_tra
n
sitive_clo
s
ure
:
e
x
tra
c
t out constructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
isl_ma
p
_
t
r
ansiti
v
e_c
l
osur
e
: m
o
ve
acyclic
i
ty test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Ve
r
dool
a
ege
i
sl
_
map_print: use
c
o
n
sist
e
nt
n
a
me
s
on a
l
l
d
isjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
is
l
_cat: allow s
p
ecification
o
f
o
u
tput format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_print: support ISL
_
FO
R
M
A
T_
P
OL
Y
LIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
l
aege
isl_map_coalesce: fix
s
ome regressions
i
nt
r
oduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ver
d
o
o
l
a
ege
ad
d
isl_cl
o
sure te
s
t applicat
i
on
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
a
d
d tran
s
itive closure exampl
e
fro
m
Kelly's 1996 pape
r
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl
_
map_transitive_closure: construct genera
l
paths
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_map_transitive_
c
l
o
sure: pre
p
ar
e
for
t
he construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
d
oolaege
isl_m
a
p_trans
i
tive_c
l
o
sure: con
s
truct paths that
c
a
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_
t
ran
s
itive
_
closu
r
e: e
x
tract
out c
o
nstru
c
tion
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_cl
o
sure: use more g
e
ne
r
ic a
c
yclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l
_
map_print: add parentheses
around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_ta
b
le: use size
that c
o
rresponds
to t
h
e
number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdool
a
ege
isl_hash_table
:
gr
o
w table wh
e
n we r
u
n ou
t
of entrie
s
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
i
sl_ma
p
_
coalesce:
o
nly us
e
non
-
redundant constraint
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaeg
e
a
d
d
isl_set
_
fix_si
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Verdoolaege
is
l
_map_read: accept ch
a
i
ns of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
aege
export isl_map_
a
li
g
n
_
divs
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
V
e
r
dool
a
ege
is
l
_map
_
read: fo
r
get
e
x
i
stentially quanti
f
ied
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdoolaege
i
s
l_input
.
c:
r
e
m
ove needless i
n
directi
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
doc: document how to
ins
p
e
c
t
s
e
ts and rel
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
expo
r
t isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
is
l
_constraint_div: m
a
k
e sure requested
d
iv is a known di
v
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
doc: drop documentat
i
on
of _dump funct
i
ons
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
i
sl_map_print: impro
v
e
o
u
tput
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdool
a
ege
add isl_basic
_
map_foreach_const
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_
m
ap_coalesce: handle
m
or
e
cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
private
l
y expor
t
i
s
l_se
t
_wrap
_
facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_
c
onvex_hul
l
.
c
:
wrap_f
a
cet: allow unb
o
u
n
de
d
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc:
i
mprove dec
r
iption of isl
_
map_
t
r
a
nsitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_map_transitive_
c
l
o
sure: improve test for e
x
act
n
ess
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
add
a counter
e
xample
for The
o
rem 1 of
t
he COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
isl_map_power: coalesce domain
and ra
n
ge
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_fl
o
w
.
c: add
missing i
s
l_acce
s
s
_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rdoola
e
g
e
isl_coalesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl
_
map_read
:
ac
c
ept l
i
sts of af
f
i
n
e
express
i
ons in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdool
a
ege
add isl_mat_from_row
_
v
ec
a
n
d isl_mat_
v
ec_concat
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl_map_read
:
read ex
t
ended
p
olylib fo
r
mat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
l
aege
a
dd i
s
l_stre
a
m
_
n
e
xt_to
k
en_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdoolaege
isl_map_read:
m
ake s
u
re pol
y
lib constraint coe
f
fici
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_{
m
ap,se
t
}_d
i
m
:
handle NU
L
L
input
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
r
doolaege
isl_map
_
r
e
ad:
use more
u
n
i
form way of
readi
n
g in
p
olylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
isl_transitive_closure
.
c
:
fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_map_transit
i
v
e
_closur
e
:
u
se more
r
elaxed exac
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
add i
s
l_map_pow
e
r and is
l
_
m
a
p_transitive_
c
lo
s
ure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
l
aege
isl_map_subt
r
act
.
c: ma
k
e some internal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaeg
e
a
d
d generi
c
isl_map_proj
e
ct_out
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoola
e
ge
add
isl
_
{map,s
e
t}_a
d
d
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
rename i
s
l_{map,
s
e
t}_add to isl_{map,set}_add_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_pro
j
ect_out: a
l
ways
up
d
ate di
m
e
nsion, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
isl_
d
im_j
o
in: do
n
't requ
i
re n
a
m
e
s of jo
i
n
ed
v
a
riab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oola
e
ge
add isl_map_fro
m
_domain_and_ran
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_stream: treat "-"
as op
e
rator
rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
isl_map_
r
ead: accept
"strict" inequa
l
i
ties
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
i
s
l_in
p
ut
.
c:
f
i
x
m
e
mory deallocation pro
b
le
m
on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
o
olaege
add dep
e
ndence
a
n
a
l
ysis
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Ver
d
oolaege
a
d
d isl_map_{part
i
al_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
ven
V
erdoolaege
a
dd priv
a
te
isl_{set,map}_ma
k
e_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verdoolaege
basis_reducti
o
n_templ
.
c: fix ty
p
o
i
n comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
isl_tab
_
p
ip
.
c:
f
ind_solutions: break
w
hen context beco
m
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl
_
dim_e
q
ua
l
:
don't require names of input a
n
d outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en V
e
rd
o
olaege
isl_dim_map:
p
roperly dup
l
icate name
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
isl
_
dim_drop: p
r
operly adjust length
of
n
ames ar
r
ay
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Ve
r
doolaege
do
c
: a bit more on in
t
eger
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdo
o
laeg
e
doc: descr
i
be input/output fo
r
mats
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdo
o
lae
g
e
d
oc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
d
d isl_cat
test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
add
omega output
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ver
d
oola
e
ge
a
dd isl
output
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
isl_t
e
st: use isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
laeg
e
a
dd isl_
s
et_r
e
ad_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
add isl_map_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
doolaege
isl_map_read_f
r
om_file: allow unio
n
s in isl
f
ormat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
isl_basic_map_rea
d
:
re
a
d
def
i
nitions of existe
n
tial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verd
o
olaege
pr
i
vately e
x
po
r
t is
l
_
basic_map_
a
dd_div_
c
onstr
a
i
n
ts
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
i
sl_basic_map_rea
d
: rea
d
affi
n
e
const
r
aint as t
w
o
affin
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
isl
_
input
.
c:
o
p
t
ionally read p
a
rameters fr
o
m input
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
token
i
zer: accept "and" keyw
o
rd
commit
|
commitdiff
|
tree
2010-01-25
S
ven
Verdoolaege
e
xport isl_map_read_f
r
om_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
export i
s
l_basic_map_read_fr
o
m_
s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ve
r
doo
l
aege
drop redundant input_format argument from readi
n
g functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_i
n
p
u
t
.
c:
m
e
r
g
e functions for
r
eading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdool
a
e
ge
isl_
i
nput_
o
meg
a
.
c: a
c
cept PolyLib
i
npu
t
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_om
e
g
a
.
c:
prep
a
re for readin
g
pa
r
ametr
i
c unions
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoola
e
ge
isl_input_o
m
ega
.
c: finalize and s
i
mpli
f
y resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olae
g
e
isl_input_o
m
ega
.
c:
fix ch
e
ck for mem
o
ry allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
d
o
olaege
isl
_
stream_next_
t
oke
n
: ski
p
comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verd
o
o
l
aege
isl_
t
ab_
b
asic_map_
p
ar
t
ial_lexopt: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl
_
b
a
sic_map_set_t
o
_em
p
ty:
r
emove
s
ampl
e
(if
any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaeg
e
a
d
d
isl_set_fa
s
t_is
_
empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verd
o
olaege
prop
e
rly r
e
move pip
l
ib submod
u
le
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaege
isl_basic_ma
p
_
upda
t
e_from_tab: re
-
ga
u
ss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
doo
l
aege
ax_
s
ubmodule
.
m4: don't let --
w
i
t
h-module conf
l
ic
t
w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sv
e
n Verdoolaege
add
i
sl_set_follows_a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven Verd
o
olaege
i
s
l_basic_set_
c
ompare_at:
compute resu
l
t in terms
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdool
a
ege
isl_tab_pip
.
c:
add cuts
for all non-integer c
o
or
d
inates
.
.
.
commit
|
commitdiff
|
tree
next