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_pw_templ.c: copy: fix return
2010-03-10
Sven Ve
r
dool
a
ege
isl
_
pw_templ
.
c: copy:
f
i
x
return
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doo
l
aege
isl
_
polynomial
.
c: qpolynomial_fold_alloc:
f
i
x
u
p condit
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olae
g
e
u
p
d
a
t
e
AUTHOR
S
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoola
e
ge
isl_pip:
use
isl_set_print
i
n
s
t
e
ad of isl_set_
d
ump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verd
o
olaege
add some
pip tes
t
s
fro
m
the piplib dist
r
ibution
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
d
o
n'
t
p
rint newline in IS
L
_
FORMA
T
_IS
L
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
use t
y
pe
d
e
f
to e
n
s
ure argumen
t
to
mp_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add
isl_o
b
j
_
p
w_qpolyno
m
i
a
l_f
o
l
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
g
e
ad
d
isl_pw_qpolynomial_
f
old_e
v
al
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
ad
d
i
sl_p
w
_qpo
l
ynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
isl_pw_qpolynom
i
a
l
_f
o
reach_lifte
d
_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rd
o
olaege
a
d
d isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_set_fr
o
m_point
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
doolaege
add isl_mat_i
n
sert
_
cols
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add isl_pw_qpolynom
i
al_dim
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
a
dd isl_pw_qpolynomial
_
foreach_
p
ie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd
i
s
l
_
pw_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n V
e
rdoolaeg
e
add isl
_
div
_
dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_stream: allow "_" i
n
toke
n
s
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ver
d
oolaege
is
l
_stre
a
m
: a
c
cept "
@
" t
o
ken
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoola
e
ge
is
l
_ma
p
_read: accept '*' in
a
ffine express
i
ons
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oolaege
isl_qpoly
n
om
i
a
l
_eval: use consi
s
tent dimen
s
ion
for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
doc: update
to r
e
moval of
p
iplib as
a
su
b
module
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoo
l
a
ege
doc: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
i
s
l_
s
tream_read
_
ob
j
: add support for reading piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add isl_st
r
e
a
m_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
a
dd generic i
s
l_obj
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
add
support for
(
pi
e
cewise
)
qua
s
ipolyn
o
m
ials
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
i
sl_stream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_s
t
ream: parse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
e
x
p
ort is
l
_stre
a
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: al
l
ow
u
ser specifie
d
keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_stre
a
m: add
s
ome
auxiliary functi
o
ns
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
i
s
l_stream
:
read "defi
n
i
tion" token
":="
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoolaege
a
dd isl_int
_
tdiv
_
q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
pr
i
vately
e
x
po
r
t isl_set
_
c
o
ntains_point
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
add
isl_
s
e
t
_count
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
a
d
d is
l
_set_sample_p
o
i
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add isl_poi
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_
b
asic_set_sca
n
:
make sure su
f
fi
c
ient row
s
are
allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl_map_subtract: only add
d
i
vs when
needed
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
add
isl_ma
p
_order_divs
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
extract isl_
t
a
b
_add_div f
r
o
m
isl_ta
b
_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
ge
isl
_
ve
c
.
c: f
i
x minor white
s
p
a
ce issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_se
t
_co
m
plement
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
doolaege
export isl_map_make_disjoi
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
V
e
r
d
o
olaege
ad
d
i
sl_hash_ta
b
le_f
o
reach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl
_
map
_
p
rint: extract out pr
i
nt
_
dis
j
un
c
ts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
add isl_set_fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_input
.
c: accept_affine: fix
memory leak on err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
erdoolaege
isl_map_intersec
t
: detect
e
mpty res
u
l
t
a
lso in c
a
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
eg
e
isl_m
a
p_read: skip
u
nt
i
l
t
h
e
e
nd of th
e
last line
w
hen
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rdool
a
ege
isl_strea
m
_next_token_on_same_l
i
ne
:
check if last
t
oken
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_set_
w
r
a
p_facet:
m
a
k
e sure set is mar
k
ed rat
i
onal
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_co
a
l
e
sc
e
.
c: fi
x
typo
i
n comme
n
t
commit
|
commitdiff
|
tree
2010-02-19
S
ven
V
e
rdoolaege
i
s
l_ma
p
_rea
d
:
accept list of predicated elem
e
n
t
s
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaege
isl_map_read: e
x
tr
a
ct
out par
s
ing of m
a
p body
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoolae
g
e
isl
_
m
a
p
_
read: ad
d
dummy variab
l
e nam
e
for unnamed
v
a
ri
a
bles
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
g
e
use -O1 optimization l
e
vel for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doola
e
ge
drop
c
omm
a
at t
h
e end
of e
n
umeratio
n
s in
include files
commit
|
commitdiff
|
tree
2010-02-18
S
v
en
Verdoolaege
is
l
_
m
ap
_
read
:
ac
c
ept a
f
f
i
ne com
b
in
a
tions of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
ge
i
s
l_map_r
e
ad
:
construct b
a
si
c
map while reading variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_print: add
p
rimes to duplicate names
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdool
a
e
ge
isl_map_transit
i
ve_closure: improve accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
isl_map_transi
t
ive_closure: perform e
x
act
n
ess check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoolaeg
e
isl_map_transitive_cl
o
sure: reformul
a
te exactne
s
s test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaeg
e
add a tra
n
sitive
closu
r
e example f
r
om the Ome
g
a tes
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
isl_map_transiti
v
e_closure: compu
t
e power o
n
str
o
ngly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
i
sl_map_t
r
a
n
s
i
tive_
c
losure
:
inte
r
sect with domain a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdo
o
laege
isl_map_transiti
v
e_closure: e
x
tract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdo
o
laege
is
l
_map_trans
i
t
i
ve_closur
e
: move acyclicity
t
e
s
t up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoo
l
aege
add isl
_
se
t
_lower_bound
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_m
a
p_p
r
i
nt: use cons
i
sten
t
names
o
n
a
ll disjunc
t
s
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolae
g
e
is
l
_
cat: allow
sp
e
c
i
ficat
i
on of
o
u
tput f
o
rmat o
n
command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
V
erdoolaege
isl_map_pri
n
t: sup
p
ort ISL_FORMAT_
P
O
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaeg
e
isl_ma
p
_
coalesce:
f
ix some regressions
i
ntroduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
l
a
eg
e
add isl_closure
t
e
s
t application
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
add tra
n
sitive closure example
f
rom Ke
l
ly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
V
e
rdoolaege
isl_map_transitive_closure: const
r
uct gener
a
l paths
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ver
d
ool
a
ege
isl_map_tr
a
nsiti
v
e_closure: prepare for the
construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl_ma
p
_transitive_
c
l
o
sure: con
s
t
r
u
ct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
isl_transitiv
e
_clos
u
re: extract
out
c
o
n
structi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_
m
ap_transitive_closure:
u
se more gene
r
ic acyclic
i
ty
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verd
o
o
l
a
e
ge
i
s
l_map_print: add pare
n
theses arou
n
d
d
is
j
un
c
t
s
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaeg
e
is
l
_ha
s
h_table
:
use size that corresp
o
nds to the numbe
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
V
erdoolaege
i
s
l_
h
ash_table: gro
w
table when we r
u
n
o
ut
o
f entri
e
s
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
d
o
o
laege
i
sl_map_coales
c
e: o
n
ly use
n
on-redundant const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
rdoolaege
add isl_set_
f
ix_s
i
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdoolaeg
e
i
sl_map
_
r
ead: accept
chains
o
f compa
r
isons
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verdool
a
eg
e
export isl_map_al
i
g
n
_div
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
oolaege
isl_ma
p
_r
e
ad: forge
t
e
x
ist
e
nt
i
ally
qu
a
ntifi
e
d
va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Verdoolaege
isl_input
.
c
:
r
emove
needl
e
ss i
n
direction
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolae
g
e
doc
:
docu
m
ent how to
i
n
spe
c
t sets and
r
elations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export
i
sl_map_
c
ompute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
r
doo
l
a
e
ge
isl_constr
a
int
_
div: make sure requested
d
iv
i
s a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verd
o
olae
g
e
d
oc: drop documentation of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_print: imp
r
ove output
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaeg
e
ad
d
isl_basic
_
map_for
e
ach_constraint
commit
|
commitdiff
|
tree
next