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.29
2009-07-22
Sven Ver
d
oola
e
ge
ba
r
vi
n
o
k
0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ve
r
doolae
g
e
doc: add experimental comparison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaege
lexmin
.
cc: remove "an
a
chr
o
n
i
s
m
"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
V
er
d
o
ol
a
ege
d
oc: add some
less common
.
sty
files
commit
|
commitdiff
|
tree
2009-07-21
S
ve
n
Verd
o
olaege
add "c
l
e
ver" Lauren
t
expa
n
s
i
on based summa
t
i
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laeg
e
move Last_Non_
Z
ero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n Verdoolaeg
e
extract ou
t
p
a
ram_polynom
i
al from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
aege
extract vertex_
c
one from la
u
ren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
S
v
en
V
e
rdoolae
g
e
update polylib for speed impr
o
v
e
ment in in_
d
omain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdo
o
laege
update piplib for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdool
a
ege
Pol
y
hedron_Factor:
fix m
e
rging
o
f groups
of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoo
l
aege
barvinok_enumer
a
t
e_
s
eries: don't check for revlex pos
i
tive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
o
o
laege
(t)count
e
r: move counter::reset() up to count
e
r_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
Makefile
.
am:
k
eep better track of
f
ailed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaeg
e
add semigroup_holes app
l
ic
a
t
i
on
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolae
g
e
Line_Length: handle
0
D
poly
t
ope in 1D spac
e
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
gen_fun: add is_
z
ero method
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
barvinok_en
u
mer
a
t
e_e_seri
e
s: remove equaliti
e
s in
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
ba
r
vinok_enumera
t
e_e_series: handle
all
e
xistentia
l
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
s
e
r
ies
.
cc: ma
k
e project
s
t
a
t
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rdoo
l
aege
barvinok_enumerate_e
_
series: handle all eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
add test s
e
t from
the
other its
l
2
0
0
8
p
a
per
commit
|
commitdiff
|
tree
2009-04-02
Sven Ver
d
oolae
g
e
P
o
lyhedro
n
_Factor: han
d
le po
l
yhedra w
i
th a non-triv
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
en V
e
rdoo
l
aege
upda
t
e pipl
i
b
for change
in configur
e
arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
test
_
app
r
ox
.
c: add dum
m
y fie
l
d
i
n dummy tms st
r
ucture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
configure
.
in
:
avoid introducing empty
elemen
t
s
i
n PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
o
cc
:
define OMIT_GETRUSAGE if sys/
r
esource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdo
o
laege
o
mega_
i
n
t
e
rface/Makefi
l
e
.
a
m
: put depe
n
ding l
i
brari
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
conf
i
g
ure
.
in: add
$
(EXEEX
T
) to optiona
l
occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoolaege
u
p
date om
e
g
a
for MinGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
b
ernstein
/
con
f
i
g
u
re
.
in: add missi
n
g AC_PROG_CX
X
commit
|
commitdiff
|
tree
2008-12-30
Sven
V
e
rdoo
l
aege
vector_pa
r
t
i
ti
o
n_chamb
e
r
s
: computes
c
ham
b
ers o
f
v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n
V
erdoolae
g
e
barvino
k
.
cc:
r
e
move unused nonortho
g
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdool
a
ege
update piplib fo
r
M
inGW com
p
at
i
bility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oola
e
ge
update polylib for MinGW compatibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaeg
e
fdst
r
eam
.
c
c: don
'
t (re
)
declare fi
l
en
o
i
f i
t
'
s
a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
ol
a
ege
evalue
.
c
: in_
d
omain: special-cas
e
0D domains
commit
|
commitdiff
|
tree
2008-12-25
S
v
e
n
V
erd
o
olaeg
e
Avoid use o
f
sys/times
.
h
header when not ava
i
lable
commit
|
commitdiff
|
tree
2008-12-25
Sven V
e
r
d
oolaege
add gnulib getsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
READ
M
E: mention
t
h
at
GiNaC
i
s
also needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdoolaege
Allow build
of occ
w
hen usi
n
g
bu
n
d
led omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
e
r
doo
l
aege
doc: add a reference to a
master the
s
is a
c
tually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
bar
v
inok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
READM
E
: f
i
x up
i
nstallati
o
n i
n
structions
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n
V
e
rdoolaege
Add fil
e
s gene
r
ated b
y
bi
s
on and
flex to the distributio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
er
d
oola
e
ge
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n
V
erdoolaege
e
v
alue
.
c: affine2evalue
:
redu
c
e
coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdool
a
ege
evalue
.
c: evalu
e
_level_cmp: pr
o
duce m
o
re cons
i
s
t
en
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
d
o
c: add anothe
r
pap
e
r
re
f
er
r
ing to the library
commit
|
commitdiff
|
tree
2008-09-16
S
ven Ve
r
doolaeg
e
p
iec
e
wise_lst
.
h:
avoid
duplica
t
e par
a
meter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
evalue
_
r
e
ad
.
c:
f
i
x minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verd
o
olaege
update omega
for miss
i
n
g
files in
distribut
i
on
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoo
l
aege
barvinok_en
u
me
r
ate_e: avoi
d
infi
n
ite loop when
p
resented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ver
d
oo
l
aeg
e
i
nc
l
ude o
m
ega su
b
module
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
d
oolaeg
e
move om
e
g
a
subdir t
o
omega
_
interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
N
T
L
_QQ
.
cc: add st
d
lib include f
o
r
a
bor
t
hidden in NTL_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
remove gnulib link-
w
arning mo
d
ule completely
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n V
e
rdoolaege
lexmin
.
cc:
f
i
n
d and sort are
in s
t
d:: n
a
mespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
lexmin
.
cc: a
v
oi
d
use of
t
ype
o
f
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaeg
e
4coins
.
cc: rem
o
ve de
a
d code
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
er
d
oolaege
testlib
.
cc: a
d
d missing
r
eturns
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdoolaege
w
orkaround
s
illy sun compiler error
s
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ve
r
doo
l
aege
Avo
i
d use of t
h
e make -C optio
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
summate
.
c:
add missing inclu
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
summat
e
.
c: add
miss
i
ng
ret
u
rn
v
alues
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdool
a
e
g
e
Makefi
l
e
.
a
m
:
inclu
d
e li
b
include dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laurent
.
c
c: don't us
e
const vectors a
s
map
k
eys
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
erdool
a
ege
v
ari
a
bl
e
length
a
rrays are not standard C++
(
y
e
t)
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
erdoolaege
ge
n
fun
.
c
c
: argumen
t
of mp_get_memory_funct
i
ons
should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Ver
d
oo
l
aege
update piplib
f
o
r
compatibil
i
ty changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Ver
d
oolaege
update polyl
i
b with extra field in Para
m
_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sve
n
Verdool
a
ege
doc: fix
t
ypos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolae
g
e
add
m
iss
i
ng
a
lgori
t
hm i
n
c
lude
for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolae
g
e
Fix out-of
-
bounds error
i
n Lauren
t
expansi
o
n bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
aege
I
n
clude empty
.
c
file in
l
i
bbarv
i
nok i
f
GiN
a
C was
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correctly refle
c
t ex
t
ra
sou
r
ces for li
b
barvinok
a
nd
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix typo i
n
c
omment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
lib/string
.
in
.
h: copy __restrict hand
l
i
ng from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Ve
r
doo
l
aege
upda
t
e gnuli
b
function to last pr
e
-GPLv3
v
ersio
n
commit
|
commitdiff
|
tree
2008-07-02
Sve
n
Verdoolaege
enu
m
erator::handle: r
e
pla
c
e
inc
o
rrect delete by
free
commit
|
commitdiff
|
tree
2008-06-17
Sven Ver
d
oolaege
update
p
ip
l
ib
for
c
orr
e
cted Urs_parms h
a
ndling
commit
|
commitdiff
|
tree
2008-06-12
S
v
en
Verdoolaeg
e
con
f
i
g
ure:
u
se correct h
e
a
d
er f
i
les in case of
bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
d
o
olaege
omega/oc
c
:
only o
p
e
n
debug output file if t
h
ere is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoolaege
doc:
f
ix
typo
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdo
o
laege
a
dd
e
ditors t
o
ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
b
a
r
vinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
add some test
sets from it
s
l2008
paper
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
doc: add lat
e
s
t (accepted) p
u
blications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
Makef
i
le
.
am
:
add section_array
.
h
to distributio
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
normalization
.
c
:
c
ompute_shifts: r
e
m
ov
e
redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
e
rd
o
olaeg
e
move
F
ree_Par
a
mNames polylib
and make
p
ara
m
name
s
c
o
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
e
rd
o
olaege
occ: ad
d
in
t
erface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_convert
.
c
c
: extract ex2e
v
alu
e
from
r
ang
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
doc: document more --s
u
mmation methods for barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
opti
o
ns
.
c: rename "b
a
r
v
inok"
s
umma
t
i
on
m
e
th
o
d
to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdo
o
laege
Makefile
.
am: check
-
euler: a
l
so c
h
eck laur
e
nt
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
summate
.
c:
barvino
k
_
summate: handle products of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
ev
a
lue
.
c:
e
xport evalue_reorder_t
e
rms
commit
|
commitdiff
|
tree
next