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 Ver
d
oolaege
u
p
date isl
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
barvi
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erd
o
o
laege
AUTHORS: update suppor
t
information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
rand
o
mvec
t
or: doubl
e
siz
e
of
c
oef
f
ici
e
nts on each attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
iscc: su
p
port transitive
c
los
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaeg
e
u
pdate isl to versio
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoo
l
aege
barvinok_e
.
cc: en
u
m
erate_v
d
:
r
em
o
v
e
u
n
used variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
evalu
e
.
c:
P
olyhedron
_
Insert:
a
dd m
i
ssing return type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaeg
e
e
v
alue
.
c: redu
c
e_e
v
a
l
ue: rem
o
ve u
n
use
d
v
ariable
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
i
scc: add @
operator
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
d
oolaege
iscc: add "ub
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add isl_pw_qpolyn
o
m
i
al_upper
_
bound
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdo
o
lae
g
e
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpol
y
nomia
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_pw_q
p
olyno
m
ial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
update
isl for isl_pw_qpolynomial_fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
oolaeg
e
re
n
ame
e
va
l
ue2isl to isl_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoola
e
ge
i
s
cc:
detect more
k
inds of er
r
o
rs
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
barv
i
n
ok_enumerate: u
s
e isl
during the v
e
rificati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
add is
c
c
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
add isl_set_ca
r
d and i
s
l
_
map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
l
a
ege
add
eva
l
ue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
evalue_con
v
ert:
e
xport
a
s
a
pplic
a
tio
n
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
erdoolaege
barvi
n
ok_enum
e
rate_e: optionally use
i
s
l to pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
e
g
e
add isl submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
er
d
oolaege
AX
_
SUBMODULE:
accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
barvinok_enumerate: ret
u
r
n
N
aN for
i
n
f
inite
pro
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven
Verdoo
l
aege
remov
e
_all_
e
qualities: ha
n
dl
e
integrally, but not ratio
n
ally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdool
a
eg
e
b
a
rvino
k
_enume
r
ate
_
e
: a
l
wa
y
s return a part
i
tio
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
e
n Verdoo
l
aege
barvinok_en
u
merat
e
: check
t
hat di
m
ens
i
o
n of input i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoolaege
partition
2
en
u
me
r
ation:
check
that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
update piplib for c
h
ang
e
in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
update omega
f
or
configuration/compilatio
n
issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barvinok_
c
ount_
w
ith_op
t
io
n
s:
check
r
eturn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aege
Polyhedron_Sample: plug me
m
ory
l
eak
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
summate
.
c: a
d
d
m
issin
g
include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
t
o
p
c
om
.
c: support newer versions of
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
topcom
.
c
:
c
ompute_d
o
m
ain: sk
i
p
vertices w
i
t
hout do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
d
oc: reflec
t
th
a
t --enable-fractional is
now
t
he de
f
a
ult
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
glpk_p
o
l
y
hedron_affine_sign: specia
l
case 0D polyh
e
d
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
Polyhedron_
I
n
s
ert_Column
s
:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
V
e
rdoolaege
Po
l
yhedron_
F
ac
t
or: fix up
d
a
ting of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoo
l
aege
confi
g
ure
.
i
n
:
u
se
A
X_S
U
BMODULE instead of BV
_
SU
B
MODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equalit
i
es: u
s
e Polyhe
d
ron_Preimag
e
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaeg
e
barvin
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
do
o
laege
doc: a
d
d
e
xp
e
rimental compari
s
on between
o
l
d a
n
d
ne
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
l
ae
g
e
lexmin
.
cc: r
e
move "ana
c
h
r
oni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
doc
:
add s
o
me
l
ess common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
oolaege
add "clever
"
Lau
r
ent e
x
pan
s
ion based summation
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n Ve
r
do
o
laege
move Last_Non
_
Zero to u
t
il
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
e
xtr
a
ct out param_polyno
m
i
a
l
f
rom laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract
vertex_c
o
ne
f
rom laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdool
a
ege
update
po
l
ylib f
o
r speed improv
e
ment in i
n
_
d
o
m
ain
commit
|
commitdiff
|
tree
2009-06-12
Sven Ve
r
doolaege
update pipli
b
for
d
i
s
tribution is
s
ue
commit
|
commitdiff
|
tree
2009-05-26
Sv
e
n Verdoola
e
ge
Polyhedron_Factor: fix merg
i
n
g
of groups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
(t)counter: move
c
ounter::
r
eset() up to count
e
r_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaeg
e
Makefile
.
am: ke
e
p
b
e
t
ter trac
k
of fa
i
led tests
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoo
l
aeg
e
Li
n
e_Length: handle 0D
polytope in
1
D space
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Po
l
yhedr
o
n
_
Factor: handle
p
ol
y
hedra wi
t
h a non-triv
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoo
l
aege
u
pdate piplib for change in configure arg
u
ments
commit
|
commitdiff
|
tree
2008-12-27
Sven
V
erdoolaege
ba
r
vinok
.
cc:
r
emove unused
n
onorthog
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoolaege
u
p
date pi
p
lib for MinGW compatibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verd
o
ol
a
ege
update po
l
ylib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
ev
a
l
u
e
.
c: in_do
m
a
in: spec
i
al-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Verdo
o
laege
Av
o
id use of
s
ys
/
tim
e
s
.
h header w
h
en
n
ot
a
vailable
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoola
e
ge
a
d
d
gnu
l
ib ge
t
subopt mod
u
le for Min
G
W
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdo
o
laege
READ
M
E: me
n
tion that
G
iNaC is also needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
V
e
rdoolaeg
e
Allow build of o
c
c
when usin
g
bundled omega
commit
|
commitdiff
|
tree
2008-10-28
S
v
en
V
e
rdoola
e
ge
doc:
a
dd a refer
e
n
c
e
to a
mast
e
r thes
i
s actuall
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Ver
d
oolae
g
e
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ver
d
oolaege
README: fix u
p
installation instruct
i
ons
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
g
e
Add fi
l
es
generated by
bison and
flex to
t
h
e dist
r
ibu
t
ion
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
update
po
l
ylib
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
r
d
oolaege
update pipli
b
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoo
l
aege
evalue
.
c: affine2evalue:
r
educe coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Ve
r
doolaege
evalue
.
c: evalue_level_cmp:
produc
e
more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sv
e
n
Verdool
a
eg
e
doc
:
add a
n
ot
h
er paper refe
r
ring
t
o the library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdool
a
ege
p
i
ecewise_lst
.
h: a
v
o
i
d
d
uplicate
p
a
rame
t
e
r name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdo
o
laege
evalu
e
_r
e
ad
.
c
:
f
i
x
minor bug
s
in tokenize
r
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoolaege
update
o
m
ega fo
r
m
i
ssing f
i
l
e
s in
distribution
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n
Ver
d
o
o
laege
barvin
o
k_enu
m
erate_e
:
avoi
d
i
nfinite l
o
op w
h
e
n
presen
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
m
ove
omega
su
b
dir to omega_inte
r
face
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
NT
L
_QQ
.
cc: ad
d
stdlib include
f
or abort hidd
e
n i
n
N
TL_ve
c
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
re
m
ove gnulib link-warning modul
e
com
p
letely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verd
o
o
laege
update polylib wit
h
extra field in Param_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven
Verd
o
olaege
u
p
date gnulib function to last pre-GPLv3 ve
r
s
ion
commit
|
commitdiff
|
tree
2008-07-02
Sv
e
n Verdo
o
laege
enum
e
rator::hand
l
e: rep
l
a
ce incorrect
d
elete by free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdoolaege
upda
t
e piplib for cor
r
ected Urs_parms handli
n
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaege
configure: use
cor
r
e
c
t header f
i
les
i
n case of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
S
v
e
n
Verd
o
olaeg
e
omega/occ: only open
d
ebug
o
utp
u
t
file if
the
r
e is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven
Verdoolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdool
a
ege
add ed
i
tors to IT
S
L
papers
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
bar
v
inok 0
.
27
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdo
o
laege
add some tes
t
sets f
r
om its
l
2
008 pape
r
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
e
rdoolaege
d
o
c: add l
a
test (a
c
cept
e
d) pu
b
li
c
atio
n
s
commit
|
commitdiff
|
tree
2008-05-04
Sven Verdoola
e
ge
Makefile
.
a
m
: add
s
ecti
o
n
_ar
r
ay
.
h to distribu
t
i
on
commit
|
commitdiff
|
tree
2008-05-04
Sven
V
erdool
a
e
ge
normalizat
i
o
n
.
c
:
compute_shifts: r
e
move redun
d
ant return
commit
|
commitdiff
|
tree
2008-05-04
Sven Ve
r
doolaege
move
Free_P
a
ramNames po
l
ylib
and make param name
s
co
n
st
.
.
.
commit
|
commitdiff
|
tree
2008-05-04
S
v
en Verdoolaege
occ: ad
d
interface
t
o barvin
o
k_summate
commit
|
commitdiff
|
tree
next