Hi, Warren.
I used GitHub repository: https://github.com/freebsd/freebsd
git branch: master
For command: "git rev-list HEAD --count", verified revision is 217717.
10.02.2016 21:47, Warren Block пишет:
On Wed, 10 Feb 2016, Svyatoslav Razmyslov wrote:
Hi, Warren.
The analysis report (filtered for most interesting messages) is
attached, you can use it without any restrictions. To use the report,
please append the beginning of the paths to files with the path to a
directory containing kernel sources (replace |?| in case of csv).
Our article itself will be ready approximately in a week, we well
appreciate if you could post about it in a news section on
www.freebsd.org.
An additional question: which Subversion revision of the FreeBSD
kernel was checked out for the analysis?
Thanks!
--
Svyatoslav Razmyslov
"Program Verification Systems" (Co Ltd)
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-doc
To unsubscribe, send any mail to "[email protected]"
