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 Ver
d
oolaege
add
s
em
i
g
roup_holes app
l
icati
o
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
Line_Length: handle
0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_fun: ad
d
is_zero method
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
barvinok
_
enumerate_e_series: remo
v
e equalities in
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
d
oc: fix
t
ypo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
ba
r
vinok_enum
e
rate_e_series: handle all existent
i
als
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
series
.
cc
:
make proje
c
t static
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoo
l
aege
barvinok_enumera
t
e
_e
_
series: hand
l
e
all
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
a
d
d test set from the other
itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
Verdoolaeg
e
.
gitignore: ignore obj
e
ct
fi
l
es
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdool
a
ege
ge
n
func
.
cc
:
p
ara
l
lel_
p
olytopes: det
e
ct 0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verd
o
olaege
configure
.
in: set AC_C
O
NFIG_MA
C
RO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Ve
r
do
o
laege
ad
d
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Ver
d
o
olaege
Po
l
yhedron_Factor
:
ha
n
d
le polyhedra with a non
-
t
rivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n
Verdo
o
laege
update piplib for change
in conf
i
gure ar
g
ument
s
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test_approx
.
c: a
d
d dummy field in
d
um
m
y tms
s
t
ructure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
conf
i
g
u
r
e
.
in: a
v
o
i
d introducing empty el
e
ments
in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
o
c
c: defin
e
OMIT_GETR
U
SAGE if sys/re
s
o
u
rce
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaege
omega_interfac
e
/Makefi
l
e
.
am: p
u
t depending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
l
a
ege
configure
.
in:
add $(
E
XEEXT) to optional occ f
o
r
cyg
w
in
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolae
g
e
updat
e
omega for MinGW co
m
patibi
l
i
ty
commit
|
commitdiff
|
tree
2009-02-09
Sven
Ve
r
doolae
g
e
bernstein/
c
onf
i
gure
.
in: add
m
i
ssin
g
A
C
_
PROG_
C
XX
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verdool
a
ege
genfun
.
c
c
: add
braces round extern
"C" typedef
commit
|
commitdiff
|
tree
2008-12-30
S
v
en Verdoo
l
a
e
g
e
vector_partition_ch
a
mbers
:
computes chamb
e
rs of
vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoo
l
aeg
e
barvinok
.
c
c
: remove
u
nuse
d
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoolaege
update pipl
i
b for MinGW
c
ompa
t
i
bility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
update polylib for Min
G
W compati
b
i
l
i
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdool
a
ege
fdstream
.
cc:
d
on'
t
(re)d
e
clare fileno if it'
s
a macro
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
evalue
.
c
:
in
_
domain:
s
p
ecial
-
ca
s
e 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Ve
r
doolaeg
e
Avoid use o
f
sys/times
.
h header when not availab
l
e
commit
|
commitdiff
|
tree
2008-12-25
Sven Ver
d
oolaege
add gnul
i
b getsubopt mod
u
le
for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
doolaeg
e
READ
M
E: menti
o
n that GiNaC is also
needed for the O
m
ega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Ver
d
o
o
laege
A
l
l
o
w build of occ when using bundl
e
d omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
Ve
r
doo
l
aege
doc: add
a
r
efer
e
nce to a master thesis a
c
t
u
ally using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n
Verdoolaege
bar
v
inok
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
README
:
f
i
x
up ins
t
a
llatio
n
instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
Add
f
i
l
es generated
b
y bison and flex to the distributio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
upd
a
te piplib
commit
|
commitdiff
|
tree
2008-10-10
S
v
en Verdoolaege
evalue
.
c:
affine2
e
v
alue: reduce
c
oeff
i
c
i
ent
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: evalue_level
_
cmp: produce more consiste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add another paper r
e
ferri
n
g to
t
he libra
r
y
commit
|
commitdiff
|
tree
2008-09-16
Sven Ver
d
oolae
g
e
piecewise_lst
.
h:
avoid
d
uplicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
er
d
o
o
laege
evalue_read
.
c: fix
minor bug
s
in token
i
zer
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n
Verdoolaege
update omeg
a
fo
r
missing files in dis
t
ri
b
ution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
barvinok_
e
numerat
e
_e:
avoid infi
n
ite loop
w
hen pr
e
sente
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
include
o
mega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Ver
d
oolaege
move omega subdir to
o
meg
a
_inter
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
e
ge
NTL_QQ
.
cc: add stdlib include for abort hidd
e
n in
NTL_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verd
o
o
laege
r
emov
e
gnu
l
ib
l
ink-warning mo
d
ule co
m
pl
e
tely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
l
a
ege
lexmin
.
cc:
find and
so
r
t
are in st
d
:
: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
a
ege
l
e
x
m
in
.
c
c
:
a
void use
o
f type
o
f
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
4
c
oi
n
s
.
cc: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdo
o
l
aege
testlib
.
c
c:
add missing return
s
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
wo
r
karo
u
nd silly
s
un compi
l
er
e
rrors
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
Av
o
id use of
the ma
k
e -C optio
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
o
o
l
a
e
ge
summate
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
e
ge
sum
m
ate
.
c:
a
dd m
i
ssi
n
g retur
n
v
alues
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
e
g
e
Make
f
i
l
e
.
am:
i
nclud
e
lib include dir in build dir
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoo
l
aege
l
a
urent
.
cc:
d
on't use const vectors a
s
map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
a
e
ge
variable length arrays
a
r
e not standard C++
(
yet)
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ver
d
oo
l
aeg
e
genfun
.
cc: argume
n
t o
f
mp
_
get_memory_functions shoul
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
update piplib for
c
ompatibilit
y
chang
e
s
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
update polyli
b
with
extra field in Param
_
Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven
Verdoolaege
doc: fix typ
o
s
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaeg
e
add miss
i
n
g
algorith
m
include
f
or find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
Fix out
-
of-bounds error
in
L
au
r
ent
e
xpan
s
ion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolae
g
e
I
n
clude em
p
ty
.
c file i
n
l
ibba
r
vinok if
G
iNaC
w
as not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
ven V
e
r
doolaege
correctly reflect
extra sources for libba
r
vinok an
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven V
e
rdoolaege
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
S
ven Verdoolaege
lib/string
.
in
.
h: copy _
_
re
s
tr
i
ct handling from l
i
b
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sv
e
n Verdool
a
ege
update gnuli
b
function t
o
la
s
t
pre-GPLv3 versio
n
commit
|
commitdiff
|
tree
2008-07-02
Sven V
e
rdool
a
ege
enumerator
:
:handle: r
e
place incorrect delete by fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Ver
d
ool
a
e
ge
update piplib for c
o
rrected Urs_pa
r
ms hand
l
ing
commit
|
commitdiff
|
tree
2008-06-12
Sven V
e
r
doo
l
aege
confi
g
ure: use correct
h
e
ader f
i
les in case of bund
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoolaege
configure
.
in: fix check for c
o
de
_
g
e
n
l
i
b
rar
y
a
vailabilit
y
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/
o
cc
:
onl
y
open debug ou
t
put file if
ther
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en V
e
rdoolaege
o
mega/Makefi
l
e
.
am: avoid bison's -o option a
s
nami
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n
Ver
d
oolaege
range
.
cc: add missing in
c
lude
o
f alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven V
e
rdoo
l
aege
d
o
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolae
g
e
ad
d
ed
i
tors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
e
rdoolaege
use
argp fo
r
argume
n
t
p
a
r
s
ing in
b
arvinok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdool
a
ege
properly
h
andle NTL
C
P
P
F
LAGS and
L
D
FLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Ver
d
oo
l
aege
basis_reduction_
t
e
m
pl
.
c: add missi
n
g i
n
c
l
ude
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ve
r
doola
e
ge
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
add some test sets fro
m
itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
d
o
c
:
add latest (
a
ccepted) publications
commit
|
commitdiff
|
tree
2008-05-04
S
ven V
e
rdoo
l
aege
Makefil
e
.
am: ad
d
s
ection_arr
a
y
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
normalizati
o
n
.
c: comp
u
t
e
_shif
t
s: remove r
e
du
n
dant ret
u
rn
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
m
ove Fr
e
e_ParamNames
p
olylib and make pa
r
am na
m
es c
o
nst
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add inter
f
ace to bar
v
inok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex
_
convert
.
cc: extract e
x
2ev
a
lue f
r
om range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
l
a
e
ge
doc
:
docu
m
ent
mor
e
--summation methods for
barvinok
_
summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
o
o
lae
g
e
o
p
tions
.
c
:
rename "
b
arvinok" summ
a
ti
o
n method to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
Makefile
.
am: check-eule
r
: also
c
heck
l
aurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
summa
t
e
.
c
: barvi
n
ok_
s
um
m
ate:
hand
l
e products
o
f polyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
ev
a
lue
.
c:
e
xport evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
bernstein: numeri
c
2value
:
f
i
x typo to allow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Verdoolaege
util
.
c: Fact
o
r_Context:
extracted from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolae
g
e
summat
e
.
c: barvin
o
k_summate: ignore floors independ
e
nt
.
.
.
commit
|
commitdiff
|
tree
next