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
avoid use of isl_dim internals
2010-03-10
Sve
n
Verdoo
l
aege
b
arvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Ve
r
doolaege
A
UTHORS:
update support i
n
fo
r
matio
n
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Ve
r
doolaege
randomvector: double size
o
f
coeffic
i
en
t
s
on e
a
ch
a
tte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoola
e
ge
iscc: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
u
pdate isl t
o
v
e
rsion
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
olaeg
e
barvinok_e
.
cc: enumerat
e
_
v
d:
remove
unused variable
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Ve
r
dool
a
e
g
e
evalue
.
c:
P
olyhedro
n
_Insert: add missin
g
ret
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
ev
a
lue
.
c: reduce_ev
a
lue: r
e
move
u
nus
e
d v
a
riable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isc
c
:
add
@ oper
a
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdo
o
l
a
ege
iscc:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw
_
qpo
l
ynomial_upp
e
r_bound
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
is
c
c:
a
dd
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
add isl_pw_qpo
l
yn
o
m
ial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaeg
e
add isl_pw
_
qp
o
lynomi
a
l
_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
update isl
fo
r
isl_pw_qpol
y
nomial
_
for
e
a
ch
_
piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
r
e
name e
v
alue2
i
s
l
to i
s
l_pw_qpoly
n
o
m
ia
l
_from_
e
value
commit
|
commitdiff
|
tree
2010-03-06
Sven
V
erd
o
olae
g
e
i
scc:
d
ete
c
t more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
V
erdoolaege
barvinok_enumerate
:
u
se isl during
the veri
f
icat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add isl_set_card and
i
sl_
m
ap_card
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add eval
u
e
2
i
s
l
commit
|
commitdiff
|
tree
2010-03-05
S
ven V
e
rdoolae
g
e
e
v
a
l
ue_convert: expo
r
t as
a
p
plication
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumerate_
e
: opti
o
nally use isl
to pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d isl submodu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
er
d
oolaege
AX_SUBMODULE:
accept "-" in mo
d
ulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olae
g
e
barv
i
nok_enumer
a
te: return NaN for infinite pro
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n V
e
r
doolaege
rem
o
ve_all_equa
l
i
ties: handle integral
l
y, but
not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barv
i
nok_enumerate_e
:
a
lways return a partit
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
V
e
rdoolaege
barvin
o
k_en
u
me
r
a
te:
c
heck th
a
t dimension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoolaege
partition2enume
r
a
t
ion: check th
a
t inpu
t
is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
Verdoolaege
upd
a
te piplib
f
or
change in configure opti
o
ns
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoola
e
ge
update omega for
configuration/compilat
i
o
n issues
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdo
o
laege
b
a
r
v
inok_count_with_option
s
: check
r
e
tur
n
v
alue o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyh
e
dron_Sam
p
l
e:
p
l
u
g
memo
r
y leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
g
e
su
m
m
at
e
.
c
: add mis
s
i
n
g include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
ol
a
e
g
e
t
o
pcom
.
c: support new
e
r versions
o
f
T
OPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
dool
a
ege
topc
o
m
.
c
:
compute
_
do
m
a
i
n: skip
vertices
wit
h
o
u
t domain
commit
|
commitdiff
|
tree
2009-11-12
S
ven Ve
r
dool
a
e
ge
po
l
ytope_minimize: take constant term to be zero w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: reflect t
h
at --enabl
e
-frac
t
ional is now the
d
efau
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_p
o
lyhe
d
ron_a
f
fi
n
e_
s
ign: s
p
ecial
case 0D poly
h
edra
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
Pol
y
hedron_In
s
e
r
t_Col
u
mns: fix typ
o
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n
Verd
o
olaege
Poly
h
edron_Fa
c
to
r
: fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
S
v
e
n
Ve
r
doo
l
aeg
e
configure
.
in: us
e
A
X
_S
U
BMODULE instead of BV_S
U
BMODU
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove
_
eq
u
alities: use P
o
l
y
hedron_Preimage inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
b
a
rvinok
0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verdoolaege
doc: add experimental comparison b
e
tween old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
le
x
min
.
c
c: rem
o
v
e
"
ana
c
hronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
doc: add some less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoo
l
aeg
e
add "c
l
ever" Lau
r
e
n
t expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
r
do
o
laege
mo
v
e Last_Non_Zero
t
o util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
ex
t
r
a
ct out param_
p
olyno
m
i
al
f
rom
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laeg
e
extract vertex_con
e
from laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
l
a
ege
NTL_QQ
.
cc:
add
stdio includ
e
for E
O
F
hidde
n
in NTL_io_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoola
e
g
e
update polylib
for
speed impr
o
vement
i
n
in_domain
commit
|
commitdiff
|
tree
2009-06-12
S
ven
Verdoolaege
u
p
date
piplib fo
r
dis
t
ributio
n
iss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyhedron_Facto
r
: fix
m
erging
o
f groups of columns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdo
o
laege
barvinok_
e
numera
t
e_se
r
ies:
don
'
t ch
e
c
k
for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoolae
g
e
(t)
c
ounter: move co
u
nter::
r
eset(
)
up to counter_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
Makefile
.
am: kee
p
b
e
t
t
er
track
o
f
f
a
i
led tests
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ve
r
dool
a
ege
add semigroup_ho
l
es application
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaeg
e
Line_Le
n
gth: handle 0D polytop
e
i
n 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_fun:
a
dd is_zero method
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Verdoolaege
barvi
n
ok_enu
m
erate_e_series: re
m
ove equalities in e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoo
l
aege
d
o
c
:
f
i
x typo
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verd
o
o
laege
b
a
rvinok_enumerate_e_
s
eries: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
rdoolaege
series
.
cc: make project stati
c
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_e_se
r
ies:
handle
all eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oola
e
ge
add te
s
t set from the other itsl
2
008 pape
r
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
Verdoolaege
.
gitignore: ignore obj
e
c
t
files
commit
|
commitdiff
|
tree
2009-04-28
Sven Ver
d
oolaege
gen
f
unc
.
cc:
parallel_polyt
o
p
e
s
: detect 0D
poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sve
n
Verdo
o
laege
configure
.
i
n
:
set AC_CONFIG
_
MAC
R
O_DIR
commit
|
commitdiff
|
tree
2009-04-27
S
ven Ver
d
oo
l
aege
add
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verd
o
o
laege
Polyhedro
n
_Facto
r
: handle polyhedra wit
h
a
n
on-
t
ri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update pipli
b
for c
h
ange in c
o
nfigure arguments
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n Verdool
a
ege
test_approx
.
c:
a
dd dummy field in dummy tm
s
str
u
ctu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
d
o
ola
e
ge
c
o
n
figure
.
i
n
:
a
void intro
d
u
cing
e
mp
t
y e
l
ements in
PKG
_
C
ON
F
I
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaege
occ
:
define OMIT_GETRUSAGE if
sys/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoola
e
ge
omega_inter
f
a
c
e/Makefile
.
am: put d
e
pen
d
ing libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
ola
e
ge
c
o
n
figure
.
in
:
add $(EXE
E
XT) to
o
ptio
n
a
l
occ
f
o
r c
y
gwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
o
o
lae
g
e
update omega
f
o
r MinGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaeg
e
bernst
e
in/con
f
igure
.
in: add missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdoo
l
aege
genfun
.
cc: add braces round extern "C" t
y
pedef
commit
|
commitdiff
|
tree
2008-12-30
Sv
e
n Verdoolaege
vect
o
r
_partition_chamb
e
rs:
computes chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven
Verdoolaege
ba
r
vinok
.
cc: remove unuse
d
n
o
no
r
thog
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoolaeg
e
update piplib f
o
r MinGW
c
ompa
t
ibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoola
e
g
e
update po
l
yli
b
for Mi
n
GW
compa
t
i
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstr
e
am
.
cc: don't (re)declar
e
f
ileno
i
f
i
t's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
V
e
rdoolaege
evalue
.
c
:
in_domai
n
:
s
p
eci
a
l-case 0D d
o
main
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdool
a
ege
Avoid us
e
of
sys/times
.
h
header when not
a
vailable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
a
d
d gnu
l
i
b
ge
t
subopt module for Mi
n
GW
commit
|
commitdiff
|
tree
2008-12-01
Sven
Verd
o
ola
e
ge
README: mentio
n
that GiNaC is als
o
n
e
eded for the
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
doolaege
Allow
b
uil
d
o
f occ when using
b
und
l
e
d
omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n Verdoolaege
do
c
: add a
refe
r
e
n
ce to a master thesis ac
t
ually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
b
a
rvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
READ
M
E: fix up insta
l
lation instructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n
Verdoolaege
Add file
s
generate
d
by bison and flex to th
e
d
istrib
u
t
i
on
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
e
rdoo
l
aege
upd
a
te piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdoo
l
aege
evalue
.
c: affine2eva
l
ue: reduce co
e
fficients
commit
|
commitdiff
|
tree
next