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
update isl for isl_pw_qpolynomial_coalesce
2010-03-30
Sve
n
Verdoolaege
update isl for isl_pw
_
qpolyno
m
ial_coale
s
ce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
ae
g
e
drop "Omega coun
t
ing
ca
l
cul
a
tor"
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
test_bo
u
n
d
.
c
c
: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaeg
e
bernstein
.
cc
:
f
ix p
r
intf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laeg
e
evalu
e
_
r
ange_p
r
opa
g
at
i
on: fix s
u
bst
i
tution for negat
i
ve
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
bernstein/confi
g
ure
.
in: use absolu
t
e
srcdir
o
f PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only
d
istri
b
ut
e
bundl
e
d submodu
l
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
V
erdoolaege
u
p
date omega for configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
configure
.
in: allow
"
bui
l
d"
P
olyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_
q
polynomial_fold_fro
m
_ginac:
handle
fai
l
nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl
_
qpoly
n
omial_from_g
i
nac: ex
p
and e
x
b
e
fore inspecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
isl_o
b
j_list
.
c: u
p
date to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
iscc: a
d
d
g
i
s
t
o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
upd
a
te isl for introduction of isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl
_
pw_qpolynomial_upper
_
bound: set up
va
r
i
able
v
e
c
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
iscc: add some
c
omparison
o
perations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
ol
a
ege
iscc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix up
type of f
i
nd_ma
t
c
hing_
b
in_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ver
d
oolaeg
e
i
s
cc: add affine
hull
operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
ool
a
e
ge
is
c
c: add operation
t
o c
o
nstruct universal
m
ap f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
i
s
cc: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaeg
e
iscc: add intersect_d
o
main operat
i
o
ns
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdoolae
g
e
iscc: allow overloa
d
ing bina
r
y o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: ad
d
more
d
om o
p
eration
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoola
e
ge
doc: reorgan
i
z
e t
a
ble of iscc
operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdool
a
e
ge
update
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ve
r
doolaeg
e
bar
v
inok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
e
r
doolaege
A
UTHORS: up
d
ate
support information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
random
v
e
ctor: double size of coefficients on ea
c
h atte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
o
lae
g
e
iscc: su
p
por
t
transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
u
p
date isl
t
o version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
o
o
lae
g
e
barvinok_e
.
cc
:
enume
r
ate_
v
d: remove unused va
r
iable
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
e
r
d
oolae
g
e
evalue
.
c: Polyhedron_Insert: add missing
r
et
u
rn ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Verdool
a
ege
evalue
.
c: reduce_evalue: remove unu
s
e
d
variabl
e
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolae
g
e
iscc: add
@ o
p
erator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verd
o
ol
a
ege
add isl_pw
_
qpolynomial_upper_boun
d
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Ve
r
doolaege
i
s
cc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_p
w
_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
ad
d
i
s
l_p
w
_qpo
l
ynomial_to_ev
a
l
ue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doo
l
aege
update isl
f
or is
l
_pw_qpolynomial_foreach_piec
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
rename evalue
2
isl to
i
sl_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc:
det
e
ct m
o
re
k
inds of e
r
ror
s
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verdoolaege
barvinok
_
enu
m
erat
e
: use
isl during
t
h
e
verif
i
cati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add isl_set_c
a
rd and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
ad
d
evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
S
v
en V
e
rdool
a
ege
evalue
_
convert: export
as
a
pplica
t
ion
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
bar
v
inok_enumerate_e:
o
ptio
n
ally use is
l
to
p
roject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaeg
e
a
dd i
s
l
submodule
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaeg
e
AX
_
SUBMODUL
E
:
a
ccept "-" in
m
odulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_en
u
merat
e
: retur
n
NaN for
in
f
inite problems
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n Verdo
o
laege
remove_a
l
l_e
q
ua
l
ities: handle inte
g
rally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvin
o
k_enumerate_e: alw
a
y
s
return a part
i
tion
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoola
e
ge
barvin
o
k
_
e
numerate: check that d
i
mension of in
p
ut i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven
Verdoolaege
par
t
ition2enumerat
i
on: ch
e
ck th
a
t input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
up
d
ate piplib fo
r
chang
e
in configure options
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n
Verdoolaege
up
d
ate omega for configuration/c
o
mpil
a
t
i
on issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
barvin
o
k_count_
w
i
t
h_opt
i
ons: che
c
k r
e
t
u
rn value o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
P
ol
y
hedron_S
a
mple: pl
u
g
m
emory
l
eak
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
summate
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: s
u
pp
o
rt
n
ewer ver
s
ions of T
O
PCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
topcom
.
c: compute_domain: skip vert
i
c
e
s without
do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaeg
e
polytope_minimize: take constant ter
m
to be zero
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
d
oc: reflect that --enable-f
r
actional is now the
d
efault
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glp
k
_polyhedron_affine_sign: specia
l
case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedron_Inse
r
t_C
o
l
umns:
f
i
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven V
e
rdoo
l
aege
Polyhedron_Factor: fix updating of
g
roups
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
erdoola
e
ge
configure
.
in: us
e
AX_SUBMODULE
i
nstead of
BV_SUB
M
ODULE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
Verdoolaege
r
e
move
_
equalities: u
s
e
Polyhedron_Prei
m
age instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvin
o
k
0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
doc: add experimental
co
m
p
aris
o
n
betw
e
e
n o
l
d
and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
lexmin
.
cc:
remove "
a
nachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
doc: fix
t
y
p
o
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
ae
g
e
d
o
c: add som
e
less common
.
s
ty
f
i
les
commit
|
commitdiff
|
tree
2009-07-21
S
v
en
V
e
rdoo
l
aege
add "clever" Lauren
t
e
x
p
a
ns
i
o
n
b
ased
summation
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdo
o
la
e
ge
mo
v
e Last_Non
_
Zero to u
t
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoola
e
g
e
ex
t
ract
o
ut param_po
l
ynomial
f
rom lau
r
ent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
ge
extra
c
t verte
x
_cone
from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
NTL_QQ
.
cc
:
a
dd std
i
o include
f
or
E
OF hid
d
en
i
n
NTL_io_
v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoo
l
aege
upda
t
e
po
l
ylib for
speed
i
mprovement i
n
in_domain
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verd
o
olaege
upd
a
te pipl
i
b for distribu
t
ion
i
s
su
e
commit
|
commitdiff
|
tree
2009-05-26
Sven
V
erdool
a
ege
Polyhedron_Fact
o
r: fix merging of groups of column
s
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
e
r
doolaege
barvinok_enumerate_series: don
'
t check
for revlex
p
os
i
t
i
ve
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
(t)counter: move
counter::reset() up to c
o
unter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Mak
e
fi
l
e
.
am: keep better track of failed test
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
add
se
m
igroup_holes ap
p
licat
i
on
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
Line_Length:
h
an
d
le 0D polytope i
n
1
D
space
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ver
d
oolaege
ge
n
_
fu
n
:
add is_zero m
e
thod
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
b
a
rvinok_enu
m
erate_e_series:
re
m
ove
eq
u
alities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
Verdoolaeg
e
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoo
l
aege
barvinok_enumerate_e_series: handle all
existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
series
.
cc: make pro
j
ect
sta
t
ic
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
e
g
e
barvinok_
e
numer
a
t
e_e
_
seri
e
s
: handle
all equ
a
lit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolae
g
e
add te
s
t set
from t
h
e other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven
V
erdool
a
e
g
e
.
g
i
tignore: ig
n
o
r
e objec
t
fil
e
s
commit
|
commitdiff
|
tree
2009-04-28
Sven V
e
rdool
a
ege
ge
n
func
.
cc: parallel_po
l
ytopes: detect 0D polyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sve
n
Ver
d
oolaege
configure
.
in: set AC_CONFIG_MACR
O
_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdo
o
l
a
ege
add
p
k
g
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaeg
e
Polyhedron_Fac
t
o
r: handle
p
olyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
next