strace bugfix, move pin

middleware/qira_program.py

@@ -26,7 +26,7 @@ for i in range(8):
   AARCH64REGS[0].append(None)
 for i in range(32):
   AARCH64REGS[0].append("x"+str(i))
-AARCH64REGS[0][8+29] = "fp"
+#AARCH64REGS[0][8+29] = "fp"
 AARCH64REGS[0][8+31] = "sp"
 AARCH64REGS[0].append("pc")
 

pin_build.sh

@@ -1,4 +1,6 @@
 #!/bin/bash -e
+cd pin
+
 if [ ! -d pin-latest ]; then
   wget -O- http://software.intel.com/sites/landingpage/pintool/downloads/pin-2.13-65163-gcc.4.4.7-linux.tar.gz | gunzip | tar x
   ln -s pin-2.13-65163-gcc.4.4.7-linux pin-latest

web/client/strace.js

@@ -23,6 +23,7 @@ function redraw_strace() {
       '</div>';
   }
   $('#strace').html(strace);
+  rehighlight();
 }
 
 Deps.autorun(function() { DA("redrawing strace");