Version 5 (modified by mulligan, 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. The bulk of the development is found in the file "".

Attachments (1)

Download all attachments as: .zip

Note: See TracWiki for help on using the wiki.