> From: Tom Tromey <tromey@cygnus.com> > Date: 27 Apr 2000 19:35:15 -0600 > > Does anybody here know the ins and outs of verification? Yeah. We ought to be able to lift the verifier out of gcc/java. It's mostly a licensing issue, I think, although it would take a bit of judicious hacking to separate the verifier from gcj's trees. Andrew.