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
configure.in: add isl flags and libs to pkg-config file
2010-04-10
Sven
V
erdool
a
ege
con
f
ig
u
re
.
i
n
:
add isl flags and libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
iscc: test isl_strea
m
f
o
r
eof rather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
iscc: add deltas opera
t
i
on
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oo
l
ae
g
e
upda
t
e isl
f
or
fi
x
i
n
isl_map_d
e
lta
s
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoo
l
ae
g
e
drop barvi
n
ok_
e
numerat
e
_pip_with_o
p
tions
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdool
a
e
g
e
iscc
:
add cross
p
r
o
d
u
ct ope
r
ation
s
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
is
c
c: add coales
c
e operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoo
l
aege
update
i
s
l for isl_pw_qpolynomial
_
coale
s
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoo
l
aege
drop "Omega
counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_b
o
und
.
cc:
fix
prin
t
f fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdo
o
laege
b
e
rnstein
.
cc:
f
i
x print
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
ev
a
lue_rang
e
_
p
ropaga
t
ion:
f
ix
s
ubstit
u
tion
f
or neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
ber
n
stei
n
/c
o
nfigure
.
in: use absol
u
t
e srcd
i
r of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
d
o
olaege
only distr
i
bute bundled submodul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaeg
e
updat
e
o
m
ega for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
configure
.
i
n: al
l
ow "
b
uild" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Verd
o
ol
a
ege
isl
_
qpol
y
nomia
l
_fold
_
from
_
gi
n
ac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoola
e
ge
isl_qpoly
n
omi
a
l_from_gin
a
c: expand ex be
f
ore insp
e
ction
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
o
o
l
a
e
g
e
isl_
o
b
j
_list
.
c
:
update t
o
us
e
of is
l
_pri
n
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
s
cc:
a
d
d
g
i
st
operatio
n
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
upd
a
te isl for intro
d
uction of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdool
a
ege
isl_pw_qpolyn
o
mial_upper_
b
ound: se
t
up v
a
riable vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
oo
l
aege
iscc:
a
d
d
s
ome compa
r
i
s
on o
p
erations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoola
e
ge
iscc: add in
v
erse operat
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
V
e
r
doolaege
i
scc: fix up type of find
_
matchi
n
g_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
a
dd affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
i
scc: add
oper
a
tion to const
r
uct
universal m
a
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
lae
g
e
iscc: add "
j
oin
"
opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
i
scc: add inte
r
sect_domain
operati
o
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: allow ov
e
rloading bi
n
ary op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoo
l
aege
iscc: add mo
r
e dom operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoo
l
aeg
e
doc:
r
eorganize ta
b
le of iscc operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
u
pdat
e
is
l
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
barvin
o
k 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoo
l
aege
AUTHORS: update
supp
o
rt information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvecto
r
:
d
ouble size o
f
coefficients on each a
t
temp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
iscc:
suppo
r
t transi
t
ive
c
l
o
sure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
update
isl to v
e
r
s
ion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolae
g
e
barv
i
nok
_
e
.
cc: enumer
a
t
e
_vd: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
v
a
l
u
e
.
c: Polyhedron_Ins
e
rt: a
d
d
m
issing
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
evalue
.
c: redu
c
e
_ev
a
lue
:
remo
v
e unused var
i
able
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoola
e
ge
is
c
c
:
add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
add "ub
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_pw_qpolynomial_upper
_
bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rd
o
olae
g
e
ad
d
i
s
l_pw_qpolynomial
_
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
e
g
e
add is
l
_
p
w
_
q
p
olynom
i
al_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
up
d
ate isl for isl_pw_
q
polynomial_fore
a
c
h
_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename evalue2isl to is
l
_
pw
_
qpolyno
m
ial
_
fr
o
m
_eva
l
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n
V
erd
o
olaege
i
s
c
c: dete
c
t mo
r
e
k
in
d
s of
e
rrors
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doola
e
ge
b
arvin
o
k
_enumera
t
e: use isl durin
g
the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
ol
a
ege
a
dd iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add is
l
_set_card
and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n V
e
rdoo
l
aege
add
ev
a
lue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
evalue_conve
r
t: e
x
port as appli
c
ation
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aeg
e
ba
r
v
i
nok_enumerate_e: opti
o
n
a
lly
u
s
e isl
t
o pr
o
jec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add isl s
u
bmod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SU
B
MO
D
ULE: accept "-
"
in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_enumerate:
r
eturn NaN for
infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdo
o
laeg
e
remov
e
_all_
e
qualities
:
handle integrall
y
, but
n
o
t rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_en
u
m
e
r
at
e
_
e
: always return a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvin
o
k_en
u
me
r
a
t
e: check that
d
i
mensio
n
of i
n
put inclu
d
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
e
n
Verdoola
e
ge
partition
2
en
u
meration: check that input i
s
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ve
n
Verdo
o
laege
update
p
i
p
l
ib for
change in configur
e
options
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
V
erdoolaege
up
d
ate omega
f
or con
f
i
gurat
i
on/compilation
i
ssues
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoolaege
barvi
n
ok_count_with_
o
p
tions:
c
hec
k
return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Pol
y
hed
r
on_Sample:
plug memory lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
topcom
.
c: s
u
pport newe
r
versions of
TOPC
O
M
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
topcom
.
c: compute_domai
n
:
skip vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
polytope_mi
n
imize: take constant term t
o
be zer
o
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
d
o
o
laege
d
o
c
:
re
f
le
c
t that --enable-fract
i
onal is now the default
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
glpk_polyh
e
d
r
on_a
f
fine_sign
:
special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedro
n
_Inser
t
_Colu
m
n
s
: f
i
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
V
erdoolaege
Polyhed
r
on_
F
actor:
f
ix updati
n
g
of groups
commit
|
commitdiff
|
tree
2009-10-06
S
ven Verdool
a
ege
configure
.
in: use
A
X_SUBMODULE inst
e
ad of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaeg
e
rem
o
ve_equ
a
l
ities
:
use
Polyhedro
n
_Pr
e
image instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolae
g
e
barvi
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laeg
e
do
c
: a
d
d
experimental com
p
ariso
n
b
etwee
n
old and
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaeg
e
l
e
xmin
.
cc: remove "ana
c
hroni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
S
ven Ver
d
oo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verd
o
olaege
do
c
:
add some less c
o
mmon
.
s
t
y fil
e
s
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoolaege
add "cl
e
ver" L
a
u
rent expansion base
d
summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
ege
mov
e
Last_Non_Zero t
o
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
e
x
tract
o
ut par
a
m_polynomial from la
u
rent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract ve
r
tex_cone from laure
n
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
NTL_QQ
.
cc
:
add stdio include for EOF h
i
dden in NT
L
_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
ven Verd
o
o
laege
upda
t
e polylib for spe
e
d
improvement in in_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Ve
r
d
oolaege
update piplib for dis
t
ribu
t
io
n
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyhedron
_
Factor:
f
ix mergi
n
g of
g
r
oups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barv
i
nok_enu
m
er
a
te
_
serie
s
: don
'
t check for r
e
v
l
ex posi
t
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
erdoolaege
(
t
)counter: move counter::reset()
u
p to counter
_
b
a
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoo
l
ae
g
e
M
a
kefile
.
a
m
: k
e
ep bet
t
er track of faile
d
tests
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
ad
d
sem
i
group_hole
s
application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line
_
Length: handle 0D po
l
ytope in 1D
s
pace
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
g
e
n
_
fun:
a
dd
i
s_zero met
h
o
d
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdool
a
ege
barvinok_en
u
mera
t
e
_
e_
s
eries:
r
emove equalities in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
erdoolae
g
e
d
oc:
fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvi
n
ok_e
n
u
merate_e_series: handl
e
a
l
l existe
n
tials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rdoolaege
serie
s
.
cc: make proj
e
ct st
a
tic
commit
|
commitdiff
|
tree
next