The JVM-related Axe tools
===============================

This directory contains Axe tools that support lifting and verifying
JVM bytecode.  These tools can be applied to Java source code by first
compiling it to bytecode with javac.

See the [examples/](examples) directory for examples.
