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
add semigroup_holes application
2009-05-07
Sven Verdo
o
laege
add
semi
g
roup_holes a
p
plication
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdool
a
ege
Line_Length: handle 0D polytope in 1D sp
a
ce
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verd
o
o
l
aege
gen_fun: add is_z
e
ro meth
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
barvinok_en
u
merate
_
e_series: remove equali
t
ies
in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: fix
typ
o
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
rdoolaege
ba
r
vino
k
_e
n
umerate_e
_
serie
s
:
h
a
ndle al
l
e
x
i
s
te
n
t
i
als
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
ser
i
es
.
cc: make proje
c
t static
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
barvin
o
k_enumerat
e
_e_series: handle all
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
add test
s
e
t
from the
other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
e
rdoolaege
Polyhedron_Factor: h
a
ndl
e
p
o
lyhedra wit
h
a
n
o
n
-tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update piplib for
change i
n
configure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
rdool
a
ege
test_approx
.
c: add dummy fiel
d
in dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
ge
configure
.
in: avoid introducin
g
e
mp
t
y elements in
P
KG_C
O
N
FI
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verd
o
olae
g
e
occ: define OMIT_GETRUSAGE if sys
/
r
esou
r
c
e
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
o
m
ega_interfa
c
e
/Makefi
l
e
.
am:
p
u
t
depending li
b
raries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
c
onfigure
.
i
n: add
$
(EXEEXT) to
o
ptiona
l
occ for cygw
i
n
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n
V
e
rdoo
l
aege
upda
t
e omega for M
i
nG
W
compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
b
e
r
nstein/co
n
figure
.
in: add
m
issing AC_PROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoo
l
aege
ve
c
to
r
_partition
_
cha
m
bers: computes c
h
ambers
of vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven
V
er
d
oola
e
ge
barvinok
.
cc: remove unused nonor
t
ho
g
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n
Verd
o
olaege
up
d
ate pipl
i
b
f
o
r
M
inGW
c
ompatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolaege
update polylib for Min
G
W comp
a
ti
b
i
lity
commit
|
commitdiff
|
tree
2008-12-26
S
ven V
e
r
doolaege
fdstream
.
c
c
:
d
on't
(re)dec
l
are fileno if it's a
m
a
cro
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
e
rdoola
e
ge
evalue
.
c
: i
n
_domain
:
spec
i
al-cas
e
0D domains
commit
|
commitdiff
|
tree
2008-12-25
S
ven
Verdoo
l
aege
Avoid
u
se o
f
s
y
s/ti
m
es
.
h
header when not avail
a
ble
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
a
d
d gnul
i
b getsubopt module for
MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
ve
n
Verdoolaeg
e
READ
M
E:
mention that GiNaC is
als
o
needed for
t
h
e Omeg
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allo
w
build of occ when using bundled o
m
ega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc: add a reference to a master
t
hesis act
u
ally us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Ve
r
doolaeg
e
README: fix up in
s
ta
l
l
ation instruc
t
ions
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
Add files generate
d
by bison a
n
d flex to the
dis
t
ributio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update
p
olylib
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
S
v
en
V
erdoolaege
e
v
al
u
e
.
c: affine2
e
va
l
ue:
r
e
duce co
e
fficients
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n
Verdool
a
ege
evalue
.
c: ev
a
lue
_
level
_
cmp:
p
ro
d
uce more
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sve
n
Verdoolaeg
e
doc: a
d
d
a
n
other paper referring to the librar
y
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaeg
e
piecewise_lst
.
h:
a
void dupl
i
cate paramete
r
n
a
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoo
l
aege
eval
u
e
_read
.
c: f
i
x minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
u
p
date omeg
a
f
or
m
issing
fil
e
s in
d
istributi
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
barvinok_enumer
a
te_e: avoid infinite
l
o
op when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
e
r
d
oola
e
ge
i
n
clude omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdo
o
laege
move ome
g
a subdir t
o
omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolae
g
e
N
T
L_QQ
.
c
c: add std
l
ib incl
u
de
f
or abort hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
re
m
ove gnulib link-warning modul
e
com
p
letely
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
lex
m
i
n
.
c
c
:
find
a
nd sort are in
s
td:: n
a
mespac
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lex
m
in
.
cc: avoid use
o
f
ty
p
eo
f
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
4coi
n
s
.
cc: rem
o
ve dea
d
code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
testlib
.
c
c:
a
d
d
mis
s
in
g
retu
r
n
s
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
erdoolaeg
e
wor
k
around
s
illy
s
un compiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
A
v
oid
use of t
h
e
m
ake -C
o
ption
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
a
e
ge
summate
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verdoolaege
su
m
mate
.
c: add missing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
Makefile
.
am: inclu
d
e lib i
n
clud
e
dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
lauren
t
.
cc:
d
on't use c
o
nst v
e
c
to
r
s as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
ol
a
ege
v
a
ri
a
ble length arrays
are n
o
t
standard C
+
+ (yet)
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verd
o
olaege
gen
f
un
.
c
c: argu
m
ent of mp_ge
t
_m
e
m
ory_func
t
ion
s
shoul
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
upd
a
te piplib f
o
r compatibility changes
commit
|
commitdiff
|
tree
2008-08-24
S
ven Verdoolaege
up
d
ate poly
l
ib with extr
a
fie
l
d in Param_Pol
y
hedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
V
erdoolaege
doc: fix
typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoo
l
aege
add
m
issing algori
t
h
m
include for fi
n
d
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Fix out-of-bounds e
r
r
o
r in Lauren
t
ex
p
ansion bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Ve
r
d
o
olaege
In
c
l
u
d
e
empty
.
c file in libbar
v
inok if
G
iNaC was
no
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
corr
e
c
t
ly
r
efle
c
t extra sources for li
b
barv
i
nok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
fix ty
p
o in
c
omment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
lib/string
.
i
n
.
h
:
copy __restrict han
d
li
n
g from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
S
ven Verdoolaege
update gn
u
lib functi
o
n
t
o
las
t
pre-GPL
v
3
v
e
rsion
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
e
numerator::ha
n
dl
e
:
repl
a
ce
incorrect delet
e
by free
commit
|
commitdiff
|
tree
2008-06-17
S
v
en
Verdoolaege
update piplib fo
r
corrected Ur
s
_parms
handling
commit
|
commitdiff
|
tree
2008-06-12
S
ven Verdoolaege
config
u
re:
u
s
e
correct hea
d
e
r
files in c
a
se of bu
n
dl
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
V
e
r
d
oolaege
o
m
ega/occ: only op
e
n debug out
p
ut fi
l
e if the
r
e is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
a
d
d ed
i
t
o
rs to
ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n V
e
rdoolaege
barv
i
n
ok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
o
laege
ad
d
some test sets from itsl20
0
8 paper
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
doc: add
l
atest (accept
e
d
)
publ
i
cations
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
Makefi
l
e
.
am: add se
c
tion_a
r
ray
.
h to distr
i
bu
t
io
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normalization
.
c: compute_shifts:
r
e
move re
d
u
n
dant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
o
laege
m
o
ve Free_Param
N
ames polylib a
n
d mak
e
p
a
ram na
m
es
c
onst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdool
a
ege
oc
c
:
add inter
f
ac
e
to
b
arvinok_
s
u
m
mate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_co
n
vert
.
cc:
e
xtract ex2evalue from
r
a
n
ge
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
d
oc: docume
n
t more
-
-
s
u
m
m
a
tion methods for barvinok_s
u
m
m
ate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Ver
d
oo
l
aege
options
.
c: rename "ba
r
vinok" s
u
m
ma
t
ion m
e
thod to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
Ve
r
doolaege
M
a
k
e
f
ile
.
am: check-eul
e
r
: also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolae
g
e
summate
.
c: barvinok_summate: handle p
r
odu
c
ts of poly
t
o
pes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erd
o
o
laege
evalue
.
c
:
e
xport evalue
_
reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
b
e
r
nstein:
num
e
ric2v
a
lue: fi
x
typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdool
a
e
g
e
util
.
c: Factor_Context: extracte
d
from bar
v
inok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
sum
m
a
te
.
c: ba
r
v
inok_sum
m
ate: ignore floors
independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
e
value
.
c
:
add evalue_floor
2
frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
en Verdoolaege
om
e
ga/oc
c
: print barvinok version numb
e
r
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
d
o
c: update so
m
e references
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Make laurent base
d
summat
i
o
n
t
he default
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolae
g
e
summa
t
e
.
c: ba
r
v
inok_summate: handle
quasi-pol
y
nomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
red
u
c
e_evalue: extr
a
ct out
e
value
_
reduce_size
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
evalue
.
c: evalue_shift_variables:
a
llow shifting of
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
summate
.
c:
h
andle equalitie
s
for all summat
i
on a
l
gorithms
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdo
o
laege
summate
.
c: b
a
rvinok
_
summate: move
common parts of summation
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verd
o
o
laege
evalue
.
c: evalue_sum: move sign
h
and
l
i
n
g into esum_ov
e
r_dom
a
i
n
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
barvi
n
ok_e
.
c
c: e
n
u
m
era
t
e_s
u
m:
use barvi
n
o
k
_sum
m
ate
.
.
.
commit
|
commitdiff
|
tree
next