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 Verdool
a
ege
barvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
a
e
ge
AU
T
HORS:
u
pdate
s
u
pp
o
rt info
r
mation
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaeg
e
randomvector
:
double size of coefficie
n
ts
o
n eac
h
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
dool
a
e
ge
iscc: suppor
t
transitive
c
losure
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ve
r
doolaege
update
i
sl to vers
i
on 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
barvinok_e
.
cc: enumerate_vd
:
remo
v
e
unused variabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoolaege
evalue
.
c:
P
olyhedron_Ins
e
rt: add missing ret
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
l
aeg
e
e
value
.
c
:
r
educe_evalue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
iscc: add @ operato
r
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdo
o
laege
iscc
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
er
d
ool
a
eg
e
add isl_pw_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc:
add su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
dool
a
e
ge
add is
l
_pw_qpolynomia
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
add
i
sl_
p
w_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
update isl for i
s
l_pw_q
p
olynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
d
ool
a
ege
re
n
ame ev
a
lue2is
l
to isl_pw_
q
pol
y
nomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n Verd
o
o
laege
iscc: detect
more ki
n
ds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
ba
r
vinok
_
enumerate: us
e
isl du
r
ing th
e
verifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolae
g
e
add isl
_
set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
evalue_c
o
nvert: export as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doo
l
aege
barvi
n
ok_enum
e
ra
t
e_e: opt
i
onally
u
se
i
sl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
a
d
d isl s
u
bmodule
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Ve
r
doolaege
A
X_SU
B
MODULE: ac
c
ept "-" in mo
d
ulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdool
a
ege
ba
r
vinok_enumerate: ret
u
rn N
a
N
f
o
r
i
nfi
n
it
e
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaeg
e
remove_all_equalities: handle
i
nteg
r
ally, but not rat
i
onall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoolaege
b
a
rvin
o
k_enum
e
rate_
e
:
always retu
r
n a partiti
o
n for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolaege
barvino
k
_enumerate: check t
h
at
dimension of input
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
partiti
o
n2e
n
umeratio
n
: c
h
eck that input is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdool
a
ege
upd
a
te pipli
b
for
c
han
g
e in c
o
nfig
u
re options
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Ve
r
doolaege
upd
a
te
o
mega for configu
r
ati
o
n
/compilation i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoo
l
aege
barvi
n
ok_coun
t
_with_
o
p
t
ions: c
h
eck return
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aege
P
olyhedron_Sample: plug memory l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
lae
g
e
summ
a
te
.
c: add missing
include
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoo
l
aege
topcom
.
c: support
n
ewer
v
ersions of TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
erdoolaeg
e
to
p
com
.
c: compute_domain:
sk
i
p verti
c
es wit
h
out do
m
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
doc: r
e
flect that -
-
enable-fractional is now the
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oo
l
aege
glpk_polyhedron
_
affine_
s
ign: spe
c
i
al cas
e
0D poly
h
edra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
Polyhedron_Insert_Columns
:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron
_
Facto
r
: fix updating of
group
s
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolae
g
e
c
o
nfigure
.
in: use AX_SUBMODULE instead o
f
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sv
e
n Verdoola
e
g
e
remove_equalit
i
es: use Polyhedron_Pre
i
m
a
ge inst
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
laege
barvinok 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc
:
add
e
xperi
m
ental comp
a
r
ison bet
w
e
e
n
old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
la
e
ge
lexmin
.
cc
:
remove "a
n
ach
r
onism"
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
d
o
c: add some
l
ess
comm
o
n
.
sty file
s
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Ve
r
doolaege
add
"clev
e
r"
L
aurent expa
n
sion based s
u
mmation
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoo
l
a
ege
move Last_
N
on_Zero t
o
uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
o
olae
g
e
ex
t
ract ou
t
param_polynom
i
al
f
rom laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
Ver
d
oolaege
e
x
t
rac
t
ve
r
tex_
c
one fro
m
lau
r
ent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
u
p
date po
l
ylib for speed
i
m
proveme
n
t
in in_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaeg
e
update piplib for dist
r
ibu
t
ion i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en Ve
r
d
o
olaege
Polyhed
r
on_Factor: fix merging of
g
r
oups of c
o
lum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoola
e
ge
(
t)counter
:
move counter::res
e
t
(
) up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Verdoolaeg
e
Makefile
.
am:
k
eep bett
e
r
t
r
ac
k
o
f failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
Line_Length
:
ha
n
dle
0D po
l
ytope i
n
1D space
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
V
e
rdoo
l
aege
Pol
y
hedron_Facto
r
: handle polyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update
p
i
plib
for change in c
o
nfigure
arguments
commit
|
commitdiff
|
tree
2008-12-27
S
ven Verd
o
olaeg
e
b
a
r
vinok
.
c
c
: remove unu
s
ed n
o
north
o
g
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
o
olaege
update pi
p
lib for MinGW compatibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoolaege
up
d
a
t
e pol
y
l
i
b for
M
i
n
G
W
com
p
ati
b
i
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n V
e
rdoolaege
e
v
alue
.
c: in_domain: spec
i
al-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdool
a
ege
Avoid use of sys/times
.
h
header when not availa
b
le
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnulib getsubo
p
t
mo
d
u
l
e for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
RE
A
DM
E
: ment
i
o
n
th
a
t GiNaC is
a
lso
n
eeded for the Om
e
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolae
g
e
A
l
low buil
d
o
f
occ wh
e
n using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdo
o
laege
doc: ad
d
a refer
e
nce to a master thes
i
s
a
ctually us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n V
e
rdool
a
ege
ba
r
vi
n
o
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ver
d
oolaeg
e
README: fix up installation instructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ve
r
d
o
ola
e
ge
Add
f
i
l
es g
e
nera
t
e
d
by b
i
son and flex to th
e
distribu
t
io
n
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdoolaege
evalue
.
c:
a
ffine2evalue: r
e
d
u
c
e coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
doolaeg
e
evalue
.
c: evalu
e
_lev
e
l_cmp: pro
d
uce more consisten
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
Verd
o
o
laege
doc: add
a
nothe
r
p
a
pe
r
referring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Ver
d
oola
e
ge
piece
w
ise_lst
.
h: a
v
oid duplicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n Verdoolae
g
e
evalue_read
.
c:
f
ix minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
update omeg
a
for m
i
ssing files in
d
ist
r
ibution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
barvinok_enu
m
e
rate_e: avoid infinite
l
oop wh
e
n
p
resented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
e
r
d
o
olaege
move o
m
ega
s
u
b
dir to
omega_interf
a
ce
commit
|
commitdiff
|
tree
2008-08-28
S
ve
n
Verdoola
e
ge
NTL_QQ
.
cc
:
add stdlib include for ab
o
rt
h
i
d
den in NTL_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
r
emove gnuli
b
link-warn
i
ng module
complet
e
ly
commit
|
commitdiff
|
tree
2008-08-24
S
ven Ver
d
oo
l
aeg
e
update polylib wi
t
h
e
xtr
a
field in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
S
ven
Verdoolae
g
e
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdool
a
ege
update g
n
u
l
ib functi
o
n to last pre-GPLv3 version
commit
|
commitdiff
|
tree
2008-07-02
S
v
en V
e
rdoolaege
enumer
a
tor::ha
n
dl
e
: rep
l
ace incorrect de
l
e
te by fre
e
commit
|
commitdiff
|
tree
2008-06-17
S
ven Verdoolaege
u
pdate piplib for corrected Urs_parms
h
andling
commit
|
commitdiff
|
tree
2008-06-12
Sven
V
erdoolaege
co
n
figure: use correct hea
d
e
r
files in case
o
f bundl
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaeg
e
omega/occ: o
n
ly o
p
en d
e
b
ug outp
u
t
file if
th
e
re is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n V
e
r
d
ool
a
eg
e
d
oc: fix t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Verdoolaege
add editors to ITSL
p
apers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
barvino
k
0
.
27
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Ve
r
do
o
laege
add
some test sets
f
ro
m
itsl2
0
08 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
doc: add latest (accepted) publ
i
cati
o
ns
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdoolaege
Makefile
.
am:
add
s
e
c
tion_array
.
h to
d
istr
i
b
u
t
ion
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaeg
e
normalizatio
n
.
c:
compute_
s
hifts: r
e
move redu
n
d
ant retur
n
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
move Free_ParamNa
m
es polylib and make param
names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
occ: add i
n
terface to barvin
o
k
_
summate
commit
|
commitdiff
|
tree
2008-05-04
S
ven Verdoo
l
aege
ex_convert
.
cc: e
x
trac
t
e
x
2evalue fro
m
ran
g
e
.
cc
commit
|
commitdiff
|
tree
next