Example programs for Finch, a symbolic executor over Falcon IL.

All code in this repository is released under the Apache 2.0 License.