Missing LICENSE file

[hughperkins]

Hi, looking forward to trying some of your formal verification tests against my own work. From your README, looks like the license is Apache 2.0. However, no LICENSE file currently exists in your repo, and github doesn't detect the license of your work. Dont suppose... please could you consider adding a LICENSE file to your repo? github will then pick this up, and automatically show the license type on the right hand side of your github page. (e.g. https://github.com/apache/httpd, see screenshot:

[ZipCPU]

I'm not convinced this needs a fix. Every file in the repository should already be properly marked with the license it is released under.

[hughperkins]

From a legal point of view, I believe this might not need to be fixed AFAIK (Note: I am not a lawyer; this is not legal advice...). However, from a usability point of view, I feel it is very convenient to be able to instantly see the license of a repo at a glance, without needing to dig through the readme etc.

[hughperkins]

Note that in the apache 2.0 license instructions, they recommend https://www.apache.org/licenses/LICENSE-2.0 :