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
S
ven V
e
r
d
oolaege
iscc
:
a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
laege
add isl_pw_qpolynomial_upper
_
bound
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoo
l
ae
g
e
isc
c
:
ad
d
s
u
m
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add isl_
p
w_q
p
olynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ol
a
ege
add
i
sl_pw_qpol
y
nomial_to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
u
p
d
ate isl for i
s
l
_
pw_q
p
olyn
o
mial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
d
ool
a
ege
r
ename
e
val
u
e
2i
s
l
to isl_pw_q
p
olynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
v
en V
e
rdoolae
g
e
is
c
c: de
t
ect more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
e
g
e
barvinok_enumera
t
e: use isl during the verific
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
erdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdo
o
l
ae
g
e
add isl_set_
c
ard and
isl
_
map_card
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
V
erd
o
olaege
ad
d
eva
l
ue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
eval
u
e_c
o
nvert:
exp
o
rt as application
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
barv
i
nok_enumer
a
te_e: optionally use is
l
to pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
add isl
s
u
bm
o
dule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
AX_SUBMODULE:
a
c
c
ept "-" in modul
e
name
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdool
a
e
ge
barvinok_enumerate: return NaN for infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaeg
e
remove_all
_
equ
a
lities:
handle integrally, but
not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoolaege
barvin
o
k
_enumera
t
e_e:
always retu
r
n a par
t
iti
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
V
erdoolaege
ba
r
v
i
no
k
_
enumerate:
c
heck that dimension
o
f i
n
put include
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoola
e
ge
partition2e
n
umer
a
tion:
check that
i
nput is rea
l
ly
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verdoola
e
g
e
updat
e
piplib for ch
a
nge in co
n
figure
o
p
t
io
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
o
o
laege
update omega for configu
r
ation/com
p
i
latio
n
i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rd
o
o
la
e
ge
barvinok_count_wi
t
h_opti
o
n
s:
c
heck
return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron_Sample:
p
l
ug
mem
o
r
y lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
summate
.
c
:
a
d
d missing incl
u
de
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verd
o
olaege
topcom
.
c:
support newer
vers
i
o
n
s of TO
P
COM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
o
l
aege
topcom
.
c: c
o
mpute_domain: skip ve
r
tices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaeg
e
polytope_minimize:
take constant
term to
be
z
e
r
o when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en V
e
rdoolaege
d
o
c
: reflect that --en
a
b
le-frac
t
i
o
nal is
n
ow th
e
def
a
ult
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
d
o
olaege
glp
k
_polyhedron_af
f
i
ne_sign
:
s
p
e
cial case
0
D
p
olyhed
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
Polyh
e
dron_Ins
e
rt_Column
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
S
v
en Ver
d
oolaege
Polyhedro
n
_Fact
o
r: fix up
d
ating
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven V
e
rd
o
olaege
conf
i
g
u
re
.
in: use AX_SUBMODULE instead of
B
V_S
U
B
MODULE
commit
|
commitdiff
|
tree
2009-08-21
S
v
en Verdoolaeg
e
rem
o
v
e_equaliti
e
s: us
e
Polyhedron_Preima
g
e
instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
ola
e
g
e
barvi
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
d
o
c: add exp
e
rimen
t
al com
p
ariso
n
b
etween ol
d
and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
lexmin
.
cc: re
m
ove "anachron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add s
o
me
less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
oolaege
add "clever" Lau
r
ent expansion b
a
sed summat
i
on
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
r
doolae
g
e
move Last_No
n
_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
r
doo
l
aege
ext
r
act out
par
a
m_polynomial from la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
extract ver
t
ex_con
e
fro
m
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
e
r
doolae
g
e
N
T
L
_QQ
.
c
c:
add stdio in
c
lude for E
O
F hid
d
en in
N
TL_io_ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolae
g
e
u
pdate polylib for speed improv
e
ment in in_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
upd
a
te piplib for distribution
issue
commit
|
commitdiff
|
tree
2009-05-26
Sv
e
n Verdoolae
g
e
Pol
y
hedron_Factor:
fix merging
of g
r
o
u
p
s
o
f columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoo
l
aege
barvinok_en
u
mera
t
e_
s
eries: don't check for revlex
positi
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoo
l
aege
(t)counter: move c
o
u
nt
e
r::r
e
set
(
) up to co
u
n
t
er_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erd
o
olaege
Makefile
.
a
m
:
k
eep
b
etter track of failed te
s
ts
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaeg
e
add
semigroup_h
o
le
s
ap
p
l
ic
a
tion
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Verdool
a
ege
Line_Lengt
h
: handle 0D
polytope in
1
D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_fun
:
add is_zero
m
e
t
hod
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
rdoola
e
ge
barvinok_enumera
t
e_e_series: remove
e
qual
i
ties
in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
erdo
o
laeg
e
d
oc:
f
ix typo
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
Verdoolaege
barvino
k
_enume
r
a
t
e
_e_se
r
ies: h
a
ndle
al
l
existent
i
als
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
seri
e
s
.
cc:
make p
r
o
je
c
t
s
tatic
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
Verdoolaege
barvino
k
_
e
numerat
e
_e_
s
eries: handle all eq
u
alit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaeg
e
ad
d
t
est set fro
m
t
h
e other itsl200
8
paper
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Ve
r
doolaege
.
gitignore:
ignore objec
t
files
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Ver
d
o
ola
e
ge
genf
u
nc
.
cc: pa
r
all
e
l
_polytopes: detect 0D
p
olytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
v
e
n
Verdoolaeg
e
confi
g
u
re
.
i
n
: set
AC_CON
F
IG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdool
a
eg
e
ad
d
p
kg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
do
o
laeg
e
Polyhedron
_
Factor: handle poly
h
edra with a
n
on-triv
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
ven
Verdoolaeg
e
up
d
ate pi
p
lib for cha
n
ge in c
o
nfig
u
re a
r
gumen
t
s
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verdoolaege
t
est
_
appr
o
x
.
c: add dummy field
in dummy t
m
s stru
c
ture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
configure
.
in: avoid introduc
i
ng e
m
pty elements in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
o
c
c: d
e
fine
OMIT_GETRUSAGE
i
f sys/re
s
ource
.
h c
a
nnot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
e
rdo
o
la
e
g
e
omega_interface
/
Mak
e
file
.
am: put depending libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdo
o
laege
configure
.
i
n:
add $(EX
E
EXT)
to optional occ f
o
r
cygwi
n
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
u
p
d
ate omega for MinGW c
o
mpatibility
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdool
a
ege
bernstein/configu
r
e
.
in: add
missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven V
e
rdoolaege
gen
f
u
n
.
cc: add bra
c
es roun
d
exter
n
"C
"
typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Ve
r
dool
a
e
g
e
ve
c
tor_pa
r
tition_cha
m
bers:
computes cham
b
ers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
S
v
e
n Verdo
o
laege
barvinok
.
cc: remove
unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update piplib for MinG
W
compatibilit
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update polylib for Mi
n
GW compa
t
ibility
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoo
l
aege
fdstream
.
c
c: don't (re)dec
l
ar
e
fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
eval
u
e
.
c
: in_domain:
s
pecial-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
S
v
en
V
er
d
oolaeg
e
Avoid use of sys/time
s
.
h header
w
hen not available
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoolaege
add
g
n
ulib getsubopt m
o
dul
e
fo
r
MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README: ment
i
o
n
that GiN
a
C
i
s
also nee
d
ed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdoolaege
Allow bu
i
ld of oc
c
when u
s
i
ng
b
undl
e
d omega
commit
|
commitdiff
|
tree
2008-10-28
S
v
en Verdoolaege
doc: add a r
e
f
e
r
ence
t
o
a
master thesis actua
l
ly using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
e
g
e
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
S
v
en
V
erdoolaeg
e
R
E
ADME: fix up installation instru
c
ti
o
ns
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
o
l
aege
Add file
s
generated by
bi
s
on and f
l
e
x to
th
e
distri
b
utio
n
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n
V
er
d
oolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoo
l
a
ege
evalue
.
c: a
f
fine2evalue: reduce
c
o
efficien
t
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoo
l
ae
g
e
evalue
.
c: evalue_level
_
cmp: produce more con
s
istent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verd
o
o
l
a
ege
d
o
c
:
add another pap
e
r referring to the l
i
br
a
ry
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
erdoola
e
ge
piecewise_lst
.
h: avo
i
d
duplicate paramet
e
r name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
e
value_read
.
c: fi
x
minor b
u
gs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdo
o
laege
update o
m
ega for miss
i
ng
files in d
i
stribution
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
e
r
doo
l
a
e
g
e
b
a
rvino
k
_en
u
merate
_
e: a
v
oid infinite
l
oop when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erd
o
olaege
in
c
lud
e
o
m
ega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
r
d
oola
e
ge
m
o
ve om
e
ga subdir to
o
mega_inter
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
NTL_
Q
Q
.
cc: add stdlib inclu
d
e for ab
o
r
t
hidden
i
n NTL
_
vector
.
.
.
commit
|
commitdiff
|
tree
next