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
Sven Verd
o
olaege
update i
s
l for isl_pw_qp
o
ly
n
omial_coalesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
dro
p
"Omega count
i
ng calculator"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
test_bound
.
c
c
: fix
pr
i
ntf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
bernstein
.
cc: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_range_pro
p
agation: fi
x
substitut
i
on
f
o
r nega
t
i
ve
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
b
e
r
n
ste
i
n/confi
g
ure
.
in: use absolute srcdir of P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
only distribut
e
b
undled su
b
mo
d
u
les
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n Ver
d
o
o
laege
u
p
d
ate
omega for c
o
nfig
u
ration i
s
sue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doolaeg
e
c
o
nfi
g
ure
.
i
n: allow "buil
d
" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
Ve
r
doolaege
isl_qpo
l
ynomial_fold_from_ginac: handle fail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpol
y
n
o
mial_from_gina
c
: expand e
x
b
e
fore inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
l
a
e
g
e
isl_obj_li
s
t
.
c: update to use of isl_pr
i
n
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
a
ege
i
s
c
c: add gist ope
r
ations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
ge
update isl for int
r
odu
c
tion of
i
sl
_
pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n
V
erdoolaege
i
sl_pw_qpolynomial_upper_bound
:
set up va
r
i
a
ble vecto
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en V
e
rdool
a
ege
isc
c
:
a
dd some compariso
n
operations
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
e
rd
o
olaege
iscc:
a
dd inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Ve
r
doolaege
iscc: f
i
x u
p
t
y
pe of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add a
f
fine hull operation
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
iscc: add
o
perati
o
n to c
o
nstru
c
t
u
n
i
v
e
rsal map
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
doolaege
iscc: add "j
o
in"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
ola
e
ge
i
s
cc: add
i
n
tersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
Ve
r
doolae
g
e
iscc: al
l
ow
o
verloa
d
ing binary op
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: add m
o
re
dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolae
g
e
d
o
c: reorganize t
a
ble of iscc ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
barvi
n
ok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
AUTHORS: updat
e
support i
n
forma
t
i
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
r
andomve
c
tor: d
o
uble
size of coef
f
icients on each
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
i
scc: support transitive clos
u
r
e
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
update isl to v
e
rsion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaege
barvinok_e
.
cc
:
e
n
um
e
rat
e
_
v
d: remove unuse
d
va
r
iables
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoola
e
ge
evalu
e
.
c:
P
olyhedron_I
n
sert:
add missing
r
et
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoo
l
aege
eval
u
e
.
c: reduce_e
v
alue: rem
o
ve unused var
i
able
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
iscc:
a
dd @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: a
d
d "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add isl_pw_qpo
l
yno
m
i
al_upper_
b
ound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolae
g
e
a
dd isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verd
o
ol
a
ege
add
isl_pw
_
qpolynomial_to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
aege
updat
e
isl for isl_p
w
_qp
o
ly
n
omial
_
foreach_
p
ie
c
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdool
a
eg
e
rename evalue2isl to is
l
_pw_qp
o
lynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
ve
n
Verdo
o
l
a
ege
iscc: detect more
kin
d
s
o
f errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
barvinok_enume
r
ate: use isl during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en V
e
rdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add
isl_set_card
a
nd i
s
l_map_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verdoo
l
aege
add e
v
alue2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
o
lae
g
e
eval
u
e_convert: expo
r
t as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumerate_e: optionally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
add isl s
u
b
m
od
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
ae
g
e
AX
_
SUBMODULE
:
accept
"
-"
in modu
l
ename
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
erdoolaege
barvinok_
e
numerate: return NaN
f
or inf
i
nite problems
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n Verdoolae
g
e
remove_all_
e
qualities
:
handle
i
nte
g
rally, but n
o
t ratio
n
a
l
ly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoo
l
a
ege
b
arvino
k
_e
n
umerate_e:
a
lw
a
ys return a part
i
tion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
bar
v
inok_enumerate: check t
h
at dimens
i
on of input incl
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
p
a
rtit
i
on2en
u
me
r
ation: check
t
hat input
i
s
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven V
e
r
do
o
lae
g
e
upd
a
t
e piplib
f
o
r
c
h
ange in
configure opt
i
ons
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verd
o
olaege
update o
m
e
g
a for c
o
nfiguration/compilat
i
o
n issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
o
o
l
aege
b
a
r
v
inok_count_with_opti
o
ns:
check return
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyh
e
d
ron_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ve
r
doolae
g
e
summate
.
c: add
m
i
s
sing i
n
cl
u
de
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c
:
sup
p
ort newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
top
c
om
.
c
: com
p
u
te_domain: skip
vertices
without d
o
main
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
po
l
ytope_mini
m
ize:
t
a
k
e constant term to be zero w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doo
l
aege
d
oc:
r
eflect that --enable-f
r
actional
i
s
now t
h
e default
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
do
o
lae
g
e
glpk_poly
h
edron_affi
n
e_
s
ign:
s
pecial case 0D
p
olyhedra
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
Pol
y
h
e
dron_Insert
_
Colu
m
ns
:
fix ty
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Ver
d
oolaege
Po
l
yhedron
_
F
ac
t
or
:
f
i
x up
d
atin
g
of gr
o
ups
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Ver
d
oola
e
g
e
configu
r
e
.
in:
use AX
_
SUB
M
OD
U
LE instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
ve
n
Verdo
o
l
a
ege
remove_equalities
:
use Poly
h
edron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaeg
e
d
oc: add
e
x
p
erimental comparison be
t
w
e
en old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
l
exmin
.
cc: remov
e
"
a
n
a
chr
o
n
i
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
doc
:
fix typ
o
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdo
o
la
e
g
e
doc: add some l
e
ss
c
ommon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
doo
l
a
e
g
e
a
dd "clever"
Laurent expansion
b
a
sed summation
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
V
e
r
doolaege
move L
a
st_Non_Zero t
o
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
r
d
o
o
l
aege
extr
a
ct
out
p
aram_po
l
ynomi
a
l from lauren
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extr
a
c
t
vertex_cone from
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
ven
Verdoolaege
NTL_
Q
Q
.
cc: a
d
d
stdio includ
e
for EOF hidde
n
in
N
TL_io_
v
ector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
upd
a
te polylib for sp
e
ed i
m
pro
v
e
ment in in_do
m
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
rdoolaege
u
p
date piplib for distr
i
bution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolae
g
e
Polyhedr
o
n_Fact
o
r: fix mergi
n
g of groups of
c
olumn
s
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoo
l
aege
barvinok
_
enumerate_
s
eries: do
n
't check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)counter
:
move counter::reset(
)
up t
o
counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verd
o
olaege
Makef
i
le
.
am: keep better
t
rack of failed
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolae
g
e
a
dd
s
emigroup
_
holes appl
i
cation
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
L
i
ne_Leng
t
h
:
handle 0D pol
y
tope
i
n 1
D
s
pace
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
ge
n
_fun: add is_zero method
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
barvi
n
ok_enumerate_e_series:
remove equalities i
n
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
do
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
barvinok_enumerat
e
_e_s
e
ries:
handle al
l
e
xistentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc: mak
e
pr
o
ject stati
c
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
b
a
rvinok_enumer
a
t
e
_e
_
serie
s
:
handle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaeg
e
a
dd test se
t
from th
e
o
t
h
e
r
itsl
2
008 p
a
per
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
.
gitig
n
o
r
e:
ign
o
re o
b
j
e
ct fi
l
e
s
commit
|
commitdiff
|
tree
2009-04-28
S
ven Verdoolaege
g
e
nf
u
nc
.
c
c
: parallel_polytopes: de
t
ect 0D polyt
o
pes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
configure
.
i
n
:
set AC_CO
N
FIG_M
A
CRO_DI
R
commit
|
commitdiff
|
tree
2009-04-27
Sven V
e
rd
o
o
l
aege
add p
k
g
.
m
4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron_Fac
t
or: handle polyhed
r
a wit
h
a
non-tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
next