- October 2: The deadline for project 1 has been extended to
- October 1: I made minor clarifications to the
descriptions of invokestatic for the ijvm2. Look
also added the definition of *math-class* at the
bottom of the page describing the ijvm spec.
- September 30: I made minor clarifications to the
descriptions of invokestatic and istore for the ijvm. Look
- September 23: Instructions on how to submit assignments
have been posted here.
- September 16: A file containing the example I presented in
class today can be obtained here.
- September 10: The ACL2 books are here. Come pick them up
at your earliest convenience.
- August 26: Altera boards are now being distributed. Make
sure to pick one up. I need for some of you to volunteer to
share, otherwise, I will assign partners.