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: extract out verification options
2007-01-04
Sven Verdoola
e
ge
barv
i
nok_enumerate_e
:
extr
a
ct
o
ut ve
r
if
i
cation o
p
t
i
o
ns
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolae
g
e
barv
i
nok_enumerate_e: print warning when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvinok/polylib
.
h:
d
efine value
_
subtract and value_addm
u
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verdoolaege
dec
o
m
poser
.
c
c: decompose:
micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaeg
e
signed
_
cone
:
s
t
o
r
e
rays of cone
commit
|
commitdiff
|
tree
2007-01-04
Harald Devos
ome
g
a/parser
.
y: remove brackets around t
y
pe in new
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lexmin: disab
l
e use of
looku
p
-table
s
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
barvinok_enumerate_e
.
c
c
:
f
ix argp opt
i
on
s
parser
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaeg
e
options
.
c: m
o
ve choice
o
f use of l
o
oku
p
-table to ba
r
vinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lattic
e
_poi
n
t
.
cc: fix #ifndef U
S
E
_MOD
U
LO code path
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n Verdoo
l
a
ege
dec
o
m
p
os
e
r
.
cc:
sho
r
t_vector:
remove
redundant cod
e
commit
|
commitdiff
|
tree
2007-01-03
S
v
en
Verdoola
e
g
e
decomposer
.
cc: shor
t
_ve
c
tor:
n
egate la
m
bda i
f
z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
ola
e
ge
barv
i
nok
.
c
c
: s
e
ries: only
r
equire rays to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
ba
r
vinok
.
c
c
: series
:
pass full
options
to barvinok_co
u
nt
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdo
o
l
a
e
g
e
np_
b
ase::handle: pass aroun
d
rays mat
r
ix
i
nst
e
a
d
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdo
o
laeg
e
decomposer
.
cc: support primal decomp
o
sit
i
o
n
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Ve
r
do
o
laege
decompose
r
.
cc: barvinok_decompos
e
:
i
mple
m
e
n
t in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolae
g
e
barvinok_enum
e
ra
t
e: respect in
c
r
emental_special
i
zation
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Ve
r
doolaege
i
n
t
roduce signed_co
n
e struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
ae
g
e
separ
a
t
e
out dec
o
m
positi
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
test:
u
se argp
p
arser
commit
|
commitdiff
|
tree
2006-12-28
S
v
e
n
V
e
r
d
o
olaeg
e
update argp from gnulib and add progn
a
m
e module
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoo
l
aege
barv
i
nok_enumerate
_
e
.
cc: don't e
x
it on
u
nreco
g
nized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n
Verdoolaeg
e
l
i
b/arg
p
.
h: r
e
m
o
ve __NTH for _
_
argp
_
usage
i
nline func
t
ion
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoo
l
aege
ba
r
vinok_enume
r
ate_
e
.
c
c: re
m
o
ve another
d
uplica
t
e definiti
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_en
u
m
erate_e:
u
s
e arg
p
parser
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolae
g
e
barvinok_
c
ount: use
argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
options
.
c: add
arg
p
par
s
e
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Ve
r
doolaege
a
dd argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
doo
l
aeg
e
scarf
.
cc: make compatible with ol
d
er
v
e
r
sions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
add miss
i
ng assert
.
h
#includes
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaege
Makefile
.
am: a
d
d re
m
ove_equali
t
ies
.
h to
distri
b
ution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
configure
.
in: only
configure bernstein if
G
iNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoolaege
b
ernstein: conf
i
gure
.
in: che
c
k fo
r
Gi
N
aC
commit
|
commitdiff
|
tree
2006-12-19
Sven V
e
rdoola
e
g
e
bernst
e
in: remove
extra qualifica
t
ions fro
m
polyn
o
mi
a
l
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Ve
r
doolaege
b
ernstein/src/main
.
cpp: rem
o
ve
r
ed
u
ndant include
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
Verdoolaeg
e
s
h
o
r
t_rat
:
:n
o
r
m
ali
z
e
: make powe
r
s in th
e
denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdool
a
ege
gen_fun::sub
s
titute: normal
i
z
e
t
erms
commit
|
commitdiff
|
tree
2006-12-18
S
v
en V
e
rdoolaege
dpoly_r
:
st
o
re terms
in a set rat
h
e
r than
i
n a
vecto
r
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_fun: store t
e
r
ms
i
n
a set rather th
a
n in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
l
e
xmin
:
allow
e
mptiness c
h
eck through counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
le
x
min
.
cc: move construction of subdoma
i
ns to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
edomain
.
cc: move sam
p
l
e
computat
i
o
n completely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoo
l
aege
lexmi
n
.
cc
:
partial_ord
e
r
::compar
e
:
use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdo
o
laege
lex
m
in
.
cc:
indicator::c
o
mbine: more efficient
way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
l
e
xmin
.
c
c
: keep heads
in partial order separ
a
te
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaeg
e
edomain
.
cc: EDomain::add_ge_const
r
aint: simpl
i
fy new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
e
xmin
.
cc: parti
a
l_order::compare: add
c
ach
e
o
f
co
m
parison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdool
a
ege
lexmin:
mak
e
sure le set
i
n
partial order only c
o
ntai
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
r
doo
l
aege
l
e
x
min: more sani
t
y che
c
ks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lemxin: use stable ordering of ind
i
c
ator_
t
erms in partial_
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
laege
genfun
.
cc: move lex_cmp
t
o
m
at_util
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
lexmin: indicat
o
r:
:
combine: directly
add so
m
e known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolaege
ba
r
vinok/polylib
.
h:
separate incl
u
de
of polylib h
e
ad
e
r
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
lexmin:
o
p
tionally compute sign o
f
affine functi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
lexm
i
n: optionally skip reductio
n
of evalues in domains
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Ve
r
doolaege
evalu
e
_fr
a
c2floo
r
:
o
nly make argumen
t
no
n
negative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doola
e
g
e
l
e
x
min: Polyhedron_n
o
t_empty: be c
a
r
efu
l
about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
lexmin: indicator_term::is_
o
ppo
s
ite:
a
ssume nu
m
er
a
tors
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doo
l
aege
remove_all_equalit
i
e
s
: han
d
le compr
e
ss_va
r
iables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
exmin: optionally u
s
e cdd du
r
i
ng b
a
sis
red
u
c
tion
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
lae
g
e
Polyhedron_R
e
duc
e
d_Basis: optionally
u
se cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoola
e
ge
co
n
figure
.
i
n
: ch
e
ck f
o
r cddlib
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Verdool
a
ege
lexmin: Pol
y
hed
r
on_not_emp
t
y: continue
r
emov
i
ng equali
t
ies
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolae
g
e
lex
m
in
:
handle equalit
i
es am
o
ng parameters
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoo
l
aege
remove_
a
ll_e
q
ualities: ignore i
d
entity parame
t
e
r
com
p
re
s
si
o
n
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_equali
t
ies
.
c: ex
t
racted from
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
genfun: add s
h
ort
_
rat::norm
a
lize
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdool
a
ege
genfun: a
d
d shor
t
_rat
c
onstruc
t
o
rs
commit
|
commitdiff
|
tree
2006-12-09
Sven
Ver
d
ool
a
ege
evalue
.
c: e
v
alue_denom:
improve com
m
ent
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaeg
e
lexmin: Po
l
yhe
d
ron_not_emp
t
y: che
c
k resu
l
t returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sv
e
n Verdoolaege
barvin
o
k
.
cc: series: remove equalities using
P
reimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdo
o
laege
barvino
k
_count: coll
e
ct stats
o
n n
u
mber of unim
o
dul
a
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
en
V
erdoolaege
util
.
c:
t
riangulate_cone: use
b
igger ran
d
om values
commit
|
commitdiff
|
tree
2006-12-07
Sve
n
Verdoolaege
sample
.
c: Po
l
yhedron_RemoveFixedColumns: copy cons
t
ants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven
Verdool
a
ege
berns
t
e
in: piecewise_lst::evaluate: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Ve
r
doolaege
configure
.
in: only a
d
d -lberns
t
ein to barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
S
ven V
e
rdool
a
ege
conf
i
gu
r
e
.
in: renam
e
--wit
h
-ginac to --
w
ithout
-
bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven
Verdool
a
ege
c
o
nfigure
.
i
n
: allow build witho
u
t G
i
N
aC (and therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
S
ven
V
erdoolaege
con
f
i
gure
.
in:
add -lbernste
i
n to barvinok
.
p
c
if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven V
e
rd
o
olaege
util
.
c:
comp
r
ess_vari
a
bles: correct check for sca
l
ing
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n
Ver
d
oolaege
util
.
c
:
s
o
me documentation for
c
ompre
s
s_variab
l
es
commit
|
commitdiff
|
tree
2006-11-09
Sven V
e
rdoolaege
verif
_
ehrhart
:
add --print-a
l
l
option to rep
l
ac
e
PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoola
e
ge
mat_
u
til: make arguments
o
f lex
_
cm
p
const
commit
|
commitdiff
|
tree
2006-11-09
S
ven Verdoo
l
a
ege
add
AUTHORS f
i
le
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdo
o
laege
bump version
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
M
akefile
.
am: make sure co
r
rect f
i
les are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
doc: mention restricti
o
n of barvinok_enumerate_
s
carf_se
r
i
es
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rd
o
ol
a
ege
doc: minima
l
documentation
f
o
r th
e
lexmin application
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oola
e
ge
ber
n
stein/co
n
figure
.
in: set A
C
_CONFIG_AUX_DIR to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
v
en V
e
rdoolaege
doc: d
o
c
u
men
t
p
o
lytope_sa
m
ple
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: docum
e
n
t polyhe
d
ron_sa
m
ple
commit
|
commitdiff
|
tree
2006-10-31
Sven
Ve
r
do
o
laege
doc: i
n
c
l
ude barvinok libr
a
ry version in ti
t
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
V
erdo
o
laege
configure
.
i
n: fix
t
ypo
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc: bib: name Kevin M
.
Wo
o
d
s
consi
s
te
n
t
l
y
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoo
l
aeg
e
doc: doc
u
men
t
e
x
tra occ
o
perations
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
doc:
u
pd
a
te gen_
f
un d
o
cumentation
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: refle
c
t change of argu
m
ent type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
do
c
:
docume
n
t barvi
n
ok_e
n
umerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
S
ven V
e
rdoolaege
doc: add another pape
r
refe
r
ing to barvinok
commit
|
commitdiff
|
tree
next