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
evalue.c: avoid use of alloca
2010-03-05
Sven Ve
r
doolaege
add isl_
s
e
t_card and
i
sl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdool
a
ege
add eval
u
e2is
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
eg
e
evalue_conver
t
: export as applic
a
tion
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumerate
_
e: optionally use
isl to
p
roject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdo
o
laege
a
d
d isl
submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
dool
a
ege
AX_SUBMODULE
:
accept "
-
" in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
barvin
o
k_enumerate: return NaN fo
r
inf
i
nite
p
ro
b
l
e
ms
commit
|
commitdiff
|
tree
2010-01-28
Sven Ve
r
doolaege
remove_all
_
equalities: handle in
t
egral
l
y, but
n
o
t rati
o
nally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoolaege
b
a
rvinok_
e
numer
a
te_
e
: alw
a
ys return a
parti
t
ion
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
b
arvino
k
_enumerate: c
h
eck that
d
imension of input i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoolaege
par
t
itio
n
2enumeration: check
t
h
at input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
olaege
update
piplib
fo
r
ch
a
nge in configu
r
e
op
t
ions
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doolaege
upd
a
te omega for confi
g
urati
o
n
/
com
p
ilation iss
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Verdoolaege
bar
v
inok_
c
o
u
nt_with
_
options: check return val
u
e
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
laege
Pol
y
h
ed
r
on_
S
ampl
e
: p
l
ug
memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdoolaege
su
m
m
a
te
.
c
: add miss
i
ng inc
l
u
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
d
oolaeg
e
to
p
com
.
c: support newer versions
of TO
P
COM
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Ver
d
oolaege
t
opco
m
.
c:
compute_d
o
main:
s
kip v
e
rtices
without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
polytope_m
i
n
imiz
e
: take constant
t
erm to be ze
r
o when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en
V
erdool
a
ege
doc
:
reflect tha
t
--enable-frac
t
iona
l
i
s
n
ow the
default
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verdoolaege
glpk_pol
y
hedron_a
f
fine
_
sign:
spe
c
i
al case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
S
ven
Ve
r
d
o
olaege
Polyhe
d
r
o
n_Insert_Columns: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sven
V
erd
o
olaege
Polyhe
d
ron_Fa
c
tor:
fix updati
n
g of
g
roup
s
commit
|
commitdiff
|
tree
2009-10-06
Sven Ver
d
o
o
laege
configure
.
in: use AX_SUBMODULE
i
nste
a
d of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdo
o
laege
r
emove
_
equa
l
ities: us
e
Polyhe
d
ron_Preima
g
e
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Ver
d
oolaege
bar
v
inok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
doc: a
d
d ex
p
eriment
a
l compar
i
son betwee
n
old a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
l
e
xmin
.
c
c
: remo
v
e "anac
h
roni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verd
o
olaege
doc: add so
m
e
l
ess common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
e
rdo
o
laege
a
d
d "cle
v
er" Laur
e
nt expansion ba
s
ed
s
ummation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
m
ove
Last_
N
o
n
_Zero to u
t
il
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaege
extract
o
ut param_
p
olynomial f
r
om
l
au
r
ent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en V
e
rd
o
olaege
extr
a
c
t
vertex_cone fr
o
m l
a
urent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
u
p
date polylib for speed im
p
rovement in in_doma
i
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Ve
r
do
o
l
a
e
g
e
upd
a
te piplib for
distributi
o
n
i
s
s
ue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdo
o
laege
Pol
y
hed
r
on_Factor: fix mergin
g
of
g
r
o
u
p
s
of
c
o
l
umns
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdo
o
laege
barvin
o
k_enum
e
rate_seri
e
s
: don'
t
c
h
eck for
revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(
t
)
coun
t
er: move cou
n
t
e
r
::r
e
set() up to counte
r
_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
Makefile
.
am: keep bet
t
er track of fai
l
e
d
tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
rdool
a
e
g
e
add semigroup_holes
a
ppli
c
ati
o
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Li
n
e_Length: handle 0D pol
y
tope in 1D spa
c
e
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
gen_fun: add is_
z
ero
method
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaeg
e
barvinok_enumer
a
te_e_ser
i
es
:
remove eq
u
ali
t
ies i
n
ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdo
o
laeg
e
d
oc:
fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaeg
e
barvinok_enumerate_
e
_s
e
ries: handle all e
x
is
t
ent
i
als
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
s
eries
.
c
c
: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
a
rvi
n
o
k
_e
n
u
m
e
rate_e_se
r
ies: h
a
nd
l
e all e
q
ualitie
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oo
l
aege
a
dd test set from t
h
e other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron_Fac
t
o
r
: ha
n
dle p
o
l
y
hedra
with a n
o
n-triv
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdo
o
laege
update
p
iplib
for
c
ha
n
g
e
in configure ar
g
uments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
test_approx
.
c: a
d
d dummy fi
e
ld in
d
ummy tms
s
t
ru
c
ture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configu
r
e
.
in:
a
v
o
id introducin
g
empty el
e
m
e
nts in PK
G
_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoo
l
aege
oc
c
: define OMIT_GETRUSAGE
if
s
ys/resource
.
h ca
n
no
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
ome
g
a_interface/Mak
e
file
.
am
:
put
d
epending librari
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
configure
.
in: add $(EXEEX
T
) to optional occ for cygw
i
n
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
update omega
for MinGW comp
a
tibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doola
e
ge
b
e
rnstein/configure
.
in
:
add missing AC_
P
ROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sve
n
V
e
rdoola
e
g
e
vector_p
a
rtition_
c
hamb
e
rs: compute
s
cham
b
ers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n Ve
r
do
o
laege
barvinok
.
cc: rem
o
v
e un
u
s
e
d nonorth
o
g
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaege
updat
e
p
ipl
i
b fo
r
MinGW compat
i
bili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
V
erdool
a
e
ge
update polylib for
M
i
nGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdool
a
ege
f
dstream
.
cc: d
o
n't (re)decla
r
e fi
l
eno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
evalue
.
c:
i
n_dom
a
in: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
o
l
a
ege
Avoid
u
se of sys/times
.
h header when not a
v
ai
l
a
ble
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoo
l
aege
add gnulib g
e
tsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
R
EADM
E
:
mention t
h
at GiNaC is also nee
d
e
d for the Ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Ve
r
doo
l
aege
Allow
b
uild of occ whe
n
using bundled om
e
ga
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
erdoolaege
do
c
: add a reference t
o
a m
a
ster thesis ac
t
ually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README: fix up installation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
Add files gen
e
rat
e
d b
y
bison
a
nd flex to the d
i
strib
u
tion
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
upd
a
te poly
l
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaege
u
p
dat
e
p
ipl
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdoolaege
e
v
alue
.
c:
af
f
ine
2
evalue: reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verd
o
olaege
e
va
l
ue
.
c: evalue_l
e
v
e
l_cmp: produce
m
ore cons
i
ste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoo
l
ae
g
e
doc: add
another paper r
e
f
e
rring
t
o the li
b
rar
y
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
e
r
doolae
g
e
piecew
i
se_lst
.
h: avoid dupli
c
ate parameter
name
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaeg
e
evalue_read
.
c: fix minor bugs in tokeniz
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoolaege
up
d
ate
omega for missin
g
fi
l
e
s in dist
r
ib
u
t
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoola
e
ge
bar
v
ino
k
_enumerat
e
_e: avoi
d
infini
t
e
loop when prese
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doo
l
aege
include omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
move omega subdi
r
to omega_interfac
e
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ve
r
doola
e
ge
NTL_Q
Q
.
c
c
: add stdli
b
i
n
clude f
o
r
abort hidden in NTL_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
remove gnulib
l
ink-warn
i
ng module
c
ompletely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
lexmin
.
cc: fi
n
d and sort
are in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
l
exmin
.
cc: avoid
use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaeg
e
4coi
n
s
.
cc: remov
e
dea
d
code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
testlib
.
cc
:
add missing re
t
urns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
workaround
s
ill
y
sun
compiler
e
rr
o
rs
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
Avoid use
of the make -C o
p
ti
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
summ
a
te
.
c: add missing include
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
e
r
doolaeg
e
summate
.
c: add missing retu
r
n v
a
lues
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoolaege
Makefile
.
am: incl
u
de lib include
dir in build
dir
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
la
u
rent
.
c
c: d
o
n't u
s
e const vectors a
s
ma
p
key
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
variable lengt
h
arr
a
ys
a
re not standard C++ (ye
t
)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
laege
g
e
nfun
.
cc
:
argument of mp_ge
t
_
m
emory_fun
c
tions
sh
o
u
l
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
updat
e
pipli
b
f
or com
p
atibil
i
ty ch
a
nges
commit
|
commitdiff
|
tree
2008-08-24
Sven Verd
o
olaege
upda
t
e polyli
b
with extra fiel
d
i
n
Param
_
Polyhed
r
on
commit
|
commitdiff
|
tree
2008-07-30
S
ven Verdoolaege
do
c
: fix ty
p
os
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
er
d
o
o
laege
add missin
g
algorithm in
c
lude for find
commit
|
commitdiff
|
tree
next