CSCI P545 Computer Science Department Indiana University Mon Mar 3 11:48:04 EST 2008 © [SDJ]

Homework Scores as of February 20

The histogram [PDF] shows cumulative homework scores in the course repository as of February 20. It is indexed by the last four characters of your SVN password. Comments will be posted to your SVN directory later this week, or you can see the Instructor.

Homeworks were graded on the basis of three points per .pvs file on assignments 1 through 5.

When turning in your work on PVS file X.pvs, please remember to generate and add a text file X.status (not X.status.txt) showing the status of the proofs. One way to do this is with the command M-x prove-pvs-file, which re-runs all proofs in the X.prf. It also runs the command M-x tcp (typecheck-prove) which attempts to prove your TCCs automatically.

By doing this in your working copy of the repository, you verify that the proof-file is the one you want to upload.