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
update polylib for speed improvement in in_domain
2009-07-11
S
v
e
n Verdoolae
g
e
u
p
date polylib for speed impr
o
vement in
in_d
o
main
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Ve
r
doolaege
update pip
l
i
b fo
r
distributio
n
iss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sv
e
n Verdo
o
laege
Pol
y
hed
r
o
n
_Fact
o
r:
f
ix mergin
g
of groups
o
f c
o
lumns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
barvinok_enumer
a
te_series: don't check for revlex positiv
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
Verdoo
l
ae
g
e
(t)count
e
r:
mo
v
e
c
ounter::reset(
)
u
p to
c
ounter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
Ver
d
oo
l
aege
Ma
k
efile
.
a
m:
keep bette
r
track of failed test
s
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdo
o
laeg
e
a
dd semigroup_ho
l
es
a
pplication
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
Line_L
e
ngth
:
handle
0D polytope
i
n 1D
s
p
a
ce
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
V
erd
o
olaege
gen_fun: add
i
s
_
z
ero me
t
h
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enu
m
erate_e_series: remove equ
a
lities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
do
o
laege
b
a
r
vi
n
ok_enumerate_e_seri
e
s: handle all exi
s
t
e
ntials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
s
eri
e
s
.
c
c: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolae
g
e
barvinok_en
u
mer
a
te_e_seri
e
s: ha
n
dle all equa
l
iti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
Verdoolaege
add t
e
st set fro
m
the
other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdool
a
ege
.
giti
g
no
r
e: ignore obj
e
ct file
s
commit
|
commitdiff
|
tree
2009-04-28
Sven V
e
r
d
oolae
g
e
genfunc
.
cc: para
l
le
l
_polytopes:
de
t
e
c
t
0D polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven
Verdoolaege
configur
e
.
in:
s
et AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n Verdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdo
o
laege
Polyhedron_Fac
t
or
:
handle
po
l
y
he
d
ra with
a
non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update
p
iplib for ch
a
nge in configure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
t
es
t
_approx
.
c
:
add du
m
my field
in dummy tms
s
tructure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
con
f
igure
.
in: avoid introd
u
cin
g
empty el
e
ments in PKG_CON
F
IG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
occ: define OMIT_GETRU
S
AGE if sys/resource
.
h can
n
o
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omega_inter
f
ace/Makefile
.
am:
p
ut depend
i
ng libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
confi
g
ur
e
.
in: add $(EXEEXT
)
to
o
p
tional
o
cc
for
c
ygwin
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaege
u
p
date om
e
ga
f
or M
i
nGW
c
o
mp
a
tibility
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ve
r
doola
e
g
e
bernstein/configu
r
e
.
i
n
: add missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
S
v
en
Verdoolaege
g
e
nfun
.
c
c
:
add braces round e
x
tern "C" type
d
ef
commit
|
commitdiff
|
tree
2008-12-30
Sven V
e
rdoola
e
ge
ve
c
tor_pa
r
tition_chambers
:
computes chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven V
e
r
doolaege
bar
v
inok
.
cc: remov
e
unu
s
e
d nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdool
a
ege
u
pdate piplib for MinGW com
p
ati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoo
l
aege
up
d
a
te
po
l
ylib for MinGW
compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstream
.
cc: do
n
't (re)decl
a
re fil
e
no if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
e
value
.
c: in_domain:
s
pec
i
al-case 0
D
do
m
ains
commit
|
commitdiff
|
tree
2008-12-25
S
v
e
n
Ver
d
oolaege
Avoi
d
use of sys/times
.
h header wh
e
n not
a
vailable
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoolaege
add
gnulib get
s
ubopt
m
o
dule for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdoolaege
README: m
e
n
t
ion that GiNaC is
a
l
s
o
needed
for the
Om
e
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
e
n
Verdoolaege
A
l
low b
u
ild of o
c
c
w
hen usi
n
g bundled om
e
g
a
commit
|
commitdiff
|
tree
2008-10-28
S
ven Verdo
o
l
a
eg
e
do
c
:
ad
d
a ref
e
rence to a master thesis actu
a
lly using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
REA
D
ME: fix u
p
installation instruc
t
ions
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
d
ool
a
ege
A
dd files
generated by bison and fl
e
x
t
o the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
update p
o
lylib
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
update pip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
S
ve
n
V
e
r
doolaege
evalue
.
c: af
f
ine2e
v
alue: reduce coeff
i
c
i
ents
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Verdoolaege
evalue
.
c:
e
va
l
ue_leve
l
_cmp: produce
more consis
t
ent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sv
e
n Verdo
o
laege
d
o
c: add another pape
r
r
e
ferring to the libra
r
y
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
p
iecewi
s
e_lst
.
h:
a
void duplic
a
te parameter name
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdoolaege
evalue_
r
ead
.
c: fix mi
n
or bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
update omega f
o
r missing fil
e
s in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdo
o
laege
bar
v
i
n
ok_enum
e
rate_e: avoid inf
i
ni
t
e lo
o
p when prese
n
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
include
o
mega submod
u
le
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
m
o
v
e omeg
a
subdir
t
o omega
_
interfac
e
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
V
erdo
o
laege
NTL_QQ
.
cc: add stdlib include for
a
b
o
rt
h
idde
n
i
n
NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
aeg
e
remove gnulib link-warnin
g
module completely
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
lexmi
n
.
cc: fi
n
d and sort are i
n
std:
:
namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doola
e
ge
lexmin
.
cc: avoid use of
t
y
peof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4c
o
ins
.
c
c: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
testlib
.
c
c:
a
dd mis
s
ing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
w
o
rkaround silly sun compi
l
er errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
laege
Avo
i
d use of the m
a
ke -C o
p
tio
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
summate
.
c: a
d
d missing include
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
doo
l
aege
summate
.
c: add missin
g
return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Make
f
ile
.
am: include
l
ib include dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
laurent
.
cc: don't use
co
n
s
t
v
e
c
tor
s
as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaeg
e
va
r
iable leng
t
h a
r
r
a
ys are
not
standard C++
(yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
l
aege
genfun
.
c
c
: argument of mp_get_memor
y
_functi
o
ns should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
update piplib
f
o
r
compatibility changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
u
p
date
p
o
l
y
l
ib with extra fie
l
d in Param_Polyhedro
n
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: fix
typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
add mis
s
i
ng al
g
or
i
thm
i
nclude fo
r
f
i
n
d
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolaege
Fix out-of-bounds error in Laurent expansion b
a
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
erdool
a
ege
Include e
m
pty
.
c file in
l
ibb
a
rvinok
if GiNa
C
w
as
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
correct
l
y
r
eflect extra sources f
o
r libbarvinok
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Ver
d
oo
l
aege
fix ty
p
o i
n
comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
ae
g
e
lib
/
s
t
ring
.
in
.
h: copy __restrict h
a
n
d
li
n
g fro
m
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdo
o
l
ae
g
e
update gnu
l
ib function to
l
a
st pre-GPLv3 versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sven
V
erdoolaege
enumerator::
h
a
ndl
e
: repl
a
ce incorrect
d
elete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Ve
r
doolae
g
e
update piplib for corre
c
ted Urs_par
m
s handling
commit
|
commitdiff
|
tree
2008-06-12
S
ven Ve
r
do
o
la
e
ge
configure: use correct
h
ead
e
r file
s
in case o
f
b
u
n
dled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
ol
a
ege
c
o
n
figur
e
.
in: fix che
c
k for code_ge
n
library
a
vailabilit
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
ome
g
a/oc
c
: on
l
y open debug
outpu
t
f
i
le i
f
ther
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
omega/Ma
k
e
f
ile
.
am: a
v
oid bison's -o option as nam
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
ra
n
ge
.
cc: a
d
d m
i
s
s
i
ng
include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
S
ve
n
Verd
o
o
laege
do
c
: fi
x
typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
V
erdoola
e
ge
add
edito
r
s
t
o
ITSL
p
apers
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
e
r
doolaeg
e
use argp f
o
r ar
g
ument
parsing in barvinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n Ve
r
d
o
ola
e
ge
properl
y
hand
l
e
NTL CPPFLAGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n
V
e
rdoolaege
ba
s
is_reduction_templ
.
c:
add missin
g
inc
l
ude
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
barvinok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
add s
o
me t
e
st
sets fr
o
m it
s
l200
8
pap
e
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdool
a
ege
doc: add latest (accepted)
publ
i
cation
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
Makefile
.
am:
a
dd section_ar
r
ay
.
h
to distribution
commit
|
commitdiff
|
tree
2008-05-04
S
ve
n
Verd
o
o
l
a
ege
normal
i
zation
.
c
:
compute_shift
s
: r
e
move
r
edundant ret
u
rn
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
move Free_ParamNames polylib and
m
ake
param names con
s
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdool
a
ege
occ: add
i
nterface t
o
b
arvinok_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_c
o
nvert
.
cc: extract
e
x2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc:
d
ocument
more --su
m
mation
meth
o
ds fo
r
barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
options
.
c: rena
m
e "barv
i
n
ok"
s
ummation
met
h
od
t
o
"box"
commit
|
commitdiff
|
tree
next