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
configure.in: add isl flags and libs to pkg-config file
2010-04-10
Sven V
e
rdoola
e
ge
c
on
f
igure
.
in: add isl flags and l
i
bs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaeg
e
iscc:
t
est isl_
s
tream for eof rather than the und
e
r
l
ying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
iscc: a
d
d deltas ope
r
ation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
u
p
d
a
te isl
f
or fix in isl_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n Verdoolaeg
e
drop
b
arvinok_en
u
merate_pip
_
with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolae
g
e
iscc: add cross prod
u
c
t
operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verd
o
o
l
aege
iscc: add coa
l
esc
e
operations
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolae
g
e
u
p
date isl fo
r
i
sl_pw_qp
o
lynomial_co
a
lesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaeg
e
drop "Omega counting calc
u
lato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
eg
e
t
e
st_bound
.
cc:
fix prin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
berns
t
e
i
n
.
cc: f
i
x printf fo
r
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
r
doolaege
evalue_range
_
propagation:
f
i
x substitution
for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
e
r
nstein/configure
.
in: use abso
l
u
t
e
srcdir
of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
only distr
i
bute bundl
e
d
s
ub
m
odules
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n Verdoolaege
update omega fo
r
con
f
iguratio
n
issue
commit
|
commitdiff
|
tree
2010-03-25
S
v
en
V
er
d
oolaege
configure
.
in:
allow "build" Po
l
yLi
b
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
rdoolaege
isl_qpoly
n
omia
l
_f
o
l
d
_
f
rom_ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
rdoolae
g
e
isl_qpolynomial
_
from_
g
inac: expand ex befo
r
e ins
p
ec
t
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_obj_
l
i
s
t
.
c: update to use of isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
erdoolaege
isc
c
: add g
i
st operati
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolae
g
e
isl_pw
_
qpolyn
o
mial_upper_b
o
und: set
up
v
a
r
iable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Ver
d
oo
l
ae
g
e
iscc: add some com
p
arison operations
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolaege
isc
c
: add inverse
operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
iscc: fix
u
p type
o
f find
_
matc
h
ing_bin
_
op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
add
a
ff
i
ne hull op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdoolae
g
e
iscc:
a
dd op
e
r
ation
t
o
const
r
uc
t
un
i
ve
r
s
al map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaeg
e
iscc:
a
dd "j
o
in" op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add inter
s
e
c
t_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
i
s
c
c
:
allow ov
e
rloading
b
inar
y
op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: add mor
e
do
m
operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
o
o
laege
doc: r
e
or
g
anize table
o
f iscc
o
pera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Verdoolaege
upda
t
e
isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdo
o
laeg
e
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
A
U
T
H
O
RS: update
support information
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Ver
d
oo
l
aege
ra
n
dom
v
e
ctor:
double si
z
e of
c
oe
f
ficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
rdoolaege
iscc: support
trans
i
tive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdo
o
l
a
ege
update isl to ver
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
bar
v
inok_e
.
c
c
: e
n
um
e
rate_vd: remove unused va
r
ia
b
les
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Ver
d
oolaege
evalue
.
c: Polyhedron_Insert:
a
dd missing re
t
urn type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: reduce_evalue: remov
e
u
n
used varia
b
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc: ad
d
@
operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
olaege
iscc: add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_
p
w_qpolynomial_uppe
r
_bound
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
r
dool
a
ege
iscc:
a
dd
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpo
l
y
nomia
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdool
a
ege
add isl_pw
_
qpolynomial_
t
o_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
u
p
date i
s
l for isl_pw
_
qp
o
l
ynomial_fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdool
a
ege
rename
e
value
2
i
s
l to isl
_
pw_qpolynomial_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
ven Verdoolae
g
e
iscc
:
detect
more kin
d
s of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
do
o
laege
barvin
o
k_enum
e
rat
e
: use isl during the
v
erification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add isc
c
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ve
r
do
o
laege
add
i
sl_se
t
_c
a
rd
a
nd isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaeg
e
e
v
al
u
e
_conv
e
rt: ex
p
ort as a
p
p
l
icat
i
on
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
barvin
o
k_enumerat
e
_e: optionally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
a
dd isl submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rd
o
olaege
AX_SUBMODULE: accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
barvinok_enumerate: return NaN for i
n
finite p
r
o
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdool
a
ege
remove_all_eq
u
alitie
s
: handle
i
n
t
egra
l
ly, but no
t
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdool
a
ege
barvinok_enumerate_e:
a
lways
r
eturn a
partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olaeg
e
barvinok_enumera
t
e: c
h
ec
k
that d
i
mension of
input
i
ncludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
partition2enumerat
i
on: check that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
upd
a
te piplib for ch
a
nge
i
n configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
up
d
a
t
e omega
f
o
r con
f
i
guration/compil
a
ti
o
n issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barvin
o
k
_
c
ount_with_opti
o
ns: check return
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ven Ver
d
oola
e
ge
P
o
lyhe
d
ron_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
summate
.
c
: add missin
g
include
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaeg
e
topcom
.
c: s
u
pport newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topco
m
.
c: compute_
d
omain: skip
vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
d
o
c:
refl
e
ct tha
t
-
-
en
a
b
l
e
-fractio
n
al
i
s
n
ow the d
e
fau
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
glpk_p
o
lyh
e
dron_affi
n
e
_
s
ign
:
specia
l
case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
Poly
h
edron_In
s
ert_C
o
lu
m
ns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdo
o
lae
g
e
Poly
h
edr
o
n_
F
a
c
tor: fix up
d
ating of gr
o
ups
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Verdoolae
g
e
c
o
nfigure
.
in:
u
se
A
X
_S
U
BM
O
D
U
LE instead of B
V
_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolae
g
e
remove_equalit
i
es:
u
se
P
olyhedron_Prei
m
age instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add experimental co
m
parison between
old a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
lexmin
.
cc: remov
e
"an
a
chron
i
s
m"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en V
e
r
d
oolaege
doc: add some less
common
.
s
ty files
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoolaeg
e
add "cleve
r
" La
u
rent expansion ba
s
e
d summat
i
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaeg
e
move Last
_
No
n
_
Zero
to
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
ext
r
act
o
u
t
par
a
m_polynomial from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoo
l
aege
extract ver
t
ex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoo
l
a
e
g
e
update po
l
ylib for speed improvement in in
_
d
o
main
commit
|
commitdiff
|
tree
2009-06-12
S
ven
V
erd
o
olaege
up
d
a
te piplib
for di
s
tribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verdool
a
ege
P
o
lyhedron_F
a
ctor: fi
x
merging of groups
o
f columns
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoo
l
aege
(t)counter
:
move counter::reset()
up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verd
o
olaege
M
a
k
efile
.
a
m: kee
p
better track
o
f failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
g
e
L
i
n
e_Leng
t
h
:
handle 0D pol
y
tope in 1
D
space
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyh
e
dron_Factor:
handle
p
olyhedr
a
with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
ven
V
erdoo
l
aege
update piplib for change in configure argument
s
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvin
o
k
.
cc: remove u
n
us
e
d
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
o
olaege
upda
t
e
piplib
f
or
M
inGW compatibi
l
it
y
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
r
doo
l
aege
update
polyli
b
for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c:
i
n_d
o
main: special-ca
s
e
0D doma
i
ns
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdool
a
eg
e
Avoi
d
use of sys
/
t
imes
.
h header w
h
en
not avai
l
abl
e
commit
|
commitdiff
|
tree
2008-12-25
Sven
V
erdoolaege
add gnuli
b
get
s
ubopt modu
l
e for Min
G
W
commit
|
commitdiff
|
tree
2008-12-01
S
v
e
n Verdoolaege
R
E
A
DME: m
e
ntion t
h
at
GiNaC is also
n
eeded for th
e
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven V
e
rdoolaege
A
l
l
ow build of occ wh
e
n using bund
l
ed omega
commit
|
commitdiff
|
tree
2008-10-28
S
ven Verdoolaege
doc: add a refere
n
ce
t
o a master th
e
s
is act
u
ally using
.
.
.
commit
|
commitdiff
|
tree
next