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_approx.c: fix printf format
2010-03-09
Sven Verdoolaege
renam
e
evalu
e
2isl to isl_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaeg
e
iscc
:
detect more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
barvinok_enumerate: use isl during
t
h
e
verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdool
a
ege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add i
s
l
_
s
e
t_card and
i
sl_m
a
p_c
a
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
a
e
g
e
add ev
a
lue
2
isl
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
V
erdoolaege
evalue_convert:
expo
r
t
as application
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdoolaege
barvinok_
e
numerate_e
:
o
ptio
n
a
l
l
y
use isl to pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
s
l
s
u
bmodul
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
A
X_SUBMO
D
ULE:
accept
"
-
"
i
n
m
o
d
ulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
b
a
rv
i
n
ok_enumerate: re
t
urn NaN f
o
r in
f
inite probl
e
ms
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdool
a
eg
e
re
m
ove_all
_
e
qualiti
e
s
: hand
l
e integrally, bu
t
not
r
ationall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoolaege
barvinok
_
en
u
merate
_
e:
a
lways re
t
ur
n
a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoolaege
barvinok_e
n
umerat
e
:
ch
e
ck that dimensio
n
of in
p
u
t
includ
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
eg
e
par
t
iti
o
n2enumera
t
ion
:
check that input
is
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
upd
a
te piplib for change
i
n configure op
t
ions
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Verdo
o
laege
updat
e
omeg
a
for
co
n
figurat
i
o
n
/compila
t
ion issues
commit
|
commitdiff
|
tree
2009-11-30
S
ven
V
e
r
doolaege
barv
i
nok_count_wit
h
_opt
i
o
n
s:
c
h
eck ret
u
r
n
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
d
oolaege
Polyh
e
dron
_
Sample: p
l
ug me
m
o
r
y lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
s
u
mmate
.
c
: add
missing inc
l
ude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: support newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
topcom
.
c: compute
_
d
o
main: ski
p
vertices
w
i
t
ho
u
t
do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_minimize: take constant t
e
r
m
to
be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdoolae
g
e
doc:
r
eflect that --
e
nable-fractional is now the default
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdo
o
laege
glpk_
p
olyhed
r
on_affine_sign:
s
pecial
case 0D
p
olyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
Polyhedro
n
_In
s
ert_Columns:
f
ix typ
o
commit
|
commitdiff
|
tree
2009-11-11
Sven V
e
rdoolaege
Polyh
e
dron_Factor: f
i
x
updating of groups
commit
|
commitdiff
|
tree
2009-10-06
S
ven
V
e
rdoolaege
confi
g
u
r
e
.
in: use
AX_
S
UBMO
D
UL
E
instead
of BV_SUBM
O
DULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ver
d
oolaege
r
e
move_equalities: use Polyh
e
dro
n
_Preimage
instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
ba
r
vinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdool
a
ege
doc: add exp
e
rimental com
p
a
rison
b
etween o
l
d and ne
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
l
e
xmin
.
cc: remov
e
"anachroni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
doc: add
some less comm
o
n
.
st
y
f
iles
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
ad
d
"cle
v
er"
L
a
urent
e
x
pan
s
i
on ba
s
ed
s
umm
a
tion
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
ege
move
Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
ool
a
e
g
e
extract ou
t
para
m
_polyno
m
ial from l
a
urent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oo
l
aege
extract vertex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
NTL_QQ
.
cc: add
stdio include for EOF hidden
i
n NTL_io_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
upd
a
te pol
y
lib for spe
e
d improve
m
ent in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update piplib for distribut
i
on
issu
e
commit
|
commitdiff
|
tree
2009-05-26
Sven
V
e
rdoolaege
Polyhe
d
r
on_Factor: f
i
x
merging of groups of colu
m
n
s
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolae
g
e
barvinok_enumerate_series: do
n
't check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolae
g
e
(t)count
e
r
:
move
counter::r
e
set()
u
p
to
c
ounter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Ma
k
efil
e
.
am: keep
better
trac
k
of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
add semigroup_holes application
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
erd
o
olaege
Line_Leng
t
h:
ha
n
dle 0D
p
olytope i
n
1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
gen_f
u
n: add i
s
_zer
o
m
e
t
h
od
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
g
e
barvi
n
ok
_
e
numerate_e
_
seri
e
s: remov
e
equalities in e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdo
o
lae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoolaege
b
arv
i
nok_enumerate_e_series: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdool
a
ege
series
.
cc: mak
e
pro
j
e
c
t stat
i
c
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
r
d
o
o
laege
ba
r
v
i
nok_enu
m
erate_e_series
:
h
and
l
e all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
a
dd test set
from the other itsl2008 pa
p
er
commit
|
commitdiff
|
tree
2009-04-28
Sven Ver
d
o
o
la
e
ge
.
giti
g
n
ore: ignore object
f
iles
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
genf
u
nc
.
c
c
: parallel_polytope
s
: detect 0D
p
olytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verd
o
ola
e
ge
configure
.
in: set AC_CONFIG_M
A
CRO_D
I
R
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n Verdoolaege
a
dd
pkg
.
m
4
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoolaege
Po
l
yhed
r
o
n_F
a
ctor: ha
n
dle polyhedra
with a n
o
n-trivia
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update
pip
l
ib for change in conf
i
g
u
re a
r
g
u
ments
commit
|
commitdiff
|
tree
2009-02-09
S
ven
V
erdoolaeg
e
test_approx
.
c: add
d
ummy fiel
d
in dummy t
m
s
struc
t
u
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolae
g
e
con
f
igure
.
in
:
a
voi
d
introducing empty el
e
me
n
t
s
i
n
PKG_CONFI
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verdo
o
l
aege
o
c
c
:
de
f
ine OMIT_G
E
T
R
USAGE if sys/resource
.
h canno
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omega_interf
a
ce/Makefile
.
a
m
:
p
ut d
e
pendin
g
li
b
raries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
config
u
r
e
.
in: add $(EXEEXT) to o
p
tional occ fo
r
cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaege
update om
e
ga f
o
r
M
i
n
GW co
m
p
ati
b
ility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
bernstein/configure
.
in:
a
dd mis
s
ing AC_PROG_C
X
X
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdo
o
la
e
ge
genf
u
n
.
cc: a
d
d brac
e
s
round exte
r
n
"
C
"
typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven V
e
rdoolae
g
e
v
e
ctor_part
i
tion_ch
a
mbers: computes chambe
r
s
of vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdo
o
laeg
e
bar
v
inok
.
c
c: remov
e
unused nonort
h
og
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdool
a
ege
u
pdate piplib for MinGW compatibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoolaege
update polylib for
MinGW co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaeg
e
fd
s
tream
.
cc: don't
(re)declare fileno i
f
it's
a
m
ac
r
o
commit
|
commitdiff
|
tree
2008-12-26
S
ve
n
Ver
d
oola
e
ge
e
v
alue
.
c:
in_
d
omain: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoolaege
Avoid use of sys/
t
imes
.
h h
e
ader whe
n
not ava
i
lable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
a
dd gn
u
lib
g
e
t
s
ubopt module f
o
r Mi
n
GW
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
e
r
doolaege
README: mention that GiNaC is al
s
o
needed for the Om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
e
n Ve
r
doola
e
ge
A
ll
o
w build of occ when u
s
ing bundled omega
commit
|
commitdiff
|
tree
2008-10-28
S
v
e
n
Verdoolaege
doc: ad
d
a ref
e
ren
c
e to a
m
a
ster
t
hesi
s
a
c
tually
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n Ver
d
ool
a
ege
README: fix
up installa
t
ion instructions
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
A
d
d f
i
le
s
generated
by bison and f
l
ex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update poly
l
ib
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oo
l
aege
up
d
ate p
i
plib
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaege
evalue
.
c: affine
2
evalu
e
: reduce coe
f
ficients
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaege
evalue
.
c: evalu
e
_
l
evel_cmp: produce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolae
g
e
doc: add anothe
r
p
aper
r
eferr
i
n
g to the library
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Verd
o
olaeg
e
piecewise_l
s
t
.
h:
avoid duplicate par
a
meter name
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoolaege
evalue_rea
d
.
c
:
fix minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
e
rdoolaege
upd
a
t
e
omega for missing files in distribu
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
o
olaege
b
a
rvinok_enumer
a
t
e_e: av
o
i
d
infinite loo
p
when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaeg
e
include omega s
u
bmodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
move
omega subdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL_Q
Q
.
cc
:
add
s
t
dli
b
include for abort hidd
e
n
i
n NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ver
d
oo
l
ae
g
e
remove
g
n
u
lib link-warnin
g
modu
l
e
co
m
p
l
etely
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
r
d
o
olaege
l
exm
i
n
.
cc: f
i
nd and sort a
r
e in
std:: namespac
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
l
exmi
n
.
cc: avoid use o
f
typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
4coins
.
c
c
: remove
d
ead
c
od
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doo
l
aege
testli
b
.
cc: add
m
issing returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
workaround silly sun compiler errors
commit
|
commitdiff
|
tree
next