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.30
2010-03-10
Sve
n
Verdoolaeg
e
barvino
k
0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
l
aege
A
U
T
HORS: update support in
f
orma
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
e
ge
r
andomvecto
r
: double size o
f
c
oeff
i
cients on each att
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
iscc
:
s
uppor
t
t
r
a
nsiti
v
e
closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
upd
a
te is
l
to ve
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdoolaege
barvino
k
_e
.
cc: en
u
merate
_
vd:
r
emove unused
variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: P
o
lyhedron_Insert: add mi
s
sing retur
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
evalue
.
c: reduce_evalue
:
remove u
n
used v
a
r
iable
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
oolaege
i
sc
c
:
add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add
i
sl_pw_qpolynomial
_
upper
_
bound
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
isc
c
:
add s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
add isl_
p
w_qpolynom
i
al_to_
e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
lae
g
e
upda
t
e isl f
o
r isl_pw
_
qpolynomial_f
o
r
each_piece
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
e
r
d
o
olaege
r
enam
e
eval
u
e2isl to isl
_
pw_qpo
l
ynomi
a
l_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoola
e
g
e
i
s
cc: detect m
o
re k
i
n
d
s
of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barv
i
nok_enumerate: use
is
l
du
r
ing the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdo
o
laege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoo
l
aeg
e
add isl_set_card
a
nd isl_m
a
p_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoola
e
g
e
evalu
e
_c
o
nver
t
: expo
r
t
as applicatio
n
commit
|
commitdiff
|
tree
2010-03-05
S
v
en V
e
rdoolae
g
e
barvin
o
k
_
enu
m
erate
_
e: o
p
tionally
use isl
to p
r
oject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erd
o
olaege
add
i
sl s
u
bmod
u
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX
_
SUBM
O
DULE: ac
c
ep
t
"
-
" in m
o
dulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
barvinok
_
enumerate
:
r
e
tur
n
N
a
N
f
o
r infinite probl
e
ms
commit
|
commitdiff
|
tree
2010-01-28
S
ven V
e
rdoolaege
remove_all_equa
l
ities:
h
andle i
n
te
g
rall
y
, but not r
a
tionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvino
k
_
enumer
a
te_e: always r
e
turn
a
partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
b
arvinok_en
u
mer
a
te: check that di
m
ension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoola
e
ge
partition2enu
m
eration: ch
e
ck that input is real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verdoolaege
u
pdate piplib for change
in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doolaege
update ome
g
a
f
or confi
g
uration/compilat
i
on issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
ba
r
vinok_count_w
i
th_options: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rd
o
ola
e
ge
P
o
lyhedron_S
a
mpl
e
:
plug mem
o
ry
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
s
u
m
m
ate
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
to
p
com
.
c: support newer versions
of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
topco
m
.
c:
c
o
mpute_
d
omain: skip
v
ertice
s
without domai
n
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoo
l
aege
p
o
lyt
o
pe_
m
i
n
imize:
t
ake constant term t
o
b
e zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
do
o
laeg
e
doc:
ref
l
ect that --enable-
f
ra
c
t
i
o
na
l
is n
o
w the defa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ver
d
oolaege
glpk_po
l
yhedron_affine_sign: spec
i
a
l
case
0
D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedron_I
n
se
r
t_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Ver
d
oolaege
Polyhedro
n
_Fact
o
r: fix updating of
g
r
o
ups
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Ve
r
d
o
olaege
configure
.
in: use AX_SUBMODULE
i
nstead of BV_
S
UBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoo
l
aeg
e
remove_eq
u
a
lities: use Polyhedron_Preimage i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
Verdoolaege
ba
r
vin
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven
Ver
d
oolaege
d
oc: add experimental comparison between old and
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven
Verdoolaege
lexmin
.
cc: remove
"an
a
chron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
erdoo
l
aege
d
o
c: fi
x
ty
p
o
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
doc: add
s
ome less common
.
sty
f
iles
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoolaeg
e
add "
c
lev
e
r" Laurent ex
p
ansion ba
s
ed summation
commit
|
commitdiff
|
tree
2009-07-20
S
v
en
V
erdoolae
g
e
move
L
as
t
_Non
_
Ze
r
o to ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extrac
t
out param_
p
o
l
yn
o
mial f
r
om laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract vert
e
x_cone fr
o
m
la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
erdoolaege
NTL_QQ
.
c
c
:
add stdio in
c
l
u
de for EOF h
i
dden in NTL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sve
n
V
erdoolaege
upda
t
e polylib for speed improvement in
in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n
Verdoolaege
update
piplib for distribu
t
ion issue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verdoola
e
ge
Polyhedron_
F
actor: fix merging
of groups of columns
commit
|
commitdiff
|
tree
2009-05-07
S
ven Ve
r
d
oolaege
b
a
rvinok_e
n
u
merate_series: d
o
n't chec
k
f
o
r
re
v
lex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
(t
)
counter: move counter::re
s
et()
up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
Mak
e
file
.
a
m: keep better track of failed
t
ests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verd
o
olaege
add
semigroup_hol
e
s ap
p
l
i
catio
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
Line_Length:
handle 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdo
o
laeg
e
gen_fun: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verd
o
olaeg
e
barvinok_enume
r
ate_e_serie
s
: remove e
q
ualiti
e
s in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
d
oc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
barvi
n
ok_enumerate_
e
_series: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
series
.
c
c: make project
stat
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ba
r
vinok_en
u
merate_
e
_ser
i
es: hand
l
e
a
ll equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add
t
e
st set fr
o
m the oth
e
r
itsl
2
008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven
V
erdoolaege
.
gitignor
e
: ignor
e
ob
j
ect files
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolae
g
e
genfunc
.
cc: parallel_polytopes: detect 0D p
o
lytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sve
n
Verdoo
l
aege
configure
.
in: set AC_CONFI
G
_MACR
O
_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Ver
d
oolaege
ad
d
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
P
o
l
y
h
edron_Factor:
h
andl
e
polyh
e
dra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doolaege
update p
i
p
l
ib for change in configure
a
rguments
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
test_approx
.
c
:
add dummy field in
d
ummy tms stru
c
ture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolae
g
e
configure
.
in: avoi
d
introd
u
cing empty elements in PKG_
C
ONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
V
erdoolaege
occ: def
i
ne OMIT_GETRU
S
AGE if sys/res
o
urc
e
.
h c
a
nnot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omega
_
i
n
terface/Makef
i
le
.
am:
put
d
epending l
i
bra
r
ies
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
c
o
nfi
g
ur
e
.
in: add $(
E
XEEXT) to optional
o
cc for cygwin
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n Ve
r
doolaege
u
pdate ome
g
a for MinGW compatibilit
y
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
be
r
nstein/configure
.
in: add mi
s
s
ing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
S
v
e
n Verdool
a
ege
ge
n
fun
.
cc: add braces ro
u
nd exte
r
n "C" typ
e
def
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoolaege
v
e
ctor_p
a
rtit
i
on_chambers: computes chamber
s
o
f
ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdool
a
ege
barvinok
.
cc: r
e
move unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
ae
g
e
upd
a
te pipl
i
b
f
or
MinGW
compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Ver
d
oolaege
u
p
d
a
te
p
olylib for MinGW
compatib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
S
ven
Verdoolaege
fdstream
.
cc: don't (re)de
c
l
a
re fileno if it's a
macr
o
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdoola
e
ge
evalue
.
c:
in_domain: special-case
0D dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
S
v
en V
e
r
doola
e
ge
Avoid
use of sys/
t
i
m
es
.
h header
whe
n
not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Ver
d
oolaege
a
d
d g
n
ulib
get
s
ubopt mod
u
le for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README: mention that GiNaC is also neede
d
f
o
r
the
Ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en
V
e
rdoolaege
Allow buil
d
of occ when us
i
ng bun
d
l
ed om
e
ga
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolae
g
e
doc:
a
d
d a reference t
o
a
master the
s
is
a
c
tua
l
ly us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README:
f
ix up i
n
st
a
ll
a
tion instructions
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n
Ve
r
doolaege
Add files gene
r
ate
d
by b
i
s
on and flex to the di
s
tribut
i
on
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
up
d
a
t
e po
l
ylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
upd
a
te piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdo
o
la
e
ge
evalue
.
c: affine2eval
u
e: reduce coeffi
c
ien
t
s
commit
|
commitdiff
|
tree
next