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
Line_Length: handle 0D polytope in 1D space
2009-05-07
S
v
en Verd
o
ola
e
ge
Line_
L
en
g
th
:
han
d
l
e
0D p
o
l
y
t
o
p
e
i
n 1D
space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
gen_fun: add is_z
e
ro method
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaeg
e
b
arvinok
_
enume
r
ate_e_series: remove equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
doc: f
i
x typ
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
bar
v
inok_enumerate_e_series: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdool
a
ege
seri
e
s
.
cc: make pro
j
ect static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_e_series: handle all equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
rdoolae
g
e
add tes
t
set from
th
e
ot
h
er its
l
2
0
0
8
pa
p
er
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Verdoolaege
.
gitignore: ignore
o
bject files
commit
|
commitdiff
|
tree
2009-04-28
Sven Ver
d
o
o
l
a
eg
e
genfunc
.
cc: paral
l
el_polyto
p
es:
d
etect 0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
v
e
n
V
erdoolaege
confi
g
ur
e
.
in: set
AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
S
v
en
Verdoolaege
a
d
d pkg
.
m
4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhe
d
ron_Factor:
handle p
o
lyhedra w
i
t
h
a
n
o
n
-
t
rivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdoolaege
upd
a
te pi
p
lib for change in
c
on
f
igure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoo
l
aege
t
e
st_app
r
ox
.
c:
a
dd dummy
field
in
d
ummy t
m
s structur
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
o
l
aege
configure
.
in: avoid introducing em
p
ty ele
m
ents
i
n PK
G
_
C
ONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oola
e
ge
occ: defi
n
e OMIT_GETRUSAGE if sys
/
resource
.
h
cann
o
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
om
e
ga_i
n
terface/M
a
kefile
.
a
m
:
put depending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolae
g
e
c
o
n
f
ig
u
re
.
i
n: add $(EXEEX
T
) to optional occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
update omega
f
or MinGW co
m
patibility
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
b
e
rnst
e
in/con
f
ig
u
r
e
.
in
:
add missing AC_PROG_C
X
X
commit
|
commitdiff
|
tree
2009-02-04
S
v
e
n Ver
d
oolaege
gen
f
un
.
c
c
:
ad
d
braces round ex
t
ern
"C" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven
V
erdoolaege
vector_partition_chamb
e
rs: computes
c
h
a
m
b
ers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sve
n
Verdoo
l
aege
barvinok
.
cc:
remove
u
nused nonor
t
hog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
update piplib for MinG
W
com
p
ati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
doolaeg
e
upd
a
te polylib f
o
r MinGW compatib
i
l
i
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdst
r
ea
m
.
cc:
don't (re)declare filen
o
if it's a
macro
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
ev
a
l
u
e
.
c: in_domain:
s
pecial-c
a
s
e
0
D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
A
v
oid use of sys/times
.
h header
w
hen
not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
a
dd
gnuli
b
g
etsu
b
opt module
f
or MinG
W
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdoolae
g
e
README:
m
e
ntion that
G
iNaC is also needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
er
d
oolaege
A
llow build of
occ when using b
u
ndled ome
g
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc: ad
d
a r
e
f
ere
n
ce to
a
mas
t
er thesis
a
c
tu
a
lly using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
d
o
ol
a
ege
R
E
A
D
ME:
f
ix
up installatio
n
instructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaeg
e
Add files
g
enerated by bison and flex to the
distributio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
doolaege
evalue
.
c: affine2evalue: r
e
d
uce coeffic
i
ents
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalu
e
.
c: evalue_le
v
el_cmp: produce more c
o
nsistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven V
e
rdo
o
l
a
ege
doc: add a
n
o
ther paper referring t
o
t
h
e l
i
brary
commit
|
commitdiff
|
tree
2008-09-16
Sve
n
Ver
d
oola
e
g
e
piecew
i
se_l
s
t
.
h:
avoid duplicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
V
e
rdoolaege
evalue_read
.
c: fix
m
inor
bugs
i
n
to
k
eni
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update om
e
ga
for missing files in distr
i
b
ut
i
on
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
barvinok_enumerate_e
:
avoid in
f
inite loop whe
n
presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdo
o
lae
g
e
include o
m
eg
a
submodule
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n V
e
rdoolaege
move omega
subdir to om
e
g
a
_
inte
r
face
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL_QQ
.
cc: add s
t
dlib include for abort
hidden in
N
TL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oola
e
ge
remove
g
nu
l
ib link-warnin
g
m
odul
e
completely
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoolaege
lexmin
.
cc: fin
d
and sort a
r
e in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
S
v
en V
e
rdoolaege
lexmin
.
cc: avoid use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
er
d
oolae
g
e
4
c
oin
s
.
cc: re
m
ove dead
c
ode
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
t
es
t
l
i
b
.
cc: ad
d
mi
s
sing re
t
urns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
worka
r
o
und silly sun co
m
piler
e
rrors
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
A
v
oid use of th
e
m
ake -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
summate
.
c: a
d
d missing
i
nclude
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
oo
l
a
ege
summate
.
c: add m
i
ssi
n
g return values
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
M
a
k
efile
.
a
m:
i
nclude lib include
dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
laurent
.
cc: d
o
n't use const v
e
c
t
ors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oola
e
ge
variable length a
r
ra
y
s are n
o
t
st
a
n
dard C++
(
y
et)
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolae
g
e
genfun
.
cc
:
argume
n
t o
f
mp_get_memory_fun
c
tion
s
should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
up
d
ate
p
iplib for
compatibili
t
y changes
commit
|
commitdiff
|
tree
2008-08-24
Sven Ver
d
ool
a
ege
upda
t
e polylib
wi
t
h ext
r
a field in
P
a
ram_Pol
y
hedro
n
commit
|
commitdiff
|
tree
2008-07-30
Sven V
e
rdoolaege
d
o
c:
f
ix typos
commit
|
commitdiff
|
tree
2008-07-22
S
v
en Verdoolaege
add miss
i
ng algor
i
t
h
m
includ
e
fo
r
find
commit
|
commitdiff
|
tree
2008-07-22
S
ven
V
erdoolaege
Fi
x
out-of-bounds
e
rror in Laurent expa
n
s
i
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolae
g
e
I
n
clude empty
.
c file in libbarvinok if GiNaC was not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdool
a
ege
correctly
r
eflect extr
a
sources for libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven
Ve
r
doo
l
aege
lib
/
string
.
in
.
h:
c
opy
_
_restri
c
t
handlin
g
f
r
om lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sve
n
Verdoolaege
upd
a
te g
n
ulib
f
unction to
last
pr
e
-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
ven Verdool
a
ege
enumer
a
tor::handle: repl
a
ce incorrect delete by
f
ree
commit
|
commitdiff
|
tree
2008-06-17
Sv
e
n Verdoo
l
aege
upd
a
te pipl
i
b for corrected
Urs_
p
arms ha
n
dli
n
g
commit
|
commitdiff
|
tree
2008-06-12
S
v
en
Verdoolaege
confi
g
ure
:
use correct header f
i
les in case of bun
d
led
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doolaege
configure
.
in: fix c
h
eck f
o
r code_gen
library
availability
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoolaege
omega/occ: only op
e
n
deb
u
g output fi
l
e if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Verdoo
l
a
ege
omega/Makefile
.
am:
a
void bis
o
n's -o o
p
tion
as
nam
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
range
.
cc:
add missing
include
of alloc
a
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
add editors to IT
S
L
papers
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaeg
e
use
a
rgp for argum
e
nt pa
r
s
i
ng in barvinok_ehr
h
a
r
t and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
S
ven Verdoolaeg
e
properly h
a
n
d
le NTL CPPFLAGS
a
nd LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sve
n
Verdoo
l
aege
basis_reduction_templ
.
c
:
a
dd missi
n
g
inclu
d
e
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n
Verdoola
e
g
e
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
a
d
d
s
ome
test sets
f
ro
m
itsl2
0
08 paper
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
V
erdoola
e
ge
doc
:
add latest
(
accepted) publications
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
Makefile
.
am: add section_arra
y
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
normal
i
zation
.
c
:
compute_shifts: remove redun
d
ant return
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
move Free_
P
aramName
s
polylib
a
nd make param names
c
onst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoola
e
ge
occ: add i
n
terface
to
b
arvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
e
x_convert
.
c
c
:
extract
ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
aege
doc: docu
m
ent mor
e
--summation met
h
ods for bar
v
inok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
o
p
tio
n
s
.
c: rename "barvinok" summ
a
tion
m
ethod to
"
box"
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
Makefile
.
a
m: check-euler: al
s
o check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoola
e
ge
summat
e
.
c: barvinok_summate: handle product
s
o
f
polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoola
e
ge
evalue
.
c: ex
p
ort
evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
ber
n
s
t
ein: numeric2value: fix typo
to
a
llow
correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
ut
i
l
.
c
:
Factor_Contex
t
: extracted from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
summate
.
c: b
a
r
v
inok_summate:
ignore floors independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoola
e
ge
evalue
.
c
: add evalue
_
floor2frac
commit
|
commitdiff
|
tree
next