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
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoola
e
ge
ba
r
vinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
A
UTH
O
RS:
u
pd
a
te sup
p
or
t
informa
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
randomvector: double si
z
e o
f
coeff
i
cients on
each a
t
te
m
pt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoo
l
aege
iscc: support transitive cl
o
s
ure
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoo
l
aege
up
d
ate isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
barvin
o
k_e
.
cc: enumerate
_
vd
:
remove unused variabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
eval
u
e
.
c: Polyh
e
dr
o
n_In
s
e
rt: add
missin
g
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laeg
e
evalue
.
c: reduce_evalue: remove un
u
sed
v
ar
i
able
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
iscc: add @
o
pe
r
ator
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoo
l
aege
iscc: add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
add
isl_pw_
q
pol
y
nom
i
al_uppe
r
_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
isc
c
: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Verdoolae
g
e
add isl
_
pw_qpol
y
n
o
mial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
a
d
d isl_pw_qpo
l
yno
m
ial_to_evalu
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
g
e
update isl
for isl_pw_qpolynomial_fore
a
c
h
_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
d
oolae
g
e
rena
m
e evalue2i
s
l to
isl_pw_qpolynomial_from_e
v
a
lue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ve
r
doolae
g
e
iscc
:
detect
m
ore ki
n
ds of
err
o
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
b
a
rv
i
nok_enumerate: use
i
sl during
t
he v
e
rifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolae
g
e
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
ad
d
isl_set_ca
r
d and i
s
l_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ad
d
e
value2isl
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaeg
e
ev
a
lue_convert: e
x
port a
s
a
p
plication
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ver
d
oolaege
b
a
r
vi
n
ok_enumerate_e: opt
i
o
nall
y
u
s
e isl
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verd
o
olaege
add
i
sl submodul
e
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
laeg
e
AX_SUBMODULE: accept "-" in mo
d
ulename
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
barvinok_enu
m
erate: re
t
urn NaN fo
r
infinite pr
o
blems
commit
|
commitdiff
|
tree
2010-01-28
Sven V
e
rdoolaege
remove_all_equalities: handle int
e
gr
a
lly, bu
t
not rationa
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
do
o
laege
b
a
r
vino
k
_
enum
e
rate_e: alwa
y
s re
t
u
r
n a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Ver
d
o
o
l
a
ege
barvino
k
_enumerate
:
check
that dimension of input incl
u
de
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
pa
r
tition2enumerat
i
on: chec
k
that in
p
ut is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdoolaege
upd
a
t
e piplib for
change in conf
i
gure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update omega fo
r
c
o
nfiguration/
c
omp
i
latio
n
is
s
ues
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
barvinok
_
c
ount_
w
ith
_
options: check r
e
tu
r
n value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
laege
Polyhedro
n
_Sample: plug memory lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summ
a
te
.
c: add mi
s
si
n
g include
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verdoolaege
topcom
.
c
:
supp
o
rt
newer
versions of
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c
:
compute_d
o
main: skip v
e
rtices wi
t
hout dom
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oo
l
a
e
ge
p
o
lytope_m
i
nimiz
e
: take con
s
tant term to be zero
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaeg
e
doc: reflect that -
-
enable-fraction
a
l is now
t
he default
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verdoolaege
glp
k
_polyhedro
n
_affine_sign: s
p
e
cial case 0D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoo
l
aege
Polyhedron_Insert_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n Verdool
a
ege
Polyhedron_Factor:
f
ix
u
p
dating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Ve
r
dool
a
ege
config
u
re
.
in:
u
se AX_SUBMODULE i
n
stead of BV
_
SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
v
en
V
e
rdoolaege
remove_equaliti
e
s: use Polyhedron_Preimage inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolae
g
e
barvi
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc
:
add expe
r
ime
n
t
al co
m
parison b
e
tw
e
en old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
Verdo
o
laege
lexmin
.
c
c: remo
v
e "anachronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en V
e
rdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
S
ven V
e
rdoola
e
ge
d
oc: add some les
s
common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Ver
d
oolaege
add "clever"
L
aurent
expan
s
i
on based su
m
matio
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
move Last_
N
on_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
extra
c
t out param_polynomial
f
rom
lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
do
o
laege
extr
a
ct
vertex_c
o
ne
f
r
om laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
N
T
L_QQ
.
c
c: add stdi
o
i
n
clude for EOF hidden in NTL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
u
p
da
t
e polylib
for sp
e
ed improvement in i
n
_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven Ve
r
d
oolaege
update piplib for d
i
stribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sv
e
n
V
erdoolaege
Polyhedron_Factor
:
fix
m
e
r
ging
of grou
p
s of colu
m
ns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en V
e
rdoolaege
barvinok_enumerate_seri
e
s: don
'
t c
h
e
ck for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
(
t
)cou
n
ter: move counter::reset(
)
up
t
o
counter_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefi
l
e
.
am: keep better
track of fail
e
d tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
a
d
d
semi
g
rou
p
_holes a
p
plication
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
Line_Length
:
ha
n
dle 0
D
polyt
o
pe in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
g
e
n_fu
n
: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
S
ven Ve
r
dool
a
ege
barvin
o
k
_
enu
m
erate_e
_
s
eries
:
remove equalities
i
n
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolae
g
e
do
c
: fix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolae
g
e
barvinok_enumerate_e_series: hand
l
e all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
series
.
c
c: make
project stat
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
barvin
o
k_en
u
merate_e_
s
eries: handle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
a
d
d
test set
from the
o
t
her
i
tsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
S
ven Verdoolaege
.
giti
g
nore: ignor
e
ob
j
e
c
t files
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
Verdoolaege
genfunc
.
cc: para
l
lel_poly
t
opes
:
detect 0D polyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdo
o
lae
g
e
c
onfigure
.
in: set
A
C
_
C
ONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven
Verdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n
Ve
r
doo
l
aege
Polyhedr
o
n_Factor: ha
n
dle
pol
y
hedra wit
h
a
n
on-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdoolaege
upda
t
e piplib fo
r
chan
g
e in co
n
fig
u
re a
r
gu
m
ents
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erd
o
o
l
aege
test_approx
.
c: add dum
m
y
f
iel
d
in dum
m
y tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
con
f
i
g
ure
.
in:
av
o
id
i
ntro
d
uc
i
ng empty elemen
t
s in PKG_C
O
NFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
eg
e
occ:
d
efi
n
e OMIT
_
GETRUSAGE if s
y
s/re
s
ou
r
ce
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaege
omega
_
interf
a
ce/Makefile
.
a
m
: put de
p
ending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in: add $(E
X
EEXT) to optio
n
al occ for cygwi
n
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
update o
m
e
g
a for MinGW comp
a
t
ibi
l
ity
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
bernstein/configure
.
in: add missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven V
e
rdoolaege
genfun
.
cc: add braces ro
u
n
d e
x
t
ern
"C" type
d
ef
commit
|
commitdiff
|
tree
2008-12-30
S
ven Verdo
o
laege
vecto
r
_parti
t
ion_chambers: c
o
mputes ch
a
mbers of vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvinok
.
c
c
:
remove
u
nused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update pipl
i
b for MinGW compatib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
doolaege
u
p
d
a
te poly
l
ib
for MinGW co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
l
a
ege
f
d
stream
.
cc:
don't (re)declare fi
l
eno if it'
s
a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdo
o
l
a
ege
evalue
.
c: i
n
_
d
o
main:
special-cas
e
0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Verdoolaeg
e
Avo
i
d
u
se of sys/tim
e
s
.
h heade
r
whe
n
not available
commit
|
commitdiff
|
tree
2008-12-25
S
ven V
e
rd
o
olaege
add gn
u
l
i
b
getsub
o
pt
m
o
d
ul
e
for Min
G
W
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README: menti
o
n that
G
i
NaC is also needed for the Omeg
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdoolaege
Allow bui
l
d
o
f
o
c
c when
u
s
i
ng bun
d
led
o
mega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc: add a ref
e
rence
to a
m
aster the
s
is
actual
l
y
u
sing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
b
a
r
vinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
RE
A
DME: fix up i
n
stallation instru
c
tions
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolae
g
e
Add files gene
r
ated by biso
n
and
flex to the distr
i
b
u
tion
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoo
l
aege
update po
l
y
l
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
upda
t
e
p
i
plib
commit
|
commitdiff
|
tree
next