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 fix in isl_map_deltas
2010-04-07
Sven
Ver
d
o
olaege
u
p
date isl for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop
barvinok
_
enum
e
ra
t
e
_
pip_with_op
t
ions
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoola
e
g
e
iscc: add cross pro
d
uct o
p
e
r
ations
commit
|
commitdiff
|
tree
2010-03-31
Sven V
e
r
do
o
laege
iscc: add
coal
e
sce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolae
g
e
update
i
sl for
i
sl_pw
_
qpolynomial_co
a
l
esc
e
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Verdoolaege
drop "Omega
c
o
u
n
t
ing calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
tes
t
_bound
.
cc: fi
x
p
rintf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
S
ven
Verdoolaege
bernstei
n
.
cc: fix prin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_r
a
nge_propag
a
t
ion: fix substitution for
n
egative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Ve
r
d
o
ol
a
ege
b
ernstein/configure
.
in: use
a
b
solute sr
c
di
r
o
f Pol
y
Li
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
rd
o
olaege
only distribu
t
e
bundled su
b
modu
l
es
commit
|
commitdiff
|
tree
2010-03-25
S
v
en
Verdool
a
ege
update
o
m
ega for co
n
figuration
i
ssue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
co
n
fig
u
re
.
in
:
allow "bu
i
l
d"
PolyLi
b
commit
|
commitdiff
|
tree
2010-03-25
S
ven
Verd
o
olaege
isl_qpoly
n
omial_fold_from_ginac: handl
e
f
ail nod
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_qp
o
lynomia
l
_from_g
i
nac:
expand ex befo
r
e inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aeg
e
isl_o
b
j_list
.
c: update to use of isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaeg
e
iscc: a
d
d gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
r
doolaege
isl_pw_qpolyno
m
ial_u
p
per_
b
o
und: set up variable
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
is
c
c
: add some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaeg
e
iscc: add inverse operati
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Ve
r
d
o
olaege
iscc
:
fix
u
p type
o
f find_
m
a
tching_b
i
n
_
op
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
V
er
d
ool
a
ege
is
c
c: add affine hull
o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolae
g
e
iscc: add ope
r
atio
n
to construct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
dd "join" op
e
rat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add int
e
rsect_domain ope
r
a
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaeg
e
isc
c
: allow
overl
o
ading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
i
s
cc: add
m
ore dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
a
ege
doc: reorga
n
ize table o
f
iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
AUTHORS: up
d
a
te support infor
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdoolaege
r
a
ndom
v
e
c
t
or: double size of c
o
effic
i
e
n
t
s
on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oola
e
ge
u
p
date isl
t
o
version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
barvi
n
ok_
e
.
c
c
: enumer
a
te_vd: r
e
m
o
ve
u
n
used va
r
iables
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
ev
a
lue
.
c: Po
l
yhedron_I
n
sert
:
add missing
r
e
turn type
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
evalue
.
c: re
d
uce_ev
a
lue: remove un
u
sed var
i
able
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
i
s
c
c
:
a
dd @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
r
d
o
olaeg
e
iscc: add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
isl_pw
_
q
polynomial_upper_bo
u
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc:
a
d
d sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaeg
e
add is
l
_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
add isl_pw_
q
polynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdool
a
ege
update
i
sl for isl_pw_qpolynomial
_
foreach
_
piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename eval
u
e2
i
sl to isl_p
w
_q
p
olynomial_fro
m
_evalu
e
commit
|
commitdiff
|
tree
2010-03-06
S
ven Ve
r
doola
e
g
e
is
c
c
:
de
t
ect more kinds
of
e
r
rors
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Ve
r
doolaege
b
a
rvinok_enum
e
rate:
u
s
e
isl
during
the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
add isl_
s
e
t_ca
r
d a
n
d isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
add
e
va
l
ue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue
_
c
onv
e
rt: exp
o
r
t
as ap
p
lic
a
tion
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
barvinok_enu
m
erate_e: optionally use i
s
l t
o
project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ad
d
is
l
submodule
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
erdoo
l
aege
AX_S
U
BMODULE:
a
ccept "-"
in modulename
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
do
o
laege
barvi
n
ok_enumerate: return NaN for infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven V
e
r
dool
a
ege
remove_all_equaliti
e
s
:
hand
l
e
integra
l
ly, but
n
o
t ration
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
ol
a
eg
e
barvi
n
ok_enumerat
e
_e: always return a partitio
n
fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Ver
d
o
olaege
barvinok
_
e
numerate: check
t
ha
t
d
i
m
e
nsion of input incl
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
ge
partition2enumeration: check t
h
a
t i
n
put is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
updat
e
pi
p
lib for c
h
ange in
configure opti
o
ns
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
update omeg
a
for con
f
igurati
o
n
/
c
o
mpilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
barvinok_count_with
_
o
p
tion
s
: che
c
k return val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaeg
e
Polyhedr
o
n_Sample: p
l
ug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
su
m
m
ate
.
c: add missing in
c
lud
e
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
erdoo
l
aege
topco
m
.
c
:
sup
p
ort newe
r
versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
t
o
pcom
.
c: compu
t
e
_domain: sk
i
p vertices
w
i
t
ho
u
t do
m
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verdo
o
laege
do
c
:
reflect that --enable-fractional is now th
e
d
e
fa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
r
doolae
g
e
glpk_polyhedro
n
_aff
i
ne_s
i
gn:
special case 0D polyhe
d
ra
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
d
o
ol
a
ege
Polyhedron_Inse
r
t_Column
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Ver
d
ool
a
ege
Polyh
e
dron_Fa
c
tor: fix updati
n
g
o
f
g
roups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configur
e
.
in:
u
se A
X
_SUBMODULE inst
e
ad of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven
V
erdoolaege
r
e
move_equ
a
lities: us
e
Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
do
c
: add experimental
c
om
p
ar
i
son between o
l
d
a
nd new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
lexm
i
n
.
c
c: remove "a
n
a
chronism
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
d
o
c: add some less co
m
mon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
oolaege
add
"
cleve
r
" Laurent expan
s
ion base
d
summation
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
move L
a
st_Non_
Z
ero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
extract out param_polyn
o
mial from
laur
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
extract vertex_
c
o
ne from la
u
re
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolae
g
e
update polyl
i
b for speed improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdoolaege
u
p
date
pi
p
lib for distribution i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sven
V
erdoolaege
Pol
y
hedron_Factor: fix merging of group
s
o
f columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
(
t
)
count
e
r
: mov
e
coun
t
er::reset()
u
p
to
c
ounter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven
V
e
r
doolaege
Makefile
.
am:
keep bet
t
er tr
a
ck of fa
i
l
e
d tes
t
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
L
ine_L
e
n
gt
h
: handle 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdo
o
laege
Polyhedr
o
n
_
F
a
ctor: han
d
le polyhedra wit
h
a
non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verd
o
o
l
ae
g
e
update p
i
plib f
o
r change in configure argu
m
ents
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdo
o
laege
barvinok
.
cc: remove unuse
d
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoolaege
upda
t
e pipli
b
f
o
r
MinGW
com
p
at
i
b
i
lity
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Ver
d
oolaege
updat
e
pol
y
lib for MinGW
c
ompatibility
commit
|
commitdiff
|
tree
2008-12-26
S
ven
Verdoola
e
g
e
eval
u
e
.
c: in_doma
i
n:
s
p
eci
a
l-ca
s
e 0D dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven
Verdoolaege
Avoid
u
se of sys/times
.
h
hea
d
e
r when
not available
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoolaege
add gnulib gets
u
bopt mod
u
le for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
README: mention that Gi
N
aC is also needed f
o
r the Ome
g
a
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow b
u
i
ld
o
f o
c
c w
h
en using bundled
o
mega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verd
o
ol
a
e
g
e
doc: a
d
d a
refe
r
ence to a ma
s
te
r
the
s
is actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
S
v
en
V
erdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
ege
README: fix up in
s
t
a
llation instruct
i
ons
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
Add files g
e
nerated by bison and flex t
o
t
he distribution
commit
|
commitdiff
|
tree
next