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
update isl for isl_pw_qpolynomial_foreach_piece
2010-03-09
Sven Verdool
a
ege
update is
l
for isl_pw
_
qpoly
n
o
m
ial_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
rename evalue2isl to isl_pw_qpolynomial
_
from_ev
a
lu
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc
:
d
etect more kinds
o
f errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
barvin
o
k_enumerate: use isl during
t
he
verif
i
c
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add i
s
cc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolae
g
e
add isl_set_
c
ard an
d
isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
a
dd evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
e
value_convert: expo
r
t
as a
p
plication
commit
|
commitdiff
|
tree
2010-03-05
S
ve
n
Verdoolaege
barvin
o
k_enumerat
e
_e: optionally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoola
e
ge
add isl
s
ubmodule
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
AX_
S
UBMODULE: accept "-" in mo
d
ulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erd
o
o
l
aege
b
a
rv
i
nok_enumerate:
return NaN fo
r
infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven
Verdoolaege
remove_all_equalities: handle integrally, b
u
t n
o
t
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoo
l
ae
g
e
barvino
k
_enumerate_e: a
l
ways return a pa
r
ti
t
ion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
b
arvinok_enumerate:
c
h
eck that dimension o
f
i
n
put includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdool
a
ege
parti
t
io
n
2enumeratio
n
: check t
h
at input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
e
n V
e
r
d
oolaege
u
pdate p
i
pl
i
b for change
in co
n
figur
e
options
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
do
o
laege
update om
e
ga for configurati
o
n/comp
i
lation is
s
ues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
barv
i
nok_c
o
unt_wit
h
_options: check return valu
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
V
e
r
do
o
laege
P
o
lyhe
d
r
o
n
_
S
a
mple: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c: add missing i
n
clude
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoo
l
aege
top
c
o
m
.
c: supp
o
rt newer versions
o
f TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdo
o
laege
topc
o
m
.
c: co
m
pu
t
e_domain: skip vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
p
o
lytope_mini
m
ize: take constant te
r
m
to b
e
zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoola
e
g
e
doc: r
e
flect that -
-
en
a
ble-fractional is now the de
f
aul
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_pol
y
he
d
ron_affine_si
g
n: special c
a
se 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
Polyhedron_Insert_Columns
:
fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
V
e
r
doolaege
P
o
l
yhedron_Fa
c
t
or: f
i
x
u
pdat
i
n
g
of grou
p
s
commit
|
commitdiff
|
tree
2009-10-06
S
v
e
n V
e
rdoolaeg
e
configure
.
in: use AX_SUBMODUL
E
i
nstead of BV_SUBM
O
DUL
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remov
e
_equalities: u
s
e Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
barvin
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
doc: add experimen
t
al comparison bet
w
een old a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
le
x
min
.
cc:
remove "anachroni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
e
rd
o
olaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolae
g
e
doc: add
s
ome less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
a
d
d "clever" Laurent e
x
pansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
do
o
laege
move Last_
N
on_
Z
e
r
o to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
ext
r
act out param_pol
y
nomial fro
m
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoo
l
aege
extract vertex
_
c
o
ne from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoola
e
ge
NTL_QQ
.
cc: ad
d
std
i
o
i
n
clude for EOF hidd
e
n
in NTL_io_vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
en
Ver
d
oolaege
update
p
o
l
ylib fo
r
speed improvement in
i
n_do
m
ain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update
p
iplib for distributi
o
n iss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdool
a
ege
Po
l
yhedron_Fac
t
o
r
:
fix merging of groups o
f
colu
m
ns
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
oolaeg
e
barv
i
nok_enu
m
erate_se
r
ies: d
o
n't check for revlex p
o
sitive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
(t)coun
t
er: move counter::reset() up t
o
c
o
unter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
M
akefile
.
am
:
keep bette
r
trac
k
of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
ad
d
sem
i
group
_
holes ap
p
lication
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdo
o
laeg
e
Line_Length: ha
n
dle 0D polyt
o
pe in 1D
space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ge
n
_f
u
n: a
d
d is
_
zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
barvi
n
ok_enu
m
erate
_
e_
s
eries: remove equalities in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoola
e
ge
d
oc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
S
v
en V
e
rdoola
e
ge
barvino
k
_
enumerate_e_series:
handle al
l
ex
i
s
t
entials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
o
olae
g
e
seri
e
s
.
cc
:
mak
e
project sta
t
ic
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erd
o
olaege
barvinok_enu
m
er
a
te_e_series:
ha
n
dle all
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Ve
r
doolaeg
e
add t
e
st set f
r
om the
ot
h
er its
l
2008 paper
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Verdoolaege
.
git
i
gn
o
re: ig
n
o
re obje
c
t
f
i
les
commit
|
commitdiff
|
tree
2009-04-28
Sven Ver
d
oolaege
gen
f
u
nc
.
cc: paralle
l
_po
l
yt
o
pes: detect
0
D poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven V
e
rdoolaege
configure
.
i
n:
set AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoola
e
ge
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron_Factor:
handle polyh
e
d
r
a
with a non-tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
u
p
date pipli
b
for ch
a
nge
i
n c
o
n
figur
e
argume
n
t
s
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
e
rdoolaege
tes
t
_
a
p
prox
.
c: add dummy
f
ie
l
d in dummy t
m
s
stru
c
ture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoolae
g
e
co
n
fi
g
ure
.
in: avoid
i
nt
r
oducing
e
mpty el
e
ments in PK
G
_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
o
cc: d
e
f
ine
O
MIT_GETRUSAGE if s
y
s
/r
e
source
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omega_interf
a
ce/Makefi
l
e
.
am: put depending
l
ibraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
co
n
figur
e
.
in: add $(EXEE
X
T) to optional occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doola
e
ge
update ome
g
a for MinGW compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
bernstein/configur
e
.
in:
a
d
d missing AC_PROG
_
CXX
commit
|
commitdiff
|
tree
2009-02-04
Sv
e
n Verdo
o
laege
genfun
.
c
c:
a
dd braces round extern "C"
t
ypedef
commit
|
commitdiff
|
tree
2008-12-30
Sv
e
n V
e
rdoolaege
vector_
p
arti
t
ion_chambers: computes chambers of
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
cc: rem
o
ve unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
laeg
e
update pip
l
ib
for MinGW
c
ompatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
update p
o
lylib for MinGW comp
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstream
.
c
c: d
o
n
't (re
)
declare fil
e
no if
i
t
's a macro
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdo
o
la
e
ge
evalue
.
c
: in_domain: special-c
a
s
e
0D domains
commit
|
commitdiff
|
tree
2008-12-25
S
ven Verdoolaege
Avoid use of sys/times
.
h header wh
e
n not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnulib getsubo
p
t module fo
r
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
RE
A
DME: mention
that GiNa
C
is
also n
e
eded for
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdoolaege
A
llow bu
i
ld of occ when us
i
ng bundled omeg
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Ver
d
oolaege
doc: add a reference to a master t
h
esis actuall
y
us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verd
o
olaege
barvin
o
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
REA
D
ME: fi
x
u
p in
s
tallati
o
n instructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoo
l
aege
Add file
s
g
e
n
erated
b
y bison and
flex to the
d
istribution
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdool
a
ege
updat
e
poly
l
ib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Ver
d
oolaege
eval
u
e
.
c: aff
i
ne2evalue: reduce coeffici
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sven Verd
o
olaege
evalue
.
c: eval
u
e_level_cmp
:
produce more
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc
:
add another pape
r
referri
n
g t
o
the library
commit
|
commitdiff
|
tree
2008-09-16
S
ve
n
Verdoolaege
piece
w
ise_lst
.
h: avoid duplicate parameter
n
ame
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaege
evalue_read
.
c:
f
ix minor bugs in tokenize
r
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoola
e
ge
u
pd
a
te ome
g
a for missing files in
distr
i
bution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
b
a
rvinok
_
enumera
t
e_e: avoid infinit
e
loop when p
r
e
sented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdo
o
laege
include
o
mega s
u
b
m
odu
l
e
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verd
o
olae
g
e
move omega
subdir to om
e
g
a
_i
n
t
e
r
f
ace
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verdo
o
laege
NT
L
_QQ
.
cc: ad
d
s
tdlib include f
o
r abort hid
d
en
in
NTL_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
r
e
m
ove g
n
ulib link
-
w
arn
i
ng module completely
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
V
e
rdoolaege
l
exmi
n
.
cc: find
and sort are in std:: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oolaege
lexmin
.
cc: avoid
u
se
of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n V
e
rdoo
l
aege
4coins
.
cc
:
remove
d
ead code
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoo
l
aege
testli
b
.
cc: add mis
s
ing retu
r
ns
commit
|
commitdiff
|
tree
next