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 0.30
2010-03-10
Sven Verdoolaeg
e
bar
v
ino
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
A
UTHORS: update
su
p
po
r
t
i
n
formation
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdool
a
eg
e
r
andomvector
:
double size
of coefficients
o
n
ea
c
h att
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
is
c
c: support transiti
v
e
closure
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
u
p
date isl to ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
bar
v
inok_e
.
cc:
e
num
e
rate_vd: remove unus
e
d variables
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
ev
a
lue
.
c: Polyhedron_Insert: add mi
s
s
i
ng retur
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoo
l
ae
g
e
evalue
.
c: reduce_eval
u
e
:
r
e
move unuse
d
variable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
iscc:
a
dd
@
operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isc
c
:
a
dd "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
ad
d
isl_p
w
_qpolynomial_upp
e
r_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
add isl_
p
w_
q
polyno
m
ial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
a
d
d isl_pw_
q
po
l
ynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
ool
a
ege
update isl for isl
_
pw_qpo
l
ynomial_forea
c
h
_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
renam
e
e
va
l
ue2is
l
to i
s
l_pw_qpolynomial
_
from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ver
d
oolaeg
e
i
s
cc: detect more kinds
o
f errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdool
a
ege
barvinok_enumer
a
te: u
s
e isl
d
uring the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verd
o
olaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
a
dd isl_set_card and i
s
l_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
evalue_convert: export as ap
p
licati
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoo
l
aege
barvinok_e
n
umerate_e: optionally use isl to projec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdo
o
laege
add isl submodu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
AX_SUB
M
ODULE
:
accept "-" in
modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvin
o
k_enumera
t
e: ret
u
r
n
NaN for i
n
f
i
nite
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
Sven
V
e
rdoo
l
aege
remove_all_e
q
ua
l
iti
e
s:
h
andle integrally, but no
t
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdo
o
laege
b
a
rvinok_enume
r
ate_e: alway
s
return a partition f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdool
a
ege
b
a
r
vinok_enumerate: check tha
t
dimension o
f
input i
n
cl
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
par
t
i
tion2enu
m
e
r
ation: check
that input is
r
eally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
upda
t
e pi
p
lib f
o
r chan
g
e in c
o
n
f
igure options
commit
|
commitdiff
|
tree
2009-11-30
S
ven Ve
r
d
o
olaege
update omega for
configuration/compilation
issues
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n Verdoo
l
aege
bar
v
inok_count_wi
t
h_options: che
c
k retu
r
n
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoolaege
P
olyhedron
_
Sample: plug
mem
o
ry leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
lae
g
e
s
u
mmate
.
c: add
mis
s
ing
i
nclude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
e
ge
t
opc
o
m
.
c: s
u
p
p
ort ne
w
er versions of
TOPC
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
t
opc
o
m
.
c: comp
u
te_do
m
ain: skip vertices w
i
t
hout domain
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
e
rdool
a
e
ge
polytope_minimize: take co
n
stant
t
erm to b
e
zero whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdoolaege
doc: reflect
that --e
n
able-fractional is now
t
he default
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
glpk_polyhe
d
r
on_affine
_
s
ign: special c
a
se 0D
polyh
e
d
r
a
commit
|
commitdiff
|
tree
2009-11-12
S
ven
Verd
o
olaege
Polyhedron_Insert_C
o
lumns
:
fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoola
e
ge
P
o
l
yhed
r
o
n
_
Factor:
fi
x
u
p
dating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Ve
r
do
o
laeg
e
configure
.
in:
use A
X
_SUBMODULE instead of B
V
_SUBMO
D
U
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven
V
e
rdoolaege
rem
o
ve_equalities: use P
o
lyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rd
o
olaege
b
a
rvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en V
e
rdoolaege
d
o
c: add experimental
comparison
between
old
a
nd ne
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdo
o
laege
le
x
m
in
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
doc: add some less common
.
sty
f
iles
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdool
a
ege
add "clever" Laurent expans
i
on ba
s
ed
s
ummation
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolae
g
e
m
ove Last_Non_Zero to
ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extra
c
t out param_polynomial fr
o
m laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verd
o
olaege
extract vertex_
c
one from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven
V
erdoola
e
g
e
update polylib f
o
r speed i
m
provem
e
n
t
in
i
n_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
upda
t
e
pipl
i
b for distributi
o
n issue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verdoola
e
g
e
Pol
y
h
edron_Facto
r
:
f
ix merging of groups o
f
columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arv
i
nok_enum
e
rate_series: don't check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)co
u
nter: mo
v
e c
o
unter::reset()
u
p
t
o
co
u
nter_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
M
akefile
.
am: keep better t
r
ack of fa
i
led tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
ad
d
semigrou
p
_holes appl
i
ca
t
ion
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
Line_Length: handle 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
rdoola
e
ge
gen_
f
un: a
d
d is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
barv
i
nok_enumerate_e_se
r
ies: re
m
ove equ
a
lities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
e
g
e
barvinok_e
n
umer
a
t
e_e_series:
h
andle all exist
e
nt
i
al
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc: ma
k
e project s
t
atic
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doolaege
ba
r
vinok_enumerate_e_ser
i
es: handle all
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
erd
o
olaege
add test set from the
o
ther
itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron_Fact
o
r: hand
l
e polyhedr
a
with a no
n
-tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n
Verdo
o
laege
update pip
l
ib for
change in configure a
r
guments
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoolaege
test_approx
.
c:
a
d
d
dummy field
in dum
m
y tm
s
structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
rdoola
e
ge
conf
i
gure
.
in: av
o
id introduc
i
ng empty elem
e
nts in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
occ: define
O
MIT_G
E
TRUS
A
GE if sys/
r
esource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
ol
a
ege
omega_interfac
e
/Mak
e
file
.
am: put depending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verdo
o
la
e
ge
configure
.
in: add $(EX
E
EXT) to optional
occ for
c
ygwin
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
V
erdoolaege
upd
a
te
o
mega fo
r
MinGW compati
b
ility
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolae
g
e
bernstein/conf
i
gure
.
in: add
m
i
s
si
n
g AC_PROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdool
a
ege
vector_pa
r
titi
o
n_c
h
ambers: c
o
mputes
cham
b
ers o
f
ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven V
e
r
d
o
olaege
barvin
o
k
.
cc: remove unused non
o
r
thog
commit
|
commitdiff
|
tree
2008-12-26
S
v
en
V
e
rdoola
e
ge
update pi
p
li
b
f
o
r MinGW
c
ompati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verd
o
olaege
update p
o
lylib for M
i
nGW
c
ompatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
o
l
aeg
e
fdstream
.
cc: don't (
r
e)decla
r
e fileno i
f
it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: in_
d
omain: special-case 0D domai
n
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoo
l
aege
Avoid use of sys/times
.
h header when
n
ot availa
b
le
commit
|
commitdiff
|
tree
2008-12-25
Sven V
e
r
doolaeg
e
add
gnu
l
ib ge
t
subopt mod
u
le for MinG
W
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verd
o
olaeg
e
RE
A
DME: men
t
io
n
that
G
iNaC is also n
e
eded f
o
r the O
m
ega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verdoolaege
Allow build of occ when
usin
g
b
u
ndled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven V
e
rdoo
l
aege
doc: ad
d
a reference t
o
a
ma
s
ter thesis actuall
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
RE
A
DME: f
i
x up i
n
stalla
t
i
on instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoola
e
ge
Ad
d
files ge
n
e
r
ated by b
i
s
o
n
an
d
flex t
o
the
distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
up
d
a
t
e polylib
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoola
e
ge
upd
a
t
e
piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: affine2
e
value: reduce coefficient
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
doo
l
a
ege
e
v
alue
.
c: evalue_level_cmp: produce
more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Ve
r
d
o
o
lae
g
e
d
o
c
: add
a
nother pa
p
er referring to t
h
e
librar
y
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
er
d
oolaege
piecewise_lst
.
h: avoid duplicate par
a
meter n
a
me
commit
|
commitdiff
|
tree
2008-09-02
Sven
Verdo
o
laege
evalue_read
.
c: fix minor
bugs i
n
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
S
ven Verd
o
olaege
update ome
g
a for missing
f
iles in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdool
a
ege
barvinok_enumerate_e: avoid
infinite loop
w
hen pre
s
ented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
includ
e
o
m
ega
s
ubmodu
l
e
commit
|
commitdiff
|
tree
next