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
V
erdoola
e
ge
barv
i
nok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: update support inf
o
rmation
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdo
o
laege
r
a
nd
o
m
vector:
double size of coef
f
i
ci
e
nts on
e
ach a
t
tempt
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
iscc: support transiti
v
e closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolae
g
e
update
i
s
l to ver
s
i
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
g
e
barvi
n
ok
_
e
.
cc: enumer
a
te_vd: remove unused
v
ariables
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaeg
e
evalue
.
c: Polyhedron_Ins
e
rt:
add m
i
ssi
n
g return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
evalu
e
.
c: reduce_ev
a
lue: remove un
u
sed variable
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
iscc: add
@
o
p
erator
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
iscc: add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
a
dd
i
sl_pw_qpolynomial_upper_bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
isc
c
: a
d
d su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
a
d
d
isl_pw_qpolynomial_s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
o
laege
add i
s
l
_
pw_qpo
l
yno
m
ial_t
o
_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
upd
a
te
isl for isl
_
pw_qp
o
l
ynomial_
f
o
r
e
ach_piece
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ve
r
doo
l
aege
r
ename
evalue2isl
t
o isl_pw
_
qpolynomial_from_eva
l
ue
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verd
o
olaege
iscc: det
e
c
t more k
i
nds of erro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
barvino
k
_enumerate
:
use
i
s
l during t
h
e veri
f
ication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add
i
scc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
add isl_set_ca
r
d and isl_map
_
c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd
e
value2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_convert: export
as
applic
a
tion
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaeg
e
ba
r
vinok_enumerate_e: optionally us
e
isl to pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
AX_SUB
M
ODULE: acce
p
t "-" i
n
m
od
u
lename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ba
r
v
i
nok_enumerate:
r
etu
r
n NaN f
o
r infinit
e
problem
s
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n Verdoolaege
remove_
a
ll_equalities: handle int
e
g
r
ally, but no
t
ra
t
ionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
ba
r
vinok_enumerate_
e
: al
w
ays
r
e
turn
a
pa
r
tit
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
ba
r
vi
n
ok_enumerate
:
check that
d
imension of input incl
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven
V
e
r
doolaege
partiti
o
n2e
n
umerat
i
on: check that input is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
up
d
ate p
i
plib for cha
n
ge in co
n
figu
r
e options
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
upda
t
e o
m
ega for configur
a
tion/compilation issu
e
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
barvinok_count_with_option
s
: chec
k
return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
Polyhedro
n
_
Samp
l
e: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoo
l
a
ege
summ
a
te
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdool
a
ege
top
c
om
.
c
:
supp
o
rt new
e
r
versions o
f
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolae
g
e
topcom
.
c:
co
m
pute_doma
i
n: skip
v
er
t
ices w
i
tho
u
t domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdool
a
ege
polytope_minim
i
ze: ta
k
e constant te
r
m to be
z
ero whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
ven V
e
rdoolaege
do
c
: ref
l
ect that --enable
-
fractional is
now
th
e
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
do
o
laeg
e
g
lpk_po
l
y
h
e
d
ron_affine_sign: s
p
ecia
l
case
0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Pol
y
hedron_
I
nsert_
C
o
lumns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdool
a
ege
Polyhedron_Fa
c
tor: fix upd
a
ting of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verd
o
o
laege
con
f
i
g
ure
.
i
n
:
use AX_SU
B
MODULE
i
nste
a
d of BV_S
U
BMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
Verdoola
e
ge
remove_equal
i
ties
:
use
Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en V
e
r
d
o
ola
e
ge
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
d
oc: a
d
d experime
n
tal comparison bet
w
e
e
n old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaeg
e
lexmin
.
cc: remove
"anachr
o
n
ism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
a
ege
d
o
c: add
s
ome
l
e
s
s
comm
o
n
.
s
ty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
ad
d
"c
l
ever" Laurent expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
l
aege
move L
a
s
t
_Non_Z
e
ro to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
extract out
p
aram_polynomial from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
Verdoola
e
ge
e
x
tract
v
er
t
ex_cone f
r
om lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
N
TL_QQ
.
cc: add stdio inc
l
ude
for EOF hid
d
en in NTL_io
_
vecto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
e
n Verdo
o
laege
update polylib for speed improvemen
t
i
n in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Verdoolaege
u
p
date piplib for di
s
tribu
t
ion
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Po
l
yhedron_Fact
o
r
: fix merg
i
ng of groups of col
u
m
n
s
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ve
r
doolaeg
e
barvinok_e
n
umerate_
s
e
ries: don't ch
e
c
k
for
revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
(t)co
u
nter
:
mo
v
e
counter
:
:reset() up to count
e
r_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Ma
k
ef
i
le
.
am: keep better
t
rack
of fail
e
d te
s
ts
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
add
s
e
m
igroup_ho
l
es applic
a
tion
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
a
e
g
e
Line_
L
ength: handl
e
0D polyt
o
pe in 1D
s
p
ace
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
a
ege
gen_fun: add is_zero meth
o
d
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
barvin
o
k_e
n
umerate_e
_
series: remove equaliti
e
s in eac
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arvinok_enumerate_
e
_series
:
handle all ex
i
stentia
l
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
series
.
cc: ma
k
e projec
t
static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
barvinok_en
u
merate_e_s
e
ries:
hand
l
e all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
a
d
d t
e
st
set fr
o
m t
h
e
o
t
h
e
r i
t
sl2008
p
a
p
er
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdool
a
ege
.
g
itig
n
ore: ignore ob
j
ect files
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
g
en
f
u
n
c
.
cc: para
l
l
el_polyto
p
es: detect 0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Ve
r
doolaege
configur
e
.
in: set AC_CONFIG
_
MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Ver
d
oolaege
add
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Poly
h
edron_Fa
c
tor: handle polyhedra wi
t
h a non
-
tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
u
p
date pipli
b
for change in configure argum
e
nts
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdool
a
ege
t
est_appro
x
.
c
: add dummy field in
dummy tms structur
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verdoolaege
confi
g
ure
.
in:
a
void int
r
odu
c
i
n
g empt
y
eleme
n
ts in
P
KG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
oc
c
: defin
e
O
MIT_GETRUSAGE if sys/resource
.
h
c
a
n
not
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ve
n
Verdo
o
la
e
g
e
ome
g
a_
i
nterface/Makefile
.
am: put depending
l
ibraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolae
g
e
co
n
f
i
g
ure
.
in
:
a
dd $
(
EXEEXT
)
t
o
o
p
tiona
l
occ f
o
r cygwin
commit
|
commitdiff
|
tree
2009-02-09
S
v
en V
e
rdoolaege
u
pda
t
e
omeg
a
for MinGW
c
ompati
b
ility
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
r
d
oolaege
bernste
i
n/configur
e
.
in: add miss
i
ng AC_PR
O
G_C
X
X
commit
|
commitdiff
|
tree
2009-02-04
Sven Ve
r
d
oola
e
ge
genf
u
n
.
c
c
: ad
d
braces rou
n
d
extern "
C
"
t
ype
d
e
f
commit
|
commitdiff
|
tree
2008-12-30
Sven
V
e
rdoolaege
v
e
c
to
r
_
p
ar
t
i
tion_chamber
s
: computes ch
a
mbers of
vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven
Verd
o
o
l
a
eg
e
barvinok
.
cc
:
remo
v
e
unu
s
ed nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verd
o
olaege
update p
i
plib for
M
in
G
W compa
t
ibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update p
o
lyl
i
b for
MinGW comp
a
tib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoolaege
fdstre
a
m
.
cc: don't (re)declar
e
fileno if it's a m
a
cro
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
o
o
laege
evalue
.
c: in_domain: spec
i
a
l-case
0
D
d
o
m
ain
s
commit
|
commitdiff
|
tree
2008-12-25
S
v
en
Verdool
a
ege
Avoid u
s
e o
f
sys/times
.
h heade
r
wh
e
n not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolae
g
e
add g
n
ulib
getsubopt
modul
e
f
o
r MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
ven Ve
r
doo
l
aege
READ
M
E:
m
ention t
h
at
G
i
N
aC i
s
also neede
d
for
th
e
Om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdoolaege
Al
l
ow build of occ
w
hen using bundl
e
d omega
commit
|
commitdiff
|
tree
2008-10-28
S
ven V
e
rdoolaege
doc: add a reference to a master
t
hesis actually
u
sing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaege
barvin
o
k 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
g
e
README: fix
u
p
i
n
s
t
allatio
n
i
nstruction
s
commit
|
commitdiff
|
tree
2008-10-16
S
v
en
V
erdoolaege
Add files gener
a
ted
by bison and
fle
x
to
t
he distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
u
p
d
a
t
e
polyl
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
update pip
l
ib
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
V
erdoo
l
aege
evalue
.
c: aff
i
ne2evalue: reduce coe
f
ficients
commit
|
commitdiff
|
tree
next