Version 3 (modified by 11 years ago) ( diff ) | ,
---|
The CPP 2011 MCS-51 assembler formalisation
To obtain the Matita formalisation of the CPP 2011 MCS-51 assembler, you will require two things:
- The latest SVN version of Matita (note, the last Matita release will not suffice),
- The files themselves.
The latest SVN version of Matita can be obtained by executing the following command in a shell, assuming a local installation of Subversion and SSH:
The latest development files can be obtained by clicking on the "latest.tar.bz2" attachment at the bottom of this page.
Attachments (1)
-
latest.tar.bz2
(55.7 KB
) - added by 11 years ago.
Latest bundle of development files.
Download all attachments as: .zip
Note:
See TracWiki
for help on using the wiki.