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: support transitive closure
2010-03-10
Sven
Verdoolaege
iscc: support transitive c
l
osur
e
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
update
isl to versio
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verd
o
olaege
barvinok_e
.
cc: enumerate_
v
d:
r
emove
unu
s
ed variables
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ve
r
doolaege
evalue
.
c: Pol
y
hedron
_
Insert: add
m
issing return t
y
pe
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
eg
e
evalue
.
c: r
e
du
c
e
_evalu
e
: remove unused variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
i
s
cc:
add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doola
e
ge
is
c
c: add "
u
b"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
is
l
_pw_qpolyn
o
mial_u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
cc
:
add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rd
o
o
l
aege
add i
s
l_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erd
o
olae
g
e
add
isl_pw_q
p
o
lyn
o
mial_to
_
evalue
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdo
o
laege
u
p
date isl fo
r
isl_pw_q
p
olyn
o
m
i
al_
f
o
r
e
ach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
doolaege
rename evalue2isl to isl
_
p
w_q
p
olynomial_fr
o
m_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Ve
r
doolaeg
e
iscc: detect more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvi
n
ok_en
u
merate: use isl during t
h
e
verificat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
o
ol
a
ege
add
i
s
cc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add isl_set_car
d
and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
S
ven
Verdo
o
laege
add evalue2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
e
v
alue_
c
o
n
vert: export as
app
l
ication
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
ba
r
vinok_enumerate_e:
optionally
u
se is
l
to pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oo
l
aege
add isl subm
o
dul
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_
S
U
B
M
ODULE: acc
e
pt "-" in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
barv
i
nok_enumerate: return NaN for in
f
inite p
r
oblems
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n Ve
r
d
oolaege
remo
v
e_all_equ
a
lities: handl
e
in
t
e
g
r
ally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdo
o
lae
g
e
barvin
o
k_e
n
umer
a
te_e: always r
e
tur
n
a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoolaeg
e
barvinok
_
e
n
u
m
erate
:
check that d
i
m
e
nsion of input
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolaege
partition2enumer
a
tion: chec
k
th
a
t in
p
ut is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdool
a
ege
update p
i
plib for change in configure option
s
commit
|
commitdiff
|
tree
2009-11-30
Sven
Ve
r
do
o
laege
update o
m
e
g
a for
c
o
n
figu
r
at
i
on
/
compilation
i
ssues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
barvinok_
c
ou
n
t_wi
t
h_options: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
P
o
lyhedron_Sample: plug memory
l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Ver
d
oolaege
summate
.
c: add miss
i
ng in
c
lude
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdo
o
l
a
ege
topcom
.
c: support
n
ewer
v
ersions of TO
P
COM
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdo
o
l
aege
topcom
.
c: co
m
pute_domain: s
k
ip vertic
e
s without domain
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
poly
t
ope_minimize: take cons
t
a
nt ter
m
t
o
be zero
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
doc: ref
l
ect that --en
a
ble-f
r
act
i
onal is now th
e
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
glpk
_
polyhedron_af
f
ine_sign: specia
l
case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdool
a
ege
Polyhedron_
I
n
se
r
t_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n Ver
d
oolaege
Polyhedron
_
Factor: fix upd
a
tin
g
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdool
a
ege
configure
.
i
n:
u
s
e AX_
S
UBMODULE in
s
tead of BV_SUBMOD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equalities: use Polyhe
d
ron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aege
b
arv
i
no
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
Verdo
o
l
aege
doc: add expe
r
imenta
l
compar
i
s
on
between
o
ld and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
l
e
xmin
.
cc: remove "anachroni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
r
d
o
olaeg
e
doc: fi
x
typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc
:
add
s
ome
l
ess common
.
s
t
y
f
i
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaeg
e
a
dd "clev
e
r
" Lau
r
ent e
x
pansio
n
b
a
sed summation
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
move Last_No
n
_Zer
o
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
extract out
para
m
_polynomial
from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoola
e
ge
extract vertex_
c
on
e
from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ver
d
oolaege
N
T
L_QQ
.
cc: add stdio inclu
d
e
f
or EOF hidden
i
n
NTL
_
i
o_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
en Ve
r
d
o
o
laege
update pol
y
lib for speed improve
m
en
t
in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdool
a
ege
up
d
a
t
e piplib f
o
r d
i
st
r
ibution i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Ve
r
d
o
olaege
Polyhedron_F
a
ctor: fi
x
mergin
g
of
group
s
of colum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_series
:
d
o
n't c
h
eck
f
or revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rd
o
o
l
aege
(
t)counter:
m
o
ve coun
t
er::reset() up to c
o
u
n
te
r
_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
Makefile
.
am
:
keep better track of failed
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
do
o
laege
add
s
emigr
o
up_hole
s
applicat
i
on
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolae
g
e
Line_Length
:
handle 0D p
o
lytope in 1D s
p
ace
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rd
o
olae
g
e
gen_f
u
n: add
is_
z
ero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvi
n
o
k_enumerate_e_
s
erie
s
: remove equalit
i
es
in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
doc: fix
typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
ba
r
vin
o
k_
e
numer
a
te_
e
_series: handle
a
ll e
x
ist
e
ntials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
ser
i
es
.
cc
:
m
a
ke
p
r
oject sta
t
ic
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolae
g
e
b
arvinok_enumerate_e_series:
handle all equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaeg
e
add
t
es
t
set fr
o
m
the o
t
her itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven V
e
rd
o
olaege
.
gitig
n
or
e
: ignore object fil
e
s
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
Verdoolaege
genfun
c
.
cc: pa
r
allel_pol
y
t
opes:
d
et
e
ct
0
D polytope
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
configure
.
i
n
: set AC_CONFIG_MACR
O
_DIR
commit
|
commitdiff
|
tree
2009-04-27
S
v
en Verdoolaeg
e
ad
d
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdoolaege
Pol
y
hedron_Factor: handle polyhe
d
ra with a
non-t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoola
e
ge
u
p
date p
i
plib for change in
c
onfi
g
ure argument
s
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ve
r
doolaege
test_a
p
prox
.
c: add
du
m
m
y field in dum
m
y
tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
configure
.
in: av
o
id intr
o
d
ucing em
p
ty eleme
n
t
s in P
K
G
_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
Verdoolae
g
e
oc
c
: defin
e
OMIT_GETRUSAGE
i
f sys/resource
.
h
c
an
n
ot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
e
n
Verd
o
olaege
omega_inte
r
face/Makef
i
le
.
am: put dependi
n
g l
i
brarie
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verd
o
olaege
configure
.
i
n: add $(EXEEXT)
to optional occ for c
y
gwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
upda
t
e omega for MinGW co
m
patibility
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
r
doolaeg
e
bern
s
tein/configure
.
in: add m
i
ssing
A
C_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven
Verdoolaege
genfun
.
cc:
a
dd braces round e
x
tern "C" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoo
l
ae
g
e
vecto
r
_pa
r
t
i
tion_chambers: co
m
putes chambers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sve
n
Verdoolaege
barvinok
.
cc: remo
v
e unused
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdoo
l
aege
update
pi
p
lib for MinGW compatibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoolaege
update
polylib for M
i
nGW compatibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
fds
t
ream
.
cc: don't (r
e
)declare fileno if it'
s
a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalu
e
.
c: in_dom
a
in: speci
a
l-case 0D do
m
ains
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n V
e
r
d
oolaege
A
v
oid u
s
e of
s
ys/ti
m
es
.
h head
e
r whe
n
not available
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Verd
o
o
l
ae
g
e
ad
d
gnulib
g
etsub
o
p
t m
o
dule for M
i
nGW
commit
|
commitdiff
|
tree
2008-12-01
S
ven
V
erd
o
olaege
README: mention that GiNaC
is als
o
needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoola
e
ge
Allow
b
u
ild of occ when using bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n Verdoolaege
doc:
a
dd a r
e
ference to a ma
s
ter thes
i
s
actu
a
lly
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
d
o
o
laege
barvino
k
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoola
e
ge
README:
f
ix up i
n
st
a
l
l
ation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
Add fi
l
es ge
n
e
rated by
b
ison an
d
flex to the distrib
u
tio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
upd
a
te polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdool
a
e
g
e
u
p
date piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaeg
e
e
v
a
l
u
e
.
c: affine2eva
l
ue: reduce coeffic
i
ents
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdool
a
e
ge
e
v
alue
.
c: ev
a
lue_level_cmp
:
produce more cons
i
ste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
V
e
r
d
oolaege
doc: add another paper referring to the
l
ibrary
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
erdoolae
g
e
piecewise_lst
.
h: avoid
dupl
i
cate par
a
me
t
er name
commit
|
commitdiff
|
tree
next