repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
barvinok_enumerate_with_options: handle context constraints on 0D input
2014-06-22
Sven
Verdoo
l
aege
barvin
o
k_e
n
umerate_wit
h
_options: h
a
ndle c
o
nte
x
t
c
o
nstraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
Sven Verdoolaege
d
oc: add a
n
other
paper re
f
ering
t
o
t
he libra
r
y
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdool
a
ege
isl_Pol
y
hedro
n
_Redu
c
ed_Ba
s
is
:
a
void double free
o
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-03
Thom
a
s Kahl
e
U
p
date
the glpk c
a
lls to
t
h
e
ne
w
glp_ API
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
Sven Verdoolaege
iscc:
a
l
so
disallow source o
p
e
ration when --no
-
io is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sv
e
n Verdoolaege
barvi
n
ok 0
.
37
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
S
ven Verdoolaege
update pet to versi
o
n
0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdo
o
la
e
g
e
upd
a
t
e isl to
v
ersion 0
.
13
commit
|
commitdiff
|
tree
2014-04-13
Tobias
Gr
o
sser
Add missing include of isl/aff
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-04
Sven V
e
rdoolaege
update pet for sorting of arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Verdo
o
la
e
ge
isl_param_util
.
c
:
drop
e
xpr2vert
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
V
erdoo
l
a
e
g
e
update isl for ch
a
nge in isl_v
e
rtex inspe
c
tors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sve
n
Verd
o
o
l
a
ege
add is
l
_
multi_aff_to_polylib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoola
e
ge
iscc: ad
d
minim
a
l support for isl_obj_pw_multi
_
aff
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verd
o
olaeg
e
update is
l
for isl_obj_pw_multi_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdoolaege
gen_fun::add_unio
n
:
cont
e
xt
o
f
result sho
u
ld
b
e the
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
S
v
en Verdoolaege
reduce_
e
value: redu
c
e polynomial expression
s
i
n
denomi
n
a
t
or
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven Verdoolaeg
e
upd
a
t
e
pet for
s
uppor
t
fo
r
recen
t
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
S
ven Ve
r
doolaege
u
pdate i
s
l for supp
o
rt for re
c
e
n
t
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sve
n
Verdo
o
laege
upda
t
e
p
e
t for cha
n
ge in pet_s
c
op_col
l
ect_{rea
d
s,writes}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoolaege
update is
l
for isl_i
d
_to_
p
w_a
f
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven
Ver
d
o
o
laege
configure
.
ac: use AX_DE
T
ECT
_
GIT_HEAD
i
nstead of
i
nlined
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-16
Sven V
e
rdoo
l
aeg
e
doc
:
fix typ
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-05
S
v
en V
e
rdoolaege
AX_S
U
BMODU
L
E: allo
w
.
git
f
ile i
n
su
b
m
o
dule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaege
upd
a
te pet fo
r
support for recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoo
l
aege
update isl for support fo
r
recent cla
n
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Ver
d
oolaege
v
e
rify_point_data_init: use isl
_
se
t
_card to c
o
unt elements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven
V
e
r
d
o
ola
e
ge
test_approx:
r
e
turn
E
XIT_FAILU
R
E on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sve
n
Verdool
a
eg
e
test_
a
p
p
r
o
x
:
use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolaege
cl
e
an u
p
tests/eh
r
h
a
rt/* inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sv
e
n Verdoolaeg
e
evalue_isl
.
c: relation2pwqp: hand
l
e non-parametri
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoo
l
aege
update isl fo
r
isl_*
_
e
val retu
r
ning
an isl_va
l
in
s
tead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Ve
r
doo
l
aege
update isl
f
or isl_stream_re
a
d_o
b
j returning i
s
l
_
obj_val
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdool
a
e
g
e
update pet to v
e
rsion 0
.
04
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdoola
e
ge
configure
.
ac: r
e
p
lace --with
-
libgmp o
p
t
ion by --with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven V
e
rdool
a
eg
e
u
pdat
e
isl to version 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
o
o
laege
iscc
.
c: avoid
u
se of
isl_t
o
k
e
n internal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoola
e
ge
evalue
_
isl
.
c: div2evalue: use
i
s
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ve
n
Verdoolaege
evalue_is
l
.
c: isl_p
w
_q
p
olynomial_fro
m
_e
v
al: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolaeg
e
evalue_isl
.
c: isl_qpolynomia
l
_from_evalue:
us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
evalue_isl
.
c: ex
t
ract_ba
s
e: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoolaege
verify
.
c:
verif
y
_point_data_i
n
it: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
e
r
d
oolaege
verify
.
c: verif
y
_context_set_bounds:
us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
uti
l
.
c: m
a
nual_count: use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdo
o
la
e
ge
test
_
b
o
un
d
.
c: res
u
lt
_
data:
u
s
e isl_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolae
g
e
te
s
t_bound
.
c: v
e
rify_point:
us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n
Verd
o
olaege
sample
.
c: Polyhedron_Sample:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
polysign_isl
.
c
:
isl_constraints_opt: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
polysign_isl
.
c: isl_polyhedron_affine_sign: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
pol
y
sign_isl
.
c: extr
a
ct
_
inequalities
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdo
o
l
a
e
g
e
po
l
ysign_isl
.
c
: e
x
tract_equ
a
lities: use i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
iscc
.
c: re
a
d_ident: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rd
o
o
l
a
ege
iscc
.
c: o
b
j_at_in
d
ex: use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
iscc
.
c:
p
o
wer: use i
s
l_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Ve
r
doo
l
aege
iscc
.
c
:
n
ext_
i
s_neg_int
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven V
e
rdoolaege
eva
l
ue_isl
.
c: ad
d
_t
e
rm: use isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
eva
l
u
e
_isl
.
c
:
re
l
ation2pwqp: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
V
er
d
oolaege
bound
.
c
: split_o
n
_size: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erd
o
olaege
bound
.
c:
v
erify_p
o
int: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n V
e
rd
o
ol
a
e
ge
basis_r
e
d
u
ction
.
c: isl_Polyh
e
dron_Reduced_Bas
i
s: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
V
erdoolaege
ba
r
vinok_su
m
mate
.
c: veri
f
y_
p
oin
t
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
erdoolaege
barvinok
_
enumerate
.
cc: verify_p
o
int: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaege
barvinok
.
cc: ca
r
d_as
_
sum:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
isl_map_polylib
.
c: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sv
e
n Verdoolaege
update isl for is
l
_val a
b
strac
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
i
n
tegrate isl-
p
olylib
m
odule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoola
e
ge
barvinok_enumerate
.
cc: exp
l
icitly in
c
lude
gmp to avo
i
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sv
e
n Verdoola
e
ge
b
arvinok_e
.
cc: explicit
l
y
i
nclude gmp to avoid inclusion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoo
l
aege
test_bound
.
c:
r
e
s
u
l
t
_data_clear: rem
o
ve
u
nuse
d
va
r
iabl
e
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
S
v
e
n Verdoola
e
ge
evalue_isl
.
c:
avoid
u
se of
i
sl_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdoolaege
test
.
c: remove red
u
ndan
t
include
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sven
V
erdoolaege
up
d
ate i
s
l to version 0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
Sven V
e
rdoolae
g
e
eval
u
e
_
isl
.
c
:
avoid use of isl_vec in
t
ernals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdo
o
l
aeg
e
upda
t
e
p
et for suppo
r
t fo
r
rec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sv
e
n Verdo
o
laege
updat
e
isl for
s
up
p
ort
f
o
r
rec
e
n
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
Sven
Verdoolaege
N
TL_
Q
Q: use NTL's V
e
c template class when ava
i
lable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
Sven Verd
o
o
laege
isl_pw_q
p
o
lynomial_
s
um: err
o
r out if input
d
oes not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven
V
e
rdo
o
laege
iscc
.
c: print_code: do not assu
m
e
isl_union_map_get_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven
V
erdoo
l
aege
vertex_co
n
e: check
t
h
at
d
ime
n
sion is at l
e
ast one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdo
o
la
e
g
e
barvin
o
k_
s
um
_
ove
r
_p
o
lyto
p
e
:
s
p
ec
i
al
case
0
D po
l
ytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sve
n
Verd
o
olaege
summ
a
te
.
c:
sum_wi
t
h_
e
q
u
a
lit
i
e
s: extra
c
t out sum_over_polytope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
Sv
e
n Verdoolae
g
e
update isl to version 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdoo
l
aege
b
a
rvi
n
ok
0
.
3
6
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ve
n
Verdoolae
g
e
l
exmin
.
cc
:
lex
m
in:
re
m
ove unused label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaege
latt
i
c
e
_point
.
cc: fra
c
tional_part:
rem
o
ve
u
nu
s
ed label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verd
o
olaege
test
l
ib
.
cc: test
_
h
i
lb
e
rt: fix
tests
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
S
ven Verdool
a
ege
iscc
.
c: read_bool_i
f
_available: remove unuse
d
label
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sve
n
Verdoolaege
u
pdat
e
p
et to versi
o
n 0
.
03
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoola
e
ge
update isl
t
o version 0
.
1
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sven Verdoolaeg
e
README: refer to pet/README f
o
r more details o
n
how
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolaege
u
pdate pet
f
or su
p
port for
recent
cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-11-24
Sven Verdoolae
g
e
up
d
ate
isl for s
u
ppo
r
t for
rec
e
n
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sve
n
Verdoolaege
drop cl
o
og submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoolaege
use isl for code g
e
neration
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-22
Sven Verdoo
l
aege
update isl for code
g
e
nera
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-21
S
v
en
Verdoolaege
isc
c
.
c: add missing includes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-09-03
Sven Verdoolaege
update
isl
f
or
rename
o
f !i
s
l_set_dim_h
a
s
_{lower,upper
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven
V
erd
o
ol
a
ege
d
oc:
a
dd another paper referi
n
g
t
o the
l
i
b
r
ary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sven Verdoola
e
ge
README: clarify tha
t
/opt is th
e
example installation
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-08-05
Sv
e
n
Verdoolaege
e
xport isl
_
*_pw_qpolynomial_sum
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next