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
Sven Verdoolaege
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
a
ege
i
s
l
_p
w
_
t
empl
.
c: copy: fix return
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolae
g
e
i
s
l_po
l
ynomial
.
c: qpolyn
o
mial_fold_alloc: fix up condition
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
update AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n V
e
rdoolaeg
e
isl_pip: use isl
_
set_pri
n
t
i
nste
a
d of isl_set
_
d
ump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdool
a
eg
e
add some pip tes
t
s fr
o
m t
h
e pipl
i
b distribution
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
oo
l
a
e
ge
d
on't prin
t
newline in ISL_FOR
M
AT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdo
o
laege
use typede
f
to ensure
argument to mp_get_m
e
mory_fu
n
ctio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaeg
e
ad
d
isl_obj_pw_qpolyno
m
ial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
doola
e
g
e
add isl_pw_qpolynomial_fold
_
eva
l
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
add isl_pw_qpol
y
nomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl
_
pw_q
p
olyno
m
ial_foreach_lif
t
ed_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
ad
d
isl
_
set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add i
s
l_set_from
_
point
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
a
dd i
s
l_mat_ins
e
rt_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
a
dd isl_pw_qpolynomia
l
_dim
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
ad
d
isl_
p
w_qpolyn
o
mi
a
l_fo
r
each_piec
e
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
a
dd isl_pw
_
qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_div_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
i
sl_s
t
r
e
a
m: all
o
w "_" in t
o
kens
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verd
o
olaege
i
s
l_str
e
am: accept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
do
o
l
a
ege
isl_map_re
a
d: accept '*'
in a
f
fi
n
e express
i
ons
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verd
o
olaege
isl_qp
o
lynomial_
e
va
l
: use consis
t
ent dime
n
si
o
n for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc: update to removal of
piplib as a
s
ubmodule
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc: f
i
x
ty
p
o
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
isl_stream_read_obj
:
add support fo
r
r
e
a
d
i
ng piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
add isl_st
r
e
am_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add gen
e
ric isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ver
d
oolaege
a
dd
s
u
p
port for (piecewise) quasipol
y
n
o
mi
a
ls
commit
|
commitdiff
|
tree
2010-03-04
S
ven V
e
rdoolaege
add isl_map_mov
e
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rd
o
olaege
isl_stream: pa
r
se
N
aN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
i
sl_strea
m
: pa
r
s
e
infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
export isl_st
r
e
a
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stre
a
m: all
o
w user specified keywo
r
ds
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
i
s
l_st
r
eam: add so
m
e auxilia
r
y
fun
c
tions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_
s
tream: read
"de
f
in
i
tion
"
token
":="
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdool
a
ege
a
dd isl_int_tdiv_
q
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoola
e
ge
pr
i
vately
e
xport isl_set_c
o
ntain
s
_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d i
s
l_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
i
sl_set_sample_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdoo
l
aeg
e
add
i
sl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl
_
basi
c
_s
e
t_scan: make
s
u
re sufficient
r
o
w
s are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
olaeg
e
isl_
m
ap_
s
ub
t
r
act: only add d
i
vs when n
e
ed
e
d
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaeg
e
a
dd isl
_
map_orde
r
_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
g
e
extract isl_tab_
a
dd_div fr
o
m isl_ta
b
_p
i
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
dool
a
ege
isl_vec
.
c: fix minor whitespace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaege
a
dd isl_set_
c
omplement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
e
xport isl_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
add isl_h
a
sh_tab
l
e_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ve
r
d
o
ol
a
ege
isl_map
_
pri
n
t: extract out print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ver
d
ool
a
ege
add isl_set_fast_is_
u
n
ive
r
se
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l_in
p
u
t
.
c: ac
c
ept_affine: fix memory leak on
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
olaeg
e
is
l
_
m
ap_intersect
:
de
t
ect empt
y
result also in
c
ase
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
r
doolaege
isl
_
map_read: skip until t
h
e e
n
d of
t
he la
s
t
line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolaege
isl
_
stream_next_token
_
on_same_l
i
ne: check if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_set_wrap_face
t
: m
a
ke sure set is mar
k
e
d
ra
t
iona
l
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_c
o
alesce
.
c:
f
ix typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoo
l
aege
isl_map_read: accept list o
f
pred
i
cated ele
m
e
nt
s
commit
|
commitdiff
|
tree
2010-02-19
Sven
Ve
r
do
o
l
aege
isl_ma
p
_read: extract out pa
r
sing
o
f map
body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
isl_map_rea
d
: add dummy variable n
a
me for
unnamed
var
i
ables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
i
sl_stream: ac
c
ept ";
"
token
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaege
u
se -O1 optim
i
zation le
v
e
l
fo
r
gcc
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdool
a
ege
isl_ma
p
_r
e
a
d:
a
cce
p
t aff
i
ne
combina
t
io
n
s of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
o
ol
a
ege
isl_m
a
p_read:
c
o
nstruct bas
i
c
map while reading
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en
Verdoolaege
add a tra
n
sitive closure example from the Om
e
ga test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
is
l
_
m
ap_transitive_closure:
c
ompute power
o
n
strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolae
g
e
isl_ma
p
_tran
s
itive_clo
s
ure: intersect
w
ith
d
omai
n
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoo
l
aege
isl_map
_
t
ransitive_closure:
extract
o
ut co
n
struction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolae
g
e
isl_m
a
p_trans
i
t
i
v
e
_
clo
s
ure
:
move acyclici
t
y
t
est up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_map_
p
rint: us
e
consistent nam
e
s on al
l
disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolae
g
e
isl
_
cat
:
a
llow sp
e
cification of out
p
ut format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
is
l
_map_
p
r
int: s
u
pport IS
L
_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_map_coalesce:
fix some regressio
n
s introdu
c
ed by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
add isl_cl
o
sure test applicati
o
n
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add tr
a
nsitive closure exampl
e
from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
ae
g
e
isl_map_transitive_closure: c
o
n
s
truct general
p
aths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_map_tra
n
sitive_cl
o
sure: p
r
e
p
are for the
c
onstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
Verdoo
l
aege
isl
_
ma
p
_transi
t
ive_c
l
osure: construct paths th
a
t can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_tr
a
nsitive_closure:
extract ou
t
construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_map_tr
a
ns
i
tive_cl
o
sur
e
: use m
o
r
e gener
i
c acycli
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
isl_map
_
print: add parentheses around di
s
ju
n
c
t
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_ha
s
h_table: use size that c
o
rrespond
s
to the nu
m
ber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
Ve
r
doo
l
aege
isl_hash_
t
abl
e
: grow tabl
e
when we r
u
n out
o
f entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl_map_
c
oa
l
e
s
ce: only
use non-
r
ed
u
nda
n
t constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolae
g
e
a
d
d
isl_
s
et_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
er
d
oola
e
ge
isl_ma
p
_
r
ead: accept chai
n
s of co
m
pa
r
isons
commit
|
commitdiff
|
tree
2010-02-10
S
v
en
Verd
o
olaege
export isl_map_alig
n
_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verdoolaege
isl_map_read: f
o
r
g
et existen
t
ially
q
uantified
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
i
s
l_input
.
c: r
e
m
o
ve needle
s
s indirec
t
ion
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
d
o
c: do
c
ument how to inspect set
s
a
n
d relation
s
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Ve
r
doolaege
export i
s
l_
m
ap_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Ve
r
do
o
laeg
e
isl_cons
t
raint_div: ma
k
e sure requested div is a kno
w
n div
commit
|
commitdiff
|
tree
2010-02-09
S
ven
V
e
r
doo
l
aege
doc
:
d
r
op documentation of _dump
functions
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
isl_map_print:
i
mprove ou
t
put
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
ege
add isl_basic_map_fo
r
each_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
isl_map_coale
s
ce:
h
andle more
cases
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
privately
e
xport isl_
s
et_w
r
ap_fa
c
et
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verd
o
o
l
aege
isl_convex_hu
l
l
.
c:
w
ra
p
_f
a
c
e
t: allow unbound
e
d f
a
cet
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoola
e
ge
d
o
c: improve dec
r
iption of isl_map_transi
t
ive_
c
los
u
re
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl
_
map_transitive_closure:
i
mpro
v
e tes
t
for exa
c
tness
commit
|
commitdiff
|
tree
next