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 0.31
2010-03-09
Sven Verdoolaege
add isl_pw_qp
o
lynom
i
al_u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
o
l
a
e
ge
a
d
d isl_pw_qpolynomial
_
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ola
e
ge
add isl_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaege
updat
e
i
s
l for isl
_
pw_
q
po
l
y
n
o
mia
l
_foreach_piec
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
rename evalue2isl to isl_pw
_
q
polynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n Verdoolaege
is
c
c: d
e
tec
t
mor
e
kinds of e
r
rors
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
bar
v
in
o
k_enumerate: us
e
isl during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add i
s
cc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_set_ca
r
d and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ad
d
e
v
alue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rd
o
o
l
aege
evalue_conver
t
: export as applica
t
i
on
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolae
g
e
ba
r
vinok_enume
r
ate
_
e: optio
n
a
lly
use isl
t
o pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olae
g
e
add isl
s
u
b
module
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
AX_SUBMODULE: ac
c
ept "
-
" in mod
u
lename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_en
u
merate: return NaN for infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven
Verdoolaege
remove_all_eq
u
alities
:
handle integrally, but not
r
a
t
i
o
nally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Ver
d
o
o
laege
barvino
k
_enumerate_e:
a
lways return a partition f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
barvi
n
ok_enumerate: check that dimensio
n
of inpu
t
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
e
n
Verdoolaege
partition2enum
e
ration: check
t
hat input is real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdo
o
laege
update piplib for change in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
l
aege
u
p
d
ate o
m
ega
for
c
onfiguration/compilation
is
s
ue
s
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
r
doolaege
barvinok_coun
t
_wi
t
h_options: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoolaeg
e
Pol
y
hedron_Sample: plug m
e
m
o
ry leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdo
o
laege
s
ummate
.
c
: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
top
c
om
.
c: s
u
p
port
n
ewer version
s
of TOP
C
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
topcom
.
c: compute_domai
n
: skip
v
ertic
e
s without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_minimize:
take con
s
tant term to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
doc: re
f
l
ect th
a
t
--enable-fractiona
l
is now the
d
e
fa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
glpk
_
p
o
lyhedron_affi
n
e_si
g
n:
specia
l
c
a
s
e
0D po
l
yhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyh
e
dron_Insert_Columns: fix ty
p
o
commit
|
commitdiff
|
tree
2009-11-11
S
v
e
n
Verd
o
olaege
Pol
y
h
edron_Facto
r
: fix upda
t
ing of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
erd
o
o
l
aege
co
n
figure
.
in: use AX_SUBM
O
DULE
instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equal
i
ties: use Polyhedron_Preimage instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Ver
d
oola
e
ge
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en V
e
rdoo
l
aege
doc:
add experimental c
o
mpa
r
ison
between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n
Verdool
a
ege
lex
m
in
.
c
c: remove "anac
h
ron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: a
d
d some less common
.
sty f
i
les
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n
V
erd
o
olaege
add "cleve
r
" Laurent expan
s
io
n
based
s
ummatio
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
aege
move Last_
N
on_Zero
t
o uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
r
d
o
olaege
extra
c
t
out param_pol
y
nomial fro
m
la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
ex
t
r
a
ct
v
e
rtex_cone fro
m
laur
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven
Verdoolaege
update pol
y
lib f
o
r
speed improvement in
i
n
_
domain
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verdoo
l
aege
update
pi
p
lib for dist
r
i
b
ution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven
Verdoo
l
aeg
e
P
o
lyhedron
_
Factor: f
i
x merging
o
f
g
roups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
bar
v
inok_enumerate_se
r
i
e
s: don't
c
heck for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
(t)counte
r
:
m
ove counter::res
e
t
(
) up
t
o
counter
_
base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolae
g
e
Makefile
.
a
m: keep b
e
tter track of fa
i
led
t
e
s
ts
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verd
o
olaeg
e
add
s
emigroup_
h
ol
e
s ap
p
lication
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
dool
a
e
g
e
Line_Length: ha
n
d
le 0D
polytope in
1
D space
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rdoolaege
gen_fun: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doolaege
barv
i
nok_enumerat
e
_
e
_serie
s
: remove equa
l
ities
i
n each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
barvin
o
k_enumerat
e
_
e
_
s
eries: han
d
le all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
s
e
ri
e
s
.
cc: make project s
t
atic
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
barv
i
nok_enumer
a
te_e_series:
h
andle all eq
u
a
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add t
e
st set f
r
om
t
he
other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoolaege
P
o
lyhed
r
on_Fac
t
or: handle poly
h
e
dra
w
ith a non-tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update p
i
plib
for chan
g
e in configure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
te
s
t_approx
.
c: add dum
m
y
f
ield i
n
d
u
mmy tms stru
c
t
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en V
e
rdoolaege
configure
.
in: avoid introducin
g
e
mpty elements i
n
PKG_
C
ONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
o
c
c: define
O
MIT_GETRUSAGE if sys/resource
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
d
o
o
l
aege
omega_interface/Makefile
.
am: put dependi
n
g libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
con
f
igur
e
.
i
n
: add $(EXEE
X
T) to
opt
i
o
n
al occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdo
o
l
a
ege
update o
m
ega
for
Min
G
W compat
i
bi
l
it
y
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
bernste
i
n
/
conf
i
gure
.
in: a
d
d
m
i
s
s
ing AC_PROG_CX
X
commit
|
commitdiff
|
tree
2008-12-30
Sven
V
erdoolaege
vector_
p
a
rtition_chambers: computes c
h
ambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdo
o
la
e
ge
barvinok
.
cc
:
remove
u
nused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Ve
r
doolaege
update pipli
b
for MinGW
c
om
p
atibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n Verdoolaege
update polylib f
o
r Min
G
W
compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
o
l
ae
g
e
fdstream
.
cc: don't (re)declare fileno if
it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaege
evalue
.
c: in_domai
n
: sp
e
cial-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
laege
A
void use
of sys/times
.
h he
a
der when not
available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
a
d
d gnulib gets
u
bopt
m
odu
l
e
f
o
r MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README: mention tha
t
GiNa
C
is
als
o
needed
for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdoolaege
Allow
build of occ w
h
en usin
g
bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc: a
d
d a reference to a m
a
ster thesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README: fi
x
up installation
i
n
structions
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
A
dd files generate
d
by
b
i
s
on and fl
e
x to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
upda
t
e polyl
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
u
p
date pip
l
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdoolae
g
e
evalue
.
c:
affin
e
2ev
a
l
u
e: reduc
e
coeffi
c
ients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoo
l
aege
e
v
alue
.
c: e
v
alue_l
e
vel
_
cmp: produce more cons
i
stent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add anot
h
er
p
a
per
referr
i
ng to the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
piecewise_l
s
t
.
h: avoid
duplicate para
m
e
ter name
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
erdoo
l
aege
ev
a
lue_read
.
c: fix
m
i
n
or
bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
doolaege
u
p
date o
m
ega for
m
i
ssing
f
iles in d
i
stribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
ba
r
vinok_enumerate_
e
: avoid in
f
inite loop
w
hen present
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
i
nclude omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
mov
e
omega subdir to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
NTL_QQ
.
c
c
: add
st
d
lib incl
u
de for abort
hidden in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
V
erd
o
olae
g
e
rem
o
v
e
gnulib
link
-
w
a
rning
m
odu
l
e completely
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolae
g
e
lexmin
.
cc: f
i
nd and sort are
in s
t
d:: namesp
a
ce
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolae
g
e
le
x
min
.
cc: avoid us
e
of
type
o
f
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
4c
o
i
n
s
.
c
c
: remove dead cod
e
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
tes
t
lib
.
c
c: add missin
g
returns
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Verdool
a
ege
w
or
k
around
silly sun
c
ompiler errors
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verd
o
olaege
A
v
oid use of th
e
ma
k
e -C
opt
i
o
n
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdoolaege
summate
.
c: add m
i
ssing
i
nclud
e
commit
|
commitdiff
|
tree
next