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
barvinok_enumerate_e_series: handle all existentials being eliminated
2009-05-07
Sven Verdool
a
ege
barvi
n
ok_enumerate_e_series: h
a
ndle al
l
existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc: make proje
c
t static
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doo
l
a
e
ge
barvinok
_
e
n
umera
t
e_e_ser
i
es: handle all equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ad
d
test
s
et
f
r
om th
e
oth
e
r itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdool
a
eg
e
.
giti
g
nore: ignore object file
s
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
gen
f
unc
.
cc: parallel_polyto
p
es: detect
0D
polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven
Verdoola
e
g
e
configure
.
in: set
A
C_CONFIG_MACRO
_
DIR
commit
|
commitdiff
|
tree
2009-04-27
S
v
en Verdool
a
e
ge
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
ven Ver
d
oo
l
aeg
e
P
o
lyhedron_
F
a
c
tor
:
h
a
ndle polyhedra
with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoolaege
u
pdat
e
piplib
for change
in c
o
nfigure argumen
t
s
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdool
a
ege
t
est_
a
pprox
.
c
:
add dumm
y
field
i
n dum
m
y tms
s
tr
u
c
tu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoola
e
ge
con
f
igur
e
.
i
n
: avoid
in
t
r
o
ducing
e
mpt
y
elements i
n
PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
do
o
laege
occ: define OMIT_GETRUSA
G
E
i
f s
y
s/res
o
urce
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
omega
_
int
e
r
f
ace/Makefil
e
.
am: put de
p
ending libr
a
ries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verd
o
olaeg
e
c
onfigure
.
in:
add $(EXEEXT) to optional occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
e
rdoola
e
g
e
u
p
d
ate omega for
Min
G
W co
m
patibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oola
e
ge
ber
n
s
t
ein/configur
e
.
in: add mi
s
si
n
g AC_P
R
OG_CX
X
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
doo
l
aege
genfun
.
c
c: add
braces rou
n
d extern "
C
" ty
p
edef
commit
|
commitdiff
|
tree
2008-12-30
Sv
e
n
Verdoolaege
vector_pa
r
tition_chamber
s
:
computes chambers
o
f vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n Verdoolaege
barvinok
.
cc
:
remove u
n
used
n
onor
t
hog
commit
|
commitdiff
|
tree
2008-12-26
S
v
en
V
erdoolaege
update piplib fo
r
MinGW com
p
atibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
laege
update polylib for
M
i
nGW compat
i
bili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstream
.
c
c
:
d
on't (re)d
e
clare fileno if it'
s
a
m
acro
commit
|
commitdiff
|
tree
2008-12-26
Sven
Ve
r
doolaeg
e
evalue
.
c: in_domain: special-case
0
D
domains
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdool
a
ege
Avoid use of
sys/
t
im
e
s
.
h
heade
r
when not available
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Ve
r
doolaege
add gnuli
b
ge
t
subopt mod
u
le for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
erdoolaege
README: mention
t
hat GiNaC is also neede
d
for
the O
m
ega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verdoolaege
A
l
low build
of o
c
c when using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
erdoolaege
d
oc:
add a re
f
erence
t
o a maste
r
thesis
actua
l
l
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
R
E
A
DME: fix up installation inst
r
u
c
tio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
A
dd file
s
generat
e
d
by bis
o
n and
f
lex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doo
l
aege
up
d
ate po
l
ylib
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdool
a
ege
up
d
at
e
p
i
plib
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdoo
l
aege
evalue
.
c
: affine2evalu
e
: reduce coeffi
c
ients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
eva
l
ue
.
c: evalue_level_cmp: produce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add anoth
e
r p
a
per
r
ef
e
rri
n
g to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
erd
o
olaege
piec
e
wise_lst
.
h
: avoid d
u
pli
c
at
e
parameter name
commit
|
commitdiff
|
tree
2008-09-02
S
ve
n
Verdoo
l
a
e
ge
evalue
_
rea
d
.
c: fix mi
n
or bug
s
in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Ve
r
dool
a
ege
u
pdate omega for
m
issing files in di
s
tribut
i
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
ba
r
vin
o
k_enu
m
e
r
ate_
e
: avoid infinite
loop when
p
resent
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaeg
e
inclu
d
e omega sub
m
odu
l
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
m
o
ve omega subdir
t
o omega_int
e
rfa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL_
Q
Q
.
cc: add stdlib incl
u
d
e
for ab
o
rt hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
er
d
oolaege
remove gnulib li
n
k
-
warning
m
odule
completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lexmin
.
cc: fi
n
d and sort are
in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oola
e
ge
lexmin
.
cc: avoid
use
o
f
t
ypeo
f
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoola
e
ge
4coi
n
s
.
cc:
rem
o
ve dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
o
l
aege
testlib
.
c
c: ad
d
missing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
wor
k
ar
o
und s
i
lly s
u
n compi
l
er errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Avo
i
d
u
se of the
m
ake -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
ae
g
e
summate
.
c
: add missing include
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdo
o
laege
summate
.
c: ad
d
m
issing retu
r
n v
a
lues
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
Makefile
.
am: incl
u
d
e
l
ib include dir in bu
i
ld dir
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdo
o
l
aege
l
a
uren
t
.
cc: don'
t
use const vecto
r
s
a
s map k
e
ys
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoo
l
ae
g
e
variable length arrays
a
r
e no
t
stan
d
a
rd
C
+
+ (yet)
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Verdoolaege
g
enfun
.
cc: argum
e
nt of mp_g
e
t_memory_function
s
should
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ve
r
dool
a
ege
upd
a
te piplib fo
r
co
m
pa
t
ibility ch
a
nges
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoo
l
aege
update
p
ol
y
li
b
with extra f
i
eld in
P
a
r
a
m_Polyhedr
o
n
commit
|
commitdiff
|
tree
2008-07-30
S
ven Verdoolae
g
e
doc: fix t
y
pos
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
add mis
s
ing algorit
h
m
inc
l
ude f
o
r
f
i
n
d
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
lae
g
e
F
i
x out-of-
b
ou
n
ds
e
rror in
L
aurent expansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verd
o
olaege
In
c
lud
e
empt
y
.
c f
i
l
e in
l
ibbarvinok if
G
iNaC
was no
t
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n V
e
rdoolaege
correctly
reflect extr
a
so
u
rce
s
for libbarvin
o
k an
d
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
f
ix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sve
n
Verdoolae
g
e
l
i
b
/s
t
ri
n
g
.
in
.
h
:
copy __res
t
rict handling from
l
ib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sv
e
n
V
e
rdoolaege
up
d
ate gnu
l
ib function to last pre-GPLv3
v
e
r
sion
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n
Verdoo
l
aege
e
numerator::handle: rep
l
ace incorr
e
ct delete b
y
free
commit
|
commitdiff
|
tree
2008-06-17
Sv
e
n Verdoolae
g
e
update
pipl
i
b for co
r
rected Urs_parms h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sv
e
n Verdoolaege
con
f
igure: use correct
he
a
d
er
f
iles i
n
case of
bundl
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
olaege
co
n
figure
.
in:
f
i
x check for code_gen libra
r
y ava
i
labi
l
ity
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
o
mega/occ:
onl
y
open
debug output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
d
oolaege
omeg
a
/
M
ake
f
ile
.
am: a
v
oid bison's -
o
option as n
a
ming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
range
.
cc: ad
d
missing in
c
l
ude of all
o
ca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Ve
r
doola
e
ge
ad
d
editors to ITSL pa
p
ers
commit
|
commitdiff
|
tree
2008-05-07
Sv
e
n Verdool
a
ege
use argp for
a
r
g
ument parsing in b
a
rvi
n
o
k_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoo
l
aege
properly hand
l
e NTL CPPF
L
AGS and LDFLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven
V
erd
o
olaege
basis_reduction_templ
.
c: a
d
d m
i
ssing include
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
ba
r
vinok
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
add som
e
test se
t
s from itsl2008 p
a
per
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
do
c
: ad
d
latest (accept
e
d) publicati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolae
g
e
Ma
k
efile
.
am:
add section_array
.
h to
d
istri
b
ut
i
on
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
normalization
.
c: compute_
s
hifts: remove
r
e
dundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
d
o
ola
e
ge
m
o
v
e
Fr
e
e_Param
N
ames
p
olylib and make par
a
m names co
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verd
o
olaege
o
cc: ad
d
interface
to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaege
e
x_c
o
nver
t
.
cc: extract ex
2
eva
l
ue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
d
o
c
: document more
--summat
i
on metho
d
s
f
or barvinok_
s
ummate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
lae
g
e
options
.
c: rename "barvinok
"
sum
m
ation me
t
hod to "b
o
x"
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rd
o
olaege
Makefile
.
am: c
h
eck-eul
e
r
:
also check laurent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
s
ummate
.
c: barvinok_summate: handle p
r
oducts of
p
o
l
ytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
evalue
.
c: export evalue_reorder_terms
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdo
o
laege
be
r
n
stein: numeric2value: fi
x
t
ypo
t
o al
l
ow correct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
u
t
il
.
c:
F
a
ctor_Co
n
text:
ex
t
ract
e
d from barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven Ver
d
oolaege
summate
.
c: ba
r
vin
o
k_summate
:
ign
o
re floors indep
e
nde
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaege
evalue
.
c:
add eva
l
ue_floor
2
fra
c
commit
|
commitdiff
|
tree
2008-05-03
Sv
e
n Verdoola
e
ge
omega/occ: print barvin
o
k
v
ersion number
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdo
o
l
a
ege
doc: u
p
da
t
e
som
e
r
efer
e
nces
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoolaege
Ma
k
e lauren
t
b
ased summati
o
n the defau
l
t
commit
|
commitdiff
|
tree
2008-05-03
Sven Ve
r
doolaege
summa
t
e
.
c: barvi
n
o
k_summate: handle quasi-p
o
lyno
m
ial
s
.
.
.
commit
|
commitdiff
|
tree
next