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
Verdoola
e
ge
ba
r
vinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AU
T
HORS:
u
pdat
e
suppo
r
t info
r
m
a
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
r
andomvector: double s
i
ze of coefficients on e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
iscc: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaeg
e
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
er
d
oolaege
b
a
rvin
o
k_e
.
cc:
e
num
e
ra
t
e_vd: remov
e
unused va
r
i
ables
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaege
evalue
.
c
:
Polyh
e
d
ron_Insert:
ad
d
missing return
t
ype
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdoolaege
e
value
.
c:
re
d
uc
e
_e
v
alue: remove unused variabl
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Ve
r
doo
l
a
e
ge
iscc: add @ operato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoolaege
add isl
_
pw_qpolynomial
_
up
p
er_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
isc
c
: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add isl_pw
_
qp
o
ly
n
o
mial_to_evalu
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
eg
e
u
pdat
e
isl for
i
sl_pw_qpo
l
ynomial_for
e
ach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
g
e
ren
a
m
e evalue2isl to isl_pw_qpolynomial_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ver
d
o
ola
e
ge
i
s
c
c: detec
t
more kinds of erro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
bar
v
in
o
k_
e
numerate: use isl dur
i
ng the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
o
l
aege
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_set_card and isl_map_car
d
commit
|
commitdiff
|
tree
2010-03-05
S
ven V
e
rdoolaege
add e
v
alue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
oolaege
e
v
alue_c
o
nvert:
e
xport as a
p
plic
a
tion
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
b
arvinok_enumerate_e: opt
i
o
n
ally use isl
to
p
roject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl s
u
bmodule
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Ver
d
oolaege
AX_SUB
M
ODULE: accept "-" in modu
l
en
a
me
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolae
g
e
barvinok_
e
numera
t
e: return NaN for i
n
fi
n
i
te
problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaeg
e
remove_all_equali
t
ies:
handle integrally, but not r
a
tionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven V
e
rdoolaege
ba
r
vinok_e
n
umerate_e: always retur
n
a
p
a
rtition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
b
arvinok_
e
numerate: ch
e
ck th
a
t dimension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olaege
part
i
tion2enumeration: check tha
t
input is
r
eal
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
o
laege
update piplib
f
or change in
c
on
f
igure
o
pt
i
o
ns
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Verdoola
e
ge
update omega for co
n
fi
g
uration/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
ba
r
vinok_count_with_options: check return va
l
u
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n
Verdool
a
ege
Poly
h
edr
o
n_Sample: p
l
ug me
m
ory l
e
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ver
d
oolaege
summa
t
e
.
c
:
add mi
s
sing
i
n
c
lude
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
t
o
pcom
.
c
: support
n
ewer versions o
f
T
OPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdool
a
ege
to
p
com
.
c:
c
ompute_domai
n
: s
k
ip vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
poly
t
ope_minim
i
z
e
: take co
n
stant term to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Ver
d
o
o
l
a
ege
doc: refl
e
ct tha
t
--enable-frac
t
ional is now the
d
efau
l
t
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
glpk_polyhe
d
ron_
a
ffine_si
g
n: special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedro
n
_Insert_Columns: fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Ve
r
do
o
l
a
e
g
e
Poly
h
edron_Factor: fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configur
e
.
in
:
use A
X
_SUBMODULE inste
a
d o
f
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ve
r
doolaege
remove_equalitie
s
: us
e
Polyh
e
dr
o
n_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ve
r
doolaege
ba
r
vinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
d
oc
:
ad
d
e
xperimental comparison b
e
tween ol
d
a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
lexmin
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ve
r
doolaege
doc: add some less common
.
st
y
files
commit
|
commitdiff
|
tree
2009-07-21
S
ve
n
Verdo
o
laege
ad
d
"clever" Laur
e
nt
e
x
pa
n
sion based
summation
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
Verdoolaege
move
Last
_
Non_Zero
t
o util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdool
a
ege
extract ou
t
param_polyn
o
mial
f
rom laur
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
ext
r
act vertex
_
cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
ola
e
ge
NTL_QQ
.
cc: add std
i
o
include for EOF
hid
d
en in NTL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
e
n Ver
d
o
o
laege
update p
o
lylib
f
or speed improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verd
o
o
laeg
e
upda
t
e piplib for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven
V
erdoola
e
ge
Polyhedron_Factor: fix merging
of gro
u
ps of c
o
lumn
s
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Ver
d
oolae
g
e
b
arv
i
nok
_
enum
e
rate_s
e
ries
:
don't check for revlex positi
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
(
t
)coun
t
er: mo
v
e c
o
unter::reset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rdoo
l
aege
Makef
i
le
.
am: keep
b
etter
t
rack of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
a
d
d semigro
u
p_holes appli
c
ation
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
o
olaege
L
ine_Length: handle 0D polyto
p
e in
1
D space
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verd
o
olaege
g
e
n_fun: add
is_zero m
e
thod
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
b
arv
i
nok_enumerate_e_
s
eries: remove equali
t
ies
in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
do
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
barvinok_enumerate_e_seri
e
s: handle all ex
i
s
tentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
series
.
cc: mak
e
p
rojec
t
stati
c
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
barv
i
nok_enum
e
r
a
te_e_series: h
a
nd
l
e all equa
l
iti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
V
e
r
d
o
olaege
a
d
d test se
t
from the other
i
tsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
.
gitignore: ig
n
or
e
obje
c
t files
commit
|
commitdiff
|
tree
2009-04-28
Sven
V
e
rdoolaege
gen
f
unc
.
cc: parallel
_
polytopes: detect 0D po
l
y
t
o
p
es
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven
Ve
r
doolaeg
e
configure
.
in: set AC_CONFI
G
_
M
ACR
O
_
DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven V
e
rdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
ven
V
e
rdoolaege
Polyhedron_Fact
o
r: handl
e
polyhedra
w
ith a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
ve
n
Verdool
a
ege
update pi
p
lib f
o
r change in
c
o
n
fig
u
r
e
arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoo
l
aege
te
s
t_approx
.
c
: a
d
d dummy
f
ield in dummy tms str
u
ctu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
Verdoolaege
con
f
igure
.
in: avoid in
t
r
oducing empty elem
e
nts in PKG_
C
ONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdo
o
l
aege
occ: define OM
I
T_GETRUSAGE if sys/reso
u
rce
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
r
d
oolaege
omega_interface/Makefi
l
e
.
am: put depe
n
ding libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
conf
i
gure
.
in:
a
dd $(EXEEXT) t
o
optional
occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
l
a
ege
update omega for Min
G
W compatibi
l
ity
commit
|
commitdiff
|
tree
2009-02-09
S
v
en V
e
rdoolaege
bernstein/confi
g
u
re
.
i
n: ad
d
missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verd
o
olaege
g
enfun
.
cc: add braces
round
extern "C" typedef
commit
|
commitdiff
|
tree
2008-12-30
S
ven
Verdool
a
ege
vector_partition_chambers: compu
t
es chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
c
c: remove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
ve
n
Verdo
o
l
a
ege
update piplib for MinG
W
compat
i
bility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
u
pdat
e
polylib f
o
r MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolaege
fdstream
.
cc: don't (re)declare fileno if it's a m
a
cro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c
:
i
n_domain: special-case
0
D
domai
n
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
olaege
Avoid us
e
of sys/times
.
h header wh
e
n not available
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoo
l
a
ege
add gnulib ge
t
s
ubo
p
t
modu
l
e
f
o
r MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
e
r
dool
a
ege
R
E
A
DME: men
t
ion tha
t
GiNa
C
is also
n
eeded
f
o
r
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven V
e
rd
o
o
laege
Allow buil
d
of occ when
using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
e
r
doolaeg
e
doc: add a
referenc
e
to a master thesis ac
t
ually us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
ae
g
e
README: fix
up installation instruction
s
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
Add files generated by
bi
s
on and flex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolae
g
e
update p
o
lylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
u
pdate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdoolaeg
e
evalue
.
c:
a
ffine2
e
v
a
l
u
e
:
reduce
c
o
effi
c
ient
s
commit
|
commitdiff
|
tree
next