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
update polylib for speed improvement in in_domain
2009-07-11
Sve
n
V
erdoolae
g
e
u
p
da
t
e
polyl
i
b for speed
i
m
p
rovement in in_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
up
d
ate pip
l
ib for dis
t
r
ibution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Po
l
y
hedro
n
_Factor
:
fix mergin
g
of groups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
barvino
k
_enume
r
at
e
_s
e
ries: don't
check for revl
e
x positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
(t)counte
r
: mov
e
counter::reset(
)
up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Ver
d
oolaege
Makefile
.
am:
k
eep better track of
f
ailed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add semigroup_hole
s
application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
Line_Length: handle 0D
polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
o
olaege
gen_fun: a
d
d
i
s
_
z
ero metho
d
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verd
o
olaege
barvi
n
ok_
e
numerate_e_series
:
re
m
ove
e
q
ualities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
barvinok_enumerate_e_seri
e
s: handle
a
l
l
exist
e
n
t
ials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doolaege
series
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
ba
r
v
inok_en
u
merate_e_se
r
ie
s
: handle a
l
l equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Ver
d
oolaege
add
t
est set from the other itsl2008
p
aper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verd
o
olaege
Polyhedron_Factor:
h
andle polyh
e
d
r
a with
a non-t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdoolaege
update p
i
plib for change
in c
o
nfigure ar
g
uments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
g
e
test_approx
.
c
: add dummy
f
ield in dummy
t
ms stru
c
t
ure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaeg
e
c
o
nfigur
e
.
in: avoid introducing em
p
ty
elem
e
nts in PKG
_
CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Ver
d
oolaege
o
c
c: defi
n
e OMIT_
G
E
TRUS
A
GE if sys
/
resource
.
h c
a
nn
o
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en V
e
rdoo
l
a
ege
o
m
ega_
i
n
ter
f
a
ce/M
a
kefi
l
e
.
a
m
: put
de
p
en
d
ing libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdo
o
laege
confi
g
ure
.
in: add
$
(EXEEXT) to
o
pt
i
o
n
a
l
occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
up
d
ate omega for MinGW c
o
mpa
t
ibility
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Ver
d
o
o
l
aege
bernstein/configu
r
e
.
in
:
add missing AC
_
PROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven V
e
rdoolaege
vector_partition_chambers: computes c
h
ambe
r
s of
vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Ver
d
ool
a
ege
barv
i
nok
.
cc: remove unused
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
upda
t
e piplib
f
o
r MinGW
c
ompatibilit
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update po
l
y
l
ib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
ola
e
ge
fdstream
.
cc: don't (re)decla
r
e
f
ile
n
o if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
er
d
oolaege
evalue
.
c: in_doma
i
n: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
Avoid use of sys
/
t
imes
.
h h
e
ader
w
hen not
a
vail
a
b
le
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
doolaege
add gnu
l
ib getsubopt modul
e
for Mi
n
GW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
R
E
ADME: mention that GiNaC is
also
n
eeded for t
h
e Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verdoolaege
Allow bu
i
ld of
o
cc whe
n
usi
n
g bun
d
led omeg
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc
:
add a re
f
ere
n
ce to a m
a
ster thesis a
c
tually usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
barvin
o
k 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
README: f
i
x up
installat
i
on instructions
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoolaege
Add files g
e
nerated by b
i
so
n
a
n
d
flex to the distrib
u
tio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdool
a
ege
up
d
ate polylib
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n
Verdoolaege
up
d
ate piplib
commit
|
commitdiff
|
tree
2008-10-10
S
v
e
n
Verdoo
l
aege
evalue
.
c
:
aff
i
ne2evalu
e
: reduce coeffi
c
ients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoo
l
aege
evalue
.
c: evalue_level_cmp: pro
d
uc
e
more consiste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
ven Verdo
o
laege
doc: a
d
d a
n
other paper
refe
r
ring to
the
l
ibr
a
ry
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
pie
c
ew
i
se_lst
.
h: avoid duplicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdo
o
la
e
ge
e
value
_
read
.
c: fix
m
inor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update
omega for missing f
i
les in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
barvinok_enu
m
erate_e: avoid
i
nfi
n
ite loop when
pre
s
e
n
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
i
nclude omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ve
r
do
o
laege
move omega subd
i
r to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoo
l
a
e
ge
NT
L
_QQ
.
cc: ad
d
stdlib include for abort hidden in N
T
L_ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
remove gnulib link-war
n
ing module comp
l
etely
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rd
o
olaege
lexmin
.
c
c
:
f
ind a
n
d s
o
rt are in
st
d
::
namesp
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erd
o
ola
e
ge
l
e
xmi
n
.
cc:
avoid us
e
o
f
typ
e
of
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
4
c
oins
.
cc: remove d
e
ad code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
testlib
.
cc
:
add m
i
ssing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaeg
e
workaround silly
sun co
m
piler errors
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdo
o
laege
A
void use o
f
th
e
make -C o
p
tion
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erd
o
olaege
summate
.
c:
a
dd mi
s
sing include
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
summate
.
c
: add mi
s
sing r
e
tu
r
n values
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aeg
e
Makefile
.
am: include lib include dir in b
u
ild dir
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
l
aurent
.
cc: don't use const v
e
cto
r
s as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
variable length arrays are not standard
C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
genfun
.
c
c
:
argument of m
p
_
g
e
t_m
e
mory_fu
n
ctions
s
hould
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verd
o
o
laeg
e
update pipl
i
b fo
r
com
p
atibilit
y
c
h
anges
commit
|
commitdiff
|
tree
2008-08-24
S
ven Ve
r
doolaege
u
p
dat
e
p
o
lylib with extra field in
Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
v
en Verdoolaege
d
o
c: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
oolaege
add m
i
ssing alg
o
rithm
i
nclude for find
commit
|
commitdiff
|
tree
2008-07-22
S
v
en
V
er
d
oolaege
Fix o
u
t
-
o
f
-bou
n
ds
e
rror in Laurent expansi
o
n based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Include em
p
ty
.
c
file in
l
i
b
barvinok if
GiNaC
was
n
ot
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n V
e
r
d
oolaege
c
orrectly reflect ext
r
a sources for libbarvinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n
Verdoolae
g
e
fix typo in
c
omment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
li
b
/string
.
in
.
h: copy
_
_restrict
handling fro
m
lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoola
e
ge
update g
n
ul
i
b func
t
ion
to last
pre-G
P
Lv3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven Ve
r
doolaege
enumerator::handle: r
e
p
lace
incorrect
d
elet
e
by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
upd
a
te piplib for c
o
r
rect
e
d Urs_pa
r
m
s
h
a
ndl
i
ng
commit
|
commitdiff
|
tree
2008-06-12
Sven V
e
rdoolaege
co
n
fi
g
ure: use correct header fi
l
es in cas
e
o
f bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolae
g
e
om
e
ga/occ: onl
y
open deb
u
g outpu
t
file
i
f the
r
e is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdo
o
lae
g
e
doc:
fi
x
typo
commit
|
commitdiff
|
tree
2008-05-08
S
v
en
V
erdoolaege
add
editors
t
o ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
laege
barvinok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdoolaeg
e
add some test
s
ets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoolaege
doc: add latest (accep
t
ed) publ
i
cati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
Makefile
.
am: add section_arra
y
.
h to distributio
n
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
nor
m
a
lization
.
c: compute_sh
i
fts: remov
e
redu
n
dant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
move Free_Param
N
ames pol
y
lib and make para
m
nam
e
s const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ
:
add
int
e
r
f
ace to barvin
o
k
_
summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
ex_con
v
ert
.
cc:
e
xtract ex2evalue from range
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdool
a
e
ge
do
c
: document more --summation metho
d
s
f
or barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
o
p
tions
.
c: rena
m
e "barvinok" summatio
n
met
h
od to
"box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
Makefile
.
a
m
: check-euler: also che
c
k la
u
re
n
t
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolae
g
e
summate
.
c: barvinok_summate: ha
n
dle p
r
o
du
c
ts
o
f poly
t
o
p
e
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdool
a
ege
evalue
.
c
:
export evalue_
r
eo
r
der_t
e
rms
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
berns
t
ein: numer
i
c2value: fix typo
t
o a
l
low
c
o
r
r
ect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
e
rdoolaege
u
t
i
l
.
c: Facto
r
_Contex
t
:
extracted fro
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2008-05-03
Sven
Verdoolaege
summate
.
c: barvin
o
k_summate: igno
r
e floors
indep
e
ndent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verdoo
l
aege
evalu
e
.
c: add eva
l
ue_floor2frac
commit
|
commitdiff
|
tree
2008-05-03
S
v
e
n
Verdoolaege
omega
/
oc
c
:
p
rint barvinok version number
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdoolaege
doc:
u
p
d
a
te some refe
r
ences
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
erd
o
o
lae
g
e
Make l
a
urent based summation the d
e
fault
commit
|
commitdiff
|
tree
2008-05-03
Sve
n
Verdo
o
laeg
e
su
m
m
ate
.
c
: barvinok_
s
ummate: handle quas
i
-polynomials
.
.
.
commit
|
commitdiff
|
tree
next