Add Aiur formal verification framework with #aiur_gen command#349

arthurpaulino wants to merge 1 commit intomainargumentcomputer/ix:mainfrom

ap/aiur-formalargumentcomputer/ix:ap/aiur-formalCopy head branch name to clipboard