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
iscc.c: vertices: avoid uninitialized read on error path
2015-03-17
Sve
n
Ver
d
oolaege
iscc
.
c: vertices: avoid
uniniti
a
lized read on error
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Ver
d
oolaege
is
c
c: avoid use of pet
_
sco
p
_collect_schedule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolaege
up
d
ate pet for representing sc
h
edule
a
s
s
chedule tree
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-26
Sven Verdoolae
g
e
u
pdate
isl for sufficient
s
c
hedu
l
e tree support for pet
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven
Verdoolaege
i
s
cc
.
c: use isl_s
t
r
ea
m
_
get_ctx
i
nstead of
readi
n
g ctx
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven
V
erdoo
l
aege
is
c
c
.
c:
u
s
e
isl_stream_is_empty inst
e
ad o
f
reading
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sv
e
n V
e
rdool
a
ege
update isl for isl_stream_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven V
e
rdoolaege
upda
t
e pet for suppo
r
t for r
e
cen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
S
v
en Ver
d
oolaege
update
i
sl fo
r
s
u
p
p
ort
f
o
r
r
ec
e
nt clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
S
v
en Ve
r
doola
e
ge
summate
.
c:
a
voi
d
u
se of isl_union_
p
w_qpolynomial
_
add_pw_qpol
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoo
l
aege
b
arvino
k
.
cc:
a
v
o
id use of isl_union_p
w
_qpolynom
i
al
_
ad
d
_pw_qp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolaege
isl_u
n
ion_se
t
_lattice
_
width: check whether input
is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sve
n
Ve
r
doolaege
summate
.
c: jo
i
n_co
m
patible:
avo
i
d
u
s
e
of undocumented
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
S
v
en Verdoolaege
summate
.
c: join_co
m
pa
t
ible: rename "dim
"
variab
l
e
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdoolaege
u
p
d
ate pet to ve
r
sion 0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
Sv
e
n Verdool
a
ege
upda
t
e isl to vers
i
on
0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-14
Sven V
e
rdoola
e
g
e
README
:
update contac
t
infor
m
a
t
i
o
n
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-09
S
v
en Verdoolaege
update isl for chan
g
e
i
n isl_
m
ap_subtract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Ver
d
oolaege
u
p
date pet fo
r
support for recent
c
langs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
update isl for support for recent cla
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoo
l
aege
lattice_width
.
c:
a
void us
e
of deprec
a
ted f
u
nc
t
ion
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-22
Sven Verdoolaege
b
ar
v
inok_enu
m
e
rate_with_
o
ptio
n
s: handle conte
x
t constraints
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
S
ven
V
e
rdoolaege
doc:
add an
o
ther paper refering to the l
i
brary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
Sven Verdoolaege
isl_Polyhedron_Reduced_
B
asi
s
: avoid double free of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
Sven Ve
r
d
o
olae
g
e
isc
c
: also disal
l
ow s
o
u
r
ce op
e
ratio
n
when --no
-
io is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
barvinok 0
.
37
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdool
a
ege
up
d
a
te pet
to ver
s
i
on
0
.
0
5
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven Verdoolaege
u
p
d
a
te is
l
to
v
ersion 0
.
13
commit
|
commitdiff
|
tree
2014-04-04
Sven Ver
d
oo
l
aege
update pet for sorting of arrays
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolaeg
e
i
s
l
_para
m
_
u
til
.
c: drop expr2vertex
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven
Verdoo
l
aege
upd
a
te isl for ch
a
n
g
e in isl_v
e
r
t
ex inspectors
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Ve
r
do
o
laege
add
is
l
_
multi_aff
_
to_
p
oly
l
ib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven V
e
r
doolaege
i
s
c
c
: add min
i
mal suppo
r
t for
i
sl_obj_pw_multi_a
f
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven Verdoolaege
upd
a
te isl f
o
r
isl_obj_p
w
_mult
i
_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
S
v
en
Ve
r
doolaege
g
e
n_fun::ad
d
_u
n
i
on: context of
r
esult should be
t
he
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
S
ve
n
Verdoolaege
reduce_evalue: red
u
ce polynomial expres
s
ions in den
o
minator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
S
v
en Verdoolaege
update
pet for su
p
port for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
S
v
en V
e
r
d
oolae
g
e
update isl for support f
o
r recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoo
l
aege
update pet for cha
n
ge in pet_scop
_
coll
e
ct_{rea
d
s,writes}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven
Verdoolaege
upd
a
te isl for is
l
_
i
d
_to
_
pw_aff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
S
ven Verdoo
l
aege
conf
i
gure
.
a
c
: us
e
AX_DE
T
ECT_
G
IT_H
E
A
D
instead of i
n
line
d
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-16
Sven Verdoolaege
doc:
f
ix typo
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-05
Sven Verdoo
l
a
e
ge
AX_SU
B
MODUL
E
: allow
.
git file in su
b
mo
d
ule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
S
ven Ve
r
dool
a
e
ge
u
p
date pet for sup
p
or
t
fo
r
recent
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
S
ven Ve
r
dool
a
e
g
e
update isl for support
f
or
r
ecent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven
Verdoolaege
veri
f
y_point_data_in
i
t: use
isl_set_
c
ard to count elements
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verd
o
o
laeg
e
test_app
r
ox:
r
etur
n
EXIT_
F
AILURE on error
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sv
e
n V
e
rdoo
l
aege
test_ap
p
r
o
x:
use isl interface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
S
v
en Verdoolaege
clean up tests
/
ehr
h
art
/
* inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
S
v
e
n
Verdoolae
g
e
e
v
a
l
ue_isl
.
c: re
l
ation2pwqp: handle non-param
e
tric
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
Verdool
a
ege
update
i
sl for is
l
_*_ev
a
l ret
u
r
ning an isl_val instead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven V
e
rdo
o
laege
u
p
d
a
t
e isl for isl_stream_read_obj
returning isl_obj_val
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sve
n
Verdoo
l
a
ege
upd
a
te pet t
o
ver
s
ion 0
.
04
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-25
Sven Verdoolae
g
e
configure
.
ac: replace --w
i
th
-
li
b
gmp option by -
-
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
S
v
en Verd
o
olaege
update isl to version 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n
Verdoolaeg
e
iscc
.
c:
a
void
u
se of is
l
_token internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oo
l
ae
g
e
evalue_i
s
l
.
c
:
div2evalue: us
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
l
a
e
ge
e
val
u
e_isl
.
c: isl_
p
w
_
qpolyn
o
mial_fr
o
m_eval:
u
se i
s
l_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
evalue_isl
.
c: isl_qp
o
lynomial_fr
o
m_evalue: u
s
e
i
sl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
e
v
a
lue_
i
s
l
.
c:
ex
t
ract_base:
us
e
i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en V
e
rdoolaege
verify
.
c: ver
i
f
y
_p
o
int
_
data_init: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
ve
r
ify
.
c: ver
i
fy_context_set_bo
u
n
ds: use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n Verdoo
l
a
e
ge
uti
l
.
c: ma
n
ua
l
_coun
t
: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Ve
r
doolaege
tes
t
_b
o
und
.
c: resul
t
_data: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verd
o
olaeg
e
test_bo
u
nd
.
c: verify_point: use
isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
s
ample
.
c: Polyhedron_Samp
l
e: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven
V
er
d
oolaege
p
o
lysign_isl
.
c: isl_constr
a
ints
_
opt: use
isl
_
val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolae
g
e
polysign_isl
.
c: i
s
l_polyh
e
dron_aff
i
n
e_s
i
gn: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
polysign_isl
.
c: e
x
tract_in
e
qualities: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n
Verdoola
e
ge
polysig
n
_isl
.
c: extr
a
ct_equalities
:
us
e
is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Ve
r
dool
a
eg
e
iscc
.
c: read_ident: us
e
isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
iscc
.
c: obj_at_index: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verdoolaege
i
s
cc
.
c:
p
ow
e
r
: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
la
e
ge
iscc
.
c:
n
ext_is_neg_int:
u
s
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
r
d
oo
l
aege
ev
a
lue_isl
.
c:
a
d
d
_term: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
l
a
ege
eva
l
ue_isl
.
c: re
l
ation2pwqp: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
bound
.
c: s
p
l
it_on_size: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n
Verdoo
l
aeg
e
bound
.
c: verify_
p
oint:
u
se
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doolaeg
e
b
asis_reducti
o
n
.
c:
isl_Polyhedro
n
_R
e
duced_Bas
i
s
:
use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolaege
ba
r
vin
o
k_su
m
ma
t
e
.
c: verify_poin
t
: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaeg
e
barvinok_e
n
umerate
.
cc: verify_point:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
barv
i
nok
.
cc: card_as_sum:
use i
s
l_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
Verdoolaege
isl
_
map_polylib
.
c: use is
l
_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven
V
erd
o
o
l
a
ege
update isl for
isl_val abstract
i
on
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoolaege
int
e
gra
t
e isl-polylib module
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdool
a
ege
barvinok
_
enume
r
ate
.
cc: explicitly inclu
d
e gmp
t
o
avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdo
o
l
a
ege
barvinok_e
.
cc
:
e
xplicitly
include gmp to avoid inc
l
usi
o
n
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
tes
t
_bound
.
c: result_data_clear:
r
e
m
ov
e
unused
v
ariable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoola
e
ge
evalue_isl
.
c:
avo
i
d us
e
of isl_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
V
erdoo
l
a
ege
t
e
st
.
c: remove redundant incl
u
de
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-23
Sven Verdoolaege
update isl to version 0
.
11
.
2
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-08
Sven Ve
r
doolaege
e
v
a
l
ue_isl
.
c: avoid
use of isl_v
e
c internals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Verdoolaege
updat
e
pe
t
fo
r
support for r
e
ce
n
t clan
g
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Ve
r
doolaeg
e
update isl
f
o
r support for recen
t
clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verdoola
e
ge
NTL
_
QQ: use N
T
L's
V
ec
t
e
mpl
a
te class when available
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
Sven
V
er
d
oolaege
isl_pw
_
q
p
o
lyno
m
i
al_sum: error ou
t
if input does
not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven V
e
r
doolaege
iscc
.
c
:
print_code: do not assume isl_unio
n
_
map_get_space
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
S
ven Verdoola
e
ge
vertex
_
con
e
: check that dimen
s
ion is a
t
least one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sv
e
n Ver
d
o
olaege
barvinok_sum_over_poly
t
o
pe: special case 0D polytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sv
e
n
V
erdoolaege
s
u
mm
a
te
.
c: sum_wi
t
h_equalities: extr
a
ct
o
ut sum_over_polytope_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next