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 Verdoo
l
aege
barvi
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Verdoolaege
AUTHOR
S
:
update support information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
rando
m
vector: do
u
ble siz
e
of
c
oef
f
icients o
n
eac
h
a
ttempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
iscc
:
s
u
pport trans
i
tive cl
o
sure
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
update
isl to vers
i
on 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
barvinok_e
.
cc: en
u
merate_vd: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
dool
a
ege
evalu
e
.
c: Polyhedron_In
s
ert
:
ad
d
missing return typ
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
e
value
.
c:
r
educe_
e
value: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoo
l
aege
i
s
cc: add @ operato
r
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
iscc:
a
dd "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
rdoolaege
add isl_pw_qp
o
lynomia
l
_upper_boun
d
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
er
d
oolaege
iscc: ad
d
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
olaege
ad
d
isl_pw
_
qpolynomia
l
_s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
ad
d
isl_pw_qpolynomial_to_
e
v
al
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
update
i
sl for isl_p
w
_
qp
o
ly
n
omial_fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
rename ev
a
lue2isl to isl_pw_qpolynom
i
al_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolae
g
e
iscc: detec
t
more kinds of
errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
barvinok_enumera
t
e: us
e
is
l
d
uring t
h
e verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolae
g
e
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
a
d
d
isl_
s
et_c
a
r
d
an
d
isl_map
_
card
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
Verdool
a
ege
add
evalu
e
2
is
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
evalue_conver
t
:
export as
appli
c
a
t
ion
commit
|
commitdiff
|
tree
2010-03-05
S
ven
Verdoolaege
b
a
rvinok_en
u
merate
_
e: optionally u
s
e
isl t
o
pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
ad
d
isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMOD
U
L
E
: accept
"
-" in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
a
ege
barvinok_enumera
t
e: retu
r
n Na
N
for infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
Verdoolaege
remove_all_equa
l
ities: handle in
t
egra
l
ly,
b
ut
not rat
i
o
na
l
ly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
bar
v
inok_enu
m
e
rate_e: al
w
ays return a part
i
tion fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
b
a
rvin
o
k
_enumera
t
e: check
t
h
a
t dimension of inp
u
t i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoo
l
aege
p
artition2enumeration: chec
k
th
a
t input
is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Verdoolaege
u
p
date piplib for change in configure
opti
o
ns
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Ver
d
oolaege
updat
e
o
mega for configuratio
n
/
c
ompila
t
ion is
s
ues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
ba
r
v
i
n
o
k_co
u
nt_with
_
options: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n
V
e
rdoolaege
Polyhedro
n
_Sample:
p
lug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
summ
a
te
.
c
:
add missing i
n
c
lude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
o
pcom
.
c: sup
p
ort
newer version
s
of TO
P
COM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compute
_
domain: skip
vert
i
c
e
s with
o
u
t
dom
a
in
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
p
o
lytope_mini
m
ize: take
c
o
nstant term t
o
be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: r
e
flect
t
hat --e
n
able-
f
raction
a
l is now the def
a
ul
t
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rd
o
ol
a
e
ge
glpk_poly
h
edron_affine_sign: spe
c
ial
c
ase
0
D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olae
g
e
Polyhedr
o
n_Insert_Colu
m
ns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
V
e
rdoo
l
aege
Polyhedron_Factor: fix
u
pdating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verd
o
ola
e
g
e
c
onfigure
.
in: use
AX_S
U
BMODULE inst
e
ad
o
f BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verd
o
o
lae
g
e
remo
v
e_eq
u
a
l
iti
e
s: use
P
olyh
e
dron_Preim
a
ge
instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdo
o
laege
bar
v
inok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add e
x
pe
r
imental comparison between old and n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doo
l
a
ege
lex
m
i
n
.
cc: rem
o
ve "a
n
achroni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolae
g
e
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
doc: add s
o
me less common
.
s
t
y fi
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "
c
lever" Laurent expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
m
o
ve Last_Non_Zero
t
o
u
ti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
e
xt
r
act
o
ut p
a
ram_polynomial f
r
om laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
e
x
t
r
a
c
t vertex_cone from
lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
NTL_QQ
.
cc: add stdio include for EOF hi
d
d
e
n in N
T
L
_
io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verd
o
ol
a
ege
u
p
d
a
te polyli
b
for speed
improvement in
i
n_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verd
o
ol
a
ege
u
pdate piplib for distribution i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ve
r
doolaege
Po
l
yhed
r
o
n
_
F
a
ctor: f
i
x mer
g
ing of groups
o
f columns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ver
d
oolaege
barvinok_enumerate_s
e
r
ies: don'
t
check for revlex posit
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
er
d
oolaege
(t)counter: mo
v
e
co
u
nter::reset(
)
up to
coun
t
er
_
base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
Makef
i
l
e
.
am: keep better track of faile
d
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oola
e
ge
add s
e
mi
g
ro
u
p_holes ap
p
lication
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oo
l
a
ege
L
ine_Length: handle 0D polytope
i
n
1
D
s
pace
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdool
a
ege
gen_fun: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_e_serie
s
:
remove eq
u
a
lities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verd
o
o
laege
d
o
c
:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoola
e
ge
b
arvinok_enu
m
erate_e_s
e
r
i
es:
handle all ex
i
stentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
do
o
laege
series
.
cc: make pr
o
ject stati
c
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
barvinok_enumerate_e_series:
h
andle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add test
set from the ot
h
e
r
itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Verdool
a
ege
.
gitign
o
re
:
ignore o
b
ject fil
e
s
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaeg
e
genfunc
.
c
c: p
a
rallel_polytopes: detect 0D
p
olytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
configure
.
i
n
:
s
et AC_CON
F
IG
_
MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
S
v
e
n Verdoo
l
ae
g
e
add
p
kg
.
m
4
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Verdo
o
laeg
e
Polyhedro
n
_Factor: han
d
le po
l
yhed
r
a with a non-tr
i
via
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update piplib fo
r
change
in c
o
nfigure argum
e
nts
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
test_app
r
ox
.
c: add du
m
my f
i
el
d
i
n
dumm
y
tms struct
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
co
n
fig
u
re
.
in
:
av
o
id introducing empty ele
m
ent
s
in P
K
G
_CONF
I
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
V
erdoo
l
aege
occ: define OMIT_GETRU
S
AGE if sys/resour
c
e
.
h
c
an
n
ot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Ver
d
o
o
laege
ome
g
a_interface/Ma
k
efile
.
am: put
depending librar
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Ve
r
doolaege
config
u
re
.
in:
a
dd $(EXEEXT) to
o
pti
o
nal occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdool
a
ege
update omega
f
or MinGW compati
b
i
lity
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaege
b
e
r
n
s
t
ein
/
c
o
n
f
i
g
ure
.
in: a
d
d missing AC_P
R
OG_
C
XX
commit
|
commitdiff
|
tree
2009-02-04
S
v
en
Verd
o
olaege
g
enfun
.
c
c
:
a
d
d brace
s
round ext
e
r
n "C"
typedef
commit
|
commitdiff
|
tree
2008-12-30
S
ven Verdoolaege
v
e
ctor_par
t
ition_cham
b
ers: computes cham
b
e
r
s of vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolae
g
e
bar
v
inok
.
cc: remove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update piplib for
M
in
G
W compatibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoolaege
update polylib for MinG
W
compatibilit
y
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoolaege
fdstream
.
cc
:
d
o
n't
(
r
e)declare fileno if
it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
e
value
.
c: in_domain: special-case 0D
d
omain
s
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n
V
erdoo
l
aege
Avoid use of s
y
s/
t
imes
.
h header when not available
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdo
o
lae
g
e
add gnulib
g
etsu
b
opt
m
od
u
le
f
or MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdo
o
l
a
e
ge
READ
M
E: me
n
tion that GiNaC i
s
a
l
so needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdoola
e
ge
A
llow bu
i
ld of
o
cc
w
h
e
n
u
sin
g
bundl
e
d
ome
g
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc: add a reference to a master th
e
si
s
a
c
tually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
ven
V
erdoolaege
README
:
f
i
x up inst
a
l
l
ation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
Ad
d
files
generated by biso
n
and flex
t
o the dist
r
ib
u
tion
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalu
e
.
c: a
f
fi
n
e
2
evalu
e
: r
e
duce
c
oe
f
fici
e
nts
commit
|
commitdiff
|
tree
next