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
bernstein.cc: fix printf format
2010-03-27
Sven Verdoo
l
aege
ber
n
stein
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
evalue_range_propagation:
f
ix substitu
t
ion for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaeg
e
bernstein/
c
on
f
igure
.
i
n: use
absolute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
dool
a
ege
o
n
ly distri
b
ute b
u
ndled subm
o
dules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
update o
m
ega f
o
r c
o
nfiguration issue
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
co
n
figure
.
i
n
: allow "b
u
ild" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
V
erdoolaege
is
l
_q
p
olynomia
l
_fol
d
_from_ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpoly
n
omial
_
from_ginac
:
expand ex
b
efore inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
s
l_obj_li
s
t
.
c
:
update to use of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdo
o
laeg
e
i
scc: add
g
ist oper
a
tions
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
V
erdoolaege
up
d
ate isl for introduct
i
on
o
f isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
isl_pw_qpolynomial_upper_bound: set u
p
var
i
able
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaeg
e
iscc: add som
e
comp
a
ri
s
on
opera
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
i
scc: add
i
nverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n V
e
rd
o
o
laege
i
scc: fix up type of
f
ind
_
matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add a
f
f
i
n
e hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoo
l
aege
iscc: add operation
t
o construct uni
v
ersal
m
a
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
oola
e
g
e
iscc: add "join" op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
i
s
cc
:
add intersect_
d
omai
n
op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaeg
e
i
s
cc: allow overloading binary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
iscc: ad
d
more do
m
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
doc: r
e
organize tabl
e
of iscc ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdool
a
e
g
e
barv
i
nok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
AUT
H
ORS: update su
p
port information
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
r
andomvecto
r
:
d
o
uble size
o
f coefficients on
each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
iscc: suppor
t
transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
l
a
ege
update
isl
t
o ve
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barv
i
nok_e
.
cc
:
enumera
t
e_v
d
: remove unus
e
d variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
e
val
u
e
.
c: Polyhe
d
r
o
n_Insert:
add missing ret
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
va
l
u
e
.
c:
r
edu
c
e_e
v
a
lue:
r
emo
v
e
u
nus
e
d vari
a
ble
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add @ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
cc: add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdool
a
e
g
e
ad
d
isl_pw_qpolynomial
_
up
p
er_
b
oun
d
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
oolaege
iscc:
add sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add isl_pw_qpolynom
i
al
_
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
add
i
s
l_pw_qpol
y
no
m
ial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
update isl for
i
sl
_
pw_qpolynomial_foreac
h
_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdool
a
eg
e
ren
a
me ev
a
lue2isl t
o
i
sl_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
v
en Verdool
a
ege
iscc: detect more
kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
ve
n
V
erdoolaege
barvinok_
e
num
e
rate:
use isl duri
n
g
the v
e
rificat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doo
l
aege
add isl
_
set_ca
r
d and isl
_
map_card
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n V
e
rdoo
l
aege
a
dd evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n V
e
rdoolae
g
e
evalu
e
_co
n
ver
t
:
e
xpo
r
t as appli
c
a
tion
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
barvino
k
_enumerate_
e
: optio
n
ally us
e
is
l
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolae
g
e
a
dd isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
AX
_
SU
B
M
O
DUL
E
: accep
t
"
-
"
i
n mo
d
ule
n
am
e
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
barvinok_enumerate: re
t
u
r
n
NaN for
i
nfini
t
e
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_al
l
_equal
i
ties: hand
l
e integrally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_en
u
merate_
e
: al
w
ays re
t
urn a part
i
tion
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolae
g
e
barvinok_enume
r
ate: check
that dimension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olaege
partition2enum
e
ratio
n
: che
c
k that inpu
t
is re
a
lly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
erdoola
e
ge
update pipli
b
for change
in
configure options
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Ver
d
oolaege
u
p
date omega fo
r
conf
i
guration/compil
a
tion
i
ssues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdool
a
ege
b
arvinok_count_
w
ith_option
s
: chec
k
re
t
urn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Ve
r
dool
a
ege
Polyhedron_S
a
mple:
p
lug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verd
o
olae
g
e
su
m
m
at
e
.
c:
add
missi
n
g include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: support newer
v
ersions of TOPC
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
topcom
.
c: com
p
ute_domain: skip vertices without
domain
commit
|
commitdiff
|
tree
2009-11-12
S
v
en
V
erdoolaege
p
o
lytope_minimize: take constant te
r
m
t
o be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
d
o
c
: reflec
t
that
-
-e
n
able-fractional is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
g
l
p
k
_polyhedron_af
f
ine_sig
n
: special case 0D polyhe
d
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
Polyhedron
_
Insert_Colum
n
s: f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
Verdoolaege
P
o
lyhedro
n
_
F
act
o
r: fix
u
pd
a
ting of groups
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Verdoolaege
c
on
f
igure
.
i
n
:
us
e
AX
_
SUBMODULE ins
t
ead of
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equalities: u
s
e Pol
y
hedr
o
n_Pr
e
i
m
age
ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
ba
r
vinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verd
o
olaege
d
oc: add
ex
p
erimental
compari
s
on be
t
ween old
a
nd
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexmin
.
cc: remove
"anachr
o
nism"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
erdool
a
ege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
d
oc: add some less common
.
sty f
i
le
s
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
laeg
e
add "
c
lever" L
a
urent
e
x
p
ansion ba
s
ed summation
commit
|
commitdiff
|
tree
2009-07-20
S
ve
n
Verdoolaege
mov
e
Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoola
e
ge
ex
t
ract out param_polynomial from laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoolaege
extract vertex_cone from l
a
urent
.
c
c
commit
|
commitdiff
|
tree
2009-07-13
S
ven V
e
rd
o
olaege
NTL_QQ
.
cc: add stdi
o
include for
E
OF hid
d
en
in NTL_io_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdo
o
l
a
ege
update p
o
l
y
l
i
b
for speed
i
mpro
v
e
m
ent in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
u
p
date
pip
l
ib
for distribut
i
on iss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoola
e
ge
Po
l
yh
e
dron_Factor: fix mergi
n
g of groups of
columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doo
l
aege
b
a
r
v
inok_enum
e
ra
t
e_series: don't check for
re
v
lex p
o
sitive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
(
t
)co
u
n
t
er: m
o
ve counter::reset() up to cou
n
t
er_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
M
akefile
.
am:
kee
p
b
e
tter
t
rack of
failed tests
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
e
r
d
o
o
l
aege
add semigroup_holes ap
p
lication
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdo
o
la
e
ge
Line_Length
:
hand
l
e 0D
p
o
lytope in
1D space
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
V
e
rd
o
ola
e
ge
gen
_
fun:
a
dd i
s
_zero met
h
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
bar
v
inok_enumerate_e_serie
s
: remove
e
qualities in
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
barvin
o
k
_enumerate_e_series: ha
n
dle a
l
l existe
n
tia
l
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ser
i
e
s
.
cc: m
a
ke
projec
t
static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvin
o
k_enumerat
e
_
e_serie
s
:
handl
e
all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
a
dd
test set f
r
om the other itsl2
0
08
p
aper
commit
|
commitdiff
|
tree
2009-04-28
Sven
Verdool
a
ege
.
gi
t
ignore
:
ignor
e
ob
j
ect files
commit
|
commitdiff
|
tree
2009-04-28
Sve
n
Ver
d
ool
a
ege
ge
n
func
.
cc: par
a
llel_polytop
e
s: d
e
tect 0D
p
ol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaege
co
n
figur
e
.
i
n: set AC_CONF
I
G_MA
C
RO_D
I
R
commit
|
commitdiff
|
tree
2009-04-27
Sven Ve
r
d
o
olaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Ver
d
ool
a
ege
Polyhedron_Facto
r
:
handle polyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update
piplib for change in configur
e
arg
u
ment
s
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test_approx
.
c: ad
d
dummy f
i
eld in dummy tms st
r
u
c
ture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
configur
e
.
in: avoid introducing
e
m
p
ty elements i
n
PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
next