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
iscc: support transitive closure
2010-03-10
Sven Verdoolaege
is
c
c:
s
u
pport transiti
v
e closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
u
p
date
i
sl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
b
arvinok_e
.
c
c: e
n
um
e
rate_v
d
: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
va
l
ue
.
c
: Polyh
e
d
ron_
I
n
s
ert:
add miss
i
ng ret
u
r
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
a
eg
e
evalue
.
c: re
d
uc
e
_eval
u
e
:
remo
v
e
unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
is
c
c: add @ oper
a
to
r
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
isc
c
: ad
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
oolaege
ad
d
is
l
_pw_qp
o
lynom
i
al_
u
p
pe
r
_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolae
g
e
iscc: a
d
d sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl
_
p
w_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
a
dd isl_
p
w_qpolyno
m
ial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
olaege
upd
a
t
e is
l
for isl_
p
w_q
p
olynom
i
al_fo
r
each_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
er
d
oo
l
aege
rename ev
a
lue2isl to isl_pw_qpolynomial_from
_
e
v
alue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
i
s
c
c:
det
e
c
t more
k
ind
s
of
errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoo
l
aege
barvinok_enumerate:
use i
s
l during the
veri
f
i
c
ation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
ol
a
ege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verd
o
olaege
add isl_s
e
t_
c
a
r
d and
isl_map_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
V
erdoola
e
ge
add eval
u
e2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
e
value
_
c
o
nve
r
t: export as
applicat
i
on
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verd
o
o
l
aege
barvinok_enumerate_e: optionall
y
u
se isl to p
r
oj
e
ct
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoola
e
ge
a
d
d
i
sl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
AX_SUB
M
ODU
L
E
: a
c
cept "-
"
in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
laeg
e
ba
r
vinok_enumerate: return NaN for infinite p
r
oblems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
r
e
move_
a
l
l_equalit
i
es: hand
l
e integ
r
ally, but not
rational
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enume
r
ate_e: always return
a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolae
g
e
ba
r
v
inok_enumera
t
e: ch
e
ck th
a
t
d
imension of input i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoolaeg
e
partition2enumeration: check that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en
V
erdoo
l
aege
upda
t
e
p
ipl
i
b for c
h
ange i
n
configure options
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n
V
erdoolaege
update omega for configu
r
ation/co
m
p
i
lation issu
e
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaeg
e
barvinok
_
count_with_optio
n
s: chec
k
return val
u
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron_Samp
l
e: p
l
ug memory
l
eak
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
o
o
l
a
ege
sum
m
a
t
e
.
c: ad
d
m
i
ssing include
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verd
o
ola
e
g
e
t
o
p
com
.
c: s
u
ppo
r
t
n
e
wer ver
s
ions of
TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: comput
e
_domain: skip ve
r
tices without dom
a
in
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
polytop
e
_minimize
:
take const
a
nt term
t
o b
e
z
e
ro when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oo
l
aege
doc: reflect t
h
at --enabl
e
-
f
ractional i
s
now th
e
default
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
g
l
pk
_
p
olyhedron_affine_sign: special
case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
P
olyhedron_
I
ns
e
r
t
_Columns:
f
ix typo
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n Verdoolaege
Polyhedron_Factor: fix updating of
grou
p
s
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
in: use AX_SUBMODULE inst
e
ad o
f
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
V
e
rdoolae
g
e
remove_equalities: us
e
Polyhedron
_
P
r
eima
g
e instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
ba
r
vino
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
doc: add
e
xperimental
comparison
b
etwee
n
old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
le
x
min
.
cc
:
re
m
ove "an
a
chronism
"
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoola
e
ge
do
c
:
f
ix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
doc: add some less
c
ommon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven
Ve
r
doolae
g
e
add "c
l
ever" Laurent
e
xp
a
nsio
n
based summ
a
tion
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoolaege
move Last_Non_Zero to
ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdo
o
l
a
ege
e
x
tra
c
t out
p
aram
_
polyn
o
mia
l
from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdo
o
laege
extract vert
e
x_cone fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
V
er
d
oolaege
NTL_QQ
.
cc: add stdi
o
include for EOF hidden in N
T
L_io_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sv
e
n Verdoolaege
upda
t
e poly
l
i
b
for speed improvement in in_do
m
ain
commit
|
commitdiff
|
tree
2009-06-12
Sven Ver
d
o
olaege
update piplib fo
r
distribution
issu
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdool
a
ege
Pol
y
hedron_Fact
o
r: fix merging of
g
ro
u
ps of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoo
l
ae
g
e
bar
v
inok_enu
m
e
rate_series: don'
t
che
c
k
for revlex posi
t
i
ve
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
(t)co
u
nter: move cou
n
ter::reset() up to coun
t
er_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
Makef
i
le
.
a
m: keep better track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
add semigroup_ho
l
es
a
pplication
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length: h
a
n
dle
0
D
p
o
lytope in 1D s
p
ace
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
o
o
laege
gen_fun: add
i
s_zero meth
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
oolaege
barvinok_enumerate
_
e
_
series: remov
e
equal
i
ties in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
rdoolaege
d
oc: fix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olae
g
e
b
arvinok_enumerate_e_series: hand
l
e all existe
n
tia
l
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc: mak
e
project
static
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
b
a
rv
i
nok_enum
e
rat
e
_e_ser
i
es: h
a
ndle all e
q
ua
l
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
ad
d
te
s
t se
t
from the other i
t
sl20
0
8 paper
commit
|
commitdiff
|
tree
2009-04-28
Sv
e
n Verdoolaege
.
g
i
t
i
gnore: ignore obje
c
t fi
l
es
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
Verdool
a
ege
genfunc
.
cc: pa
r
allel
_
p
o
l
y
topes: dete
c
t 0D polytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
configure
.
in
:
set AC_CONFIG_MA
C
RO_
D
IR
commit
|
commitdiff
|
tree
2009-04-27
Sven
Verd
o
olaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doolaege
Po
l
yh
e
dron_
F
actor: handle polyhedra
w
ith a
n
o
n-t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
e
r
doolaege
update piplib for
c
h
a
n
g
e in config
u
re
arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
te
s
t_approx
.
c: add d
u
mmy fiel
d
in dummy
t
ms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
configure
.
in: avoid introducin
g
empty elements in P
K
G_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
occ: define OMIT_G
E
TRUSAGE if
s
ys/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
erdoolaege
om
e
ga_interface/Make
f
ile
.
am
:
put depending lib
r
a
ries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doo
l
aege
configure
.
in
:
add $(EXEEXT) to optional oc
c
for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
o
l
a
ege
update om
e
g
a for MinGW compatib
i
l
it
y
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ver
d
o
ola
e
ge
bernstein/configure
.
in: add missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven
Ve
r
doolaege
genfun
.
cc: add b
r
ac
e
s round ext
e
rn "C"
typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdool
a
ege
vector_partit
i
o
n
_
chambers: comp
u
tes chambers of
v
e
ct
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Ve
r
do
o
la
e
ge
barvinok
.
c
c: remove unu
s
ed n
o
northog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update
piplib
f
or Min
G
W c
o
mpatib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
Verdoolaege
update po
l
ylib
f
or MinGW compati
b
il
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoola
e
ge
fdstream
.
c
c
: don'
t
(re)declare
f
ileno
i
f it's a mac
r
o
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolae
g
e
evalue
.
c
:
in_d
o
m
ain: spec
i
al-case 0D domain
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Ver
d
oolae
g
e
A
v
o
i
d
use of sys/times
.
h header when not ava
i
lable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
a
dd
g
nulib gets
u
b
opt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verd
o
ol
a
ege
READM
E
: menti
o
n that GiNaC is also needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Verdool
a
ege
Allow build of oc
c
when
u
sing
bundled
o
mega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
doc: add a
refere
n
ce to a master
t
hesis actually
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n Ve
r
doola
e
ge
b
a
rv
i
nok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdool
a
ege
R
E
ADME:
fix up in
s
tallation i
n
s
tructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
a
e
ge
Add fil
e
s generated by bis
o
n
and fle
x
t
o
the distribution
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n
Verd
o
o
laege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
r
d
o
olaege
update pi
p
lib
commit
|
commitdiff
|
tree
2008-10-10
S
v
en Verdoolaege
evalue
.
c:
a
f
fine2evalue: redu
c
e coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdoolaege
evalue
.
c: evalue_level_cmp: produce mo
r
e consi
s
te
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add
anothe
r
pa
p
er
r
efe
r
ring to t
h
e librar
y
commit
|
commitdiff
|
tree
2008-09-16
Sv
e
n Verdo
o
laege
piecewise_
l
st
.
h: avoid duplicate parameter
name
commit
|
commitdiff
|
tree
next