wiki:AssemblerFormalisation

Version 4 (modified by mulligan, 8 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:

svn+ssh://cerco.cs.unibo.it/srv/svn/helm/trunk/matita

The latest development files can be obtained by clicking on the "latest.tar.bz2" attachment at the bottom of this page.

Attachments (1)

Download all attachments as: .zip