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.30
2010-03-10
Sven Verdoola
e
ge
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
AUTHORS: update
s
upp
o
rt in
f
ormation
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Verdool
a
eg
e
r
a
ndomvec
t
or: double s
i
ze of
c
oeffici
e
nts on eac
h
a
t
tempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaeg
e
is
c
c: support tr
a
ns
i
t
i
ve c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdool
a
ege
update is
l
t
o
versi
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
bar
v
ino
k
_e
.
c
c: e
n
umerat
e
_vd:
r
e
m
o
ve u
n
used variables
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
evalue
.
c: P
o
l
y
hedron_In
s
e
r
t: add m
i
ssing return type
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdool
a
ege
evalue
.
c:
reduce_evalue: remove unused varia
b
le
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdoolaege
isc
c
: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
cc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
a
d
d i
s
l
_pw_qpolynomi
a
l_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
l
aege
iscc:
a
dd su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_pw_
q
polynomial_to_e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
updat
e
isl fo
r
isl_pw_q
p
olyn
o
mial_foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
rename
evalue2isl to i
s
l_pw_qpoly
n
omial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven V
e
rdoolaege
iscc: detect m
o
re kind
s
of er
r
o
rs
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvi
n
ok_e
n
u
mera
t
e: use
isl during the ver
i
fication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
d
oolaege
a
d
d i
s
cc
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doola
e
ge
add isl_set_card a
n
d isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add
evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven
V
erd
o
olaege
evalue
_
convert: e
x
p
o
rt as appl
i
catio
n
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
barvinok_
e
num
e
rate
_
e
: optionally use isl
to pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolae
g
e
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
AX_SUB
M
O
D
ULE: accept
"
-
"
in
m
odulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
b
a
rvinok_enumerate: return NaN
for in
f
in
i
te problems
commit
|
commitdiff
|
tree
2010-01-28
Sven
Verdoolaeg
e
r
emove_a
l
l_equalities:
h
and
l
e integra
l
ly,
bu
t
not
r
a
tionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
doo
l
a
ege
bar
v
inok
_
enume
r
a
t
e
_e: always re
t
ur
n
a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
barvinok_enumer
a
te: check th
a
t dimen
s
ion
o
f input
i
ncludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolaege
partition2enu
m
er
a
tion:
check th
a
t i
n
p
u
t
is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
update piplib for change in
co
n
f
i
gure
options
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolaege
update omega for configuration/compil
a
tion
issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
ola
e
g
e
b
arvi
n
ok_count_with_options: check r
e
turn value
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdoola
e
ge
Pol
y
hedron_Sample:
plug me
m
or
y
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summ
a
te
.
c:
add
missing includ
e
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
topcom
.
c: support newer vers
i
o
ns of TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
o
pcom
.
c:
c
o
m
pute_dom
a
in: ski
p
vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
d
oolaege
po
l
yto
p
e
_mi
n
i
m
ize: take consta
n
t term to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdool
a
ege
d
o
c: reflect that --enable-fractional i
s
now
the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
glpk_polyhedron_affine_sign: spe
c
i
a
l case 0D pol
y
h
e
dra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
Polyhedron_Insert_Columns: f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Pol
y
hedron_Factor: fix updating of gro
u
ps
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
c
o
n
fig
u
r
e
.
in:
u
se AX_SUBMODULE instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
rem
o
ve_equalities:
u
se Po
l
yhedron_Preimage instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
b
ar
v
inok 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
l
a
ege
d
o
c: add
ex
p
erime
n
tal
comparison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
l
e
xmin
.
c
c
: remove "anachro
n
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaeg
e
doc: fix
t
y
po
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
doc:
ad
d
s
ome
less common
.
st
y
f
i
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
o
o
la
e
ge
a
d
d "cleve
r
" Laurent e
x
pan
s
ion b
a
sed summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last
_
Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verd
o
olaege
ext
r
act
out par
a
m_polynomial from la
u
rent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
ext
r
a
c
t
v
e
rt
e
x_co
n
e from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
N
T
L
_QQ
.
cc:
a
dd
s
tdio in
c
lude for EOF hidd
e
n in N
T
L_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sv
e
n Verdoo
l
aege
upd
a
te polyl
i
b
for speed i
m
prove
m
ent
i
n in_d
o
main
commit
|
commitdiff
|
tree
2009-06-12
S
v
en
V
e
r
doolae
g
e
up
d
ate pip
l
ib for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verd
o
olaeg
e
Pol
y
hedron_Factor: fix merging of gro
u
ps of
c
olumns
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verd
o
o
l
aege
b
a
r
v
ino
k
_e
n
ume
r
ate_seri
e
s: don't che
c
k for revlex
p
ositive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)c
o
unter
:
move counter::reset
(
) up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdool
a
eg
e
Makefile
.
am: keep b
e
tter track of faile
d
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
do
o
l
a
ege
add sem
i
g
r
oup
_
hol
e
s a
p
pl
i
cation
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
L
i
ne_Length: handle 0D polyt
o
pe in 1D
s
pace
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doo
l
aege
g
e
n_fun: add is_ze
r
o method
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
barvin
o
k
_
enumera
t
e_e_series:
r
em
o
v
e equa
l
iti
e
s in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
doc: fi
x
typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enum
e
rate_e_seri
e
s: handle
all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
serie
s
.
cc:
m
ake project
static
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
b
a
rvin
o
k_enum
e
rate_e_series
:
handle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
add test set from the other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sv
e
n Verdo
o
lae
g
e
.
gitignore: ig
n
ore
obj
e
c
t
files
commit
|
commitdiff
|
tree
2009-04-28
Sven
Verdo
o
laege
g
enfunc
.
cc: pa
r
al
l
el_pol
y
topes: detect 0D
p
olyto
p
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
ven Verdoolaege
confi
g
ure
.
in: set AC
_
CONFIG
_
MACRO_
D
I
R
commit
|
commitdiff
|
tree
2009-04-27
Sven
Verdoo
l
a
e
ge
add
p
kg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedro
n
_F
a
ctor: ha
n
dle polyhedra with a non-t
r
ivi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoola
e
g
e
update piplib f
o
r chang
e
in configure
a
rguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
te
s
t
_approx
.
c: ad
d
dummy
fi
e
ld in dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
configure
.
in: av
o
id
intro
d
uci
n
g
emp
t
y elem
e
nts in
P
KG_CON
F
IG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
d
oolaege
occ
:
define
OMIT_GETRUSAGE if s
y
s/resourc
e
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoolae
g
e
omega_
i
nt
e
rface/Makefile
.
a
m
:
put d
e
pending
libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
configur
e
.
in:
a
dd $(E
X
EEXT) to optio
n
al
o
c
c
for c
y
gw
i
n
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n Ver
d
o
o
laege
upd
a
te omega for MinGW compat
i
bility
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rd
o
olae
g
e
be
r
nstein/co
n
f
i
gure
.
in: add miss
i
ng AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verd
o
olaege
genfun
.
c
c
: add braces round extern "C" ty
p
edef
commit
|
commitdiff
|
tree
2008-12-30
Sve
n
Verdoolaeg
e
vec
t
or_part
i
tion_chambers:
computes
chamb
e
rs of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoo
l
aege
barvinok
.
c
c: remove unused
nono
r
thog
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verd
o
o
l
a
e
g
e
update pip
l
i
b for M
i
n
GW compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
upda
t
e polyli
b
for MinGW
compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n Verd
o
olae
g
e
fdstr
e
am
.
cc: d
o
n't (re)decla
r
e f
i
leno
if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolae
g
e
e
v
alue
.
c: in_domain: special-case 0D dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
e
rdoolaege
A
v
o
i
d use of sys/times
.
h header when not ava
i
l
a
ble
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
V
e
r
d
o
olaege
add g
n
u
lib
g
e
t
s
ubopt module for M
i
nGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdool
a
ege
READ
M
E: mention that G
i
NaC
i
s
a
lso
n
e
eded
f
or the O
m
e
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoola
e
ge
A
llow buil
d
of occ when us
i
ng
b
undled omeg
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
do
c
: add a refer
e
n
ce to a ma
s
ter th
e
sis
a
ctually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven
Ve
r
doolaeg
e
b
arvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
READM
E
: fix up installat
i
on
i
ns
t
ru
c
t
ion
s
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaeg
e
Add f
i
les gene
r
a
ted by biso
n
and
f
lex
to the distribution
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoolaege
u
p
date p
o
ly
l
ib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Ver
d
oolaeg
e
evalue
.
c: af
f
ine2evalue: reduce coe
f
ficients
commit
|
commitdiff
|
tree
next