Using VNC and Emacs with the class Y86 simulator

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.

Basic Hotkeys

More Advanced Hotkeys

Quick Reference Page


Valid XHTML 1.1!