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 Ver
d
o
o
laege
iscc
:
add @ oper
a
tor
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
iscc: add
"
u
b"
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaeg
e
add
i
sl_pw
_
q
polynomial_up
p
er_boun
d
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaeg
e
i
s
cc: ad
d
sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_p
w
_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
doolaege
add
i
sl_pw_qpolynomial_to_e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oola
e
g
e
up
d
ate
i
sl for isl_pw_qpoly
n
o
m
i
a
l_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename evalue2isl
to
isl_pw_qpol
y
nomial_from_e
v
a
l
ue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ve
r
doolaege
i
s
cc: dete
c
t more k
i
nds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
Ve
r
doola
e
ge
barvinok_e
n
umerate: use isl d
u
ri
n
g the
verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdool
a
e
g
e
add iscc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verd
o
ol
a
ege
add isl_
s
e
t_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
l
a
eg
e
a
d
d
evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
ev
a
l
ue_co
n
v
ert: exp
o
rt as application
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
ba
r
vinok_enume
r
a
te_e: optional
l
y use
isl t
o
project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ver
d
o
o
laege
AX_SUBMODULE: accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
b
a
rvinok_enumerate: ret
u
rn NaN
f
or infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remov
e
_al
l
_equal
i
ties
:
hand
l
e inte
g
rally, bu
t
not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
ba
r
vinok_enu
m
erat
e
_e:
a
lways return a pa
r
tition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
barvinok_en
u
merate: check that dimens
i
on of input in
c
ludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
p
artition2enumeration
:
che
c
k that i
n
pu
t
is real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdoolaege
update
piplib for
c
hange
i
n c
o
nfigure opt
i
ons
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
upda
t
e omega fo
r
c
o
nfigura
t
ion/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
l
aege
barvinok_count_with_opt
i
ons
:
check retu
r
n val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron
_
Sa
m
ple
:
plug m
e
mory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laeg
e
s
u
m
mate
.
c: add missing in
c
lude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
to
p
com
.
c:
s
upport
n
ewer versions of
T
OP
C
OM
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoo
l
aege
topcom
.
c: c
o
mpute_domai
n
: s
k
ip vertices without doma
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_m
i
n
imize:
t
ake c
o
nst
a
n
t t
e
rm to b
e
zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaeg
e
doc:
r
e
f
lect that
-
-enable-fractional
i
s
now th
e
defa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_
p
o
l
yhedron_a
f
fine_si
g
n
:
specia
l
case 0D
pol
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ve
r
doolaege
Polyhe
d
ron
_
Insert_Columns: fix ty
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_Factor
:
fix
u
p
d
a
ting
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
erdoolaege
configur
e
.
i
n:
u
se AX_SUBMODULE
i
nste
a
d of B
V
_SUB
M
O
DULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equalities
:
use Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ver
d
oolaege
barvi
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
doc:
a
dd experimental
c
omparis
o
n
b
e
t
w
een old and
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
lexmin
.
cc: remov
e
"ana
c
h
ronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
rd
o
olaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
ol
a
ege
doc
:
add
s
o
m
e
less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
oolaege
add "
c
lever" Laurent expansion
b
a
se
d
summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
m
o
v
e La
s
t_Non_Zero to ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
l
a
ege
extract out par
a
m_polyn
o
mial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
ext
r
act vertex_co
n
e from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
NTL_QQ
.
cc:
add
stdio include f
o
r EOF hidden in
N
TL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update
pol
y
l
i
b for
s
peed improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Ver
d
o
o
lae
g
e
update
p
iplib fo
r
distrib
u
t
ion issue
commit
|
commitdiff
|
tree
2009-05-26
Sven
V
erdoola
e
ge
Polyhedron_Factor:
f
ix merg
i
n
g
of groups of colum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
lae
g
e
barvi
n
ok_enume
r
a
t
e_ser
i
e
s: don't chec
k
for revl
e
x positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
(
t)
c
ounter: move c
o
unter::reset() up to coun
t
er_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
Makefile
.
am
:
keep better track
of fai
l
ed test
s
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
add semigroup_holes application
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Verdoolaege
Line_Leng
t
h: handle 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
Verdoolae
g
e
gen_fun: add
is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdo
o
laege
barvin
o
k_en
u
m
erate
_
e
_
s
eries: remove equaliti
e
s
in e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en V
e
rdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoola
e
g
e
barvi
n
ok_enumerate_e_
s
eries
:
handl
e
al
l
existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc: make
p
roject static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
a
rvinok_enumerate_e_s
e
ri
e
s:
h
andle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
o
l
ae
g
e
add tes
t
set from the other itsl
2
0
08 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolae
g
e
.
g
iti
g
nore: ig
n
or
e
object files
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
genfunc
.
cc: parallel_
p
olytopes: detect 0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verd
o
olaege
configure
.
in: se
t
AC_C
O
NF
I
G_MACRO_DI
R
commit
|
commitdiff
|
tree
2009-04-27
Sven
Verdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdoolaege
Polyhedron_Factor
:
handle polyhedra with a n
o
n-
t
rivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoo
l
aege
u
pda
t
e pipli
b
for change in c
o
nfi
g
ure argume
n
ts
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
tes
t
_approx
.
c: add dummy field
i
n dummy tms structu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in: avoid introducing e
m
pty ele
m
e
n
t
s in P
K
G_CO
N
F
I
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
o
cc
:
d
ef
i
ne OMIT_GETRUSAGE
i
f sy
s
/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Ve
r
doolaege
omega_interface/Ma
k
e
fi
l
e
.
am: put dependin
g
libra
r
ies
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
configure
.
i
n: add $(EXEEXT)
to optio
n
al occ for cygwi
n
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
update omeg
a
for MinGW
c
ompatibili
t
y
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
b
e
rnstein/con
f
igure
.
in: add missing A
C
_PROG
_
CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
genfun
.
cc: add braces roun
d
extern "C" typedef
commit
|
commitdiff
|
tree
2008-12-30
S
ven Verdoolaege
vector
_
p
a
rti
t
i
o
n
_
chambers: comp
u
tes chambers
o
f vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
S
v
en
Verdoolaege
b
a
rvin
o
k
.
cc: remove
unus
e
d nonorth
o
g
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoolae
g
e
update pip
l
ib for MinGW compatibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
o
olaege
update pol
y
l
i
b f
o
r
M
i
n
GW c
o
mp
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstream
.
cc: don't
(re)declar
e
fileno if it's a ma
c
ro
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erd
o
olaege
evalue
.
c: in_domain
:
s
pecial-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Ve
r
dool
a
ege
A
v
oid
use of
s
y
s
/
t
imes
.
h header when
not available
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Verdo
o
laeg
e
add
gnulib
g
etsu
b
opt module fo
r
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README:
me
n
ti
o
n that GiNaC is also ne
e
de
d
for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
doo
l
ae
g
e
All
o
w
b
u
ild of o
c
c when us
i
ng bundled
omega
commit
|
commitdiff
|
tree
2008-10-28
S
v
en Ver
d
oolaege
doc:
add a
reference to a master t
h
esis act
u
ally using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
e
r
doolaeg
e
b
arvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
README: fix up i
n
stallation inst
r
uctions
commit
|
commitdiff
|
tree
2008-10-16
S
ven V
e
rdo
o
l
aege
Add f
i
les
gen
e
rated
b
y
bison and flex to
t
h
e di
s
tribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
o
l
aege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolae
g
e
up
d
at
e
p
i
plib
commit
|
commitdiff
|
tree
2008-10-10
S
ven Ve
r
doolaege
e
value
.
c:
affine2evalue: redu
c
e coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verd
o
olaeg
e
evalue
.
c: evalue_l
e
vel_cmp: pr
o
d
u
ce
m
ore consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sve
n
Verdoolae
g
e
doc:
add an
o
ther paper
refer
r
in
g
to the
libra
r
y
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
piecew
i
se_lst
.
h: avoid d
u
pl
i
cate parameter name
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdoolaege
e
v
alue_r
e
ad
.
c: fix minor bugs in
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Ver
d
oolae
g
e
update omega for missing files i
n
distributio
n
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
b
a
r
v
i
nok_enumerate_e: avo
i
d infini
t
e loo
p
w
hen pr
e
sented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
include om
e
ga
su
b
module
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaeg
e
move omega subd
i
r
to omega_interface
commit
|
commitdiff
|
tree
next