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
Sven Verdoola
e
ge
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n V
e
rdo
o
l
aege
AU
T
HO
R
S: u
p
date supp
o
rt information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
r
a
n
domvect
o
r
: do
u
b
l
e size o
f
coefficients on each
a
ttempt
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ver
d
oolaege
iscc: support
t
ra
n
sitive
c
losure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
o
l
aege
update i
s
l to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
olae
g
e
bar
v
in
o
k_
e
.
cc:
e
numer
a
te_vd: remove unused
v
ariabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoo
l
ae
g
e
evalu
e
.
c: P
o
lyhe
d
ro
n
_I
n
sert: add m
i
s
s
i
n
g ret
u
rn t
y
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdoolae
g
e
evalu
e
.
c
:
reduce_e
v
alue: remove unus
e
d
var
i
able
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
ol
a
ege
iscc: add @ op
e
rat
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
iscc: a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoo
l
aege
add isl_pw_qpol
y
nomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add
s
u
m
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
ad
d
isl_
p
w_qpol
y
nomia
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Ve
r
doolaege
add
i
sl_pw_qpol
y
no
m
ia
l
_
to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
u
p
date isl
for
i
sl_pw_q
p
olyn
o
mial_foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaeg
e
r
e
name evalue2
i
sl to isl_pw_qpolyn
o
mial_from_e
v
alue
commit
|
commitdiff
|
tree
2010-03-06
S
v
en
V
erdool
a
ege
iscc: detect
m
ore kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
a
rvinok_enumerate: use isl
d
uring the verific
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
s
l
_s
e
t_c
a
rd
a
nd isl_map_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoo
l
aege
a
d
d evalue
2
isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
evalue_convert:
e
x
p
o
r
t as applica
t
io
n
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdool
a
ege
barvinok_e
n
umerate_e: o
p
tionally
u
se i
s
l to p
r
oject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add isl sub
m
odu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
erdoolaege
A
X_
S
UBMODULE
:
accept "-" i
n
modulename
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
olaege
b
arvinok
_
enume
r
ate: r
e
tu
r
n NaN for
i
nfinit
e
problems
commit
|
commitdiff
|
tree
2010-01-28
Sven
Verdool
a
ege
remove_all_eq
u
alities: handle integrall
y
, but not
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n
Verdoolaege
barvinok_enum
e
rate_e
:
al
w
ays return a partiti
o
n fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enum
e
rate: c
h
eck that dimens
i
on
of
i
n
put in
c
lude
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verd
o
olaege
partition2enumeration: check th
a
t
input is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
Ve
r
dool
a
ege
update piplib fo
r
c
hange in conf
i
gure options
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
upda
t
e
o
mega for configuration/
c
o
m
p
i
lat
i
on
issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdool
a
ege
barvinok_count_with_opt
i
ons
:
check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoola
e
g
e
P
o
l
y
hedron_Samp
l
e: p
l
ug memory
l
eak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
sum
m
a
te
.
c: add missing
i
n
clude
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oo
l
aege
topcom
.
c: su
p
p
o
rt n
e
wer vers
i
ons of T
O
P
C
OM
commit
|
commitdiff
|
tree
2009-11-12
S
ven
Verdoolae
g
e
t
o
pcom
.
c: co
m
put
e
_domain: skip vert
i
ces
w
ithout
d
o
m
a
in
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Ver
d
oolaege
doc: refl
e
ct
that --en
a
ble-fraction
a
l
i
s now the de
f
a
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_polyhed
r
on_affine_sign: special case 0D
p
o
l
yhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
P
o
lyhedron
_
Insert_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n V
e
r
d
oolaege
Polyhedron_Factor: fix
upd
a
ting of g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
erdoolaege
confi
g
ure
.
in: use AX_SUBMODULE inst
e
ad of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sv
e
n Verdoo
l
aege
remove_equalities: use
P
olyhedron_Pre
i
mage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Ve
r
doolaege
doc: add experimental compari
s
on betwee
n
old
a
nd new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
le
x
min
.
c
c
: remo
v
e "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
doolaege
doc: add s
o
m
e
l
es
s
common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rd
o
olaege
add "cl
e
ver" La
u
r
en
t
expan
s
ion
b
ased s
u
mmatio
n
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoolaege
move Last_Non
_
Z
e
r
o
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
ege
e
x
tract out param_p
o
l
ynomial f
r
om laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaeg
e
extract verte
x
_con
e
from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven V
e
rdoolaege
upda
t
e polyli
b
fo
r
speed
impr
o
ve
m
ent in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdool
a
e
g
e
update piplib fo
r
distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ver
d
oolaege
Polyhedron_Fa
c
t
or: fix mer
g
in
g
of groups of columns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
Verd
o
olaege
(
t
)co
u
n
t
er: move
counte
r
:
:
reset() up
t
o counter_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
Makefile
.
am: keep
b
etter
track of fa
i
led tests
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verd
o
olaeg
e
Line_Length: hand
l
e
0
D pol
y
tope
i
n 1
D
spa
c
e
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdool
a
ege
Polyhedron_Factor: handle polyhedra w
i
th a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Ve
r
doolaege
upd
a
te piplib for change
i
n
conf
i
gure a
r
g
u
ments
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n Verdoolaege
barv
i
n
o
k
.
cc: remove unu
s
ed nonor
t
hog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
update piplib for MinGW c
o
mpat
i
bility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en V
e
rdoolaege
update polylib fo
r
MinGW compatibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
S
ven
V
erdoolae
g
e
evalue
.
c
: in_doma
i
n
:
s
pecial-case 0
D
domains
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Ve
r
doolaege
Avoid u
s
e
o
f
sys/
t
i
m
e
s
.
h
h
eader when not
a
vailable
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoolae
g
e
add
g
nulib getsubopt
m
odule fo
r
M
inGW
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verdoolaege
README: mention t
h
a
t
GiNaC is also ne
e
ded for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verd
o
olaege
A
l
low bui
l
d
o
f occ when using
bund
l
e
d omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n Verdo
o
l
a
e
g
e
doc: add a r
e
ference t
o
a master thesis actually
u
sing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaeg
e
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
o
o
laege
R
E
ADM
E
: fix up installation instructions
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoolaeg
e
Add
f
iles
genera
t
ed by bison and
f
lex to the
d
istri
b
ution
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
update polyl
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n
V
e
rdoola
e
ge
up
d
ate
pi
p
l
ib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdool
a
ege
evalue
.
c: a
f
fine2evalue:
r
educe coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdoolaege
evalue
.
c: eva
l
ue_lev
e
l_cmp: pr
o
duce more consiste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
V
erd
o
olaege
doc: add
another paper referring to
t
he library
commit
|
commitdiff
|
tree
2008-09-16
S
ven Ver
d
o
olaege
p
i
e
c
ewi
s
e_lst
.
h: avoid duplicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoola
e
ge
e
val
u
e_read
.
c
: fix mi
n
or bugs in to
k
e
n
izer
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdo
o
laege
update o
m
ega for
m
is
s
ing files in distrib
u
ti
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oo
l
aege
ba
r
vinok_enume
r
ate_e: avoid infin
i
t
e
loop w
h
e
n
presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
move omega subdir t
o
omega
_
i
n
t
e
r
face
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
NT
L
_QQ
.
cc: ad
d
stdl
i
b i
n
clude for
a
bo
r
t hidden
in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
er
d
oolaege
remov
e
gnulib l
i
nk-wa
r
ning
module c
o
m
p
l
et
e
ly
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
u
p
date polylib wi
t
h
e
xtra fi
e
ld in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Ver
d
oolaege
doc:
f
ix
typo
s
commit
|
commitdiff
|
tree
2008-07-20
Sven
Verdool
a
ege
u
pdate gnulib function to last pre-GPLv3 versi
o
n
commit
|
commitdiff
|
tree
2008-07-02
Sven
Verdoolaege
enumerator::ha
n
dle: replace incorrect delete by f
r
ee
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoo
l
aege
update pipli
b
for corr
e
cted Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoola
e
ge
c
o
nf
i
gu
r
e: use cor
r
ec
t
he
a
der files in case of b
u
ndled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
om
e
ga/occ: only
o
pen debug output file if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ver
d
oolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Ver
d
oolaege
add e
d
itors
to ITSL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
b
arv
i
n
ok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
ae
g
e
add some tes
t
sets from itsl2008 pape
r
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
ol
a
e
g
e
d
oc: a
d
d latest (ac
c
epte
d
) public
a
tio
n
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
Mak
e
file
.
am
:
add section_array
.
h to distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
nor
m
ali
z
ation
.
c: comput
e
_shift
s
: remove r
e
d
u
n
dant return
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
m
o
ve
F
ree_Pa
r
am
N
ames polylib
a
nd
make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
o
cc: add interface to barvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
ex_convert
.
cc: extr
a
ct ex2e
v
alue
f
ro
m
r
ang
e
.
cc
commit
|
commitdiff
|
tree
next