Each student is given an svn directory that needs to
be checked out at the beginning of the semester to as follows:
After the initial checkout, <working_directory>
will contain a subdirectory assignments. Once an
assignment (mp or hw) has been announced, if you do an
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
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
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.
svn commit -m "<your comment here>"