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
add isl_closure test application
2010-02-15
Sve
n
Verdoolaege
add isl_c
l
o
s
ure test
application
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
add transitive clo
s
ure ex
a
mple from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl_map_tran
s
itive_closure: const
r
uct general
pa
t
hs
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl
_
map_transitive_closur
e
: prepare for th
e
construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_map_transitive_closure: constru
c
t paths
t
hat can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ve
r
doolae
g
e
isl_tra
n
si
t
ive_closur
e
: ext
r
a
ct out constru
c
tion
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ve
r
d
oolaeg
e
isl_map
_
t
r
a
n
s
itive_closu
r
e
:
u
se mor
e
generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
isl_map_pr
i
nt:
a
dd parenthes
e
s around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
i
s
l
_
has
h
_t
a
ble: us
e
si
z
e
th
a
t corresponds
t
o the num
b
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdo
o
laege
isl_h
a
sh_
t
able: grow table
when
w
e
r
u
n out o
f
entr
i
es
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_map_c
o
al
e
sce: only us
e
n
o
n-red
u
nda
n
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Ve
r
doo
l
a
e
ge
a
dd isl_s
e
t_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
rdoolaeg
e
isl_map_read: accept chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolaege
export
isl_ma
p
_align_
d
ivs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
olaege
i
sl_m
a
p
_read: forget
e
xiste
n
tially quantif
i
ed variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Verdoola
e
g
e
isl_input
.
c: remove needle
s
s ind
i
rec
t
ion
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoo
l
aege
doc
:
d
ocument
ho
w
to inspect
sets
a
nd r
e
lation
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolaege
e
x
port isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
isl_constraint_
d
i
v
:
m
ake s
u
re r
e
quested div is a known div
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Ve
r
doolaege
doc: dr
o
p documentation o
f
_du
m
p functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
isl_map_print:
improve o
u
tput
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
ad
d
isl_basic
_
map_foreach_c
o
nstraint
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
isl_map_coales
c
e: h
a
ndle mo
r
e
cases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n V
e
rdoolaege
pri
v
a
tely ex
p
ort
i
sl_set_wr
a
p_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_conve
x
_hull
.
c: wrap
_
facet:
a
llow
u
nbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
g
e
doc: improve d
e
criptio
n
of isl_map_t
r
ansitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ver
d
oolaege
isl_map_transitiv
e
_closure:
i
mprove te
s
t fo
r
e
xactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a count
e
r exa
m
ple for Theo
r
em 1 of the
C
OCOA
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven
Ve
r
d
oolaege
add isl_map_l
o
wer_bou
n
d_
s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl_map_power
:
coalesce
d
omai
n
and ra
n
ge
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_flow
.
c
:
add missing i
s
l_acces
s
_
info_free retur
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolae
g
e
isl_
c
oales
c
e
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_m
a
p_read: accept li
s
ts of af
f
ine expressio
n
s in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
ad
d
isl_ma
t
_
fro
m
_r
o
w_
v
ec and isl_
m
at_vec_
c
oncat
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
i
sl_map_read: read extend
e
d polylib format
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdo
o
l
a
ege
a
dd
isl_stream_
n
e
xt_tok
e
n_on_same
_
lin
e
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
e
rdoolaege
i
s
l
_map_re
a
d: make sur
e
polyl
i
b con
s
trai
n
t coeff
i
c
ients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl_{
m
ap,
s
e
t
}
_dim: handle NULL in
p
ut
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
d
o
olaege
is
l
_
map_read: use more
uni
f
orm way of reading
i
n polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_tr
a
n
s
itive_c
l
osu
r
e
.
c:
fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
d
o
olaege
isl_map_
t
ran
s
itive_closure: use more relaxed exac
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdool
a
ege
add isl
_
ma
p
_po
w
er an
d
isl_map_t
r
ansiti
v
e
_
c
losure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
isl_map_subtract
.
c: m
a
ke some in
t
ernal functions sta
t
ic
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
add ge
n
eri
c
isl_
m
a
p
_pro
j
ect_out
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
Verdoolaege
a
dd
is
l
_{map,se
t
}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
rename i
s
l_{map,s
e
t}
_
add t
o
isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
isl_
s
e
t
_project_
o
ut: always upda
t
e d
i
m
e
nsion, ev
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
la
e
g
e
isl_
d
im_j
o
i
n: don't requi
r
e
names of joined
variable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoo
l
aege
add isl_m
a
p_from_domain_and_
r
ange
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Ve
r
doolaege
isl_stream: treat "
-
" as
o
perator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
Verdoolae
g
e
isl_
m
ap_read: accep
t
"strict" inequalit
i
es
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verd
o
olaeg
e
i
s
l
_input
.
c:
fi
x
memor
y
deal
l
ocat
i
on
problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
a
d
d dependence analys
i
s
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verd
o
o
l
a
e
ge
add isl_map_{partia
l
_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
add p
r
i
vate
isl_{set,map}_make
_
disj
o
i
nt
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
basis
_
reduction
_
templ
.
c: fix typo in com
m
e
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rd
o
olaege
is
l
_
t
ab_pip
.
c: fin
d
_solut
i
on
s
:
break when co
n
text becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl
_
dim_e
q
ual
:
do
n
'
t
require names of inp
u
t
an
d
output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Ver
d
oolaege
isl_dim_map: properly dup
l
icate names
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
isl_dim_
d
rop: properly adjust length of na
m
es array
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoolaeg
e
doc: a bit mo
r
e
on integ
e
rs
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oolaeg
e
doc: describe input/outp
u
t for
m
ats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
oc: f
i
x
typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
add isl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
ad
d
omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaeg
e
ad
d
i
sl
output
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoola
e
ge
isl_test: u
s
e
i
s
l
_
set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdo
o
laeg
e
add isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
isl
_
map_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
i
s
l_map_read_f
r
om_file: allow
u
ni
o
ns in i
s
l
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdool
a
ege
isl_basic_map_read: re
a
d
de
f
initio
n
s of
e
xistential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
privately export
isl_basic_map_
a
dd_div_
c
onstraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
sl_
b
asic_map_read:
r
ead affine
constraint as two affi
n
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolae
g
e
isl_inpu
t
.
c: op
t
ionally
read parameters from inpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Ve
r
doola
e
ge
tokenizer: accep
t
"
a
nd" keyword
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
oola
e
ge
e
x
p
ort is
l
_ma
p
_rea
d
_fro
m
_fi
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
e
xport i
s
l
_basic_map_
r
ead
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redu
n
dant input_format a
r
gument fro
m
reading function
s
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoo
l
aeg
e
isl_input
.
c
: me
r
ge fu
n
c
t
ions for readi
n
g PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
r
d
oolaege
i
s
l_input_omega
.
c: accept PolyLib
i
nput
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ver
d
oolaege
i
sl_input_omega
.
c
:
prepare for reading p
a
rametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
do
o
la
e
ge
isl_in
p
ut_o
m
ega
.
c: fina
l
ize an
d
simplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolae
g
e
isl_i
n
put_omega
.
c: fix check
f
or me
m
ory all
o
cation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aege
isl
_
strea
m
_next_toke
n
: skip co
m
ment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
a
ege
isl_tab_ba
s
ic_map_partial_lexopt: prop
e
rly h
a
ndle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdoola
e
g
e
is
l
_basic_map_set_to_empty:
remove samp
l
e (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
l
a
e
ge
add isl_set_fast_is_em
p
ty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
proper
l
y remove piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verd
o
olaege
isl
_
basic_m
a
p_update_f
r
om_tab: re-gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdool
a
ege
ax_submodule
.
m4: don't let --
w
i
th-modul
e
c
o
nfli
c
t
with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
en Ver
d
oolaege
a
dd isl_set_follows_at
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdoolaege
isl_basic
_
s
et_c
o
mpare_
a
t: compu
t
e resu
l
t in
terms
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
oolae
g
e
isl_t
a
b_
p
ip
.
c: add cuts f
o
r all non-integer coordi
n
ates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven
V
erdoola
e
ge
i
sl_basic_map
_
gist: don't drop
equa
l
i
ties
f
rom cont
e
xt
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n V
e
rdoolaeg
e
isl_convex_hull
.
c: initia
l
_fa
c
e
t
_const
r
aint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
e
rd
o
olaege
isl_convex_hul
l
.
c: is_independent_b
o
und: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
e
rd
o
ola
e
ge
isl_convex_hull
.
c: extend: chec
k
hull argume
n
t
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoolaege
i
s
l_mat_right_i
n
verse: be more verbose on error c
o
n
dit
i
on
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdo
o
laege
isl_constraint_dup: make sure line
r
efers
t
o
equati
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n
V
er
d
oolaege
isl_map_intersec
t
: add
s
pecial case for addi
n
g a s
i
ngle
.
.
.
commit
|
commitdiff
|
tree
next