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
occ: plug some more (potential) memory leaks
2006-05-10
Sven Verdoo
l
a
e
g
e
o
c
c: pl
u
g some
more
(
pote
n
tial) memory lea
k
s
commit
|
commitdiff
|
tree
2006-05-10
Sven
Ve
r
doolae
g
e
occ: don't use freed variable
i
n
error m
e
ssage
commit
|
commitdiff
|
tree
2006-04-10
Sven Verdoolaege
barvinok
.
cc: add some do
c
umentation
t
o latti
c
e point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sven Ver
d
o
o
l
ae
g
e
barvino
k
_enumera
t
e_union: call gen_
f
un::add_union
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
g
e
n
_
fun:
add add_union method
commit
|
commitdiff
|
tree
2006-04-03
Sven Verdoolaege
barvinok
.
cc: docum
e
nt SplitOnVar and remove so
m
e redundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven Ve
r
doolaege
remove
inappropriate uses of Polyhedron2
P
a
r
am_Simp
l
ified
D
omain
commit
|
commitdiff
|
tree
2006-02-22
S
v
e
n Verdoolaeg
e
version 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdo
o
laege
c
r
eate correct
G
IT_HE
A
D_ID in
d
i
stri
b
utio
n
commit
|
commitdiff
|
tree
2006-02-22
Sven V
e
rdoolae
g
e
barv
i
nok_union: document input f
o
rmat
commit
|
commitdiff
|
tree
2006-02-21
Sven
V
erdoolaege
Merge branch
'
ne
w
_piplib'
commit
|
commitdiff
|
tree
2006-02-16
Sven Verd
o
olaege
only run
t
ests
t
ha
t
re
q
uire p
i
plib when
p
i
p
l
i
b is
available
commit
|
commitdiff
|
tree
2006-02-16
Sv
e
n Verdoolaeg
e
barvinok_en
u
me
r
a
te
_
e:
o
nl
y
link i
n
o
mega l
i
braries
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sv
e
n Verdoolaege
check for piplib 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
S
ven Verdoolaege
s
o
me examples
f
r
o
m Rachid to tes
t
barvinok_enumerate_e
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdo
o
laege
ad
d
ba
r
vino
k
_union
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sven V
e
rdoolaege
add barvinok_en
u
mera
t
e_union function
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
gen_fun: a
d
d Hadam
a
rd_product method
commit
|
commitdiff
|
tree
2006-02-15
Sven V
e
rdoola
e
ge
gen_
f
un
:
:operator
ev
a
l
ue *(): fix memory leak
s
.
commit
|
commitdiff
|
tree
2006-02-15
S
ven Verdoolaege
genfun
.
cc
:
pr
i
nt_power: remove spaces around "*" in
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sven
V
e
rdoolaege
bar
v
inok_series: return empt
y
g
e
n_
f
u
n for empty polyt
o
pe
.
commit
|
commitdiff
|
tree
2006-02-14
S
ven Verdoolaege
barvinok
_
s
e
ries: remove unused va
r
iable
s
.
commit
|
commitdiff
|
tree
2006-02-14
Sv
e
n Verdoolaeg
e
bar
v
inok
.
cc: e
x
t
ract o
u
t
some code commo
n
to generating
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdoolaeg
e
barvi
n
ok
.
c
c: introduce np_b
a
s
e, a base
c
l
ass for
non
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
S
ven
Verd
o
olaege
barvinok
.
cc: do vi
r
tual
p
o
l
a
r_de
c
ompos
e
r
i
n
heri
t
anc
e
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven V
e
rdoolaege
barvinok_se
r
ies: remove
some more equaliti
e
s fr
o
m the
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven
V
erdo
o
lae
g
e
check for compress_parms function
commit
|
commitdiff
|
tree
2006-02-10
S
ven V
e
rdoolaege
gen_fun: add substitut
e
method
.
commit
|
commitdiff
|
tree
2006-02-09
Sven Verdoolaege
barvinok/genfun
.
h: a
bit more documenta
t
ion
.
commit
|
commitdiff
|
tree
2006-02-09
Sven Verdoolaege
adapt dete
r
minat
i
on of git
HE
A
D to recent
g
it vers
i
ons
commit
|
commitdiff
|
tree
2006-02-08
Sv
e
n
Ver
d
oolaege
verify_mai
n
.
cc:
fix ty
p
o t
h
at w
o
uld let check_series
.
.
.
commit
|
commitdiff
|
tree
2006-02-08
Sven Verdoolaege
verify_main
.
cc: a
l
so print ex
p
licit function when
verbos
e
commit
|
commitdiff
|
tree
2006-02-08
Sven
Verdo
o
laege
gen_fun::add: normalize coeffi
c
i
e
n
t
s
commit
|
commitdiff
|
tree
2006-01-29
Sv
e
n Verd
o
olaege
te
s
t ba
r
vinok_
e
numer
a
te_e --om
e
ga
commit
|
commitdiff
|
tree
2006-01-29
Sven Verdoolaege
barv
i
no
k
_enumerate_e: only provide --pip option i
f
.
.
.
commit
|
commitdiff
|
tree
2006-01-29
S
v
en
V
e
r
d
oolaege
ba
r
vinok_enumerate_
e
.
cc: me
m
ory clean up
.
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolaege
in
t
egrate
verif_ehrhart_e into barvino
k
_enumerate_e
commit
|
commitdiff
|
tree
2006-01-28
S
ven Ver
d
oolaege
bar
v
inok_enum
e
rate_e: rename --range opti
o
n to --ra
n
ge
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoola
e
g
e
barvinok_enum
e
rate
_
e: optionally use omega t
o
simplify
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sv
e
n V
e
rdoolaege
omega/c
o
nvert
.
cc: add c
o
nversion from PolyLib to
Omega
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolaege
om
e
ga/convert
.
cc: ext
r
act
o
ut conversion from Omega
.
.
.
commit
|
commitdiff
|
tree
2006-01-28
Sve
n
Verdool
a
e
g
e
b
a
r
v
ino
k
/util
.
h: include gmp
.
h
commit
|
commitdiff
|
tree
2006-01-28
Sv
e
n Verdoolaege
let O
M
EGA_ va
r
s cont
a
in omeg
a
related flags exc
l
us
i
vely
commit
|
commitdiff
|
tree
2006-01-28
S
v
en V
e
rdoolae
g
e
red
u
c
e
_in_d
o
main: fix some memory leaks
commit
|
commitdiff
|
tree
2006-01-28
Sven Verdoolaege
scan_quast:
com
b
i
n
e quast p
a
rts if we a
r
e p
r
ojecting
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdoo
l
aege
barvinok_enum
e
rate_
p
ip: no need to remove ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdoolaege
pip_pro
j
ectou
t
: allow unknows a
n
d
parameters
t
o be
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
S
ven Ver
d
oolaege
pip_projectout:
l
et piplib simp
l
ify s
o
lution
.
commit
|
commitdiff
|
tree
2006-01-27
S
v
en V
e
rdoo
l
aege
bar
v
inok_enume
r
ate_e: print current proble
m
i
n form
.
.
.
commit
|
commitdiff
|
tree
2006-01-27
Sven Verdoolae
g
e
occ:
r
e
d
u
ce evalue b
e
fore prin
t
ing
commit
|
commitdiff
|
tree
2006-01-20
S
v
en Verdoolaege
version 0
.
1
9
commit
|
commitdiff
|
tree
2006-01-20
Sven Verdool
a
ege
ad
d
some required files to distrib
u
t
ion
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdoolaeg
e
Us
e
cor
r
ect include dir for om
e
ga headers
.
commit
|
commitdiff
|
tree
2006-01-18
Sven
V
e
rdoolaege
piptest: decla
r
e
vari
a
ble a
t
start of code block
.
commit
|
commitdiff
|
tree
2006-01-18
Sven Verdo
o
laege
occ:
c
orrect c
a
lcu
l
ation o
f
dimension
.
commit
|
commitdiff
|
tree
2006-01-13
Sven Verdoolaege
expo
r
t
E
VALUE_IS_ONE macro
commit
|
commitdiff
|
tree
2006-01-11
Sven Ve
r
d
o
olaege
e
value/print_en
o
de: crea
t
e names if none are pro
v
ided
.
commit
|
commitdiff
|
tree
2006-01-07
S
v
en
V
e
r
doolaege
occ
:
add "ra
n
ki
n
g" ope
r
ation
.
commit
|
commitdiff
|
tree
2006-01-07
Sve
n
V
e
rdoo
l
aege
occ/card: fix
memory
l
eak
.
commit
|
commitdiff
|
tree
2006-01-07
Sven Verdoolaege
occ:
c
ompute numbe
r
of
e
x
istential
va
r
iabl
e
s
c
orrectly
.
commit
|
commitdiff
|
tree
2006-01-04
Sve
n
V
erdoolaege
is_ze
r
o
_
on: fi
x
invalid read
.
commit
|
commitdiff
|
tree
2006-01-04
Sven Verdoolaege
Polyh
e
dro
n
_i
s
_infinite: simplify and warn that it may
.
.
.
commit
|
commitdiff
|
tree
2006-01-04
Sven Verdoolaege
oc
c
: rena
m
e
"cou
n
t"
o
peration to
"
c
a
rd
"
.
commit
|
commitdiff
|
tree
2005-12-28
Sv
e
n Verdoolae
g
e
occ: add "cou
n
t" oper
a
tion
.
commit
|
commitdiff
|
tree
2005-12-28
S
v
e
n
V
e
rdoola
e
ge
o
meg
a
/parser
.
y: rename some
consta
n
ts
.
commit
|
commitdiff
|
tree
2005-12-28
Sve
n
Verdoolaege
omega/parser
.
y:
u
s
e free t
o
fr
e
e malloc'ed mem
o
r
y
.
commit
|
commitdiff
|
tree
2005-12-28
Sve
n
Verdool
a
ege
Compi
l
e topdir before omega subdir
.
commit
|
commitdiff
|
tree
2005-12-28
Sv
e
n Ver
d
oola
e
ge
barvinok/ba
r
vi
n
o
k
.
h: include barvinok/evalue
.
h
commit
|
commitdiff
|
tree
2005-12-28
Sven
V
erdoolaege
barvinok/evalue
.
h:
und
e
fin
e
di
v
ide from polyli
b
'
s
ari
t
hm
e
tiq
u
e
.
h
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoolaege
o
cc: base
ome
g
a calculator
.
commit
|
commitdiff
|
tree
2005-12-27
Sve
n
V
e
r
d
oolaege
Files copied from omega_calc
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Ve
r
doolaege
eadd_p
a
r
t
i
t
ions: try to
c
o
m
bine m
u
ltiple domains wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Ve
r
d
oolaege
util
:
add Domai
n
Concat
.
commit
|
commitdiff
|
tree
2005-12-27
Sve
n
Verdoolaeg
e
barvinok_enu
m
e
r
ate:
use POL_NO_DUAL if available
.
commit
|
commitdiff
|
tree
2005-12-27
Sven Verdoo
l
aege
Don't
call
P
olyhedr
o
n2
P
aram_Sim
p
lified
D
omain
wit
h
POL_NO_DUAL
.
commit
|
commitdiff
|
tree
2005-12-26
Sve
n
Verdoola
e
ge
Regression
t
est
.
commit
|
commitdiff
|
tree
2005-12-26
S
ven
V
erdoola
e
g
e
More us
e
of POL_NO_DUAL
.
commit
|
commitdiff
|
tree
2005-12-26
Sven
Verdoola
e
ge
barvinok
_
en
u
merate_ev
:
comp
u
te vertices of po
l
y
t
ope
.
.
.
commit
|
commitdiff
|
tree
2005-12-26
Sven Verdoolaege
r
educe_
e
valu
e
: ensur
e
a dom
a
i
n
i
s
really empty before
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
Sve
n
Verdoolaege
pi
p
util: re
m
o
v
e unne
e
ded functionali
t
y
.
commit
|
commitdiff
|
tree
2005-12-08
Sven Verdoo
l
a
e
ge
b
arv
i
n
ok_enumerate_pip:
s
imply
project
o
ut exis
t
ential
.
.
.
commit
|
commitdiff
|
tree
2005-12-08
S
v
en Verd
o
ol
a
e
ge
Update
p
i
p
util
.
c with some new functio
n
ality cur
r
ently
.
.
.
commit
|
commitdiff
|
tree
2005-10-27
Sven Verdoolaege
p
i
putil
.
quast2p
o
l
y: p
a
ss in the number of PIP parameters
commit
|
commitdiff
|
tree
2005-10-27
Sven
Verdoolaege
A
l
so te
s
t
th
e
--pip
varia
n
t of barvinok_
e
hrhart_e
.
commit
|
commitdiff
|
tree
2005-09-12
Sven Verd
o
olaege
barvinok_lexsmaller_ev: tr
e
a
t
e
xtra variables as existential
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sve
n
V
erdool
a
ege
verify_lexsmal
l
er: add
m
issing sta
t
i
c
qualifier
.
commit
|
commitdiff
|
tree
2005-09-08
S
v
en V
e
rdoolaege
verify_lex
s
mal
l
er: support existential vars
i
n i
n
put
.
.
.
commit
|
commitdiff
|
tree
2005-09-08
Sven Verdoolaege
check_lexsmall
e
r:
f
ix error
o
utput
.
commit
|
commitdiff
|
tree
2005-09-08
Sven
Verdoolaeg
e
barvin
o
k_ranking: re
n
ame
to
barvinok_le
x
smal
l
e
r
commit
|
commitdiff
|
tree
2005-09-08
Sven V
e
r
d
oolae
g
e
barvinok_ranking: adap
t
to new calling convention of
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
ve
n
V
e
rdoolaege
Use P
o
lyLib's co
p
y
of D
o
mainConstraintSimplify i
f
available
.
commit
|
commitdiff
|
tree
2005-09-07
Sv
e
n
V
erdool
a
eg
e
Add a test
f
or barvin
o
k_ehrhart_e
.
commit
|
commitdiff
|
tree
2005-09-07
Sven Verdoolaege
Propagate
r
e
naming from Rank
i
ngPolytopes to LexSmal
l
er
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
ven Verdoolae
g
e
pip_lexmin
m
ax: fix c
o
mputation of lexmax (lightly tested)
.
commit
|
commitdiff
|
tree
2005-09-07
Sv
e
n Verdool
a
ege
pip_lexminma
x
: all
o
w computation of lexmax (untested)
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
Verdo
o
la
e
ge
piputil
.
c: make debuggin
g
o
u
tput
d
epend on preprocessor
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
Sven
V
e
r
doolaege
piputil
.
c: incl
u
de piputil
.
h
commit
|
commitdiff
|
tree
2005-09-07
Sven V
e
rdool
a
ege
pip_lexmin: allow
positi
o
n
of min
i
m
i
zed vars t
o
be
.
.
.
commit
|
commitdiff
|
tree
2005-09-07
S
ven
Verdo
o
lae
g
e
barv
i
nok_enu
m
e
rate_e: make sure the input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2005-09-06
Sven Verdoolae
g
e
piputil
.
c: deal wit
h
partial Po
l
yhedr
o
ns (untested)
.
commit
|
commitdiff
|
tree
next