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
allow codegen on sets
2010-03-25
Sven Ver
d
o
ol
a
e
g
e
isl_qpolynomial_fold_from
_
ginac: handl
e
fail nod
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aeg
e
isl_
q
pol
y
nom
i
a
l_from_ginac: expand ex before
i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
isl_o
b
j
_
list
.
c: u
p
date to use of i
s
l
_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
is
c
c: a
d
d
gist operation
s
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaeg
e
is
l
_pw_q
p
olynomial_uppe
r
_
b
o
und: set up variable ve
c
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ven V
e
r
d
oolaege
isc
c
: add s
o
me com
p
ar
i
son
o
perations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
i
scc: add inverse operati
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix up type of find_
m
atching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verd
o
olaege
iscc
:
add affine hull o
p
er
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
iscc: add operation
t
o construct unive
r
sal
map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoo
l
aege
iscc: add "join" oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven
Ve
r
do
o
laege
is
c
c
:
add
intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
g
e
iscc: allow overloading binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaeg
e
iscc: add mo
r
e
d
om
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoo
l
aege
doc: r
e
o
r
ga
n
ize tabl
e
of
i
scc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
upd
a
te isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
oo
l
ae
g
e
b
a
rvin
o
k 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
rdoolaege
AUTHORS: update
suppo
r
t
i
n
formation
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaeg
e
ra
n
d
o
mvector
:
double si
z
e of coeffi
c
ients on each
atte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
i
scc: support transitive
c
l
o
s
ure
commit
|
commitdiff
|
tree
2010-03-10
S
ven
Verdoolaege
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ve
r
dool
a
e
ge
barvinok_e
.
c
c: enumerate_vd: remove
unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
evalue
.
c:
P
olyhedron_Insert: add miss
i
n
g
ret
u
rn typ
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
eval
u
e
.
c: reduce_evalue: r
e
mo
v
e unused va
r
iable
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
iscc: ad
d
@ oper
a
tor
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
e
ge
iscc:
a
dd "ub
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
l
ae
g
e
add isl_pw_q
p
o
l
y
n
omial_
u
p
p
er_bo
u
nd
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc: add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
add isl_pw_qpoly
n
omial_t
o
_e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
o
l
aege
update isl for i
s
l_pw_qpo
l
yn
o
m
ial_
f
ore
a
ch_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
o
l
aeg
e
re
n
am
e
evalue2isl
to
i
sl
_
pw_qp
o
lynomial
_
fro
m
_evalu
e
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verdo
o
laege
iscc
:
dete
c
t more
k
inds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ver
d
oolaege
barvinok_enumera
t
e
:
use isl
d
uring th
e
ver
i
fication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laeg
e
a
dd iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
add isl_set_card a
n
d isl_map_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
add evalue
2
isl
commit
|
commitdiff
|
tree
2010-03-05
S
ven V
e
r
d
oolaege
eva
l
ue_convert: ex
p
ort as a
p
plic
a
tion
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
b
arvinok_enum
e
rate_e: optional
l
y use isl t
o
project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
add isl submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
g
e
AX_
S
UB
M
ODULE: accept
"
-
" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
d
oo
l
aeg
e
b
a
rvinok_enumerate:
r
eturn Na
N
f
o
r infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all_equalities
:
handle
i
n
t
e
grally, but
n
o
t
r
ationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n
Verd
o
ol
a
e
g
e
b
a
rv
i
no
k
_enumer
a
t
e_e: always re
t
urn a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enu
m
er
a
te: check that dimension of input in
c
l
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoolaege
partition2enum
e
ration: check th
a
t
input
i
s real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
update
piplib for change i
n
c
o
nfigure
o
ptio
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
ege
update omega f
o
r config
u
r
a
t
i
on/comp
i
lation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
barvinok_count_with_o
p
tions:
check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
Polyhedron_Sample: plu
g
m
emory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
sum
m
ate
.
c
:
ad
d
mis
s
ing include
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
top
c
om
.
c: suppo
r
t
newer
version
s
of
TO
P
CO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdool
a
ege
topcom
.
c: co
m
p
ute_domain: s
k
ip
v
er
t
ices wit
h
out domain
commit
|
commitdiff
|
tree
2009-11-12
S
ven
Verdoolaege
d
o
c: reflect
t
hat --enable-fra
c
tional is now the de
f
ault
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdool
a
ege
glpk_
p
olyhedron_affine_sign: spe
c
ial case 0
D
p
o
l
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedron_Insert_Columns: f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
S
v
en Verdoolaege
Polyh
e
dron_Factor: fix up
d
a
ti
n
g
of
groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdo
o
l
a
ege
configure
.
in: use AX_SUBMODULE instead of B
V
_SUBMODUL
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equa
l
ities:
u
se Polyh
e
dron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
barv
i
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc:
add exper
i
mental comp
a
rison between ol
d
and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ver
d
oolae
g
e
le
x
mi
n
.
cc: remove "ana
c
h
r
on
i
sm
"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoo
l
a
ege
doc: ad
d
s
o
m
e
l
e
ss com
m
o
n
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
add "c
l
ever" Laurent expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
g
e
move La
s
t_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven V
e
rdoola
e
g
e
extr
a
ct out par
a
m_polynomial from
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
e
x
t
r
a
c
t v
e
rt
e
x_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Ve
r
doolaege
u
p
date pol
y
lib for speed impr
o
v
ement
i
n in_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n
Verd
o
o
l
ae
g
e
update pip
l
ib f
o
r distribu
t
ion i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ver
d
oolaege
Po
l
yhedr
o
n_Factor:
fix merging of gr
o
ups of colu
m
ns
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdo
o
laege
(t)count
e
r:
move
c
o
u
nter:
:
r
e
s
et() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
e
g
e
M
a
kefile
.
a
m: keep better tr
a
ck of
fa
i
led tests
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
Line_Length: hand
l
e
0D
polytope in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Po
l
yhedron_Fa
c
tor: ha
n
dle polyhedra
with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doolaege
update piplib f
o
r
chan
g
e in configure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoo
l
a
ege
barvinok
.
cc:
remove u
n
used
nonort
h
og
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
lae
g
e
update piplib for MinGW co
m
patib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
S
v
en
V
erdoo
l
aeg
e
u
pdate
p
olylib for MinGW comp
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Ve
r
doolaege
evalue
.
c: in_dom
a
i
n
:
special-c
a
s
e 0D domain
s
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoolaege
Avoid use of sys/times
.
h
he
a
der when not availa
b
l
e
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Verdoolae
g
e
add gn
u
l
ib getsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
READ
M
E: me
n
tion tha
t
GiNaC is
also ne
e
ded for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
r
doolaege
Allow build
o
f
o
cc whe
n
using bu
n
dled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoo
l
ae
g
e
doc: a
d
d a reference to
a mas
t
er thesi
s
a
c
tually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
ola
e
ge
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ver
d
o
o
laege
README: fix
u
p installation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
Add fi
l
es g
e
nerated by
b
is
o
n and
fle
x
to the distr
i
bution
commit
|
commitdiff
|
tree
2008-10-16
S
ven
Verdoola
e
ge
updat
e
polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update pipl
i
b
commit
|
commitdiff
|
tree
2008-10-10
S
v
e
n
V
erdoolaege
evalu
e
.
c: aff
i
n
e2
e
value: reduce coef
f
ici
e
n
t
s
commit
|
commitdiff
|
tree
2008-10-10
S
v
e
n
Verdool
a
ege
e
value
.
c: eva
l
ue_level_cmp: produce mo
r
e c
o
nsisten
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven
V
erdo
o
laege
doc:
a
dd another
p
a
per refe
r
ring to the
library
commit
|
commitdiff
|
tree
2008-09-16
Sven V
e
rdoolaege
piecewise_lst
.
h: avoid duplicate
p
arameter name
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
V
erd
o
olaege
evalue_rea
d
.
c: fix minor bugs i
n
t
o
keni
z
er
commit
|
commitdiff
|
tree
2008-09-02
Sven Ver
d
o
ol
a
ege
update omega for missing
f
i
les in distribution
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
barvinok_en
u
merate_e: avoid infin
i
t
e
loo
p
when
p
resente
d
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven V
e
rdoolaege
mov
e
om
e
ga subd
i
r to omega
_
in
t
erface
commit
|
commitdiff
|
tree
2008-08-28
Sven
Ver
d
oola
e
ge
NT
L
_QQ
.
cc: add stdlib incl
u
de for abort hidde
n
i
n
N
TL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaeg
e
re
m
ove g
n
u
l
ib link-wa
r
n
i
ng module complet
e
ly
commit
|
commitdiff
|
tree
2008-08-24
Sven Ver
d
oolaege
update polylib with extra f
i
e
ld
i
n
Param_Poly
h
e
d
ron
commit
|
commitdiff
|
tree
next