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
isl_qpolynomial_from_ginac: expand ex before inspection
2010-03-25
Sve
n
Verdoolae
g
e
isl_qpol
y
nomial_f
r
o
m
_
g
inac: exp
a
nd
ex b
e
fore in
s
pecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
isl_obj_list
.
c
:
u
pda
t
e t
o
use of isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
isc
c
:
a
dd gi
s
t operations
commit
|
commitdiff
|
tree
2010-03-18
S
ven V
e
rdoolaege
upda
t
e isl f
o
r int
r
o
d
u
c
tion of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
s
l_p
w
_qpolynomi
a
l
_
upper_bou
n
d: set up variab
l
e
v
e
c
tor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolaeg
e
i
scc:
a
dd som
e
comparison
o
perat
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolaege
iscc: a
d
d inverse operatio
n
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n V
e
rdool
a
ege
i
scc:
fix up type
of find_matching_bin
_
op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
is
c
c: ad
d
affine hull
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
e
g
e
i
scc: add opera
t
ion to
construct
un
i
v
e
r
s
al
m
ap fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ve
n
V
er
d
oolaege
iscc: add "join
"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add intersect_domai
n
oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
iscc: allow overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
do
o
laege
iscc: add more
d
o
m
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
doc: r
e
organize table of
i
scc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
up
d
ate isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ver
d
oo
l
aege
bar
v
i
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
ola
e
ge
AUT
H
ORS:
u
p
d
ate support info
r
mation
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
random
v
ect
o
r: dou
b
le siz
e
of coefficients o
n
each at
t
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: support transi
t
ive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update is
l
to version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
b
a
r
v
inok_e
.
c
c
:
e
n
umerate_vd: re
m
ove unus
e
d variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
value
.
c: Polyhedr
o
n
_Insert: a
d
d
missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
evalue
.
c: reduce_evalu
e
: remov
e
unu
s
e
d
v
a
riable
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rd
o
o
laege
iscc: add
@ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rd
o
olaege
add isl_pw_qpolynomial_upp
e
r_bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdo
o
l
a
e
g
e
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_pw_qpolynom
i
al
_
s
u
m
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoola
e
ge
add isl_pw_qpoly
n
omia
l
_
t
o
_
evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update isl
for isl_p
w
_qpolyno
m
ial_forea
c
h
_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
rename
e
v
a
lue2isl to isl_pw_qpolyn
o
mial_from
_
evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven
V
e
rd
o
olaege
iscc: de
t
ect more
ki
n
ds of error
s
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaeg
e
ba
r
vinok
_
enumerate:
u
se i
s
l during the verificatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add isl_set_card
a
nd isl_ma
p
_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalu
e
2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
evalue
_
convert:
ex
p
ort
as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ba
r
vinok_enumerate_e:
optionally use
i
sl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verd
o
olaege
add isl su
b
module
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolae
g
e
AX
_
S
UBMO
D
U
L
E:
ac
c
e
p
t "
-
" in
modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
bar
v
ino
k
_
enumerate: return N
a
N for infinite probl
e
ms
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolae
g
e
remove_all_equalities: ha
n
dle in
t
egrally,
b
u
t
n
ot rat
i
onally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n
V
erdool
a
ege
barvinok_e
n
u
m
erate_e: alway
s
re
t
urn a p
a
rtit
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolaege
bar
v
i
n
ok_enumerate: check
that dimension of inp
u
t
i
ncludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolaege
p
artiti
o
n2enumerat
i
on: check that inp
u
t is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoola
e
ge
update piplib
for c
h
ange in configu
r
e options
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdo
o
laege
u
p
date omega
f
or config
u
ration
/
comp
i
lation issues
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
barvinok_coun
t
_with_options: ch
e
ck retur
n
value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdool
a
ege
Po
l
yhedro
n
_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoo
l
aege
summ
a
t
e
.
c: add mi
s
s
ing inc
l
ude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
l
a
ege
t
o
pc
o
m
.
c:
s
upport newe
r
vers
i
ons of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
topco
m
.
c: com
p
ute_domain: skip v
e
r
t
ices without domai
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
p
olytope_minimize
:
take con
s
tant term to be
z
ero
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: reflect that --enable-fract
i
o
n
al i
s
n
ow th
e
defa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_polyhe
d
ron_affine_sign: special case 0D
p
olyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
d
ool
a
eg
e
Po
l
yhed
r
o
n
_Insert
_
C
o
l
umns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verd
o
olaege
Polyhedro
n
_Factor: fix updating of
groups
commit
|
commitdiff
|
tree
2009-10-06
Sven
Verdoolaege
configure
.
in:
u
s
e AX
_
S
U
BMODULE instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven
Verdoolaege
r
e
m
ove
_
equalitie
s
: use
P
olyh
e
dron
_
Preimag
e
instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaeg
e
bar
v
i
n
ok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
do
c
:
add experimental
c
omparison b
e
tween old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaeg
e
lexmin
.
cc: remove "anachronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
doc: add s
o
me less c
o
mmon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaeg
e
add "clever" Laurent expansi
o
n bas
e
d summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaeg
e
extr
a
c
t
out pa
r
am_pol
y
nomial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoolaege
extract
vertex_
c
o
ne from laur
e
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update polylib for speed improvement in
in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verdool
a
eg
e
update pipli
b
for distributio
n
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ve
r
d
o
o
laege
P
o
lyhedron_Factor: fi
x
merging of g
r
oups of co
l
umn
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
e
g
e
b
a
r
vinok_enu
m
erate_series:
d
on
'
t c
h
eck
f
or
revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ve
r
d
o
ol
a
ege
(t)counte
r
: move
c
ou
n
ter::reset() up to counte
r
_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Mak
e
file
.
am:
k
eep bet
t
e
r track of failed
t
ests
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
erdoolaege
add s
e
m
i
group_holes ap
p
l
i
catio
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Li
n
e_Length:
h
andl
e
0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_fun: add
i
s
_zero m
e
th
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_e_ser
i
es
:
rem
o
ve equa
l
ities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
r
d
oolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerat
e
_e_series
:
handle
a
l
l existen
t
ials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
s
e
ries
.
c
c: m
a
ke
p
roject
s
tatic
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doola
e
ge
bar
v
inok_e
n
umerate_e
_
series: handle all
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
oolaege
add test set from
the oth
e
r it
s
l2008 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdool
a
ege
P
o
lyhedron_Factor: handle polyhe
d
r
a wit
h
a non-t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n Verdoolaege
up
d
ate pip
l
ib for chan
g
e in c
o
nfigure
arg
u
ments
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolae
g
e
t
e
s
t_approx
.
c: ad
d
dummy field in dummy t
m
s
struct
u
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolae
g
e
conf
i
gure
.
in:
a
voi
d
intro
d
ucing
empty element
s
in PK
G
_
C
ON
F
IG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaeg
e
occ:
d
ef
i
ne OMIT_GE
T
RUSAGE if sy
s
/reso
u
r
ce
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
o
m
ega_inter
f
ace/Makefile
.
a
m
: pu
t
dep
e
n
ding librar
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoolaege
con
f
igure
.
in: a
d
d
$
(EXE
E
XT) to op
t
ional occ for cygwi
n
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
update omega
for MinGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
b
e
rnstei
n
/
con
f
igure
.
in: add missin
g
AC_PROG
_
CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven
V
erdoolaege
vector_partition
_
cha
m
b
e
r
s: computes
c
hamb
e
rs of vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n
Verdoola
e
ge
barvinok
.
cc: re
m
o
ve unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
u
pdat
e
pi
p
l
i
b f
o
r
MinG
W
compati
b
il
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoola
e
ge
upda
t
e polylib for M
i
nGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolaege
fdst
r
eam
.
cc: d
o
n't (re)
d
eclare fileno if it's
a
macro
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
e
rd
o
olaege
evalu
e
.
c: in_dom
a
in: special-case 0D do
m
a
ins
commit
|
commitdiff
|
tree
2008-12-25
S
v
e
n Ver
d
oo
l
aege
A
void use of sys/times
.
h header
when not available
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoolaege
a
d
d g
n
ulib ge
t
subopt module f
o
r MinGW
commit
|
commitdiff
|
tree
next