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_qpolynomial_eval: use consistent dimension for result
2010-03-09
Sven
V
erdoo
l
aege
i
s
l_qpolynomial_eval: use
c
onsistent di
m
en
s
ion for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ver
d
oolaege
doc:
u
pd
a
te
t
o removal of
p
ip
l
ib as a submod
u
le
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
d
o
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ve
r
doo
l
aeg
e
isl_stream_read_
o
b
j: a
d
d support for reading pie
c
ewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add isl_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doo
l
a
e
ge
a
d
d
gene
r
ic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
add support for
(
piecewi
s
e) qu
a
sipolynom
i
als
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
add isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
i
s
l_stream:
p
a
r
s
e NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: parse infty
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdo
o
laeg
e
export isl
_
stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
i
s
l_stream: allow
u
se
r
specified
k
e
y
words
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
isl_
s
tream:
a
dd some auxiliary func
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: read "d
e
finition" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
ad
d
isl
_
int_tdiv
_
q
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
p
rivately export
isl_
s
et_contains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
dd isl_set_c
o
u
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
o
laege
a
d
d isl
_
set
_
s
a
mple_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
add
isl
_
poin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl
_
basic_set
_
sc
a
n: make su
r
e suf
f
icient
rows are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
olaege
i
sl_map_subtrac
t
: on
l
y add divs when
needed
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoo
l
aege
add isl_
m
ap_order_div
s
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolaege
extract
isl_t
a
b_
a
dd_div from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_
v
ec
.
c: fix mi
n
or
w
hit
e
s
pace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d isl_set_co
m
p
l
em
e
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
oolaege
e
xport isl_ma
p
_make_disjoi
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verdoolaege
a
d
d is
l
_hash
_
ta
b
le_fo
r
each
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
isl_map_pri
n
t:
e
xt
r
act out
print_disjunct
s
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdo
o
laeg
e
add isl_set_fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl
_
input
.
c: accept_af
f
ine: fix mem
o
ry leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaeg
e
isl_map_int
e
rs
e
ct:
d
etect empt
y
result
also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
e
r
doolaege
isl_map_read: skip
until the end of the
l
ast line whe
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
oolaege
isl_strea
m
_next_token_on_same_line: check if last toke
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
dool
a
ege
isl_set_wra
p
_facet: make sure set is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl_coalesce
.
c: fi
x
typo
i
n
comme
n
t
commit
|
commitdiff
|
tree
2010-02-19
S
ven
Ve
r
do
o
l
a
ege
isl_m
a
p_rea
d
:
accept list of predicated
e
lements
commit
|
commitdiff
|
tree
2010-02-19
S
v
e
n Verd
o
olaeg
e
isl_map_read: e
x
tract
o
u
t
pa
r
sing of map bod
y
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaege
is
l
_map_read: add
dummy variable name
fo
r
unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoo
l
aege
isl_stream:
a
ccept ";" token
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaege
use
-
O
1
o
p
t
imization lev
e
l
for gc
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
s
l_map_read:
accep
t
affine combinatio
n
s of
e
a
rlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolae
g
e
isl_map_read
:
construct basic map while
r
eading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolae
g
e
add
a
tra
n
sitive closure
e
xample from the Ome
g
a test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_
m
a
p
_
t
ransitive
_
closu
r
e
:
c
omput
e
power on strongl
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Ver
d
oolaeg
e
is
l
_map
_
t
ransitive_closure: intersect
with domai
n
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
isl
_
map_transiti
v
e_clo
s
ure: extract ou
t
constru
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ve
n
V
erdoo
l
aege
i
sl_map_transitive_clo
s
ure: move a
c
yc
l
i
city
test
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
isl_map_print: use co
n
si
s
tent names on al
l
disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
r
d
oolaege
isl_cat: allow sp
e
c
i
ficatio
n
of output fo
r
mat on comma
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en V
e
rdoolaege
i
sl_map_print: sup
p
or
t
ISL_FORMA
T
_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl
_
map_coalesce: fix some
regr
e
ssions i
n
troduce
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add
i
sl_
c
losure t
e
st applicati
o
n
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdool
a
ege
add transi
t
ive closu
r
e examp
l
e from K
e
lly's 199
6
pa
p
er
commit
|
commitdiff
|
tree
2010-02-15
Sven
Ver
d
o
olaege
isl_map_t
r
an
s
iti
v
e
_
closure: const
r
uct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap_transit
i
ve_closure: pre
p
are for the construct
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaeg
e
isl
_
m
a
p_transitive_clos
u
re
:
construct
p
at
h
s that
c
a
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
lae
g
e
isl_transitive_
c
lo
s
ure: ext
r
act
out construction
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Ve
r
do
o
laeg
e
i
s
l_map_transitive_
c
losure:
use more gener
i
c
acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doo
l
aege
isl_m
a
p_print: add
pa
r
e
nthes
e
s aroun
d
disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_has
h
_ta
b
le:
u
se size th
a
t c
o
rre
s
ponds to the
number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl
_
hash
_
ta
b
le: g
r
ow ta
b
le when we r
u
n ou
t
of entri
e
s
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verd
o
olae
g
e
isl_map
_
co
a
lesc
e
: on
l
y use non-redunda
n
t con
s
tr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
rdoolaege
add isl
_
set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
rd
o
ol
a
ege
isl_map_read:
a
ccept chains of c
o
mparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdo
o
laege
export
i
sl_
m
ap_al
i
gn_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaeg
e
isl_ma
p
_read:
forget existentially qu
a
ntif
i
ed variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdoo
l
aege
isl_input
.
c: re
m
ove
n
e
e
dless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
doc: document how to
in
s
pect
s
ets a
n
d
rela
t
ions
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verd
o
ola
e
ge
exp
o
rt is
l
_map_c
o
mpute_di
v
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_constraint_
d
iv: make sure requested div
i
s a
k
nown div
commit
|
commitdiff
|
tree
2010-02-09
Sven
Ve
r
doolaege
doc:
drop documentation of _d
u
mp functio
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdo
o
laege
isl_ma
p
_
print:
improve output
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoo
l
aege
add isl_basic_m
a
p
_foreach_
c
onst
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaeg
e
isl_m
a
p_coalesc
e
: handle mor
e
c
ase
s
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
d
oo
l
aege
privately
e
x
p
o
rt isl_s
e
t_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl_co
n
v
e
x_hull
.
c: wrap_facet:
a
llo
w
unboun
d
ed facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: improve decription of isl_map_t
r
ansi
t
ive_closure
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdoola
e
ge
i
sl_map_tra
n
sitiv
e
_closure: im
p
r
ove test for e
x
act
n
ess
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
add a co
u
nter example fo
r
Theorem 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolae
g
e
add isl
_
map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
aege
isl_map_po
w
e
r: coale
s
c
e
do
m
ain and range
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl_f
l
o
w
.
c: add missin
g
isl_acces
s
_in
f
o_fre
e
r
etur
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_coalesce
.
c: fix typo i
n
commen
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_map
_
read: acce
p
t li
s
ts of affin
e
expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
add isl_mat_from_row_vec
an
d
isl_ma
t
_
vec_c
o
ncat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_
r
ead: read exten
d
e
d poly
l
i
b
format
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
ad
d
isl_str
e
am
_
next_tok
e
n_on_same_l
i
n
e
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoola
e
ge
isl_map_read: make sure polylib constraint coeffi
c
ie
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_
{
map,set}_dim:
h
andle NULL
i
np
u
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
V
e
rdool
a
e
ge
isl_
m
ap_read:
u
se m
o
r
e uniform way of
reading in
polyli
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Ve
r
doolaege
isl_trans
i
ti
v
e_closure
.
c: fix typo
i
n c
o
mment
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
i
s
l
_map
_
transitiv
e
_closure: use more relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
i
sl_map_
p
ower and isl_map_trans
i
ti
v
e_c
l
osure
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ve
r
doolaege
isl_
m
a
p
_s
u
btra
c
t
.
c: make some
internal
funct
i
on
s
stati
c
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolae
g
e
add generic
isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
isl_{map,s
e
t
}
_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
r
e
name isl
_
{map,s
e
t}_add
t
o
i
s
l_{map,s
e
t}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
erdoolae
g
e
i
sl_set_project_out: alway
s
update
dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_dim
_
join:
don't require n
a
me
s
of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
l
ae
g
e
add is
l
_map_f
r
o
m_domain_
a
nd_range
commit
|
commitdiff
|
tree
next