Submission Guidelines
Reading Questions
Answers to reading questions should be emailed to the TA (rseater@mit.edu), by 10am the morning they are due. Answers should be pasted directly into the email, and the subject should include "[6.894]".
Excercises
Answers to excercises should be emailed to the TA (rseater@mit.edu), by 10am the morning they are due. Problem sets received after 10am will not be accepted unless prior arrangement was made. The email's subject line should include "[6.894]". Include the problem set as an attached zip file labeled with your user name. The zip file should have the following directory structure:
The top directory should be labeled with your username and contain a single directory labeled "PS#", where # is the problem set number. That directory in turn has 2 subdirectories and an optional readme text file. The first subdirectory is labeled "models" and contains all Alloy models (.als) and customizations for the Alloy vizualizer (.vis). The second subdirectory is labeled "exercises" and contains pdf, html, and text files of your solutions. When you are explaining a model you wrote, you should restate the model in the write up, as well as putting a copy in the models directory. If you prefer to handwrite all or part of an assignment, we can help you scan a digital copy of it to submit.
For example, Daniel Jackson might send an email entitled "[6.894] final submission" to rseater@mit.edu, attaching a file dnj.zip, laid out as follows:
This will make grading smoother and more efficient.