repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
barvinok 0.31
2010-03-09
S
ven
V
erdoolaege
add isl_pw_qp
o
lyno
m
ial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rd
o
olaege
isc
c
:
a
dd sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoo
l
aeg
e
a
dd isl_pw
_
qpolynomi
a
l
_su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
add isl_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolae
g
e
update is
l
for isl_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ren
a
me evalue2isl
t
o isl_pw_qpolynomial_from_ev
a
lu
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
i
scc: detect
m
ore ki
n
ds of e
r
ro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
barvinok_enumerate: use is
l
duri
n
g the verificat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoo
l
aege
add isc
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
l
ae
g
e
a
dd is
l
_set_card
a
n
d isl_m
a
p_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd evalue2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
evalue_co
n
ver
t
: export as applicat
i
on
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ver
d
oolaege
b
a
r
vinok_enumerate_e: optionally use isl
t
o
project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
AX_SUBMODULE: accept "-" in modulen
a
me
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
b
a
r
v
inok_enu
m
erate: retu
r
n NaN for infinite p
r
o
blems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoo
l
aege
remov
e
_all_equalities: handle integr
a
lly, but not ratio
n
ally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoola
e
g
e
b
a
rvi
n
ok_enumerate_e: always retur
n
a
p
art
i
tion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en
Verdoolaege
barvin
o
k
_
enume
r
ate: check that dimension of
input inc
l
udes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoola
e
ge
p
a
rt
i
tion2enumeration: check tha
t
in
p
u
t
i
s really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Ver
d
oolaege
updat
e
pip
l
ib for ch
a
ng
e
in c
o
nfigure options
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoola
e
ge
updat
e
omeg
a
for configuratio
n
/com
p
ilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
la
e
ge
barvinok_coun
t
_with
_
opti
o
ns
:
check
return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
Polyhedron_Sample:
p
lug
m
emory l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
S
ven
V
erd
o
ol
a
ege
summ
a
te
.
c: a
d
d mi
s
s
i
ng include
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
topcom
.
c: suppor
t
newer
v
ersions o
f
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c
: compute_do
m
ain: skip vertices withou
t
domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope
_
minimize: tak
e
c
onstant te
r
m to be
zer
o
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
o
l
aege
doc: refl
e
ct th
a
t -
-
enab
l
e-fractional is n
o
w the def
a
ult
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
g
l
pk_polyhedron_aff
i
ne_sign:
spe
c
ial case 0D p
o
lyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoo
l
aege
Polyhedron_Insert_Colu
m
ns: fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
S
v
en Verdoola
e
ge
Polyhed
r
on_
F
acto
r
: fix upd
a
ting o
f
groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolae
g
e
c
onfigure
.
in:
u
se AX_SUBMODULE instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
v
e
n
Verd
o
olaege
remo
v
e
_eq
u
alities: use
Polyhe
d
r
o
n
_Pr
e
image ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
ba
r
v
inok 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add exper
i
m
enta
l
comparison between
o
ld
a
nd ne
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Ve
r
doolaege
le
x
mi
n
.
cc: remove "anachr
o
nism"
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n V
e
rdool
a
ege
doc: fix
t
y
p
o
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add some
l
ess co
m
mon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaeg
e
add "clever" Laurent e
x
pansion ba
s
ed summ
a
tio
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
la
e
ge
move
L
ast_Non_Zero t
o
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
extract out param
_
p
o
l
y
n
omia
l
fro
m
laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en
V
erdoolaege
e
xtract ve
r
tex_cone
from
laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
NTL_QQ
.
cc:
a
dd
stdio include for EOF hid
d
e
n i
n
NTL_io_vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
en Ver
d
o
olaege
up
d
ate polylib for
s
p
eed impr
o
ve
m
ent in in_do
m
ain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verd
o
ol
a
ege
update pip
l
ib
f
or d
i
stribution issue
commit
|
commitdiff
|
tree
2009-05-26
S
ven Verdoolaege
P
o
lyhed
r
on_Factor: fix merging of g
r
oups of c
o
lumns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
barvinok
_
e
numerate_series
:
don't check f
o
r revlex po
s
i
ti
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolae
g
e
(
t
)
co
u
nter: move cou
n
ter:
:
reset() up to
count
e
r_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
M
ak
e
file
.
am: keep be
t
ter track of
f
ailed test
s
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
e
rdoolaege
a
d
d
semigroup
_
hole
s
appl
i
cation
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line
_
Length:
handle 0
D
polytope in 1D spac
e
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
d
oolaege
gen_fun: add
i
s_ze
r
o metho
d
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoola
e
g
e
b
arvino
k
_enum
e
rate_e_series: remove equ
a
lities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2009-05-07
S
v
en V
e
r
doola
e
ge
barvinok_enumer
a
te_e_se
r
i
e
s: handle
a
ll exist
e
ntials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoo
l
aege
ser
i
e
s
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
ae
g
e
barv
i
nok_e
n
umerate_e_
s
eries:
handle all
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaeg
e
a
dd
t
e
s
t set from
the other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven
Verd
o
olaege
.
gitignore:
ignore
o
bj
e
ct files
commit
|
commitdiff
|
tree
2009-04-28
Sven Verd
o
olaege
genfunc
.
cc: paral
l
el_po
l
ytopes:
d
etect 0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
configure
.
in: s
e
t AC
_
CONFIG
_
MACR
O
_
D
IR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verd
o
olaege
add p
k
g
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyh
e
dron_
F
actor:
h
andle po
l
yhedra with a non-t
r
i
vi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
r
dool
a
ege
update piplib for
c
ha
n
g
e
in configure argum
e
nts
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
dool
a
ege
test
_
app
r
ox
.
c: add dummy
f
iel
d
in dummy tms s
t
ruct
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verdoolaege
config
u
re
.
in:
avoid int
r
oducing empt
y
ele
m
e
n
ts in
PKG_CON
F
IG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven
V
er
d
oolaege
occ: define O
M
IT
_
GETRUSAGE
i
f sys/resource
.
h cann
o
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolaege
omega_interface/Makefile
.
am: put depending librar
i
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Ver
d
ool
a
e
g
e
c
onfigure
.
i
n
: a
d
d $(EXEE
X
T
) t
o
optional occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Ver
d
oolaege
update omega
for MinGW c
o
mpatib
i
lity
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erd
o
olaege
b
e
rnstein/con
f
igure
.
in: add
m
i
ssing AC_
P
ROG_C
X
X
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verdoolaege
genf
u
n
.
cc: add b
r
a
ces round extern
"C" typedef
commit
|
commitdiff
|
tree
2008-12-30
S
ven Verdool
a
ege
ve
c
tor_partition_chambers: computes
c
hambers of
vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
b
a
rvin
o
k
.
cc: re
m
o
v
e u
n
u
sed nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolae
g
e
update p
i
plib
f
or MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n V
e
rdoolaege
u
p
date po
l
yli
b
f
o
r MinG
W
c
ompa
t
ibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
S
v
en
V
erdoolaege
fdstream
.
cc: don't
(
re)declare fileno if
it
'
s
a
macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoola
e
g
e
ev
a
lue
.
c:
in_domai
n
: special-ca
s
e
0D do
m
ains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoo
l
aege
Avoid
use o
f
sys/times
.
h header
w
h
en
n
ot available
commit
|
commitdiff
|
tree
2008-12-25
S
v
en
V
e
rdoolaege
a
d
d
g
nulib getsubo
p
t module fo
r
Min
G
W
commit
|
commitdiff
|
tree
2008-12-01
S
v
e
n
Verdoolaege
RE
A
DME: mention that
Gi
N
aC i
s
also needed
f
or the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
A
l
low b
u
ild of occ when using
bu
n
dle
d
omega
commit
|
commitdiff
|
tree
2008-10-28
S
v
en Ve
r
d
o
o
l
a
ege
doc: a
d
d
a
referenc
e
to a
m
as
t
er
t
hesis actual
l
y
u
s
ing
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verd
o
olaege
barv
i
nok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
READ
M
E:
fi
x
up i
n
stallation inst
r
uctions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
Add files g
e
ner
a
ted by
bison a
n
d flex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update po
l
ylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
o
o
la
e
g
e
upd
a
te piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verd
o
olaege
evalue
.
c
:
affine2evalue: redu
c
e coeffi
c
ients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verd
o
olaege
evalu
e
.
c: e
v
alue_l
e
vel_cmp: pro
d
uce m
o
r
e
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolae
g
e
d
o
c
:
ad
d
a
n
other pa
p
er r
e
fe
r
ring to the library
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n V
e
rdoo
l
aege
p
i
ece
w
ise_lst
.
h: avoid duplicat
e
parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Ver
d
o
o
laege
evalue_read
.
c: fix minor bugs
i
n tok
e
n
izer
commit
|
commitdiff
|
tree
2008-09-02
Sv
e
n
V
erdoolaege
up
d
ate o
m
ega for missin
g
f
i
les
i
n
distributi
o
n
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verd
o
ol
a
ege
barvino
k
_enumerate_e: a
v
oid infinite loop when
p
r
e
sent
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
doolaege
include om
e
ga submodu
l
e
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Ver
d
oolaege
move o
m
e
g
a s
u
bdir to omeg
a
_in
t
erface
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
N
T
L
_
QQ
.
cc: add stdlib include for abort
h
i
dde
n
in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
remove gnulib link-warning
m
o
dule complet
e
ly
commit
|
commitdiff
|
tree
next