{"ref":"v0.4.5","ref_type":"tag","master_branch":"master","description":"WyRL is a domain specific rewrite language and code generator which has been custom developed for use within the Whiley Compiler.  Specifically, WyRL is used to generate the Automated Theorem Prover used within Whiley.","pusher_type":"user"}