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
Bump version.
2005-06-30
Sven Verdoolaeg
e
Bump
v
e
rsion
.
commit
|
commitdiff
|
tree
2005-06-30
Sven
Verdoolaege
Bri
e
f exp
l
anat
i
on of the differ
e
nt special
i
z
ation algori
t
hms
.
commit
|
commitdiff
|
tree
2005-06-30
Sven
V
er
d
oolaege
Fix non-fractional compilation
.
commit
|
commitdiff
|
tree
2005-06-30
S
ven Verdool
a
ege
Add extra
i
nfo to vers
i
o
n
str
i
ng
.
commit
|
commitdiff
|
tree
2005-06-29
S
v
e
n
Verdoolaeg
e
S
u
p
port n
o
n-incremental
specializatio
n
for series
c
omputat
i
on
.
commit
|
commitdiff
|
tree
2005-06-29
Sv
e
n Verdool
a
ege
Rename partial_reduce
r
to partial_ireducer
.
commit
|
commitdiff
|
tree
2005-06-29
Sven Verdoolaege
Split off splitting of numera
t
or and den
o
minator
.
commit
|
commitdiff
|
tree
2005-06-29
Sv
e
n Verdoolaege
C
o
nstant propa
g
ation
.
commit
|
commitdiff
|
tree
2005-06-29
Sven Verdoolaege
R
e
move unused attribut
e
.
commit
|
commitdiff
|
tree
2005-06-29
Sven
Verdoo
l
aege
Allow
c
h
oice of incremental algori
t
hm
t
o be used
.
commit
|
commitdiff
|
tree
2005-06-29
Sven Verdoo
l
aege
Remove potentially i
n
c
o
rre
c
t optimizati
o
n complet
e
ly
.
commit
|
commitdiff
|
tree
2005-06-29
S
ven Verdoolaege
Implement a
n
d use bre
a
dth-first enume
r
ato
r
.
commit
|
commitdiff
|
tree
2005-06-29
S
v
en Verdoolaege
Extra
c
t out common enum
e
ration
part
.
commit
|
commitdiff
|
tree
2005-06-29
Sven Verdoolaege
E
x
t
ract out b
a
se p
a
r
t
of br
e
adth
-
f
irs
t
co
m
putation
.
commit
|
commitdiff
|
tree
2005-06-28
Sven Verd
o
ola
e
g
e
Remove unne
e
d
e
d lin
e
.
commit
|
commitdiff
|
tree
2005-06-28
Sven
Ve
r
doolaege
C
o
m
ment on
p
owers in cas
e
no_par
a
m + only_param ==
.
.
.
commit
|
commitdiff
|
tree
2005-06-28
Sven Verdoolaege
Remove dead code
.
commit
|
commitdiff
|
tree
2005-06-26
Sven Verdoolaege
A
dd --v
e
rsion option to barvinok_count
.
commit
|
commitdiff
|
tree
2005-06-26
Sv
e
n Verdoola
e
ge
K
e
ep track of head
id
.
commit
|
commitdiff
|
tree
2005-06-24
Sven
V
erdoolaege
Add
v
e
r
s
i
on string
.
commit
|
commitdiff
|
tree
2005-06-21
Sven
V
erdoolaege
S
e
t exe
c
ute permissions l
o
st in conv
e
rsion
f
rom cvs
.
commit
|
commitdiff
|
tree
2005-06-21
Sven
V
erdoolaege
Perfor
m
a
u
t
o
header before auto
m
a
k
e and autoc
o
nf
.
commit
|
commitdiff
|
tree
2005-06-21
Sv
e
n Ve
r
d
oo
l
aege
F
a
ctor out
bfcounter_
b
ase
.
commit
|
commitdiff
|
tree
2005-06-21
Sven Ve
r
do
o
laege
Use "bre
a
dth-fir
s
t
"
v
e
r
sion to compu
t
e seri
e
s
.
commit
|
commitdiff
|
tree
2005-06-20
Sven Ver
d
oolaege
Use
"br
e
adth-first" v
e
rsion
.
commit
|
commitdiff
|
tree
2005-06-20
Sven Ve
r
doolaege
D
o
cument m
e
anin
g
of some variab
l
es
.
commit
|
commitdiff
|
tree
2005-06-20
Sven
Verdoolaege
dump to cerr instead o
f
cout
.
commit
|
commitdiff
|
tree
2005-06-04
Sven V
e
rdoolaeg
e
Mak
e
ran
d
om vector the default
.
commit
|
commitdiff
|
tree
2005-06-01
Sven Verdoola
e
ge
Add missing file
.
commit
|
commitdiff
|
tree
2005-06-01
Sven
V
erdoolaege
Get numb
e
r
o
f parameters right in some cor
n
e
r
cases
.
commit
|
commitdiff
|
tree