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
barvinok_enumerate.cc: fix printf format
2010-03-09
Sven
Verdoolaege
iscc:
add @ oper
a
tor
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
a
dd isl_pw_qpol
y
no
m
ial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Verdoolaege
i
s
c
c
:
a
d
d su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d
isl
_
pw
_
q
polynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
ad
d
i
s
l_pw_qp
o
lynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
update is
l
f
o
r isl_
p
w_qp
o
lynomia
l
_fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
r
ename e
v
alue
2
isl to isl_pw_
q
p
olyno
m
ial_from
_
evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ver
d
o
o
laege
iscc: d
e
tect
mo
r
e
k
inds of
e
rrors
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
barvinok
_
en
u
mera
t
e: use i
s
l during the
v
erification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
s
l_s
e
t_card and isl_ma
p
_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
a
dd eva
l
ue
2
isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_convert:
export as ap
p
lication
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
doolae
g
e
b
a
r
vi
n
ok_enumerate_e:
o
p
t
i
o
nally
use isl to pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
AX_SUBMO
D
UL
E
: accept "-
"
i
n
modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolaege
barvinok_enu
m
erate: return NaN for
infi
n
ite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdool
a
ege
remov
e
_all_e
q
uali
t
ies:
h
andle integr
a
l
ly, but no
t
rati
o
n
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
g
e
barvinok_enumerate_e: always return a partiti
o
n for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaeg
e
bar
v
in
o
k_enume
r
a
t
e: ch
e
ck that dimension of
i
np
u
t includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
partit
i
on
2
enumeration: check that
i
nput is
r
eally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
r
d
oolaege
update pi
p
lib fo
r
change
i
n config
u
re
options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaeg
e
update omega for configuration/compi
l
a
tio
n
issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
laege
b
a
rv
i
nok_
c
ount_with_opt
i
ons: ch
e
ck return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron_
S
ampl
e
: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
summate
.
c:
ad
d
mis
s
i
n
g inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
t
o
pcom
.
c:
support newer versions
o
f
T
O
PC
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
V
e
rdoolaege
topcom
.
c: compute
_
domain: skip vertices without
d
omai
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polyto
p
e_mi
n
imi
z
e: take
c
onstant
t
er
m
to be zero w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
doc: r
e
f
l
e
c
t that --e
n
able-fractio
n
al is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
glpk_polyhedron_affine_si
g
n: special case 0D polyh
e
dra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
Polyhedro
n
_Ins
e
r
t_Co
l
u
m
ns
:
fix t
y
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_Fac
t
o
r
:
fix updating of gr
o
ups
commit
|
commitdiff
|
tree
2009-10-06
S
ven
V
e
r
doolaege
configure
.
in: use AX_SUBMODU
L
E
i
nstead of B
V
_
S
UBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdo
o
laege
remo
v
e_equa
l
ities:
use Polyhe
d
r
o
n_Prei
m
a
ge
ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verd
o
olaege
bar
v
inok 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erd
o
olaege
doc: ad
d
experimental co
m
par
i
son between old
a
nd
n
ew
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ver
d
oolaege
lex
m
in
.
cc: rem
o
ve "anachronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaeg
e
doc
:
add som
e
le
s
s common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever" Lau
r
ent ex
p
ansion based summ
a
tion
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
m
o
ve Last_N
o
n_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
dool
a
ege
extra
c
t
out param_polynomial from la
u
ren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
o
olaege
extract vertex_co
n
e
from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Ve
r
d
oola
e
ge
update polylib for speed im
p
rove
m
ent i
n
i
n
_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdo
o
la
e
g
e
u
pdate
p
i
p
lib for
d
i
s
tribu
t
ion issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyhedr
o
n_Factor:
fix merging o
f
groups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvi
n
ok_enumerate_series: don't
c
heck for
r
e
v
lex po
s
itive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
(
t)co
u
nter: move c
o
unter::re
s
et() u
p
to cou
n
ter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
Ma
k
efile
.
am
:
keep
b
e
t
ter track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
ool
a
ege
add
s
emi
g
roup_holes application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
L
i
ne_L
e
ngth
:
handle 0D polytope in 1D
spa
c
e
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
ge
n
_
fun: a
d
d
is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvino
k
_
enumerate_e_s
e
ries: remove e
q
uali
t
ies in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Ver
d
oo
l
a
e
ge
doc
:
fix
typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
g
e
barvinok_enumera
t
e
_e_ser
i
es: hand
l
e
all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Ve
r
doolaege
s
eries
.
cc:
m
ake proj
e
ct static
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erd
o
olaege
barvinok_enumerate_e_series: ha
n
dle al
l
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
g
e
a
d
d test set
from the other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Ver
d
oolaege
Poly
h
edron_
F
actor: han
d
le p
o
lyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n Verdool
a
ege
u
p
d
a
t
e
piplib fo
r
change in con
f
igure
a
rguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
test_approx
.
c
:
a
dd
d
ummy
f
iel
d
i
n
dumm
y
tms
st
r
uc
t
ure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
e
rdoola
e
g
e
configure
.
in
:
avoid introducing empty ele
m
ents in PKG_CON
F
IG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
ge
occ
:
de
f
i
n
e
OMIT_GETR
U
SAGE if sys/re
s
ource
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
ol
a
ege
o
mega_interface/Makefile
.
am: put de
p
ending
librar
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdo
o
laege
configure
.
in:
a
dd $(EXEEXT)
to optional occ fo
r
cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
update omega for MinGW comp
a
tibility
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verd
o
olaege
b
ern
s
tei
n
/
c
onfigure
.
in:
a
dd mi
s
sing AC_PROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven V
e
rdoolaege
vect
o
r_partiti
o
n
_
chamb
e
rs: computes chamb
e
rs of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
S
v
e
n Ver
d
oola
e
g
e
barv
i
n
o
k
.
cc: r
e
m
o
v
e u
n
u
s
ed nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erd
o
olaege
up
d
at
e
piplib
f
or Mi
n
GW c
o
mpatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erd
o
olaege
update polylib for MinGW comp
a
t
i
b
i
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdst
r
eam
.
cc: do
n
't (
r
e)declar
e
fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
evalu
e
.
c: in_do
m
ain: s
p
ecial-case
0
D dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven Ver
d
oola
e
ge
Avoi
d
use of sys/times
.
h header
when n
o
t availabl
e
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Ver
d
oolaege
add gnulib getsubop
t
modu
l
e for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
erdoolaege
RE
A
DME: mention
t
hat
GiNaC is also needed
f
or the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaeg
e
Allow b
u
ild of occ when using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Ve
r
doolaege
doc
:
a
d
d
a reference to a master thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
b
a
rvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
RE
A
D
ME: fix up installation inst
r
uct
i
ons
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdo
o
laege
Add files
g
en
e
rat
e
d by
b
ison and f
l
e
x to t
h
e
d
istribution
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
upd
a
te pipl
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
ev
a
l
ue
.
c
:
affine2evalue: reduce coef
f
icients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
v
alue
.
c: evalue
_
level_cmp: prod
u
ce
more
con
s
istent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sv
e
n Verdoolaege
d
o
c
: add
anot
h
er paper referring to
t
he libr
a
ry
commit
|
commitdiff
|
tree
2008-09-16
S
ven Verdoolaege
pie
c
ew
i
se
_
lst
.
h
: av
o
id duplicat
e
parameter
name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaeg
e
evalue_read
.
c:
f
ix mino
r
bu
g
s in
t
okenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
up
d
at
e
omega fo
r
mis
s
ing
files in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
barvinok_enum
e
rate_e:
a
v
o
id infini
t
e
loop w
h
en
p
resented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
inclu
d
e omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
move
o
mega sub
d
ir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
o
olaege
N
T
L
_QQ
.
cc: add stdlib
includ
e
for abort h
i
dden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoo
l
aege
remove g
n
ul
i
b l
i
nk-warning module complete
l
y
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verdoolaege
lexmin
.
cc: find
a
nd sort are in std
:
: namespace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
l
exmin
.
cc: avoid use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
4coins
.
c
c
: remove de
a
d code
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoo
l
aege
testlib
.
c
c: add missin
g
returns
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
l
aeg
e
workaround silly
sun compiler e
r
rors
commit
|
commitdiff
|
tree
next