Originally, we had the entire old minibase code (a version of it exists in ~cs764-1/public/minibase/minibase; I recommend not looking at it if you don't have to.) and tried to get that to work. It was a lost cause, and not worth the effort I had already put into it.
Fortunately, we went back to the previous version of the optimizer which wasn't as tied into the minibase code. It is currently at ~michaell/minibase.opt/. If you want to run it, it is compiled on the suns and you can start it up as either minibase for a text-only interface, or minibase.tcl to get a GUI one.
This file will try to stay fairly up to date with my current to do list, including tasks completed.