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: use isl_stream_get_ctx instead of reading ctx field of isl_stream
2015-02-05
Sven Verdoolaeg
e
i
s
cc
.
c: use isl_stream_get_ctx instead of reading
c
tx
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sve
n
Verdoola
e
g
e
i
s
cc
.
c
:
u
se i
s
l_stre
a
m_is_em
p
t
y
instead of rea
d
ing
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolaege
update isl fo
r
isl_stream_get_ctx
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven
Verdoolaege
u
pda
t
e
pet for support for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2015-02-05
Sven Verdoolae
g
e
update isl fo
r
su
p
port
for rec
e
n
t clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sven Verdoolaege
su
m
ma
t
e
.
c: avoid use of
i
sl_
u
ni
o
n_pw
_
qpolynomia
l
_add_pw_qp
o
l
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sve
n
Verdoola
e
g
e
ba
r
vinok
.
cc: avoid
u
se
o
f
isl
_
unio
n
_pw_qpolynomial_add_p
w
_qp
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-12-18
Sv
e
n Verdoolaege
isl
_
union_set_lattic
e
_width: ch
e
ck wheth
e
r input is
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sv
e
n
V
e
rdoolaege
summat
e
.
c: join_compatible
:
avoid us
e
of
u
ndocu
m
ented
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-11-23
Sve
n
Verdool
a
ege
sum
m
ate
.
c:
j
oin_compatible: rename "
d
im"
vari
a
b
l
es
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
ven Verdoolaege
u
p
d
ate pe
t
to v
e
rsion
0
.
06
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-26
S
v
e
n
Verdoolaege
up
d
ate is
l
to version 0
.
14
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-14
Sven Verdoolaege
README
:
upda
t
e contact information
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-10-09
Sv
e
n Verd
o
olaege
upd
a
te isl for change
i
n
i
sl_ma
p
_s
u
btract
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoolaege
upda
t
e pet for support for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sv
e
n Verdoolaege
updat
e
i
s
l for su
p
port
f
or recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-09-11
Sven Verdoo
l
ae
g
e
lattic
e
_widt
h
.
c:
avoid use o
f
de
p
rec
a
ted function
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-06-22
S
ven Verdoolae
g
e
bar
v
i
n
ok_enumerate_with
_
opti
o
ns: hand
l
e cont
e
xt const
r
ain
t
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-18
Sven Verdoolaege
doc: add anoth
e
r
p
a
per refering
t
o
the
l
ibrary
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-04
Sve
n
Verd
o
olaeg
e
isl_Poly
h
edron_
R
e
d
u
c
ed_Basi
s
: avo
i
d double f
r
ee
of
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-05-03
Thomas Kahle
Update the glpk calls t
o
the new
glp_
A
PI
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-22
Sven Ver
d
oolaeg
e
is
c
c: a
l
so di
s
allow so
u
rce operation when
-
-no
-
io i
s
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
erdoolae
g
e
barvinok 0
.
37
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sve
n
V
e
rdoolaege
update
p
e
t
to v
e
rsi
o
n 0
.
05
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-14
Sven
V
erdoolaege
update isl to ver
s
ion 0
.
1
3
commit
|
commitdiff
|
tree
2014-04-13
T
o
b
i
as G
r
os
s
er
Add m
i
ssin
g
inc
l
ude of isl
/
a
ff
.
h
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-04
Sve
n
Verdoolaege
update pet for sorting of array
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
ven Verdoolaege
isl_par
a
m_util
.
c: drop expr2vert
e
x
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
S
v
en Ve
r
d
o
o
l
a
ege
u
p
d
a
te isl for
c
hange in isl_vertex inspect
o
rs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-04-02
Sven Verdoolae
g
e
add i
s
l_m
u
lti_aff_to_po
l
y
lib
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sve
n
Verdoola
e
ge
iscc:
add minimal s
u
pport for isl
_
obj_pw_multi_af
f
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-30
Sven V
e
rdool
a
ege
update isl for isl_obj_pw_mul
t
i_
a
ff
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sven Verdo
o
l
a
ege
g
en_fun:
:
add_union: co
n
text of r
e
su
l
t should be
t
he
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-03-10
Sven
V
erdoola
e
g
e
r
e
duce_evalue: reduce poly
n
omial
e
xpres
s
ions in deno
m
inator
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sven Ve
r
doolaege
update pet for support
f
o
r
recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-02-09
Sv
e
n Ver
d
oolaege
update
is
l
for sup
p
ort f
o
r
rec
e
nt c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven Verdoola
e
g
e
u
pdate pet for chan
g
e in pe
t
_scop_collect_{reads,w
r
ites
}
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
S
ven Verdoolaege
u
pda
t
e isl for isl_id_to_pw_af
f
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2014-01-05
Sven V
e
r
d
oolaege
c
onfigure
.
ac:
use
AX_DETE
C
T_GIT_HE
A
D instead of inli
n
ed
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-16
Sven Verd
o
ola
e
ge
do
c
: fi
x
ty
p
o
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-12-05
Sven Ver
d
oo
l
aege
AX_SUBMODULE: allow
.
g
it
f
i
l
e
i
n
submodule
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
S
v
en Verdool
a
e
g
e
update
p
et for support
for recent clangs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-08-12
Sven Verdoolaeg
e
update
i
sl
for s
u
pport f
o
r
recent
c
l
angs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sve
n
V
e
rdoolaege
verify_point_data_
i
n
it: us
e
isl_set_card to
c
ount eleme
n
ts
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Ve
r
doolaege
test_app
r
o
x: return EXIT_FAILURE
o
n
e
r
ror
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven Verdoolae
g
e
te
s
t_approx: use isl i
n
terface
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-07-06
Sven V
e
r
doolaege
clean
u
p
tests/ehrhart/* inputs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoola
e
g
e
evalue_isl
.
c: relation2pw
q
p: h
a
ndle n
o
n-p
a
rametr
i
c
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven V
e
rdoolaege
update isl f
o
r
isl_*_eva
l
retu
r
ning an i
s
l_va
l
i
n
stead
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Ve
r
d
o
olae
g
e
update
i
s
l
for i
s
l_stream_rea
d
_obj r
e
turning
i
sl_obj_val
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-26
Sven Verdoolaege
update pet to versi
o
n
0
.
04
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-25
S
ve
n
Verd
o
ola
e
ge
configure
.
ac:
re
p
lace --with-libgmp optio
n
b
y
-
-
with
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-06-23
Sven Verdool
a
ege
update isl to ve
r
s
ion 0
.
12
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven V
e
rdoolaege
iscc
.
c: avo
i
d use of isl_toke
n
i
n
te
r
nal
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
evalue_isl
.
c
:
di
v
2eva
l
u
e
: use
i
sl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
en Verd
o
olaege
e
v
alue_isl
.
c
: isl
_
pw_qpolynomial_from_eval: use
i
s
l_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
evalue_isl
.
c
:
is
l
_qpo
l
ynomial_
f
rom_evalue:
u
se isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n
V
erd
o
olaege
evalue_i
s
l
.
c: ex
t
ra
c
t
_
base: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
ool
a
ege
ver
i
f
y
.
c: verify_point_data_i
n
it: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoola
e
ge
v
eri
f
y
.
c: v
e
ri
f
y
_
context
_
se
t
_bo
u
nds
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
v
e
n
V
erdoola
e
g
e
u
t
il
.
c: manual_c
o
unt:
u
se isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
t
e
st_
b
ound
.
c: result
_
data: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sve
n
V
erdoola
e
ge
tes
t
_bound
.
c
: verify_point
:
use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
sample
.
c: Pol
y
hedron_Sam
p
le
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
olaege
poly
s
i
g
n_isl
.
c
: isl_constraints
_
o
p
t
:
u
s
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdo
o
laege
p
o
lysign_is
l
.
c:
i
sl_polyhedron_affine_sign: use
i
sl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaege
polysign_isl
.
c
: e
x
tract_i
n
equa
l
itie
s
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ve
n
Verdoolaege
p
o
lysi
g
n_isl
.
c
: extract_equal
i
ties: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verdoolaege
iscc
.
c: read_i
d
e
n
t: use
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoolaeg
e
i
s
cc
.
c: obj_at
_
index: use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verd
o
ola
e
ge
iscc
.
c: power: use isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
S
ven Verdool
a
eg
e
iscc
.
c: next_is_neg_in
t
: use isl_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sv
e
n
Verdo
o
laege
evalue_isl
.
c: add
_
term: u
s
e isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ve
r
doo
l
ae
g
e
evalue_isl
.
c:
relati
o
n2pwqp: use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoola
e
ge
b
ound
.
c: split_o
n
_size: use isl_
v
al
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
e
r
d
oolaege
bound
.
c: verify_point: use i
s
l
_va
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Verdoo
l
a
e
ge
basis_reduction
.
c: isl_Pol
y
h
e
d
r
on_Reduced_Basis: use
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oola
e
ge
bar
v
inok
_
summat
e
.
c
:
verify_point
:
use isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
Verd
o
olaege
b
a
rvinok_enum
e
rate
.
c
c:
v
e
r
if
y
_point:
u
s
e i
s
l_
v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven Ver
d
oolaege
b
a
rvinok
.
cc: card
_
as
_
s
um:
u
s
e
isl_val
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-31
Sven
V
e
r
doolaege
isl_map_pol
y
li
b
.
c: us
e
isl_v
a
l
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven
V
e
r
d
oolaege
update isl for i
s
l_val abstraction
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-29
Sven Verdoola
e
ge
in
t
egrate i
s
l-polyli
b
module
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
b
a
r
vinok_enumerate
.
cc: exp
l
i
citly include gmp to avoid
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoolaege
barvinok
_
e
.
cc: explici
t
ly in
c
lu
d
e
gmp
to
a
v
oid inc
l
usion
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven Verdoola
e
ge
test_
b
ound
.
c
: res
u
lt_data_
c
lear
:
re
m
ov
e
unused v
a
r
iable
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sven
Verd
o
olaeg
e
evalue_isl
.
c: avo
i
d use of isl_seq
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-05-03
Sv
e
n Verd
o
ola
e
ge
test
.
c: remov
e
redu
n
da
n
t
include
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 Verdoolaege
e
va
l
ue_isl
.
c:
av
o
id
use
o
f isl_ve
c
inte
r
nals
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sve
n
V
erdoolaege
update pet for sup
p
ort
for
r
ecen
t
c
l
a
n
gs
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-04-07
Sven Ver
d
oo
l
a
e
g
e
upd
a
te isl f
o
r support for recent clang
s
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-03-10
Sven Verdoolaege
N
T
L
_QQ
:
use
NTL'
s
Vec template class
w
hen availa
b
le
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-06
Sv
e
n Verdoola
e
ge
isl_pw_qpolyn
o
mial_sum: erro
r
out if input d
o
e
s
not
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-03
Sven Verdoolaege
iscc
.
c: print_
c
o
d
e
: do n
o
t
assume isl_union_
m
ap_get_s
p
ace
.
.
.
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verd
o
olaege
vertex_cone: che
c
k tha
t
dimension
i
s at least one
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoola
e
ge
barvinok
_
sum_over_polytope: special case
0
D polytopes
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2013-02-02
Sven Verdoolaege
summate
.
c
:
sum_with_eq
u
alities: extrac
t
o
u
t sum_over_poly
t
o
p
e_0D
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-10
S
ven Verdoolaege
upda
t
e isl to version 0
.
11
.
1
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2012-12-03
Sv
e
n Ver
d
oolaege
barvinok 0
.
36
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
next