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
genfun.cc: fix printf format
2010-03-09
Sve
n
Verdoolaege
update isl for i
s
l
_
pw_q
p
olyn
o
mial_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
g
e
rename evalue2is
l
to
isl_pw_qp
o
lyno
m
ial_fr
o
m_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
v
en V
e
rdo
o
laege
iscc
:
detect more
kinds
o
f errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
barvinok_enum
e
rate: use
i
sl durin
g
the v
e
rific
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
ola
e
ge
add
isc
c
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verd
o
ola
e
ge
add
i
sl_set_c
a
rd
a
n
d
isl_map_c
a
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdool
a
ege
add ev
a
lue2is
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_conver
t
: expor
t
as appli
c
ation
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
a
r
v
inok_enumerate_e: opt
i
onall
y
use
i
sl to proj
e
ct
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
s
l
submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
o
laege
AX_SU
B
MODULE: accept
"
-
"
in modu
l
en
a
me
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
b
arvinok_enumerate: r
e
turn NaN for infinit
e
problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaeg
e
remo
v
e_all_
e
qualitie
s
: han
d
le integrall
y
, bu
t
not r
a
ti
o
n
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Ver
d
oolaege
barv
i
nok_enumerate_e
:
always return a partition
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ve
n
Verd
o
olaege
bar
v
inok_
e
numerate: check that dimension
of inp
u
t includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
o
o
laege
partition2e
n
u
m
eration: check that input
is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
Verdoola
e
ge
update piplib for
c
h
ange i
n
c
on
f
igure
o
ptio
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
update omega
f
or configuration
/
compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
barvinok_cou
n
t_w
i
th_opt
i
ons:
c
heck return
value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doola
e
ge
Polyhedron_Sam
p
le:
plug memory
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
o
l
aege
summat
e
.
c: ad
d
missing inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
top
c
om
.
c: s
u
pp
o
r
t
newer v
e
r
s
i
ons of TO
P
COM
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Ve
r
dool
a
ege
topcom
.
c: co
m
pute_do
m
ain: s
k
ip vertic
e
s
with
o
ut domain
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
V
e
rd
o
olaege
polytope_m
i
nim
i
z
e
:
take constant term to be zer
o
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en
Verdoola
e
ge
doc:
re
f
lect tha
t
--
e
nable-frac
t
iona
l
is now
t
h
e default
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n V
e
rdoolaege
g
lp
k
_poly
h
edron_affine_si
g
n: special case 0D polyhed
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
Polyhedron_Insert_Columns
:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n Verdoola
e
ge
Polyhed
r
o
n
_
F
actor: fix up
d
ating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven
Verdo
o
l
ae
g
e
con
f
igure
.
in: use AX_SU
B
MODULE instead of BV
_
S
U
B
MO
D
U
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven
Ve
r
doolae
g
e
r
emove_equalities: use Poly
h
e
d
ron_Prei
m
age instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add experimenta
l
compa
r
i
s
o
n be
t
ween old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n V
e
rdoolaege
le
x
min
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
d
o
c: a
d
d some less common
.
sty
files
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdool
a
e
g
e
add "cle
v
er" Laurent
expansion based
s
u
mmation
commit
|
commitdiff
|
tree
2009-07-20
S
v
en
V
erdoolaege
move L
a
st_Non_Z
e
ro
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoola
e
ge
extrac
t
o
ut pa
r
am_pol
y
nomial from
laur
e
nt
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Ver
d
oolaege
e
xtract verte
x
_c
o
ne from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sve
n
Verdool
a
ege
update
p
o
lyli
b
for speed improve
m
ent in
in_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Verdoolaege
update piplib for dis
t
ribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdool
a
ege
Polyhedron
_
Factor: fix merging of groups
o
f colu
m
n
s
commit
|
commitdiff
|
tree
2009-05-07
S
ven
Verdo
o
laege
barvinok_enumerate_series: don't check for re
v
lex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)counter: move counter::reset() up
to co
u
n
ter_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Ve
r
doolaege
Makefile
.
a
m
: k
e
ep bett
e
r track of failed
t
e
s
t
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
add semigroup_holes
application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Le
n
gth: handle 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Verdoolaege
ge
n
_fun: add is_zero met
h
od
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
V
e
rd
o
o
laege
barvinok_enumer
a
te_e_series: r
e
move equ
a
lit
i
es in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arvinok_enumer
a
te_e_series: handle all exi
s
te
n
tials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
er
d
oolaege
ser
i
es
.
cc
:
make proje
c
t static
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
barv
i
nok_enumera
t
e_e_series: handle
all equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Verdoola
e
ge
add test set from
th
e
other i
t
sl2008 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyh
e
d
ro
n
_
F
a
c
tor: handl
e
p
o
lyhedra with
a n
o
n-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Verdoolaege
update
piplib fo
r
c
h
ange in co
n
figure argu
m
ents
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test_approx
.
c: add
d
ummy fi
e
l
d
in
dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdo
o
laege
con
f
i
g
u
r
e
.
in: avoid introducing
e
mpty el
e
ments in
PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
occ:
d
efine
O
M
IT_GETRUSAGE if sys/
r
esou
r
ce
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omega
_
in
t
e
r
fa
c
e/Makefile
.
am: put
d
ep
e
nding librarie
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
con
f
igure
.
in: add $(EXEEXT)
to optional occ
for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
update omega
f
or MinGW compati
b
ility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
bernstein/confi
g
ure
.
i
n
: add missing AC_PR
O
G_
C
XX
commit
|
commitdiff
|
tree
2008-12-30
Sv
e
n
Verdoolaege
vector_
p
a
rtition_chambers:
c
ompu
t
es
c
hambers
o
f vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
bar
v
inok
.
cc: remove unused nono
r
thog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaeg
e
update piplib for MinGW compati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolaege
up
d
ate
polylib for M
i
nGW compati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
S
ven Ver
d
oolaege
f
d
stream
.
cc: d
o
n't (re)
d
e
c
lare fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdoolaege
evalue
.
c: i
n
_domain: s
p
ecial-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven V
e
r
d
oolaege
Avoid use of sys/
t
imes
.
h h
e
a
d
er
when not avail
a
ble
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Ve
r
doolaege
add gnulib
g
etsubopt
m
o
d
ule for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
V
erd
o
olae
g
e
RE
A
DME: mention th
a
t
GiNaC i
s
a
lso n
e
eded for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verdoolaege
Allow build of oc
c
when using b
u
ndled omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n
Verdoolaege
doc: add
a ref
e
rence
to a ma
s
ter
t
hesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaeg
e
barvin
o
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
r
do
o
laeg
e
README: fix u
p
installation
instruc
t
i
o
ns
commit
|
commitdiff
|
tree
2008-10-16
S
v
en V
e
r
doolaege
Add
f
iles
gen
e
rate
d
by bis
o
n and
fle
x
to t
h
e distri
b
ution
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n
Ver
d
oolaeg
e
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaege
e
value
.
c:
affine2evalu
e
:
reduce
coeffici
e
n
t
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c: evalue_level_cm
p
: p
r
oduce more consis
t
ent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sve
n
Verdoolaege
doc: add
another paper refer
r
ing
t
o the li
b
rary
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
piecewise_lst
.
h: avoid duplicate
p
arameter
n
a
m
e
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolae
g
e
evalue_read
.
c: fix minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Ve
r
doolaege
update omega for miss
i
ng files
i
n distribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
barvinok_enumerate_
e
: avoid infin
i
te
l
o
op whe
n
prese
n
ted
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
er
d
ool
a
ege
include omeg
a
s
u
bmodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
move omega
sub
d
ir
to om
e
ga_i
n
terface
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
NTL_QQ
.
cc:
a
dd
stdlib i
n
c
lude for abort hidden in NTL_ve
c
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
d
oolaege
remove gnulib l
i
nk-warn
i
ng module completely
commit
|
commitdiff
|
tree
2008-08-28
S
v
en
Verdo
o
laege
l
e
xmin
.
cc
:
find and sort
are in std::
n
amespace
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
lexmin
.
cc: avoid use of typeof
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ver
d
o
olaege
4
c
o
i
n
s
.
cc: remove dead code
commit
|
commitdiff
|
tree
2008-08-28
S
ven V
e
r
do
o
l
aege
testlib
.
cc: add missing
re
t
urns
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
workaround
si
l
ly sun compiler e
r
rors
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
Avoid us
e
of the make -C option
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
s
u
mmate
.
c
: add missing
include
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
summate
.
c: a
d
d missin
g
r
e
turn values
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
Verdoolaege
Makefile
.
am: include
l
ib in
c
l
ude di
r
in
build dir
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
do
o
laege
la
u
rent
.
cc: don't use const vectors as map
k
eys
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
variab
l
e length arrays a
r
e
no
t
st
a
n
d
ard C+
+
(ye
t
)
commit
|
commitdiff
|
tree
next