Note: The late penaly is 20% of the total number of points possible
on the base part of the assignment, plus 20% of the total
points possible on the extra credit, if you attempt the extra
credit. It is not 20% of the number of points your earn.

After the initial checkout, &ltworking_directory&gt
will contain a subdirectory assignments. Once an
assignment (mp or hw) has been announced, if you do an

svn up

you will add a directory named after the assignment
(e.g. mp1) in the mps
directory. That directory will contain instructions for
the assignment, plus a stub for each file you must turn
in.

To do an assignment, you will need to follow the
instructions given in the directory for that
assignment. There will be two kinds of assignments, mps
and hws. Mps will be exercises carried out on tools
supporting a specific type of formal methods. Hws will be
written assignments proving theorems and doing hand
calculations. Since the mps involve using various tools,
by default you will need to do them on the ews linux
machines. Most of the tools should also be avialable form
the web to download to you own machine should you choose
to work on your own machine.

To submit an assignment, once you have completed the
necessry files as decribed in the assignment
instructions, in the assignment directory or either of the
parent directory or the gradparent directory

svn commit -m &quot&ltyour comment here&gt&quot

You may restrict svn commit to a specific
collection of files and directories by adding a list to
the end of the command.

You may do multiple commits; the version that is in
the repositry at 9:00pm on the due date is that one that
will be collected and graded.