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
iscc: add "ub"
2010-03-09
Sven Verdoolaeg
e
i
scc: add "
u
b"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
add is
l
_
pw_qpolynomia
l
_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
iscc:
add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add is
l
_
p
w_qpolyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d is
l
_pw
_
qpolyn
o
mial_to_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdoolaege
update isl for isl_pw_qpolynomi
a
l_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoo
l
aege
r
ena
m
e e
v
a
lue2isl
to isl_pw_qp
o
lyn
o
mial_from_
e
valu
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
is
c
c: detect m
o
re ki
n
d
s
of
e
r
rors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
b
arvinok_enumerate: u
s
e
i
s
l d
u
ring t
h
e verific
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoola
e
ge
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add isl_set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
ae
g
e
a
dd evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_con
v
ert:
e
x
port as app
l
ication
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aeg
e
barvin
o
k_e
n
umerate_e: optionally u
s
e isl
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ve
r
doolaege
add isl su
b
module
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMO
D
ULE:
a
ccept "-" in
m
odulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doola
e
g
e
barvinok_enum
e
rate: return NaN for
i
n
f
i
nite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven V
e
rdo
o
laege
re
m
ove_all_equalitie
s
: handle
i
ntegrally, but not ratio
n
all
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
b
arvin
o
k_enum
e
rat
e
_e
:
always return a
parti
t
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
barvinok_enumerate: c
h
eck that dimens
i
on of
input
i
nclu
d
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
partition2en
u
m
e
ration: check that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
e
n
Verdoolaege
u
pdate
p
iplib for ch
a
ng
e
in confi
g
ure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
update o
m
ega for configuratio
n
/com
p
ilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
barvi
n
ok_c
o
u
n
t_wi
t
h_option
s
: chec
k
ret
u
rn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
Po
l
yhedron_Sample: plug memor
y
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolae
g
e
summate
.
c
:
add
m
issing include
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
topcom
.
c: supp
o
rt newe
r
versio
n
s of TOPC
O
M
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdool
a
ege
topc
o
m
.
c: compu
t
e_do
m
ain:
sk
i
p ver
t
ices
w
i
t
h
out domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
polytope_minim
i
ze: take constant term to be ze
r
o when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
doc: reflect
t
hat
--enable-fractional
i
s now the defau
l
t
commit
|
commitdiff
|
tree
2009-11-12
S
ven Ver
d
oolaeg
e
glpk_polyhedron_affin
e
_sign: special c
a
se 0D pol
y
he
d
ra
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
Poly
h
edron_Insert_
C
o
lumns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdo
o
l
aege
P
ol
y
h
e
dron_Factor:
f
i
x updating
o
f groups
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Verd
o
olaege
config
u
re
.
in: use AX_SUBMODULE instead of BV_SUBMO
D
ULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_e
q
u
a
l
i
ti
e
s
:
u
se Polyhe
d
r
on_Preimage
i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
barvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Ve
r
do
o
laege
doc: ad
d
experimental comparison bet
w
e
e
n
old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaeg
e
lex
m
in
.
cc: remove "an
a
c
hronism
"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
doc: add some less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoolaege
add "clever" Laurent expan
s
ion b
a
sed
summ
a
tio
n
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoola
e
ge
move
Last_Non_Zero
to
u
til
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
V
erdoolaege
e
x
tract out par
a
m_
p
o
lynomial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract v
e
rtex_con
e
from
l
a
uren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sv
e
n Verdoolaege
upd
a
t
e polylib
f
or spe
e
d
improvement in in
_
d
oma
i
n
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdoolaege
u
pdate piplib for d
i
stribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven
V
erdoola
e
ge
Polyhedr
o
n_Factor: fi
x
m
erging of
gr
o
ups of column
s
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doola
e
ge
barvinok_enumerate_series: don
'
t
ch
e
ck for revl
e
x positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Ver
d
oolaege
(
t
)counter: mo
v
e counte
r
::rese
t
() up to count
e
r_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doola
e
ge
M
a
kefi
l
e
.
am: keep bet
t
er t
r
ack
o
f fa
i
led test
s
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doola
e
ge
add semigr
o
up_holes a
p
plication
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolae
g
e
Line_Length:
h
andle 0D
p
o
l
y
t
o
pe in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven
Ve
r
doolaege
gen_f
u
n: add
i
s_zero m
e
thod
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
barvinok_enumerate_e_series:
r
emo
v
e eq
u
alities i
n
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
barvin
o
k_e
n
umerate_e_serie
s
: handle all
e
xistentia
l
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
eg
e
s
eries
.
cc
:
make pro
j
ect
s
ta
t
ic
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
e
g
e
barvinok_enum
e
r
at
e
_e
_
s
e
r
i
e
s
: han
d
l
e
all
equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
a
dd test set from the other itsl2
0
08 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron_
F
ac
t
o
r: han
d
le po
l
y
h
edra w
i
th
a
non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
en Verdool
a
e
g
e
up
d
at
e
p
i
pl
i
b for ch
a
nge in configu
r
e arg
u
ments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
test_appro
x
.
c: a
d
d
dummy
field in dummy tms
s
tructure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolaege
configure
.
i
n
: avo
i
d introducin
g
empty elem
e
nts in
P
KG_CON
F
IG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Ver
d
ool
a
ege
occ: define OMIT_GETRUS
A
GE if sys/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
o
m
ega_interfa
c
e/Makefile
.
a
m
:
p
ut
d
epending li
b
raries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laeg
e
con
f
igure
.
in:
ad
d
$
(
EXEEXT)
t
o
o
ptional occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
update omega for MinGW compatibi
l
ity
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoola
e
g
e
b
e
r
nstein/configure
.
in:
a
d
d missing AC_PROG
_
CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoolaege
vector_partition_chambers: c
o
mp
u
tes
c
h
ambers of
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n Verdoolaege
b
a
rvinok
.
cc: re
m
ove unus
e
d nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update piplib fo
r
M
i
n
G
W
c
ompatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
update polylib fo
r
MinGW co
m
patibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
fds
t
r
eam
.
cc: don't (re)declare fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: in_domain:
special-case 0D d
o
mains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
o
l
aege
A
v
oid us
e
of sy
s
/t
i
m
e
s
.
h
header w
h
en not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
doo
l
aege
a
d
d gn
u
lib get
s
ubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Ve
r
doolaege
READM
E
: mention
t
hat GiNaC i
s
also
n
ee
d
e
d fo
r
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow build
o
f occ when
usi
n
g bundle
d
omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
e
rdoo
l
aege
doc:
a
d
d a
reference
to
a master thesis actuall
y
usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n
V
er
d
ool
a
e
ge
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
V
e
rdoolaege
README: fix up ins
t
allation instructions
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n Verdool
a
ege
A
dd
f
iles gene
r
ated
b
y bison
and flex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
S
ven
Verdoolae
g
e
up
d
at
e
polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
o
l
aege
u
p
da
t
e pipl
i
b
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdoolaege
evalue
.
c
: affine
2
evalue: reduc
e
coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verd
o
ola
e
ge
evalue
.
c: e
v
a
lue_lev
e
l_cmp: produce m
o
re consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
do
c
: add a
n
ot
h
er pap
e
r referring to the
li
b
rary
commit
|
commitdiff
|
tree
2008-09-16
S
v
en Verdool
a
ege
piecewise_lst
.
h: avoid d
u
p
licate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven
V
e
r
d
o
ola
e
ge
evalue_r
e
ad
.
c: fix
mino
r
b
ug
s
in tok
e
nizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolae
g
e
u
p
date omega
for m
i
ssing files in dist
r
ibution
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
V
erdoolaege
barvinok_
e
n
u
mera
t
e_e: avo
i
d
infinite loop when pre
s
e
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n
Verdool
a
ege
incl
u
de omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
move om
e
ga su
b
d
i
r t
o
omega_inter
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
N
T
L_QQ
.
cc: add std
l
ib includ
e
for abort hidden i
n
N
T
L_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolae
g
e
rem
o
ve gn
u
lib link-warn
i
ng module completely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
lex
m
in
.
cc:
find and sort ar
e
in s
t
d::
n
amespace
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
rdoolaeg
e
lexmin
.
cc:
a
voi
d
use of ty
p
e
of
commit
|
commitdiff
|
tree
2008-08-28
S
v
e
n Verdoolae
g
e
4
c
oins
.
c
c: remove
d
ead code
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdool
a
ege
t
es
t
lib
.
cc: add missing re
t
urns
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
workaround silly su
n
compil
e
r errors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Avoid use of
t
he
m
ak
e
-C option
commit
|
commitdiff
|
tree
next