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 Verdoolaege
barvinok
0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
A
UT
H
O
RS:
u
pdate s
u
pport information
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaeg
e
randomvec
t
or: double s
i
ze
of coefficients o
n
each attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
g
e
i
s
c
c
: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
erdoolae
g
e
update isl to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
bar
v
i
n
ok_
e
.
cc: e
n
umerate_vd: re
m
ove unused vari
a
bles
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
e
v
alue
.
c:
P
oly
h
edron_Insert: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
eva
l
u
e
.
c: re
d
uce_eva
l
ue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
add
@ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
i
scc: ad
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
add isl_pw_q
p
olynomial_u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoo
l
aege
isc
c
: add sum
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdo
o
lae
g
e
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoolaege
add i
s
l_pw_qpolyno
m
i
a
l_
t
o_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
er
d
oo
l
aege
update isl for isl_pw_qpolyn
o
mia
l
_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
rename ev
a
lue2isl to isl_pw_qpolynom
i
al_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven
Verd
o
o
l
aege
iscc: detect m
o
re kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdool
a
ege
b
a
rvino
k
_
e
numerate:
u
se isl during t
h
e
v
erif
i
cation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven
V
e
r
doolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d isl_
s
et_card
a
nd isl_m
a
p_car
d
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
ad
d
evalue2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
S
ven
Verdoolaege
evalu
e
_convert: export
as app
l
icat
i
on
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
b
arvinok_
e
nu
m
erate_e: option
a
l
ly use i
s
l to pro
j
e
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolae
g
e
add i
s
l sub
m
odule
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
AX_
S
UBMODULE: accept "-" in
m
odulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oo
l
aege
barvi
n
o
k_
e
numera
t
e: retu
r
n
NaN for i
n
finite
p
r
o
b
lem
s
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
V
erdoola
e
ge
remove_all_equalities: handle integra
l
ly, b
u
t no
t
r
a
tionall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
bar
v
inok_enumerate_e:
a
lways retur
n
a
partiti
o
n fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdo
o
laege
ba
r
vinok_enumerate: c
h
e
c
k that di
m
e
nsion
of in
p
ut
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
partition2
e
numeration:
c
heck that in
p
ut is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
erdo
o
laege
update
p
iplib for
c
hange i
n
configu
r
e opt
i
ons
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oo
l
aege
update omega for configu
r
a
t
i
o
n/compilation iss
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barvinok_
c
ount_w
i
th_optio
n
s
: check ret
u
rn value o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
rdoolaege
Polyh
e
dron_Sampl
e
: plug
m
emory le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
dool
a
ege
summate
.
c
:
a
d
d mis
s
ing include
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
e
rdo
o
laege
t
opcom
.
c: suppo
r
t n
e
w
e
r v
e
rsions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
topcom
.
c:
c
ompute_dom
a
in: s
k
ip vertices w
i
thout
domain
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verdoolaege
poly
t
ope
_
min
i
mize: take constant term to be z
e
r
o
whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doo
l
ae
g
e
doc: reflect
th
a
t --enable-fracti
o
nal is now t
h
e default
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verdoola
e
ge
glpk_
p
olyhedr
o
n_affine_
s
i
g
n: special case
0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoo
l
aeg
e
P
o
lyhedron_Insert_
C
olumns:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaeg
e
Polyhedron_F
a
ct
o
r: fix upd
a
t
ing of g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
V
e
rdoolaege
conf
i
gure
.
in: use AX
_
SU
B
MODULE instea
d
of BV_SUBM
O
D
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sven
V
erd
o
olaege
remove
_
e
q
ualitie
s
:
u
se Pol
y
h
edron
_
Preima
g
e
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
barvin
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
do
c
:
a
d
d
expe
r
i
m
e
ntal com
p
aris
o
n between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexmin
.
cc: re
m
ove "anachronism
"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Ve
r
doolaege
doc: add some less
c
o
m
mon
.
sty file
s
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Ver
d
oolaege
ad
d
"clever" L
a
ur
e
nt expansion based sum
m
ation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
ge
move
L
ast_Non_Zero t
o
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
r
do
o
la
e
ge
ex
t
ract out pa
r
a
m_
p
o
lynomi
a
l fr
o
m
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
e
xtract
ve
r
tex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven
V
e
rdoolaege
update
po
l
ylib for speed improve
m
ent
i
n in_do
m
a
i
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Verd
o
olaeg
e
update p
i
plib for d
i
s
tributio
n
iss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verd
o
olaege
Polyhedron_F
a
ctor: fix merging
of gro
u
ps
of columns
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdo
o
l
a
e
ge
b
arvinok_enu
m
erate_series: don
'
t check
f
o
r
revlex p
o
sitive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
(t)
c
ounter: move counter::r
e
set() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Ma
k
efile
.
am
:
ke
e
p bett
e
r track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add
semigroup
_
holes applic
a
tion
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
Line_Leng
t
h: handle 0D po
l
ytop
e
in 1D spac
e
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_fun: add is_z
e
ro
meth
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ve
r
d
o
o
laege
barvinok_en
u
m
erate_e_series: remove equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdool
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
do
o
laege
barvinok_
e
numer
a
te_e_series: h
a
ndle all
e
x
i
s
tentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ve
r
d
o
ola
e
ge
se
r
ies
.
cc: m
a
ke project
s
t
a
t
ic
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
bar
v
inok_en
u
m
erate_e
_
se
r
ies:
h
andle all eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
add tes
t
s
e
t from the othe
r
itsl2008 pa
p
er
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron_F
a
ctor: handle polyhedra with a non-tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoo
l
aege
update pip
l
i
b
for c
h
ange in confi
g
ure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
r
doolaege
test_a
p
prox
.
c: add dummy fie
l
d
in d
u
mmy tms st
r
uct
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ve
n
V
erdoolaege
configure
.
in: avoid int
r
o
ducing
empt
y
el
e
ments in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
o
c
c:
def
i
ne OMIT_GETRUSA
G
E if sys/res
o
urce
.
h
can
n
ot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verd
o
o
laege
omega_i
n
t
e
rface/Ma
k
e
f
ile
.
am: put dep
e
ndin
g
libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolae
g
e
configure
.
in: add $(EXEEXT) t
o
o
ptional occ for
c
ygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
updat
e
o
m
ega
f
o
r Min
G
W compati
b
i
lity
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaege
bernst
e
in/configur
e
.
in: add
mis
s
ing AC_PRO
G
_
CX
X
commit
|
commitdiff
|
tree
2008-12-30
Sven Ver
d
o
o
laege
vector_partition_cha
m
bers: computes cham
b
ers
of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
S
v
en Verdoolaege
barvi
n
ok
.
c
c
: remove unused n
o
northo
g
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
laege
update piplib for MinGW compatibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update polylib f
o
r MinGW
compa
t
ibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
d
o
olaege
f
d
s
tream
.
cc:
d
on't (re)declare fileno if it's a
m
ac
r
o
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
doo
l
aege
evalue
.
c: in_
d
o
main: spe
c
ial-case
0D doma
i
ns
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
Avo
i
d use of sys/t
i
mes
.
h header when not availab
l
e
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnulib getsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdoolaege
R
E
ADME:
menti
o
n tha
t
GiNaC is also
n
e
e
ded for
t
he Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow build o
f
o
cc when using b
u
ndled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc: add a re
f
e
r
ence to a mast
e
r t
h
esis actu
a
lly u
s
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barv
i
n
ok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoola
e
ge
RE
A
D
ME: fix up in
s
tal
l
ation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
rdo
o
laege
A
dd files g
e
nera
t
ed by b
i
son and flex to the dis
t
ribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
u
p
da
t
e pip
l
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
value
.
c: aff
i
ne2evalue: reduce coeffici
e
n
t
s
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n Verd
o
olaege
evalue
.
c: evalue_le
v
el_cm
p
: produce mo
r
e
consis
t
ent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
en Verdoolaege
doc: add another paper r
e
ferrin
g
to the library
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Ver
d
oolaege
pie
c
ewise_lst
.
h
:
avoid dup
l
icate parameter n
a
me
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdoolaege
e
value_
r
ea
d
.
c: fix minor b
u
gs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Ver
d
oolaege
update omega
f
o
r
missing
f
iles in distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
barvinok_
e
num
e
rate_e: avoid infinite l
o
op
whe
n
pre
s
ented
.
.
.
commit
|
commitdiff
|
tree
next