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 introduction of isl_printer
2010-03-18
Sven Verdoolaege
up
d
ate isl for intr
o
du
c
tion of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n
Verdoolae
g
e
isl_pw_qpolyn
o
m
ial_upper_bound: se
t
up variabl
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaeg
e
iscc: add s
o
me comparis
o
n ope
r
a
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
iscc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
scc:
f
ix up type o
f
find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rdoola
e
g
e
iscc:
add affi
n
e
h
u
ll
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
is
c
c
: add operation to construct universal map
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
i
s
cc
:
add "jo
i
n"
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rdoo
l
aege
isc
c
: add interse
c
t_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: allow overload
i
n
g binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: add more dom opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
doc: reo
r
g
a
nize table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
updat
e
i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvino
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
A
U
T
HORS: u
p
date su
p
port info
r
m
a
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
ol
a
ege
ran
d
o
m
v
e
cto
r
:
d
o
u
ble s
i
ze of coefficients on
each atte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
iscc: support transitiv
e
clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update isl to version
0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdoo
l
aege
ba
r
vinok_
e
.
cc: enumerate_
v
d: r
e
m
o
ve
unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verd
o
ol
a
ege
evalu
e
.
c: P
o
lyh
e
dron
_
Insert: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
doolae
g
e
evalue
.
c: reduce
_
evalue:
re
m
ove
u
n
used va
r
i
able
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdo
o
laege
iscc: ad
d
@ operato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
ege
isc
c
: add
"
u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
olaege
add isl_
p
w_qpolynomial_upper
_
b
oun
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
iscc:
add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
a
dd isl_pw_qpolynomial
_
to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update i
s
l
fo
r
isl_pw_
q
pol
y
nomial_forea
c
h_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
rename evalue
2
isl to
i
sl_pw_qpolynomi
a
l_
f
r
o
m_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdo
o
la
e
ge
isc
c
: detect more kinds of
e
rro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
barvin
o
k_
e
numerate:
use isl duri
n
g the v
e
rific
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add
i
sl_set_card and i
s
l
_
m
ap_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add
e
value2
i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
evalue
_
con
v
ert: export a
s
application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
ol
a
ege
bar
v
inok_enume
r
ate_e: optionally use
i
sl to projec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
dool
a
ege
A
X_S
U
B
M
ODU
L
E: accept "-" i
n
mod
u
lena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
ba
r
vi
n
ok_enumerate: return
N
aN for infinite probl
e
ms
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all_equalities: handle integra
l
ly, but
n
o
t
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
ba
r
vinok_enumerate_e: alw
a
ys return a
p
arti
t
i
o
n f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en
V
erdo
o
la
e
ge
barvinok_enumerate: check that d
i
m
e
nsion of
i
n
p
ut includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verd
o
olaege
p
a
rtition2enumeration: chec
k
that input is
r
eally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven
Verdo
o
laege
updat
e
pi
p
lib f
o
r ch
a
nge in
config
u
r
e
options
commit
|
commitdiff
|
tree
2009-11-30
S
ven
V
erdool
a
e
g
e
update omega f
o
r
c
onfiguration/c
o
mpilation is
s
u
e
s
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Ver
d
oolaege
b
arvinok_count_with_options: check return value
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doolaeg
e
Poly
h
edron_Sample: plu
g
memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
s
um
m
ate
.
c:
add m
i
ssin
g
include
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
to
p
com
.
c: s
u
pport newer v
e
r
s
io
n
s of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
topcom
.
c:
compute_domain: skip vertices
w
ithout domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
r
d
oolaeg
e
polyt
o
pe_min
i
mi
z
e: take constant term to be zer
o
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verdoo
l
aege
d
o
c: reflect that
-
-enable-fract
i
onal is
now the
default
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdo
o
laege
glpk_pol
y
hedron_affin
e
_
sign: spe
c
i
al case
0D polyhed
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdool
a
ege
P
o
ly
h
edron_I
n
sert_Column
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
Verdoola
e
ge
Po
l
yhedron_Factor: fi
x
u
pdating o
f
groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
in: use AX_SU
B
MODULE instead of BV_
S
UBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolae
g
e
remove_eq
u
alities: use P
o
lyhedron_P
r
eimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdool
a
ege
barvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aeg
e
d
o
c:
a
dd expe
r
im
e
ntal compariso
n
b
e
tween ol
d
and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
l
aege
l
e
x
min
.
c
c
: remove "anach
r
o
nism
"
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ver
d
oolaege
d
o
c: fix typ
o
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
d
oc: add
s
ome les
s
co
m
mon
.
sty fil
e
s
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever"
Laur
e
nt
expansion ba
s
ed summation
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoolaege
move Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
ex
t
ract
out pa
r
am_poly
n
omial from laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
e
x
tract
vertex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
NTL_Q
Q
.
cc:
a
dd
st
d
io in
c
lude for
E
O
F
hidd
e
n in NTL_i
o
_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update po
l
ylib
fo
r
s
peed
improveme
n
t in in_do
m
ain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaeg
e
upda
t
e
piplib for
distrib
u
t
ion issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ve
r
doolaege
Polyhedron_F
a
ctor: fix merging of groups o
f
columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doola
e
ge
ba
r
vinok_enumerate_
s
eries: don't check for rev
l
ex p
o
sitive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
(t)counter: move counter::reset() up to cou
n
t
er_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
Make
f
ile
.
am: kee
p
be
t
ter track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
g
e
add semig
r
oup_holes application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
Line_Length
:
han
d
le
0D
p
o
l
y
t
o
pe in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
gen_fun:
a
dd is_zero m
e
thod
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enume
r
ate_e_ser
i
es: remov
e
equ
a
lities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
barvinok_enumer
a
te_e_series: hand
l
e all exist
e
ntials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
do
o
laege
ser
i
es
.
cc: make projec
t
st
a
tic
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
ba
r
vin
o
k_e
n
umer
a
te_e_series
:
handle all eq
u
al
i
tie
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
ad
d
test set
from the
o
the
r
itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
S
ven
Verdoolaege
.
g
itignore
:
i
gnore ob
j
ec
t
fil
e
s
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
genfunc
.
cc: parallel_pol
y
topes:
detect
0
D p
o
lytopes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
ven Verdoolaege
configure
.
in: set A
C
_CON
F
IG
_
M
ACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Ver
d
oo
l
aege
ad
d
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
P
olyhedron_Factor:
h
andle polyhe
d
ra wit
h
a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolae
g
e
u
pdate pi
p
lib for change in conf
i
gure argum
e
nts
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
test_approx
.
c
: add du
m
m
y f
i
e
ld in dumm
y
tm
s
structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolae
g
e
configur
e
.
i
n: avoid
i
ntrodu
c
ing
e
mp
t
y elements in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
occ: define
OMIT_GET
R
USAGE
i
f sys/re
s
ource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omega_interface/Makefile
.
am: put depe
n
ding libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
c
o
nfigure
.
in: add
$
(EX
E
EX
T
)
t
o optiona
l
occ f
o
r c
y
gwin
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
update omega for MinGW compatibi
l
i
t
y
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaege
bernste
i
n/configure
.
in: a
d
d missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven
Verdoo
l
aege
g
e
n
f
un
.
c
c
: add br
a
ces round extern "C" typedef
commit
|
commitdiff
|
tree
2008-12-30
S
ven Verdoolaege
vector_parti
t
ion_chambers: computes cham
b
ers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven
V
erdoolaege
barvinok
.
cc: remove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
e
r
do
o
laege
updat
e
piplib f
o
r
M
inGW co
m
p
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update polylib f
o
r Mi
n
GW c
o
mpatibilit
y
commit
|
commitdiff
|
tree
next