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
iscc: add "ub"
2010-03-09
Sve
n
Ver
d
oolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add isl_p
w
_qpolyno
m
i
a
l_upper_bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
i
s
c
c: add su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doo
l
a
ege
a
dd
isl_pw_qpolyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
ad
d
i
s
l_pw_qpol
y
nomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
upd
a
te is
l
f
o
r
i
sl_pw_qpo
l
ynomial_forea
c
h_pi
e
c
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verd
o
olae
g
e
rename ev
a
lue2i
s
l to isl_p
w
_qpolynomial_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ve
r
doola
e
ge
iscc: detect
mo
r
e kinds o
f
e
rrors
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doolaege
b
a
rvinok_enumerate: use isl
du
r
ing the veri
f
ication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdo
o
laege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
e
rdoolaege
add isl_set
_
card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
ool
a
ege
add evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoola
e
g
e
eval
u
e_conve
r
t: export
as application
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
ba
r
vin
o
k_enum
e
rate_e:
o
ption
a
lly use isl to p
r
oject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
a
d
d isl submodule
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
AX_SUBMODU
L
E: accept "-"
i
n modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
barvinok_enumerate:
re
t
urn NaN for infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Ve
r
dool
a
ege
remove_all_equalities: han
d
le integrally, but no
t
ra
t
ionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Ve
r
doolaege
barvinok_en
u
merate
_
e
:
always return a pa
r
tition f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolaeg
e
barvinok_enumerate: c
h
e
ck
t
hat di
m
ension of i
n
put
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoo
l
aege
partition2e
n
umerati
o
n: ch
e
ck th
a
t input
i
s really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n
V
e
rdoolaeg
e
update pipl
i
b
for chan
g
e in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
updat
e
omega for configura
t
ion/compilat
i
on is
s
ues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
rd
o
olaege
ba
r
vino
k
_
c
ount_wi
t
h_opt
i
ons: check return value
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoolaege
P
o
l
y
hedro
n
_
Sample: plug memory
l
eak
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoo
l
aege
sum
m
ate
.
c: a
d
d missi
n
g in
c
lude
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Ve
r
doolaege
topcom
.
c: support n
e
wer vers
i
ons of
T
OPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdoolaege
to
p
com
.
c: compute_d
o
main: sk
i
p
vertic
e
s
w
i
thout dom
a
in
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
d
oc: refle
c
t that
-
-
enable-
f
ractional is now the default
commit
|
commitdiff
|
tree
2009-11-12
S
ven
Verdoolae
g
e
glpk_
p
olyhe
d
ron_affine
_
sign:
special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
Polyhedron_
I
nse
r
t_
C
olumns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
P
olyhe
d
ron_Factor: fix updating of
g
r
o
ups
commit
|
commitdiff
|
tree
2009-10-06
Sven
Verdoolaege
configure
.
in: use
AX_S
U
BMODU
L
E ins
t
ead of
B
V_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
r
emo
v
e_equalities:
u
s
e Polyh
e
dro
n
_Preim
a
ge inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
ola
e
ge
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
doc: add
e
xperimental compar
i
s
on between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven
Verdoolaege
lexmin
.
cc:
remove
"anach
r
onism"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verd
o
olaege
doc: add some
l
ess
c
omm
o
n
.
s
t
y f
i
les
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
laege
add
"clev
e
r" Laur
e
nt expansion b
a
s
e
d summati
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
m
ov
e
L
a
st_Non_Zero to ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Ve
r
do
o
laege
e
xtract out pa
r
a
m_polyn
o
mial from
l
a
ure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
extract vertex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
S
ven Verdoolaeg
e
update
p
olylib for
speed i
m
provement in in
_
domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaeg
e
update p
i
plib f
o
r distribution issu
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Poly
h
edron_Fact
o
r:
f
ix mer
g
i
ng
o
f g
r
oups
o
f columns
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Ver
d
oolaege
(t)cou
n
ter: move counter::res
e
t()
up to c
o
unter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven
V
erdoolaege
Makefile
.
am: keep b
e
tter track o
f
fail
e
d tes
t
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaeg
e
Line
_
Le
n
gth
:
handle 0D
p
olyt
o
pe in
1D spa
c
e
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoolaege
Polyhedron_F
a
ctor: ha
n
dle polyh
e
dra with
a non-
t
rivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Verdoolaeg
e
update
pip
l
ib for
c
han
g
e
i
n configur
e
argume
n
ts
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n Ve
r
doolaege
bar
v
ino
k
.
cc
:
remove
unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
la
e
ge
upd
a
te
p
i
plib for MinGW compatibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoolaege
up
d
ate po
l
ylib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
eval
u
e
.
c: in_do
m
ai
n
: special-
c
ase 0D
d
omain
s
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
V
e
r
d
ool
a
ege
Avoid use of
s
ys/ti
m
es
.
h h
e
a
der
when not ava
i
lable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoo
l
aege
add
g
nulib getsubopt m
o
du
l
e for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verdool
a
ege
RE
A
DME: mention
t
hat GiNaC
is also n
e
e
ded
for the
Omeg
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow build of
o
cc whe
n
us
i
ng bund
l
ed
o
me
g
a
commit
|
commitdiff
|
tree
2008-10-28
Sve
n
Verdoolaege
doc:
a
dd
a
referenc
e
to a
m
aster thesis act
u
ally usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
b
arvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aeg
e
README: f
i
x up installation instru
c
tions
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
er
d
oolae
g
e
Add files gene
r
ated by bis
o
n
and flex t
o
the distribution
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
updat
e
po
l
y
l
ib
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
S
ven
V
e
r
do
o
l
a
ege
evalue
.
c: affine2evalue: redu
c
e c
o
efficients
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n
Ve
r
doolaege
e
v
alue
.
c: eva
l
ue_level
_
cm
p
: produc
e
m
o
re consis
t
ent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
V
erdoolaege
d
o
c: add another paper re
f
er
r
ing to the library
commit
|
commitdiff
|
tree
2008-09-16
S
ven Verdoolaege
pi
e
ce
w
ise_lst
.
h: avo
i
d
d
uplicate paramete
r
name
commit
|
commitdiff
|
tree
2008-09-02
Sven
Verdoola
e
g
e
evalue_re
a
d
.
c: fix minor bugs
in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update omega
for m
i
ssing files in
d
istribu
t
ion
commit
|
commitdiff
|
tree
2008-08-28
S
ven Ver
d
ool
a
ege
barvinok_enumera
t
e_e: avoid
i
n
f
inite loop when
p
resented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
e
r
d
oolae
g
e
move o
m
ega subdir to
o
mega_int
e
rfa
c
e
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
rdoola
e
ge
NTL_
Q
Q
.
cc
:
a
dd stdlib incl
u
de for abort hidden in NTL
_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
rem
o
ve
g
nulib link-warning
m
odule
completely
commit
|
commitdiff
|
tree
2008-08-24
S
ven Ver
d
oolaege
upd
a
te polylib with extra field in
P
aram_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
ven
V
erdo
o
laege
d
o
c: fix ty
p
os
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaeg
e
update gnulib fu
n
ction to la
s
t
pre-GPLv3 vers
i
on
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdool
a
ege
enu
m
e
rator::han
d
le
:
re
p
lac
e
i
ncorrec
t
delete by free
commit
|
commitdiff
|
tree
2008-06-17
Sv
e
n
Verdoolaege
updat
e
piplib for corre
c
ted Urs_p
a
rm
s
handling
commit
|
commitdiff
|
tree
2008-06-12
S
ven Ver
d
o
olaege
configure:
u
s
e correct heade
r
files i
n
cas
e
of bund
l
ed
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verd
o
o
l
aege
omeg
a
/occ: o
n
ly open debug output file
if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
ven
Verdoolaeg
e
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
add
editors to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
barvinok 0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ver
d
oo
l
aege
add so
m
e test set
s
from
i
tsl2008
p
a
p
er
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolaege
d
o
c: add latest
(a
c
cep
t
ed
)
p
u
blications
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaege
Makefi
l
e
.
am: ad
d
s
e
ction_arra
y
.
h
t
o distri
b
ution
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oolaeg
e
normaliz
a
tio
n
.
c: compute_shifts: r
e
move redundant r
e
t
urn
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdo
o
laege
move Free_ParamNames polylib and make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
occ: add interface to
b
arvino
k
_summa
t
e
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdo
o
laege
ex_
c
onver
t
.
cc: e
x
tract ex2evalue
f
rom
r
ang
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc:
docume
n
t mor
e
--summation
methods for barv
i
nok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c: rena
m
e "barvinok" s
u
mmati
o
n met
h
od to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
Makefile
.
am: check-eul
e
r: also ch
e
ck laurent
commit
|
commitdiff
|
tree
2008-05-04
S
v
e
n
Verdool
a
e
g
e
summate
.
c
:
ba
r
v
i
n
ok_summate
:
handle
pro
d
ucts of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolae
g
e
evalue
.
c
: e
x
port evalue_reorder
_
t
e
r
m
s
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
bernstein
:
n
u
mer
i
c2value: fix
typo to allo
w
c
o
rrect
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven Verd
o
olaeg
e
ut
i
l
.
c:
F
actor_Context: extracte
d
from b
a
rvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
S
v
en
V
e
rdoo
l
a
e
ge
s
u
mmate
.
c: ba
r
vinok
_
summate: ignor
e
floo
r
s independent
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
Sven V
e
rdoolaege
evalue
.
c
:
add e
v
a
l
u
e
_
floor
2
frac
commit
|
commitdiff
|
tree
next