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 0.29
2009-07-22
Sv
e
n Verdoolaege
barvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
doc: add ex
p
erimental compar
i
s
o
n between o
l
d
a
nd new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
o
o
laege
lexmin
.
c
c
: remove "anach
r
oni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
r
do
o
laege
d
oc: fix t
y
po
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
l
a
ege
doc: add som
e
less common
.
s
t
y fi
l
e
s
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verdo
o
laege
a
d
d
"clever" Laure
n
t expa
n
sion b
a
sed
s
u
m
mati
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoolaege
move Last_Non_Ze
r
o
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Ver
d
o
olaege
ex
t
ract out param_polynomial
f
r
o
m
la
u
rent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oo
l
aeg
e
extract vertex_cone fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
ool
a
ege
NTL_QQ
.
cc: a
d
d
s
t
d
io incl
u
de for
E
OF hidden
in N
T
L_
i
o
_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update pol
y
lib f
o
r
speed im
p
rovement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n
Verdoolaege
update piplib for
dist
r
ibutio
n
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoola
e
ge
P
o
l
y
hed
r
on_Fa
c
tor
:
fix merg
i
ng of groups of colu
m
ns
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
rdoolaege
barvinok_enume
r
ate_series
:
don'
t
check for revlex
positi
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verd
o
olaege
(t)counter:
m
ove co
u
nter::reset() up to
cou
n
ter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Ve
r
do
o
laege
M
a
kefile
.
am
:
keep better trac
k
of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
add semigroup_holes ap
p
li
c
a
t
ion
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoola
e
ge
Line
_
Length: ha
n
dle
0
D polytope in
1D space
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
rdoolaege
gen_fu
n
: add i
s
_
z
e
r
o method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
barvin
o
k
_enumer
a
te_e_ser
i
e
s: remove
e
qualities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoolaege
d
oc: fix
t
ypo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
barvinok_enumera
t
e_e
_
series: handle all e
x
ist
e
ntials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc:
make project
s
tatic
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
barvinok_enumerat
e
_e_
s
e
ries:
h
a
nd
l
e
a
ll equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdo
o
laege
ad
d
test set f
r
om the
o
t
h
er its
l
20
0
8 p
a
per
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
Verdoolaege
.
gitignore: igno
r
e
object
f
i
l
e
s
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
Verdo
o
laege
genfunc
.
cc: parallel_poly
t
ope
s
: det
e
ct 0D polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven
Verdoolaege
con
f
igure
.
in: set AC_
C
ONFIG_M
A
CRO_
D
IR
commit
|
commitdiff
|
tree
2009-04-27
S
ven Verdoolaege
add
p
kg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verd
o
o
l
a
e
g
e
Polyhedron_Facto
r
: handle polyhed
r
a with a
non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doola
e
ge
u
pdate pip
l
ib
f
or change in c
o
nfig
u
re arg
u
ments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test_approx
.
c: add du
m
my fie
l
d in du
m
my
tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoo
l
a
ege
configure
.
in: avoid introducing empty elements in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
occ: defin
e
OMI
T
_GETRUS
A
GE if sys/resource
.
h cann
o
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaege
o
m
ega
_
i
n
terface/M
a
kefil
e
.
am: put depending libr
a
ries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolae
g
e
configu
r
e
.
in: add $(EXEEXT) to optional occ
for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
e
rdoolaege
update omega for MinGW co
m
patibility
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
V
e
rdo
o
l
a
ege
bern
s
tein/c
o
nfigure
.
in: ad
d
missing A
C
_PROG_C
X
X
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoo
l
ae
g
e
g
enfun
.
c
c: a
d
d br
a
ces
round exter
n
"C"
typedef
commit
|
commitdiff
|
tree
2008-12-30
Sv
e
n Verdoolaege
vector_par
t
i
tion_chamb
e
rs: comp
u
tes cham
b
ers of ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
cc: remove unuse
d
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
e
r
doolaege
updat
e
pi
p
lib for Mi
n
GW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update polylib for Min
G
W compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
ven V
e
r
d
oolae
g
e
fdstream
.
c
c: don
'
t (re)declare fileno if it
'
s
a
macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
evalue
.
c
:
i
n_do
m
ain: spec
i
al-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
e
r
d
o
ol
a
ege
Avo
i
d
use of sys/ti
m
es
.
h hea
d
er
when n
o
t a
v
ailable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnul
i
b getsub
o
pt m
o
d
u
le
f
or MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoola
e
ge
README: mention that GiNaC i
s
also neede
d
for
the O
m
ega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
e
rdoolaege
A
llo
w
b
u
i
l
d
of occ when using bundled ome
g
a
commit
|
commitdiff
|
tree
2008-10-28
Sve
n
Verdoolaege
doc
:
add a refere
n
ce to a
m
aster th
e
sis actually u
s
ing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
en
Verdool
a
ege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
d
o
olaege
R
E
ADME:
f
ix up i
n
stallation instruction
s
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
Add files gener
a
t
e
d
b
y bison and fle
x
to the distrib
u
tion
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
update polyli
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdoola
e
ge
evalue
.
c: affine2evalue: r
e
duce coeffi
c
i
e
n
ts
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Verdoolaege
evalu
e
.
c
:
ev
a
lue_level_cmp: produc
e
m
o
r
e
consist
e
nt
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Ve
r
doola
e
ge
doc:
a
dd anothe
r
paper referring to the l
i
brar
y
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolae
g
e
piecewise_lst
.
h:
a
void duplicate parameter
name
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Ve
r
doolaege
evalue_read
.
c
:
fix minor bugs in t
o
kenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verd
o
olaege
update omeg
a
f
or missing files in distributio
n
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
ba
r
vinok_enumerate
_
e: avoid
i
n
finite loop whe
n
presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
incl
u
de
o
m
e
ga submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdo
o
laege
move omega subdir to o
m
eg
a
_interfa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoo
l
aege
NTL_QQ
.
cc: add s
t
dlib inclu
d
e for
a
bort hidden in N
T
L_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdo
o
lae
g
e
r
emove gnu
l
ib
l
ink-warning module complete
l
y
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
l
exmin
.
c
c: fin
d
and sort are in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ve
r
doo
l
aege
lex
m
in
.
cc: avoid use of t
y
peof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coins
.
cc
:
r
emove
dead code
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
testlib
.
cc: add missi
n
g retu
r
ns
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verdool
a
ege
w
o
rkaround silly
s
un
compiler
errors
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ver
d
oo
l
aege
Avoid us
e
of th
e
m
a
ke -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
s
u
mmate
.
c: add missing include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
su
m
mate
.
c: add
m
issing return values
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doola
e
ge
Makefile
.
am: include lib inclu
d
e dir in
build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdo
o
lae
g
e
laure
n
t
.
c
c: don'
t
use
c
ons
t
ve
c
tors as map keys
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
v
a
riable length arrays are not
s
tandard C++ (yet)
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaeg
e
genfun
.
c
c: argum
e
nt of mp_
g
e
t
_memory_functi
o
ns sh
o
uld
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoo
l
aege
u
p
date piplib for compatibility
c
han
g
e
s
commit
|
commitdiff
|
tree
2008-08-24
S
ven Verdoola
e
ge
upd
a
te
p
o
lylib with ext
r
a
f
ield
in Par
a
m_Pol
y
hedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Ver
d
oolaege
do
c
: fix typos
commit
|
commitdiff
|
tree
2008-07-22
Sven
V
e
rdoolaege
add missing
algorithm inclu
d
e for find
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdoolaege
Fix
o
ut-of-bounds
error in Lau
r
ent ex
p
ansion based
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
Sven Ver
d
oolaege
In
c
lude
e
mpty
.
c fil
e
in
l
ib
b
arvinok if GiNa
C
wa
s
not
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
e
n
Verdool
a
e
ge
correctly reflect extra sources for libba
r
vinok and
.
.
.
commit
|
commitdiff
|
tree
2008-07-22
S
v
en V
e
rdool
a
e
g
e
fix typo in comment
commit
|
commitdiff
|
tree
2008-07-22
Sven Verdo
o
laege
lib/string
.
in
.
h
:
c
o
p
y
__rest
r
ict handling from lib
.
.
.
commit
|
commitdiff
|
tree
2008-07-20
Sve
n
Verdoolaege
update gnulib f
u
nction to last p
r
e-GPLv3
v
e
r
sion
commit
|
commitdiff
|
tree
2008-07-02
Sve
n
Verdoola
e
ge
enum
e
rat
o
r::handle: replace incorrect delete b
y
fre
e
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoo
l
aege
update piplib
for co
r
rec
t
ed Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
confi
g
ure: use correct he
a
der files i
n
case
of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoolaege
configure
.
in
:
fix check for code_gen library
availability
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/occ: only
o
pen
debu
g
o
u
t
p
ut
f
i
l
e if th
e
re is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
ome
g
a
/M
a
kefi
l
e
.
a
m:
avoid bison's -o op
t
ion as
naming
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ve
n
V
erdoolaege
range
.
cc: add mi
s
sin
g
include of alloca
.
h
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oola
e
ge
doc: fi
x
typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoo
l
aege
a
dd editors t
o
I
T
S
L
pap
e
r
s
commit
|
commitdiff
|
tree
2008-05-07
Sven Ve
r
d
o
olaege
use argp for
a
r
gume
n
t parsing in barvi
n
ok_ehrhart and
.
.
.
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoolaege
pro
p
erly handle NTL CPPFLAGS an
d
L
D
FLAGS
commit
|
commitdiff
|
tree
2008-05-07
Sven Verdoo
l
a
e
g
e
b
a
s
i
s
_reduction_templ
.
c
:
add
m
issi
n
g include
commit
|
commitdiff
|
tree
next