cvs commit: src/sys/kern init_main.c kern_malloc.c md5c.c subr_autoconf.c subr_mbuf.c subr_prf.c tty_subr.c vfs_cluster.c vfs_subr.c

[Poul-Henning Kamp]

In message <20030727115457.553f1df7.Alexander at Leidinger.net>, Alexander Leiding
er writes:

>> We still have no tools which help us translate high level abstractions
>> into low level code or for that matter to validate the high level
>> abstractions in the first place.
>
>Are you talking about e.g. model checking? After Aug 2 I plan to look at
>porting 2 major open source model checkers.

I don't think you could have gotten an accountant to explain what
a spread-sheet would do back in the days before VisiCalc, but once
the idea was out, everybody could see that it was brilliant.

If I knew what the tools were, I would have been busy writing them
years ago, but unfortunately, I don't seem to be the one destined
to invent the programmers spread-sheet.

>> Given all that, I firmly belive we should embrace every little bit
>> of help we can get from tools and programs we have, even if that
>> means minor inconveniences and a certain cramping of style here and
>> there.
>
>Perhaps you can convince dds (CCed) to extend devel/cscout in various
>helpful directions. Based upon his introduction to us at the time he got
>his commit bit and his homepage he may be interested in this kind of
>work.

I was very happy to see dds@ appear in the asylum :-)

-- 
Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
phk at FreeBSD.ORG         | TCP/IP since RFC 956
FreeBSD committer       | BSD since 4.3-tahoe    
Never attribute to malice what can adequately be explained by incompetence.