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 0.02
2010-03-10
Sve
n
Verdoolaege
i
s
l
0
.
02
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
Ver
d
o
olaege
isl
_
pw_t
e
mp
l
.
c: copy: fix return
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
is
l
_polynomia
l
.
c:
qpoly
n
omial_fold_alloc: fix up cond
i
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
u
pda
t
e
A
UT
H
OR
S
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
l
a
ege
isl_pip: use isl_s
e
t_print inst
e
a
d
of is
l
_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
add
some
p
ip tests fr
o
m the pi
p
lib dist
r
ibution
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
don't prin
t
newline
in ISL_F
O
RMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
use typedef to ensur
e
argume
n
t to m
p
_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdo
o
laege
a
dd isl_obj_
p
w_qpoly
n
omial_fold
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
a
d
d isl_pw_qpolynomia
l
_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaeg
e
add
isl_pw_qpol
y
nomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
add isl_pw_qpolynomial_for
e
a
c
h_lifted_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add
i
s
l_set_
l
if
t
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
ad
d
isl_se
t
_from_point
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
a
d
d
isl_mat_i
n
sert
_
co
l
s
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdool
a
ege
add isl_pw_qp
o
lynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
a
dd isl_pw_qp
o
l
ynomial_foreach_piec
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoo
l
aeg
e
add isl_pw_qpolynomial_ge
t
_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_
d
iv_dim
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ver
d
oolaege
isl_stream:
allow
"_
"
i
n t
o
kens
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
is
l
_
s
tream: accept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
ae
g
e
isl_map
_
read: a
c
c
ep
t
'*'
i
n
affine expressions
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
l
_qpolynomial_eval
:
use cons
i
s
tent dimension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaeg
e
doc: u
p
date
t
o
removal of piplib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
Verd
o
olaege
i
sl_stream
_
read_obj
:
ad
d
support for reading piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verdoolaege
add isl_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaeg
e
add generic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
add
su
p
port fo
r
(p
i
ec
e
wise) quasipolynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_s
t
ream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doolaege
isl_stream: parse i
n
fty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
export isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
isl
_
str
e
am: allow u
s
e
r sp
e
cified keyword
s
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_stream: add some auxiliary funct
i
ons
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
oolaege
isl_stream: read "definitio
n
" t
o
k
en
":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add
isl_int_tdiv
_
q
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
r
doolaege
privately
e
x
port isl_set_c
o
nt
a
in
s
_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoo
l
aege
add
isl_set_cou
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
do
o
laege
add isl_set_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoo
l
aege
add
i
s
l
_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oola
e
ge
i
s
l_
b
asic_set_sc
a
n: make sure sufficient rows
a
r
e
a
ll
o
cated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_
m
ap_subtract: only add
divs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
er
d
oolaege
add isl
_
map_order_d
i
vs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
extra
c
t isl
_
tab_add_div f
r
om isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
is
l
_vec
.
c:
fix m
i
n
o
r whitespace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdo
o
laeg
e
add isl
_
se
t
_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
export
i
sl_m
a
p_make_di
s
join
t
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoo
l
aege
add isl_h
a
s
h
_t
a
ble_foreach
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_map_print: e
x
tract ou
t
print_
d
isjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
e
rdoolae
g
e
add isl_set_fast_is_unive
r
se
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
aege
isl_input
.
c:
accept_affine: fix memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_map_inter
s
ect: d
e
tec
t
empty result also
i
n case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_map_read: s
k
ip unti
l
th
e
end of th
e
la
s
t line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
is
l
_stream_next_t
o
ke
n
_on_sam
e
_lin
e
:
check if las
t
token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
a
ege
i
s
l
_
set_wrap
_
facet
:
make sure
s
et
is
m
arked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
er
d
oolaege
isl_coal
e
s
ce
.
c: f
i
x ty
p
o in commen
t
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doolaege
is
l
_map_
r
ead: acce
p
t list of p
r
edicated ele
m
ents
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
s
l_map_read: extract out parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
S
ven
Verdoolaege
isl
_
map_rea
d
: add
d
ummy variable name
f
or unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
e
rdoolaege
i
sl_stream: accept
"
;"
to
k
en
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
u
s
e -O1 optim
i
z
a
tio
n
level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
dro
p
com
m
a at
t
h
e
end
o
f enumerations in include
f
iles
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
V
erdo
o
laeg
e
isl_map_read: accept affine combinations of earli
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
isl_map
_
read: con
s
t
ruct ba
s
ic
map while re
a
ding
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdo
o
laege
i
s
l_map_print:
a
d
d p
r
imes to duplicate nam
e
s
commit
|
commitdiff
|
tree
2010-02-18
S
v
en V
e
rdoola
e
ge
isl_map_transitive_
c
losu
r
e: improve accuracy by
c
op
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
isl_map_transitive_closure: perfo
r
m exactness c
h
eck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
e
r
dool
a
eg
e
is
l
_map_transitive_c
l
osu
r
e: reformulate ex
a
c
t
ness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
add a transitive
c
lo
s
ur
e
example from the O
m
ega t
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaeg
e
i
s
l_map_transitive_c
l
osure:
c
ompute power
on strong
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
isl_map_tr
a
nsitiv
e
_cl
o
sure:
intersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
is
l
_m
a
p_tr
a
nsitive_closure:
e
xtract out const
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transitive
_
cl
o
sure: move a
c
ycli
c
ity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
add
i
sl_s
e
t_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
S
ven
V
er
d
oola
e
ge
isl_map_print:
u
se consi
s
tent
na
m
es on all disjunc
t
s
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verd
o
ol
a
ege
isl
_
cat:
allow specification of output format on comma
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven
V
e
rdoo
l
aege
isl_map_print
:
suppor
t
ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaeg
e
isl_map_coalesc
e
:
fix some
r
egressions
i
ntroduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add isl
_
closure
t
e
s
t
applica
t
ion
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
Verd
o
olaege
ad
d
transitive closure exam
p
le from Kelly's 1996 pap
e
r
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
isl_
m
ap_transiti
v
e_closure: con
s
truct ge
n
eral
paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
map_tran
s
itive_closu
r
e: prepare for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_
m
ap_transitive_closure: constru
c
t paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
i
sl_transitive_
c
l
o
sure: ext
r
act out co
n
structi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_map_transitive_closure: u
s
e more generic
acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
V
e
rdoola
e
g
e
isl_
m
ap_
p
ri
n
t: add parentheses aroun
d
disjun
c
ts
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
V
erdoolaege
isl_hash_table: u
s
e size
that c
o
rresponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_table:
grow table
when we run out of
e
ntries
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_map
_
coa
l
esce: only use
n
on-redundant co
n
straint
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add
i
sl_set
_
fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoo
l
ae
g
e
is
l
_ma
p
_
read
:
accep
t
chains
o
f
c
omparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoola
e
g
e
expo
r
t is
l
_map
_
a
lign_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven
Verdoolae
g
e
isl_map_read: forget ex
i
stent
i
ally q
u
anti
f
ied va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Ver
d
o
o
laege
isl_
i
nput
.
c: remove
n
eedless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
doc: document how to in
s
pect sets
and
r
elations
commit
|
commitdiff
|
tree
2010-02-09
S
ven
V
e
rd
o
o
l
aege
expo
r
t isl_map_
c
o
m
pute_d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_c
o
nstr
a
int_div: make sure reque
s
ted div is
a
k
nown
d
iv
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
erdoolaege
doc: drop documentati
o
n
of _dump
f
unction
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
i
s
l_map_p
r
int: improv
e
out
p
ut
commit
|
commitdiff
|
tree
next