repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
update piplib for change in configure arguments
2009-04-02
Sven V
e
rdoolaege
update
piplib for
c
hange
i
n configure argu
m
ents
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verdo
o
l
a
ege
test_
a
pprox
.
c: add dummy field in
d
ummy tm
s
structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ve
r
do
o
laege
config
u
re
.
in: avoid introducin
g
empt
y
ele
m
e
nts
i
n PKG_C
O
NFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaeg
e
occ: defin
e
OMIT_GETRUSAGE if sys
/
r
e
sou
r
c
e
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omega_in
t
er
f
ace/Makefile
.
am:
put dep
e
ndin
g
libr
a
ries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
config
u
r
e
.
in:
a
d
d $(EXEEXT) to
o
p
ti
o
nal occ f
o
r
c
ygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
u
p
dat
e
omega for MinGW compatibil
i
t
y
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n Verdoo
l
a
e
ge
bernstein
/
co
n
f
i
g
u
r
e
.
in:
add mis
s
ing AC_
P
ROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verdoolaege
genfun
.
cc: add braces round extern "
C
" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sv
e
n Ve
r
d
oolaege
vector_partition
_
cham
b
ers: c
o
m
p
utes chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdo
o
laege
b
a
r
v
i
nok
.
c
c:
remove
unused nono
r
t
ho
g
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verd
o
olae
g
e
up
d
at
e
p
i
plib for
M
i
nGW comp
a
t
ibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
u
p
date polylib for MinGW com
p
atibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstream
.
cc: d
o
n't (re)
d
eclar
e
fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n
V
e
rdoo
l
aege
evalue
.
c
: in_domain: special-
c
a
s
e 0D dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoola
e
g
e
Av
o
i
d
use of s
y
s
/
times
.
h hea
d
er
w
hen n
o
t
avail
a
b
l
e
commit
|
commitdiff
|
tree
2008-12-25
S
v
en
V
e
rdoolaege
add
g
n
ulib getsub
o
pt mo
d
ule for M
i
nGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
Verdoolaege
README
:
mentio
n
that GiNaC i
s
a
l
so need
e
d for t
h
e Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdo
o
lae
g
e
Allow
build
o
f oc
c
when
u
sing bundled omega
commit
|
commitdiff
|
tree
2008-10-28
S
v
en V
e
rdoolaege
doc: add
a
reference
to
a
ma
s
ter
t
hesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
ba
r
vinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n Verdoo
l
aege
READM
E
: fix up installation instructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
S
ve
n
V
erdoolaege
Add files
g
enerat
e
d by b
i
son
a
nd flex to the distri
b
u
tion
commit
|
commitdiff
|
tree
2008-10-16
Sven
Ver
d
o
o
l
aege
update pol
y
lib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven V
e
rdoolaege
ev
a
l
ue
.
c: aff
i
n
e2evalue
:
reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
v
a
lue
.
c: e
v
a
lue_le
v
el
_
cm
p
: produce
more
consis
t
ent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sv
e
n Verdoolaeg
e
do
c
: ad
d
another pa
p
er referrin
g
t
o the library
commit
|
commitdiff
|
tree
2008-09-16
Sve
n
Ve
r
doolaege
piecewise_lst
.
h
:
avoid duplicate
parame
t
e
r
nam
e
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoo
l
aege
evalue
_
read
.
c: fix min
o
r bugs i
n
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ver
d
oolaege
upd
a
te omega
f
or
missin
g
f
i
le
s
in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n V
e
r
d
oo
l
aege
bar
v
inok_enumera
t
e_e
:
avoid infini
t
e loop
when
p
resented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaeg
e
i
nclude ome
g
a submodul
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
m
ove ome
g
a
subdir to omega_inter
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
N
TL_QQ
.
c
c
:
add
stdlib incl
u
de for abort hidden in N
T
L_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaeg
e
remove gnulib link-warnin
g
m
o
dule
c
ompletel
y
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmi
n
.
cc:
f
i
n
d
and so
r
t
ar
e
in std::
na
m
espace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
le
x
min
.
cc: avoid use of typeo
f
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
4c
o
ins
.
cc: r
e
m
o
v
e
dead
c
ode
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
tes
t
lib
.
c
c
:
a
d
d mi
s
sing ret
u
rns
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
workaround silly sun compiler e
r
rors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
Avoid
u
se
o
f
t
he m
a
ke -C optio
n
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
summate
.
c: add
m
issing include
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doola
e
ge
summa
t
e
.
c: ad
d
missing retu
r
n values
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
erdoo
l
aege
Make
f
ile
.
am
:
in
c
lude lib include di
r
in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
la
u
r
ent
.
c
c
: don
'
t use const ve
c
tors as
map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
va
r
iable l
e
ngth arrays are not stand
a
rd
C
+
+ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
genfun
.
cc: argument o
f
mp
_
get_me
m
ory_
f
unctions
s
hould
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
updat
e
piplib for
c
o
mpatibility c
h
anges
commit
|
commitdiff
|
tree
2008-08-24
Sven V
e
rdoolaege
u
p
date
polylib wit
h
extra fiel
d
in
P
aram_P
o
lyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven V
e
rdoolaege
doc: fix t
y
pos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
a
d
d missing algorithm i
n
clude
f
or find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Fix out
-
of-bou
n
d
s
e
r
ror in Laure
n
t expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
ola
e
ge
Include
e
mpty
.
c
file in li
b
barvinok if
G
iNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
correctly reflect ext
r
a so
u
rces for libbarvino
k
and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolaege
fix typo in
c
omment
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Ve
r
d
o
o
laege
lib/string
.
in
.
h: copy __restr
i
ct han
d
lin
g
from l
i
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
v
en Verd
o
olaege
upda
t
e
gnulib function
to la
s
t pre-GPLv3
versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
S
v
en
Verdoolae
g
e
enumerat
o
r::h
a
ndle: replace incorre
c
t d
e
lete
by fr
e
e
commit
|
commitdiff
|
tree
2008-06-17
Sv
e
n Verdoolaege
u
p
date
pi
p
lib
for cor
r
ecte
d
Urs_parms handl
i
n
g
commit
|
commitdiff
|
tree
2008-06-12
S
v
en Verdoolaege
configure: use correc
t
header file
s
in
c
ase of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoola
e
ge
configure
.
in: fix check f
o
r code_ge
n
libr
a
ry availability
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
e
rdoolaege
omega/occ: only ope
n
d
ebug
o
u
t
put file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
omega/Makefile
.
am: av
o
id bison's -o option as naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n Verd
o
o
l
a
ege
ran
g
e
.
c
c
: add missing inclu
d
e of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
o
laege
d
o
c: fix ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
a
dd
e
ditors to
ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
use argp for argument parsing
in barvinok_
e
hr
h
art
an
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verdoolaege
properly handle NTL CPPFLA
G
S a
n
d LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verd
o
olaege
basis
_
reduction
_
templ
.
c: add mi
s
sing
i
n
clude
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
a
d
d
s
ome test sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
laege
do
c
: add late
s
t (accepte
d
)
p
ublications
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
Makefile
.
am: add sect
i
on_array
.
h
t
o distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaeg
e
no
r
ma
l
izati
o
n
.
c: comp
u
t
e
_shifts:
r
emo
v
e r
e
dunda
n
t
r
et
u
r
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free_
P
aramNames polylib and
make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ:
a
d
d interface to barvinok_s
u
mmate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verd
o
olaege
ex_
c
onvert
.
cc:
e
xtract ex2ev
a
lue from r
a
n
g
e
.
c
c
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: d
o
cume
n
t more --summation methods for barvino
k
_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
options
.
c
:
rename "barv
i
nok
"
summation method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdool
a
ege
M
a
kefile
.
am: check
-
euler
:
als
o
check laur
e
nt
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
summate
.
c
: barv
i
nok_summate: handle products of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
evalue
.
c: export eva
l
ue_r
e
o
r
der_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
bernstein:
numeric2value: f
i
x ty
p
o to
a
llow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoolaege
u
t
i
l
.
c
: Facto
r
_Context
:
ext
r
acted from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: barvinok_s
u
mmate: ig
n
ore f
l
oors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
g
e
evalue
.
c: add
evalue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
ome
g
a/occ: print barvi
n
o
k
v
er
s
i
on n
u
mber
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
doc: upda
t
e
some references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laurent based su
m
mation
the default
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
olaege
s
u
m
mat
e
.
c: ba
r
vino
k
_s
u
mmate: handle
qu
a
si
-
p
o
lynomia
l
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
e
r
doolaege
reduce_eva
l
ue: extrac
t
ou
t
e
v
alue_
r
educe_siz
e
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
r
d
oolaege
evalue
.
c: evalue_s
h
ift
_
variab
l
es: allow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoolaege
summate
.
c:
h
andle equa
l
ities
for all summation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven
Ver
d
oolaege
summate
.
c: barvi
n
ok_summa
t
e: move common part
s
of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
r
doolaege
ev
a
lue
.
c:
evalue_sum: move sign handling i
n
to esu
m
_o
v
er_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
barvinok_e
.
cc
:
enumerate
_
sum: use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Ver
d
oolaege
summate
.
c: extract b
a
r
v
inok_summate from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
rename s
u
mm
a
te
.
cc
to barvinok_s
u
mmate
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
evalue
.
c: reduce_e
v
al
u
e: reduce floor with constant
.
.
.
commit
|
commitdiff
|
tree
next