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
test_bound.cc: fix printf format
2010-03-27
Sven Verdoolaeg
e
test_bound
.
cc
:
f
i
x printf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rd
o
ola
e
ge
b
e
r
ns
t
ein
.
cc
:
fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n V
e
r
doolaege
evalue_range_propa
g
a
t
ion: fix substit
u
tion for negativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
V
e
rdool
a
ege
b
ernstein/configure
.
in: us
e
ab
s
o
l
ute srcdir of
P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
only d
i
st
r
ibute bundled submodu
l
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
updat
e
omega f
o
r configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
config
u
re
.
i
n
:
al
l
ow
"
build"
Poly
L
ib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
g
e
i
sl_
q
polyno
m
ial_f
o
ld_
f
ro
m
_g
i
nac: hand
l
e f
a
il nodes
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Verdo
o
laeg
e
isl_qpolynomia
l
_from_ginac:
e
xpand
ex
b
ef
o
re inspectio
n
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdool
a
ege
isl_obj_list
.
c: up
d
a
t
e to
us
e
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
i
s
cc: add gist
ope
r
a
tions
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Ve
r
doolaege
u
p
date isl for in
t
roduction of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
isl_pw_qpo
l
ynomial_up
p
er_bound: set
up variable
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
scc
:
add some c
o
m
p
arison operations
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoolaege
iscc: a
d
d i
n
ve
r
s
e oper
a
tion
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
scc: fix up type of find_matchin
g
_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
erdoolaege
iscc: add
af
f
ine hull ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
do
o
laege
i
scc: add
o
peration to constr
u
ct universal m
a
p from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
erdoolaege
iscc: add "
j
oin"
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoo
l
ae
g
e
iscc: add intersect_domain operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
doo
l
a
ege
iscc: allow overloadin
g
binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
ae
g
e
iscc:
a
dd
m
ore do
m
op
e
r
a
tions
commit
|
commitdiff
|
tree
2010-03-14
S
ve
n
Verdoolaege
doc: reo
r
ganize
table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdool
a
ege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
la
e
ge
A
U
T
H
ORS:
u
pda
t
e support information
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdoolaege
randomvec
t
or: double size of
coe
f
fi
c
ients on each attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaeg
e
iscc
:
suppo
r
t transit
i
ve closure
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
Verdoolaege
upd
a
te isl to version
0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
olaege
b
a
rvin
o
k_e
.
cc: e
n
umerate_vd: r
e
m
ove unused
v
ariabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
evalue
.
c: Polyhedron
_
In
s
ert
:
add miss
i
ng
r
e
t
urn type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ev
a
lue
.
c: r
e
d
uce_evalue: remo
v
e
u
nu
s
e
d variable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
iscc: add @ op
e
rator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isc
c
: add "ub
"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
a
dd isl_pw_qpolynomial_uppe
r
_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaeg
e
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaeg
e
add isl_pw_qpolynomial_su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
olaege
add isl_pw_qpoly
n
om
i
a
l
_
t
o_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdo
o
laege
upd
a
te
i
sl for is
l
_
p
w_qpol
y
nomial_fo
r
each_piece
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdoolaege
rename evalue2isl to isl_pw_q
p
o
lynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect more
k
i
n
ds of error
s
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verd
o
olaege
barv
i
nok_
e
numerat
e
: use isl
d
urin
g
the veri
f
ication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ve
r
doolaege
add i
s
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_set_ca
r
d and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalu
e
2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_con
v
ert: export as
a
p
plicatio
n
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
barvi
n
o
k
_e
n
u
m
erate_e: optio
n
ally use isl
t
o project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verd
o
o
l
ae
g
e
a
d
d isl submodule
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
oolaege
AX_SUBMODULE:
a
ccept "
-
" in
m
odulenam
e
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaege
bar
v
inok_enumerat
e
: return NaN f
o
r infinit
e
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolae
g
e
re
m
ove_all_eq
u
al
i
ties: hand
l
e
integrally, but not ratio
n
ally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Ver
d
o
olae
g
e
barvinok_enum
e
rate_e: always retur
n
a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Ve
r
d
o
ol
a
ege
barvinok_enum
e
rate: check that dimensi
o
n
o
f
input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
partiti
o
n2enum
e
r
ation: check tha
t
input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
update pip
l
i
b
for chan
g
e
in configure
o
ptions
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolae
g
e
update o
m
ega for
c
onfiguration/c
o
mpilation
is
s
ues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
barvinok_c
o
unt_with_options:
c
hec
k
return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en
V
e
rdo
o
laege
Polyhedron
_
Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
s
ummate
.
c: add mi
s
sing include
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolae
g
e
to
p
com
.
c: s
u
pport newer version
s
of
T
OPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
t
op
c
om
.
c
:
c
ompute_domain: skip vertices without d
o
main
commit
|
commitdiff
|
tree
2009-11-12
S
v
en
V
erdoolaege
polytope_minimize: take consta
n
t term
to be zero wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
doc: reflect that --enable-fra
c
t
i
ona
l
is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaeg
e
glpk_p
o
ly
h
e
d
ro
n
_affine_sign: special case
0
D
p
olyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyh
e
dr
o
n
_Insert_Colu
m
ns
:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdo
o
laege
Polyhedron_Fact
o
r: fi
x
updating of gr
o
ups
commit
|
commitdiff
|
tree
2009-10-06
Sven Ver
d
oolaege
con
f
igure
.
i
n
: use A
X
_SU
B
MODUL
E
i
n
s
t
e
a
d of
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven
Verdoolaege
rem
o
ve_equaliti
e
s: use
P
olyhedron_
P
re
i
mage inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
doc: add
e
x
p
erimental comparison
b
etween old and
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
lexm
i
n
.
cc: remov
e
"an
a
chr
o
n
ism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
d
oc: fix
t
ypo
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
V
e
rdool
a
ege
d
oc: add s
o
me less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever" Laurent ex
p
ansio
n
based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last_Non_
Z
ero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
l
a
ege
extract out param_polynomial from la
u
ren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
ex
t
r
a
ct vertex_con
e
f
r
o
m
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n V
e
rdoolae
g
e
NTL_QQ
.
cc:
a
dd stdio
include for EOF hid
d
en in NTL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update pol
y
li
b
for
speed impro
v
e
m
ent
i
n
in_
d
oma
i
n
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Verdool
a
ege
update
piplib
f
or distr
i
butio
n
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ve
r
doolaeg
e
Polyhedron_Fac
t
o
r
: f
i
x
merging of
g
roups o
f
colum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
barvinok_e
n
umerate_s
e
r
i
e
s
: don't check f
o
r r
e
vlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaeg
e
(t)co
u
nt
e
r: move counter:
:
rese
t
()
u
p to counter_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
Makefile
.
am: keep better track of f
a
ile
d
t
ests
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdool
a
ege
add semigrou
p
_holes application
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ve
r
do
o
l
a
ege
Line_Length: h
a
ndle 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
a
e
ge
g
e
n_fun: add is_z
e
ro
m
ethod
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
barvinok_enum
e
rate_
e
_series: remov
e
equa
l
ities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdo
o
lae
g
e
barvinok_enu
m
e
rate_
e
_series: h
a
ndle all existent
i
als
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
la
e
ge
series
.
cc: make p
r
o
j
ect
st
a
t
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolae
g
e
b
arvinok_enume
r
at
e
_e_se
r
ies: h
a
n
d
l
e all e
q
ualit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
add
t
est set from the other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
V
e
rdoola
e
ge
.
gitignore:
ignore object fil
e
s
commit
|
commitdiff
|
tree
2009-04-28
S
v
en
Verdoolae
g
e
genfun
c
.
cc:
parallel_polytopes: de
t
ect 0D pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven V
e
rdoolaege
config
u
re
.
in: s
e
t
AC_C
O
NFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Ver
d
oolaege
add pkg
.
m
4
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Verdoolaege
Poly
h
edron_Factor: han
d
le poly
h
edra w
i
th a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Verdoo
l
aege
update piplib
f
or change i
n
configure argum
e
nts
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Ver
d
oolaege
test_approx
.
c: add
dummy
f
ield in dummy tms stru
c
ture
.
.
.
commit
|
commitdiff
|
tree
next