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
add pkg.m4
2009-04-27
Sven Verdoolaege
a
dd pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n Verdoolaege
Polyhedro
n
_Factor
:
handle pol
y
hedra with a
non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
d
o
o
l
aege
u
p
d
ate piplib for
chan
g
e in
configure arguments
commit
|
commitdiff
|
tree
2009-02-09
S
ven
V
er
d
o
olaege
test_ap
p
rox
.
c: add dummy field in
d
um
m
y
tms stru
c
ture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in: a
v
oid introd
u
c
i
n
g em
p
ty elements in PKG_CONF
I
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
rdoolae
g
e
occ: d
e
fin
e
OMIT_GETRUSA
G
E if s
y
s/resour
c
e
.
h c
a
nnot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en V
e
r
dool
a
e
g
e
ome
g
a_interface/Makef
i
le
.
am: put depending libr
a
ries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n Verdoolaege
configure
.
in: add
$
(EXEEXT) t
o
optional oc
c
for cy
g
win
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
erdoolaege
update omega for MinG
W
compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
b
e
rnst
e
i
n/configure
.
in: add missing AC_PROG_CX
X
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdoolaege
genf
u
n
.
cc: add braces
r
ound
extern
"
C
"
typedef
commit
|
commitdiff
|
tree
2008-12-30
Sv
e
n
V
er
d
oolaeg
e
vector
_
partit
i
on_chambers: computes chambers o
f
v
e
c
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n Verdoolaege
b
arvinok
.
cc: r
e
move unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdoolae
g
e
updat
e
piplib for MinGW comp
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
upd
a
t
e polylib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdo
o
la
e
ge
f
d
stream
.
cc: do
n
't (re)declare fileno if it'
s
a
m
acro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdool
a
ege
evalue
.
c: in_domai
n
: special-case 0D
d
omains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
o
laege
Av
o
id use of
sys/times
.
h head
e
r when not
avail
a
ble
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
laege
add g
n
u
l
ib getsubop
t
module
f
o
r
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verd
o
ol
a
ege
R
E
A
DM
E
: m
e
ntion that GiNaC is al
s
o
needed f
o
r the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdoolaege
All
o
w bu
i
ld o
f
o
cc when using
bundle
d
o
mega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n Verdoolaege
doc
:
add a reference to a m
a
ster
thesis actual
l
y
usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
b
arv
i
nok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
er
d
oola
e
g
e
R
EADME
:
fix u
p
installation
i
n
s
truc
t
ions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaeg
e
Add files gener
a
ted by bi
s
o
n
and flex to t
h
e
d
i
stribut
i
on
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
updat
e
pipli
b
commit
|
commitdiff
|
tree
2008-10-10
Sven Ver
d
oolaege
e
v
alue
.
c
:
affine2evalue
:
re
d
uce coefficie
n
ts
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: ev
a
lue_le
v
el_cmp: produc
e
more consiste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
ven V
e
rdoolaege
doc: add
another pape
r
referring to the
library
commit
|
commitdiff
|
tree
2008-09-16
S
v
en Verdoolaege
p
i
ecewise_lst
.
h: avoid duplic
a
te p
a
rameter
name
commit
|
commitdiff
|
tree
2008-09-02
Sven
Verdoolaege
e
v
a
lu
e
_read
.
c
: fix mino
r
bugs in tokeniz
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sven
Ver
d
oolaege
u
pdate om
e
ga for missin
g
files in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
barvino
k
_enumerate_e: avoid
in
f
inite loop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
do
o
laege
include
omega submodul
e
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
erdoolaeg
e
move omeg
a
subdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoola
e
ge
NTL_Q
Q
.
cc:
a
d
d
stdlib
in
c
lud
e
for abor
t
hid
d
en in NTL
_
vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
remove gnul
i
b link-
w
ar
n
i
n
g module c
o
m
p
letel
y
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oo
l
aege
lexmin
.
cc: find an
d
sort are
i
n std:: names
p
ace
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verd
o
o
laege
l
e
xmin
.
cc: avoid
use
o
f typeof
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ve
r
do
o
lae
g
e
4coins
.
cc
:
r
e
move dead
code
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
t
e
stlib
.
c
c
:
a
d
d m
i
ssi
n
g retur
n
s
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
w
o
rkar
o
und silly sun co
m
pile
r
errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ol
a
ege
Avoid use of the make -C option
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoola
e
ge
s
ummate
.
c: add missing in
c
l
u
d
e
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
summate
.
c
: add missing
return val
u
e
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Ma
k
efil
e
.
am: include l
i
b include dir
i
n build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
l
a
urent
.
cc: don't us
e
const vectors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
variable length
arrays ar
e
n
ot
s
tandard C++ (yet
)
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
doola
e
ge
ge
n
fun
.
cc: argument of mp_get_memory_functions should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven
V
e
rd
o
olaege
up
d
ate piplib for
compatibili
t
y
change
s
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoo
l
aege
update polylib with extr
a
fie
l
d in
P
aram_Po
l
yhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdo
o
l
aege
doc: fix
t
y
p
os
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
add missing alg
o
rithm in
c
lu
d
e for find
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
Fix out-of-bou
n
ds
e
rr
o
r in Laurent expansi
o
n b
a
se
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoola
e
ge
Incl
u
de empt
y
.
c f
i
le in
l
i
b
barvin
o
k if Gi
N
aC was
n
o
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven
Verdoolaeg
e
corre
c
tl
y
reflec
t
extra sources fo
r
libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
oolaege
fix ty
p
o in commen
t
commit
|
commitdiff
|
tree
2008-07-22
Sven
Verdoolaege
l
i
b/string
.
in
.
h: copy __restrict handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
ve
n
Verdoo
l
aege
upd
a
te
gnul
i
b
f
unction to l
a
st pre
-
GPLv3
v
ersion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdool
a
e
ge
enumerator::ha
n
d
l
e: rep
l
ace incorrect delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven V
e
rdoolaege
upda
t
e pi
p
lib
f
or corr
e
cted Urs_par
m
s handling
commit
|
commitdiff
|
tree
2008-06-12
Sven V
e
rd
o
olaeg
e
co
n
figure: use co
r
r
e
c
t
h
eader f
i
les in case of b
u
n
d
led
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
a
e
ge
configure
.
in
:
fix c
h
eck
f
o
r code_gen library availabi
l
it
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/occ:
only open de
b
ug output fil
e
if th
e
r
e i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verd
o
ola
e
ge
omega/Makefile
.
a
m: avoid
bi
s
on
'
s
-
o
option as na
m
ing
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoola
e
ge
r
a
nge
.
cc
:
add missing
i
nclude of a
l
l
o
ca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
ad
d
ed
i
tors to
I
TSL paper
s
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n Verdoola
e
ge
use ar
g
p f
o
r argument parsing in barvin
o
k
_
ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
properly han
d
le NTL CPPFLAGS and LDF
L
AGS
commit
|
commitdiff
|
tree
2008-05-07
Sven
Verdoolaege
basis_re
d
uction_templ
.
c: add missing include
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ve
r
doolaege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ola
e
ge
ad
d
s
o
m
e
t
est sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
v
en
Verdo
o
laeg
e
doc: add l
a
test
(accept
e
d)
p
ubl
i
cations
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ver
d
o
olaege
M
akefile
.
am: add section_arr
a
y
.
h to
distri
b
ut
i
on
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
normali
z
ation
.
c: compute_
s
hift
s
:
remove re
d
undant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free
_
ParamNa
m
e
s
polyl
i
b
and
ma
k
e param names cons
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
dool
a
e
ge
o
c
c:
a
dd interface to barvinok_summat
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
ex_convert
.
cc: extr
a
ct ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
d
oc: document
more
-
-summation method
s
for
ba
r
vinok
_
s
um
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ve
r
doolaege
options
.
c
:
r
en
a
me "barvino
k
"
s
ummati
o
n method to "box
"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
Makefile
.
a
m:
check-euler: also
check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
o
laege
s
u
mmate
.
c
:
b
a
rvin
o
k_
s
um
m
ate
:
h
andle products of
p
oly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oo
l
a
ege
eva
l
ue
.
c: export evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
S
ven
Verdoo
l
aege
bern
s
tein: n
u
m
e
ric2value: f
i
x typo to
allow
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdo
o
la
e
ge
u
t
il
.
c
:
Fact
o
r
_Context: extracte
d
from ba
r
vinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
S
v
en V
e
rdoolaege
summate
.
c: barvinok_summate: ign
o
re
f
loors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
V
erdoo
l
aege
evalue
.
c:
add evalue_flo
o
r
2
fr
a
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
o
m
ega/
o
c
c
: print b
a
rvinok versio
n
n
umber
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
doc:
update so
m
e reference
s
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoo
l
aege
M
ake
lauren
t
based
s
umma
t
ion the default
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdo
o
la
e
ge
summa
t
e
.
c: bar
v
inok_summ
a
te: handle qu
a
si-polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
redu
c
e_evalue: e
x
t
r
ac
t
out e
v
alue_reduce_
s
ize
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdool
a
ege
eval
u
e
.
c: evalue
_
shift_
v
ariab
l
es:
a
l
l
ow shiftin
g
of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaeg
e
s
u
mmate
.
c: handle equalitie
s
for all
s
um
m
ation algorithms
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaeg
e
s
ummate
.
c: barvinok_
s
umma
t
e: mo
v
e c
o
mmon parts of sum
m
ation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
evalue
.
c: e
v
alue_sum: move sig
n
han
d
l
ing
into esu
m
_ov
e
r_domain
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verd
o
olaege
barvinok_e
.
cc: enumer
a
te_
s
um:
use barvinok_summate
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdool
a
ege
summate
.
c: e
x
tr
a
ct b
a
r
vino
k
_summa
t
e
from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
next