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
Sve
n
Verdo
o
laege
isl_map_read: ac
c
ept a
f
fine co
m
binati
o
ns of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
isl_ma
p
_rea
d
: cons
t
ruct
basic map
w
hile
r
e
a
ding var
i
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verd
o
olaege
add a tr
a
nsitive closure exampl
e
fro
m
the O
m
e
g
a
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdool
a
e
ge
i
s
l
_
m
ap_tra
n
s
i
tive_closure:
compute
p
o
w
e
r
on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laege
isl_ma
p
_
transitive_closure: intersect with domain
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
i
s
l
_
m
ap_
t
ransit
i
v
e_closu
r
e: extrac
t
o
u
t construct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
is
l
_map_transit
i
ve_
c
losure: mov
e
ac
y
clicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
eg
e
i
s
l_map_print: us
e
consistent n
a
mes on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolae
g
e
is
l
_c
a
t: allow specificati
o
n of output format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
isl_map_print: support ISL_FORMAT_PO
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_ma
p
_coalesce: fix some regressions
i
ntr
o
duced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
a
dd
is
l
_closure test
applicati
o
n
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
add
t
ran
s
itive cl
o
sur
e
e
xa
m
ple
f
rom
Ke
l
ly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_map_tr
a
nsitive_closure:
construct
general pat
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
is
l
_
m
ap_transit
i
ve_closure:
prepare for t
h
e construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdo
o
laege
isl_map_t
r
ansitive_closure: c
o
ns
t
r
uct path
s
that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
i
s
l_tra
n
sitive_closure: extra
c
t out c
o
nstruction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
i
s
l_ma
p
_tr
a
n
s
itiv
e
_closu
r
e
: use m
o
re generic acycli
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_ma
p
_prin
t
: add parentheses ar
o
u
nd disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
h
ash_t
a
ble:
u
se siz
e
that
c
orresponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Ver
d
o
olaeg
e
i
s
l_hash_tabl
e
:
grow t
a
ble when we run out o
f
entri
e
s
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ve
r
do
o
l
a
ege
isl_m
a
p_coalesce: onl
y
use non-redunda
n
t
const
r
ai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
ad
d
isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
S
ven Verdoolaege
isl_map_re
a
d
: accept chains of
comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
V
erd
o
ola
e
ge
ex
p
ort isl_map_align_
d
i
v
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoola
e
ge
i
s
l
_map_read: for
g
et
existen
t
ia
l
ly quantif
i
ed v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_input
.
c
:
r
em
o
ve
n
eedless in
d
i
rection
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdo
o
l
a
ege
doc: do
c
u
m
ent ho
w
to
inspect set
s
an
d
rela
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdo
o
laege
export isl_map
_
com
p
ute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoola
e
ge
isl_constraint_div: make sure r
e
quested
d
iv is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: drop documentation of _dump
f
unctions
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
e
rdoola
e
ge
isl
_
map_prin
t
: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolaege
ad
d
i
sl_b
a
sic_m
a
p_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
isl_m
a
p_c
o
a
lesc
e
:
h
a
ndle more cases
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ve
r
doolaege
privately ex
p
ort isl_set_wrap_face
t
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdool
a
ege
isl_con
v
ex_
h
ull
.
c
: wrap_facet:
a
ll
o
w unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
d
oc: i
m
prove d
e
cription o
f
i
sl_map_tra
n
sitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_
t
ransitive_closure: improve
t
est for exactn
e
ss
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a co
u
nter example for Th
e
orem 1
of the CO
C
OA paper
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
V
erdoolaege
add isl_map_lower_bound
_
s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_power: co
a
lesc
e
domain
a
n
d range
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verd
o
olaeg
e
isl_flow
.
c
: add missing isl_acces
s
_
i
nfo
_
fre
e
r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_coa
l
esce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
e
r
dool
a
ege
isl_map_read: accept lis
t
s of aff
i
ne expressions
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
Verdo
o
laege
add
isl_mat_from_row_vec and i
s
l_ma
t
_vec_con
c
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erd
o
olaege
isl
_
map_read: re
a
d extend
e
d polyl
i
b format
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoola
e
ge
ad
d
i
s
l_stre
a
m_nex
t
_token_on_sa
m
e_l
i
ne
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdo
o
laege
isl
_
map_read: mak
e
sure po
l
ylib constraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
erdoolaege
isl
_
{
map
,
set}_dim: ha
n
dle NULL in
p
ut
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
lae
g
e
isl_ma
p
_rea
d
:
use
mor
e
u
niform way of reading in
p
olyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
is
l
_
tra
n
siti
v
e_closur
e
.
c: f
i
x
typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
is
l
_map_trans
i
tive_closu
r
e
: use more rel
a
xed exac
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
add isl_
m
ap_p
o
we
r
and isl_map_
t
ransitive_clo
s
ure
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_map_su
b
tract
.
c: make some
i
nternal
func
t
ions
s
tatic
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generic isl_map
_
project_o
u
t
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erd
o
o
l
a
e
ge
a
dd isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
rename isl_{
m
ap,s
e
t}_add to isl_{map,set}_a
d
d_basi
c
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
isl_set_project_out:
a
l
ways update dimension
,
eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_
d
im
_
jo
i
n:
don
'
t re
q
u
i
re names
o
f jo
i
ned variable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_m
a
p_from_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_st
r
eam: treat
"-"
as opera
t
or rather
t
han as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_map_r
e
a
d: accept "strict"
in
e
qualities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
a
ege
i
s
l_input
.
c: fix memory deal
l
o
cation
p
roblem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add depend
e
n
ce analysi
s
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
ad
d
isl_m
a
p_{partial
_
,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n Verd
o
ol
a
ege
add private
i
sl_{set,map}_make_d
i
sjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
d
oolaege
basis_redu
c
tion_templ
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
isl_
t
ab
_
pip
.
c: fi
n
d_s
o
lutions: brea
k
w
h
e
n
conte
x
t
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
isl_dim_equal:
d
on't require nam
e
s of i
n
pu
t
a
n
d
output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
i
s
l_dim_map: properl
y
duplicate na
m
es
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_drop: properly adjust len
g
th of nam
e
s
array
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oolaege
doc
:
a bit mor
e
on integer
s
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolaege
doc: desc
r
ib
e
i
n
p
u
t/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
d
oc:
fix
typ
o
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoola
e
g
e
ad
d
i
sl
_
cat tes
t
application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoo
l
aege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdool
a
ege
isl_test: use is
l
_s
e
t_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
aege
add isl_set_
r
e
a
d_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Ve
r
do
o
la
e
ge
add isl
_
m
ap_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_map_r
e
ad_fr
o
m_f
i
le
:
allow uni
o
ns in isl for
m
at
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
basic_map_read: rea
d
definition
s
of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolae
g
e
privatel
y
ex
p
ort isl_basic_map_add_div_constr
a
int
s
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
o
olaege
isl_basic_map_read: r
e
ad affin
e
constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
la
e
ge
isl_input
.
c: o
p
tionall
y
read pa
r
ameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
g
e
tokenizer: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doola
e
ge
expor
t
isl_map_read_
f
ro
m
_
fil
e
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
ex
p
ort isl_basic_map_read
_
f
r
o
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
d
r
o
p redundant
input_format
argument from re
a
d
ing fun
c
t
i
o
ns
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Ve
r
doolaege
isl_input
.
c
: mer
g
e func
t
i
ons for reading Pol
y
Lib an
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
sl_in
p
u
t
_omega
.
c:
a
ccept Pol
y
Lib input
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
is
l
_
input_om
e
ga
.
c
:
pre
p
are for rea
d
ing pa
r
ametric u
n
i
ons
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
rdool
a
ege
i
sl_inpu
t
_omega
.
c: fi
n
alize and
simplify re
s
ult
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaeg
e
isl_input_omega
.
c: fix ch
e
ck
f
or m
e
mory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl_s
t
re
a
m_ne
x
t_t
o
ken: ski
p
com
m
e
n
t line
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl_tab
_
bas
i
c_
m
ap_par
t
i
al_lexopt: pr
o
perl
y
h
andle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
la
e
ge
isl_ba
s
ic_map_set_to_em
p
ty: remove sample
(if any)
commit
|
commitdiff
|
tree
2010-01-24
S
ven
Verdoolaege
add isl_set_
f
ast_is
_
emp
t
y
commit
|
commitdiff
|
tree
2010-01-13
Sv
e
n V
e
rdoolaege
properly rem
o
ve piplib
s
ubmodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoo
l
aege
isl_
b
asic
_
m
a
p
_
u
p
d
ate_from_tab: r
e
-g
a
uss
r
esulting bmap
commit
|
commitdiff
|
tree
next