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 Verdoolaege
barvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
r
doolaege
AU
T
HORS: update
su
p
port inf
o
rmati
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdool
a
e
ge
randomv
e
c
tor:
d
ouble size
of coeffici
e
nts on each att
e
m
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
iscc:
s
upport
t
ransitive
closure
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ver
d
o
o
laege
update
isl
t
o
ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoo
l
a
e
ge
ba
r
vinok_e
.
cc: enumerate_vd: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
eva
l
ue
.
c: Polyhedron_Insert: add mi
s
sing ret
u
rn
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
e
value
.
c: reduce_evalue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
iscc:
add @ o
p
erator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
ool
a
ege
add i
s
l_p
w
_
qpolynomial
_
uppe
r
_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
oolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdo
o
laege
add isl_pw_qpolyn
o
mi
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_p
w
_qpolynomial_t
o
_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
V
erdoolaege
u
pdat
e
isl
for isl_pw_qpo
l
ynomial_fo
r
each_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
ren
a
m
e
evalue2isl to is
l
_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdool
a
ege
i
s
cc: dete
c
t
more ki
n
ds o
f
er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laeg
e
barvinok_enum
e
rate: use isl during
t
h
e
v
erific
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
ad
d
i
sl_set_
c
ard
a
nd
i
sl_map_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoola
e
ge
a
d
d
evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verd
o
olaege
eva
l
u
e
_
convert: ex
p
o
rt as
application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
ol
a
ege
barvinok_enumerate_e:
o
ption
a
lly use isl to pro
j
ec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoo
l
aege
a
d
d isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
d
oo
l
aege
A
X_SUBMODULE: acc
e
pt "
-
" in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
S
ven V
e
rdoola
e
ge
barv
i
nok_e
n
umerate: return NaN fo
r
i
n
fini
t
e problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaeg
e
remov
e
_all_equaliti
e
s
:
handle integrally, but
n
ot rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdo
o
laege
barv
i
nok_enumerate_e: alwa
y
s retur
n
a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdool
a
e
ge
b
a
rvinok_enume
r
ate: check that
di
m
ensi
o
n of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
partition2enumeration: check t
h
at input is r
e
a
l
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdoolaege
upd
a
te piplib f
o
r cha
n
ge in
c
onfigure o
p
tions
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n Verdoolaege
update omega
for con
f
iguration/compilation iss
u
es
commit
|
commitdiff
|
tree
2009-11-30
S
v
en
Verdoolaege
ba
r
vinok_count_wit
h
_options: check return value
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
Po
l
yhedr
o
n_Sampl
e
:
plu
g
me
m
o
ry leak
commit
|
commitdiff
|
tree
2009-11-12
S
ve
n
Verdoolae
g
e
summate
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
topcom
.
c: sup
p
ort newer ve
r
sions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
to
p
c
om
.
c: compute_do
m
ain: skip ve
r
t
i
ces without doma
i
n
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoo
l
aege
doc
:
r
e
f
lect
t
hat
-
-
enabl
e
-fractiona
l
i
s now t
h
e defau
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Ve
r
doolaege
gl
p
k
_polyhedron_affine_sign: special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdo
o
laege
Polyhedron_
I
nsert_Co
l
u
m
n
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
V
e
rdoo
l
aege
Po
l
yhedron_Facto
r
: fi
x
updating of groups
commit
|
commitdiff
|
tree
2009-10-06
S
v
en Ve
r
d
o
olaege
configure
.
in
:
use AX_SU
B
MODULE instead of BV_SUBM
O
D
ULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ver
d
ool
a
e
ge
remove_equa
l
i
ties:
u
s
e Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
erdoola
e
ge
barvi
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
g
e
doc:
add exp
e
rimental com
p
ariso
n
betwe
e
n ol
d
an
d
ne
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
lexmin
.
cc: remove "anachronism
"
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
doc: ad
d
some le
s
s
commo
n
.
sty
f
i
l
e
s
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoolaege
add
"
clever" Laur
e
nt
ex
p
ansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaege
move La
s
t
_
N
o
n_Zero to uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
r
do
o
laege
extract
o
ut para
m
_polyno
m
ial
f
ro
m
l
a
urent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoo
l
aege
extract
v
ertex
_
cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
S
ven
Verdoolaeg
e
u
pdat
e
polylib for speed imp
r
ovem
e
nt in in
_
domain
commit
|
commitdiff
|
tree
2009-06-12
S
v
e
n
Verd
o
o
l
aege
updat
e
pipli
b
for
dist
r
ibution is
s
ue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyhedron_
F
actor:
f
ix
m
erging of g
r
o
ups of colum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolae
g
e
(t)c
o
unter: move
c
o
unter::reset() up to
c
oun
t
er_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
rdoolaege
Ma
k
e
file
.
a
m: keep better trac
k
o
f failed t
e
sts
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verd
o
ol
a
eg
e
Line
_
Leng
t
h:
h
a
n
dle
0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Poly
h
e
d
ron_Fa
c
tor:
handle polyhedra wi
t
h a non-t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
V
e
rdoolaege
update pipli
b
for chang
e
in configure
a
rgume
n
t
s
commit
|
commitdiff
|
tree
2008-12-27
S
v
en
Verdoolae
g
e
b
arvinok
.
cc: remo
v
e unused
n
onort
h
o
g
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoola
e
ge
update pip
l
ib for MinG
W
compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoolaege
upd
a
te polylib for Mi
n
GW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
laege
evalue
.
c: in_domain: speci
a
l-case 0
D
dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven Ver
d
oolaege
Avoid use of sys/times
.
h hea
d
er when
n
ot ava
i
lable
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdool
a
ege
a
dd gnulib
g
etsubop
t
module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdo
o
l
a
ege
REA
D
ME: mention that
GiNaC i
s
also ne
e
ded fo
r
the
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
A
l
low build
o
f
o
cc
when using bundle
d
ome
g
a
commit
|
commitdiff
|
tree
2008-10-28
Sven V
e
r
d
oolaege
doc:
a
d
d
a reference
to a master thes
i
s act
u
all
y
usin
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
barvinok
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolae
g
e
RE
A
DME: f
i
x up insta
l
l
a
tion
instructi
o
ns
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaeg
e
Add
f
il
e
s generated
by b
i
son and f
l
e
x
to the
distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdo
o
lae
g
e
u
p
date pipl
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n
V
erdoolae
g
e
e
va
l
u
e
.
c: a
f
fi
n
e2evalue: reduce coe
f
fic
i
ents
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoola
e
ge
eval
u
e
.
c
: eval
u
e
_lev
e
l_cmp: produce mor
e
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdo
o
laeg
e
doc: add another
paper r
e
fe
r
r
ing to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verd
o
ola
e
g
e
p
iecewise_lst
.
h: avoid
duplicate p
a
ramete
r
name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoo
l
aeg
e
evalue_
r
ead
.
c: fix minor bug
s
in tok
e
nizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verd
o
o
l
aege
up
d
a
te ome
g
a for missing files in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
barvinok_
e
numerate_e
:
avoid infinite loop when pr
e
se
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
move om
e
ga subdir to omega_inte
r
f
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL_QQ
.
c
c
:
a
d
d stdlib inclu
d
e for
abort h
i
dden in NTL_ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
o
olae
g
e
remove gnulib
l
i
n
k-
w
arning
module compl
e
tely
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n Verdoolaege
update polyli
b
with extra field
in Pa
r
am_Polyhed
r
on
commit
|
commitdiff
|
tree
2008-07-30
Sve
n
Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-20
S
v
en
Verdo
o
laege
update g
n
ulib functi
o
n
t
o
l
ast pre-GPLv3 versio
n
commit
|
commitdiff
|
tree
2008-07-02
Sven Verdoolaege
enumerat
o
r::handl
e
:
r
e
place incor
r
e
c
t
d
e
lete by f
r
ee
commit
|
commitdiff
|
tree
2008-06-17
Sven Ver
d
o
o
l
aege
update
p
iplib for cor
r
ected Urs_parms handling
commit
|
commitdiff
|
tree
2008-06-12
Sven
V
erdool
a
ege
configure: use co
r
rect header fi
l
es
i
n case of bu
n
dled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
om
e
ga/oc
c
:
o
n
ly open debu
g
outp
u
t
file
i
f
t
her
e
is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Ve
r
doo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sve
n
Ver
d
o
o
laege
add edit
o
rs to I
T
SL papers
commit
|
commitdiff
|
tree
2008-05-04
S
ven Ver
d
oolaeg
e
barvinok
0
.
2
7
commit
|
commitdiff
|
tree
2008-05-04
S
v
en V
e
rdool
a
ege
a
d
d some test sets from itsl20
0
8
p
aper
commit
|
commitdiff
|
tree
2008-05-04
Sven Ver
d
oola
e
ge
doc: add lat
e
s
t
(
accept
e
d) public
a
tions
commit
|
commitdiff
|
tree
2008-05-04
Sv
e
n Verdo
o
laege
Makefi
l
e
.
am
:
add sec
t
ion_array
.
h
t
o distribution
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolaege
n
o
rmalization
.
c: co
m
pute_shift
s
: remove
r
edundant
r
etur
n
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaeg
e
mov
e
Free_ParamNames polylib and
ma
k
e param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rdoolae
g
e
occ: add
interf
a
c
e to b
a
rvi
n
ok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verd
o
o
l
aege
ex_convert
.
cc: extrac
t
ex
2
evalue
from
r
ange
.
cc
commit
|
commitdiff
|
tree
next