Some of ya'll have voiced concern about the inefficiency with which you're able to interact with the y86 simulator. This page attempts to introduce you to a couple facilities that can help with that. It's not intended to be comprehensive, but more so to be a good start. Feel free to fire off followup questions if you get stuck. It may take you a couple hours to figure this stuff out.
First off, it's almost certainly better for you run a vnc session, instead of using a standard ssh utility like putty (although if you have a local window manager, like some packages in cygwin, you can enable window forwarding with the -X command and get a similar effect). The following page outlines how to start a vnc session on the UTCS machines.
Step 3 in that document tells you how to get an interface that looks
familiar. I use kde by putting the command startkde at the
end of my ~/.vnc/xstartup file.
If you tend to work from coffee shops, you should probably look into a version of vnc that sets up an SSH tunnel first, so that your password is not transmitted in clear-text. If you work from home or the office, you probably don't need to worry about it. I use SSVNC
Emacs is more or less the best editor you can use for editing lisp-like
syntax programs (read: functional programs that use parentheses to indicate
function calls and scope). You can start it on a linux box with the
command emacs. After you start emacs, you should load a file
made for running ACL2 programs (since the simulator is written in ACL2,
this file will also help you). To do this, from within emacs, type
alt+x, load-file [enter],
/projects/acl2/v3-6-linux/emacs/emacs-acl2.el [enter]. You'll
notice that it starts a shell for you right then and there! At this point,
you can type /projects/hvg/CS352-Y86/y86 [enter] into that
shell and it'll start the simulator.
ctrl+x ctrl+f [filename] [enter] ; opens a file in the
current emacs windowctrl+x ctrl+s ; saves the current buffer/filectrl+t e ; copies the current "form" to the shell buffer
and changes your current window to that bufferctrl+x b ; lets you switch to another buffer/filectrl+x ctrl+b ; shows you all of the buffers to chose
fromctrl+x 3 ; splits the window verticallyctrl+t ctrl+e ; copies the current "form" to the shell
buffer and does not changes your current window to that buffer (though,
it does change your focus)ctrl+shift+- ; undo -- note that you can undo an undo
(also called a redo) by typing a space and then undoing twice, it's just
a stack of changesalt+x new-shell [enter] ; start another shellhttp://refcards.com/docs/gildeas/gnu-emacs/emacs-refcard-a4.pdf