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 @ operator
2010-03-09
Sven
V
erdoolaege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdool
a
ege
isc
c
: add "ub
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
i
s
l
_pw
_
q
p
olynomia
l
_u
p
per_boun
d
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
iscc: a
d
d sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
r
doolaege
add isl_pw
_
qpolynomia
l
_s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ol
a
ege
a
d
d isl_pw_qpo
l
ynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoola
e
g
e
update isl for isl_p
w
_qpolynom
i
al_f
o
reach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oo
l
aege
rename evalue2isl to isl_pw_qpolynomia
l
_from_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n Verdoolaege
iscc:
d
e
t
ec
t
more kinds
of erro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven
Ve
r
doolaege
barvinok_enumerate:
u
se isl during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
oolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolae
g
e
add isl_set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
e
value2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
evalue_
c
o
nvert: ex
p
ort a
s
a
ppl
i
c
a
tion
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_
e
n
umerate_e:
o
ptionally use isl
to
project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
ad
d
isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
AX_S
U
BMODULE: acc
e
pt "-"
i
n modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoo
l
a
ege
b
arvin
o
k_enu
m
e
rate: return NaN for
i
nfinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdo
o
l
a
ege
re
m
ove_
a
ll_equalities: hand
l
e integrall
y
, b
u
t
n
ot ration
a
ll
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enu
m
erate_
e
: always return a
pa
r
tition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Ve
r
d
o
olaege
ba
r
vinok_enu
m
erate: check that dimension
of
input
include
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Ve
r
doolaege
par
t
i
tio
n
2enumeration: c
h
eck that inpu
t
i
s
really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
update piplib for change in configure options
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaeg
e
update omega for config
u
ration/com
p
i
l
a
ti
o
n
i
ss
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aege
b
arvinok_c
o
u
n
t_with_op
t
ions:
c
he
c
k return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron_Sample: plug memor
y
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c
: add
mi
s
sing include
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
topcom
.
c
:
support new
e
r versions o
f
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdoolaege
topcom
.
c:
c
ompu
t
e_domain: skip vert
i
ces wi
t
hout domain
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdool
a
ege
d
oc:
r
eflec
t
th
a
t
-
-enable
-
fractional is
n
ow the default
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolae
g
e
glpk
_
polyhed
r
o
n
_affine_
s
ign: spe
c
ia
l
case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
o
o
l
aege
Poly
h
edro
n
_Insert_Colum
n
s
: fix ty
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
P
oly
h
edron_Factor:
f
ix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
co
n
figure
.
in: u
s
e
A
X_SUBMODU
L
E instead
o
f BV
_
SUB
M
ODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verd
o
olaeg
e
r
emove_equali
t
ies: use Polyhedron_Prei
m
age
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
ba
r
vinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n V
e
rdoolaege
doc:
a
d
d
experimental comparison between o
l
d
an
d
n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
Verd
o
olaege
le
x
min
.
cc:
r
e
m
ove
"a
n
achronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdo
o
laege
doc:
a
d
d
some le
s
s common
.
sty fi
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
ola
e
ge
add "clev
e
r" Laurent expansion based
s
u
m
mation
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
rdo
o
laege
mov
e
Las
t
_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
extract
out
p
a
ram_po
l
y
n
om
i
a
l
from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en V
e
rdoo
l
aege
extract vertex_cone
f
rom l
a
urent
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoo
l
a
e
ge
update polylib for
speed im
p
r
ovement in in_doma
i
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update piplib for
di
s
trib
u
tion issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verd
o
olaege
Polyhe
d
r
o
n_Factor: fi
x
merging of groups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)cou
n
ter: move cou
n
te
r
::reset() up to c
o
u
n
ter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
Make
f
i
le
.
a
m
: kee
p
better trac
k
of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length
:
ha
n
dle 0D
p
o
l
y
tope in 1D space
commit
|
commitdiff
|
tree
2009-04-02
S
v
en
Verdoolaege
Polyhe
d
ron_
F
actor: ha
n
dle polyhedra with a non-
t
rivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdoolae
g
e
update p
i
pli
b
for
change
in configu
r
e arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven
V
erd
o
olaege
barvinok
.
c
c: remo
v
e
u
nused nonor
t
hog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
u
pdate piplib
f
or
M
i
n
GW compatibilit
y
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoolaege
update polyli
b
for M
i
nGW c
o
mpati
b
ili
t
y
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
ev
a
lue
.
c: in_d
o
m
ain
:
s
p
ecial-case 0
D
domain
s
commit
|
commitdiff
|
tree
2008-12-25
Sven V
e
rdoolaege
Av
o
id use of sys/times
.
h
h
eader when not av
a
i
l
able
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n
Verdoolaege
add
gnuli
b
g
e
t
subopt
modul
e
for M
i
nG
W
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verdoolaege
READ
M
E: mention that GiNaC is als
o
ne
e
ded for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven V
e
rdool
a
ege
Allow
build
of occ when using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc: add
a
reference
to a master thesis actually us
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n
Verdool
a
ege
b
a
rvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
do
o
l
aege
README: fix up
i
n
s
t
a
l
l
at
i
o
n
instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erd
o
olaeg
e
Add files g
e
nerate
d
by bis
o
n
and flex to the dist
r
ibution
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolae
g
e
updat
e
polylib
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdool
a
e
g
e
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
e
r
doolaege
evalue
.
c: affine2eva
l
ue: re
d
uce coef
f
ici
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdo
o
l
aege
evalue
.
c:
evalue
_
level_cmp: produc
e
more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdool
a
ege
doc
:
a
dd another pap
e
r referring to the
l
i
brary
commit
|
commitdiff
|
tree
2008-09-16
Sven Ve
r
d
o
olaege
pie
c
ewise
_
lst
.
h:
a
void
d
uplicate
p
arameter n
a
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sven Ver
d
oolaege
evalue_
r
ead
.
c:
f
i
x minor
bu
g
s
in to
k
enizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verd
o
olaege
update omega
f
or
m
is
s
ing files in distribu
t
io
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
b
a
rvi
n
ok_enume
r
a
t
e_e:
a
void
i
nfinite loop whe
n
pre
s
ented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Ve
r
doolaege
move omega subdir
t
o o
m
e
g
a_
i
nterface
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erdoolaege
N
T
L
_
QQ
.
cc
:
add std
l
i
b
i
n
cl
u
d
e
for abort hidden
in
NTL_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdool
a
ege
remove gnuli
b
link-
w
ar
n
ing mo
d
u
l
e comp
l
etely
commit
|
commitdiff
|
tree
2008-08-24
Sv
e
n
Verdoolaege
update po
l
ylib with ext
r
a field in Param_Polyhe
d
ron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc:
f
ix ty
p
os
commit
|
commitdiff
|
tree
2008-07-20
S
v
e
n
Verdoolaege
up
d
ate gnuli
b
functi
o
n to l
a
st pre-GP
L
v3 ver
s
io
n
commit
|
commitdiff
|
tree
2008-07-02
S
v
e
n Verdoola
e
ge
enumerator::hand
l
e: repla
c
e
incorrect delet
e
by free
commit
|
commitdiff
|
tree
2008-06-17
Sv
e
n Verdoolae
g
e
u
p
d
ate piplib for co
r
r
ected Urs
_
p
arms han
d
ling
commit
|
commitdiff
|
tree
2008-06-12
S
v
en Ve
r
doolaege
c
o
nfigure: us
e
correct
header files in case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
en Verdoolaege
o
mega/occ: only o
p
e
n debu
g
outp
u
t fi
l
e
if there i
s
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc: fi
x
t
y
po
commit
|
commitdiff
|
tree
2008-05-08
Sven
V
er
d
oolaege
add editors to I
T
SL papers
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
b
ar
v
inok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
aege
a
dd
s
ome test sets from itsl2008 paper
commit
|
commitdiff
|
tree
2008-05-04
Sven V
e
rd
o
olae
g
e
doc
:
add latest (ac
c
epte
d
)
p
ublications
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
M
a
kefile
.
a
m: add section_array
.
h to di
s
t
r
ib
u
tion
commit
|
commitdiff
|
tree
2008-05-04
Sven Verd
o
olaege
normalization
.
c:
compute_shif
t
s: remove
redundant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
mov
e
Fre
e
_ParamNam
e
s polylib
and
make param names const
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
occ: add in
t
erface to bar
v
inok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Verdoolaege
e
x
_convert
.
cc: extract ex2evalue fr
o
m r
a
ng
e
.
cc
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
doc: docume
n
t more --s
u
mmation me
t
hod
s
for
b
arvinok_summate
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
options
.
c:
rename "barvinok" summati
o
n m
e
t
h
od to "box"
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoo
l
a
e
ge
Makefile
.
a
m: c
h
eck-e
u
ler: also check la
u
rent
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoolaege
s
ummat
e
.
c: barv
i
nok_summate: handle produc
t
s of polytopes
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
Sven
Verdoolaege
e
v
alu
e
.
c: export evalue
_
reorder_term
s
commit
|
commitdiff
|
tree
2008-05-04
Sve
n
Ver
d
o
olae
g
e
bernst
e
in: numeric2
v
alu
e
: fix typo
t
o allow corr
e
ct
.
.
.
commit
|
commitdiff
|
tree
2008-05-03
S
ven Ver
d
oolaege
util
.
c: Fa
c
tor_Contex
t
: ext
r
ac
t
ed from barvinok
.
c
c
commit
|
commitdiff
|
tree
2008-05-03
Sven
V
erdoolaege
summate
.
c
: ba
r
vin
o
k_summate: ign
o
re f
l
oors independent
.
.
.
commit
|
commitdiff
|
tree
next