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_enumerate_e_series: remove equalities in each step
2009-05-07
Sven
Verdoolaege
barvinok_
e
numerate_e_s
e
ri
e
s:
remove equalities in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoo
l
aege
barvinok_enumerate_e_s
e
ries: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verd
o
ola
e
ge
ser
i
es
.
cc: make projec
t
stati
c
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
barvinok_en
u
m
e
rate_
e
_serie
s
: handle al
l
equ
a
lities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rd
o
olae
g
e
a
dd t
e
st set fro
m
the other itsl20
0
8 paper
commit
|
commitdiff
|
tree
2009-04-28
S
ve
n
V
erdoolaege
.
gitignore
:
igno
r
e object fi
l
es
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
genfunc
.
cc: p
a
ral
l
el_po
l
ytopes: de
t
ect 0
D
polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven
Verdoolaege
configure
.
in: s
e
t AC
_
CO
N
FIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
S
v
e
n Verdool
a
eg
e
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verd
o
ola
e
ge
Polyhed
r
on_
F
actor: handle polyhedra
w
ith a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doolaege
update
p
i
plib
f
o
r chan
g
e in configure a
r
guments
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
ool
a
ege
t
e
st_appro
x
.
c: add
d
ummy f
i
eld in du
m
my
t
m
s
s
tru
c
ture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Ver
d
o
o
lae
g
e
conf
i
gure
.
in: a
v
oid introducing empt
y
elements in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n V
e
rdoola
e
ge
oc
c
: define O
M
IT_GETRUSAGE if sys/resour
c
e
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
om
e
ga_int
e
rface/Makefile
.
am:
p
ut depend
i
n
g
libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
configure
.
i
n: a
d
d
$
(
E
X
EE
X
T) to optional occ for cy
g
w
i
n
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
upda
t
e omega
f
or MinGW compatib
i
lity
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoola
e
ge
berns
t
ein/configure
.
i
n
:
a
dd missin
g
A
C
_
P
ROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
S
ve
n
V
e
r
d
o
olaege
genfun
.
cc
:
add brace
s
roun
d
extern "C" t
y
pedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Ver
d
oolaege
vector_partit
i
o
n
_chambers
:
computes
c
h
ambers o
f
vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdo
o
laege
barvinok
.
cc
:
re
m
ove u
n
used
no
n
orthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdool
a
ege
up
d
a
te pip
l
ib
f
or MinGW compatib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n
Verdool
a
ege
update polylib for MinGW co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
fdstream
.
c
c: don't (re)d
e
clare fileno
if
i
t
's a macro
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdool
a
ege
e
value
.
c: in_domain: special-case 0D
d
om
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoolae
g
e
Avoid
u
s
e
of sy
s
/times
.
h header
w
h
e
n
not availabl
e
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoolaege
add gnul
i
b
getsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdo
o
laege
READM
E
:
me
n
tion th
a
t GiNaC is also n
e
e
d
ed for the
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdoolaege
A
l
low
b
uild of occ
w
hen using bundled
omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
Verdool
a
e
ge
doc: add a reference to a mas
t
er thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verd
o
ola
e
ge
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
ve
n
Ve
r
doolae
g
e
REA
D
ME:
fix
up installation
i
n
stru
c
t
i
ons
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
Add files generated by bis
o
n and f
l
ex
t
o the distri
b
utio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
u
p
dat
e
polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
up
d
ate pip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: affine2evalue:
r
educe coef
f
icients
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
doolaege
evalue
.
c: e
v
alu
e
_
level_cmp: produce m
o
re consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
en Verdool
a
ege
do
c
: ad
d
another pap
e
r re
f
erring to
the
library
commit
|
commitdiff
|
tree
2008-09-16
S
v
en Verdoolaege
piecewise_lst
.
h: avoid duplica
t
e param
e
ter
n
ame
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erdoolaege
e
v
alue_read
.
c: fix minor bu
g
s in token
i
zer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
upda
t
e
omega for
missing files in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
barvinok_
e
num
e
r
a
te_e: avoid infinite loop
when pr
e
sented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdool
a
ege
include omega submodule
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoola
e
ge
m
ove omega subdir to omeg
a
_interf
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
ool
a
e
ge
NT
L
_QQ
.
c
c
: add stdlib inc
l
ude for abort hid
d
en
in N
T
L_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verdoolaege
remov
e
g
nulib
l
i
nk-w
a
rning mod
u
l
e
completel
y
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
aeg
e
lexmin
.
cc: find
a
nd sort are
i
n std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
doolaege
lexmin
.
cc: avoi
d
use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
4coins
.
c
c: remove dead cod
e
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
testlib
.
cc:
a
dd missing r
e
turns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
worka
r
ound sil
l
y sun c
o
mpi
l
er errors
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoola
e
g
e
Avoid u
s
e of the make
-
C
optio
n
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
su
m
ma
t
e
.
c: a
d
d miss
i
n
g include
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoo
l
aege
summate
.
c: a
d
d missing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
Makefile
.
am:
i
nclude lib include dir
i
n build d
i
r
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaeg
e
laurent
.
cc: do
n
't use const ve
c
tors
as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
varia
b
le length a
r
rays are
not standard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
genf
u
n
.
cc:
argument
of mp_get_memory_functions shoul
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
erdoo
l
aege
u
p
d
ate pip
l
ib for c
o
m
p
atibility
c
hanges
commit
|
commitdiff
|
tree
2008-08-24
Sven
V
erdoolae
g
e
u
p
dat
e
p
o
lylib w
i
t
h extra field in
P
aram_Polyhedr
o
n
commit
|
commitdiff
|
tree
2008-07-30
Sven Ver
d
oola
e
ge
d
o
c
:
fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
add missing algorithm inclu
d
e fo
r
find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
ola
e
ge
F
i
x
ou
t
-of-bounds
error i
n
Laur
e
nt expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sv
e
n Verdo
o
la
e
ge
Include empty
.
c file in libbarv
i
nok if GiNaC was
n
ot
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdo
o
laege
correctly reflect ext
r
a
s
ources for libb
a
r
v
i
nok an
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
ool
a
ege
fi
x
ty
p
o
i
n
c
o
m
m
e
nt
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
lib
/
string
.
in
.
h: cop
y
__restrict han
d
ling f
r
om lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
v
en Verdoolaege
upda
t
e gnulib function to las
t
pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Ve
r
doo
l
aege
enume
r
ator::h
a
ndle: replac
e
incorrec
t
d
e
lete by
f
ree
commit
|
commitdiff
|
tree
2008-06-17
Sv
e
n Verdoolaege
update piplib fo
r
correcte
d
U
r
s_par
m
s handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
Verdoolaege
configure: use corre
c
t
header files in ca
s
e of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
o
o
l
aege
configure
.
in: fix chec
k
for
c
o
d
e_gen
l
ib
r
ar
y
av
a
ila
b
ility
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/occ: only open debug outpu
t
file if the
r
e is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
om
e
ga/Makefile
.
am: a
v
oid biso
n
's
-o option as na
m
ing
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aeg
e
ra
n
g
e
.
c
c: add mi
s
sing include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
erdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Ve
r
doolaege
ad
d
editors to ITSL
p
a
p
ers
commit
|
commitdiff
|
tree
2008-05-07
Sven Ver
d
oolaege
use
a
rgp f
o
r argument pars
i
ng in barvinok_ehrhar
t
and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaeg
e
properly han
d
le NTL CP
P
FLAGS and
LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
S
v
e
n
Verdoolaege
basis_r
e
duction_templ
.
c: add missing i
n
clude
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Ve
r
do
o
laege
ba
r
vi
n
ok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add some test sets f
r
o
m
itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
doc: add latest (accepte
d
)
pu
b
l
ic
a
tion
s
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
V
e
rdool
a
ege
M
a
k
ef
i
le
.
a
m: add section_array
.
h to dis
t
ribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olae
g
e
normal
i
z
a
ti
o
n
.
c: comp
u
te_shi
f
ts: remove redundant
r
etu
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
move Free_Param
N
ames polyli
b
and make par
a
m names con
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoo
l
aege
o
cc:
add in
t
erfac
e
t
o ba
r
vinok_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
eg
e
ex
_
convert
.
cc: ex
t
r
act e
x
2evalue
f
rom
r
ange
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
oc: doc
u
men
t
more
-
-sum
m
at
i
on methods for barvinok_
s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
op
t
ions
.
c: renam
e
"b
a
rvi
n
ok" sum
m
a
t
ion
m
ethod
to "box
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
lae
g
e
Makefil
e
.
am: check-euler: also
c
h
e
c
k
la
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
summate
.
c: barvino
k
_summate: handle
p
rod
u
cts of polytope
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoo
l
aege
evalue
.
c: export evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
berns
t
ein: numeric2value: fix t
y
po to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
util
.
c: Fac
t
or_Context:
e
xtracted from ba
r
vin
o
k
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summate
.
c
:
barvinok_summ
a
te: i
g
n
o
re floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Ver
d
oolaege
e
v
alu
e
.
c
:
add evalue_fl
o
or2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
laege
om
e
ga/occ: p
r
int bar
v
inok ver
s
io
n
number
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
doc: update
some ref
e
r
e
nces
commit
|
commitdiff
|
tree
next