> > You say that it is "proven", that it does what it says on the tin,
> > but how does one know?
>

Well, if it passes the included regression tests, then we have to assume
it's good. (Insert smiley).

 Indeed.  For example, the code needs modifications for pic18, which
> may or may not have been obvious from comments,
>

The whole thing serves a single purpose (said algorithm in a small space).
Generally, when we go up to the next family of processor, we stop caring
about the sort of intense optimizations that made it fit into a 16F...
-- 
http://www.piclist.com PIC/SX FAQ & list archive
View/change your membership options at
http://mailman.mit.edu/mailman/listinfo/piclist