made a copy of 'old-code' to 'code'

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1302 f41b5082-1240-11e2-8be0-5ba0875e90a9
Continued cleanup ... everything builds again
- renamed tmu to basic
- moved extended to code/extended
- removed code/alloc (old stuff)
- removed code/common/TH*.hs and CollectTests.hs because of dependency
  on internals of old template-haskell (Antal might want to fix this)



git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1303 f41b5082-1240-11e2-8be0-5ba0875e90a9
Removed all stuff from basic that's not strictly necessary for the build; moved shell and perl scripts to separate folder

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1304 f41b5082-1240-11e2-8be0-5ba0875e90a9
Removed everything related to concrete machine

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1305 f41b5082-1240-11e2-8be0-5ba0875e90a9
Renamed basic files ... didn't yet fix anything [will be offline for some hours]

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1306 f41b5082-1240-11e2-8be0-5ba0875e90a9
Cleanup

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1307 f41b5082-1240-11e2-8be0-5ba0875e90a9
Dropped LabelOf and TMM instructions (not used by the machine in the paper)

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1308 f41b5082-1240-11e2-8be0-5ba0875e90a9
More cleanup ... including [partial] switch to latest QC version [still failing]

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1309 f41b5082-1240-11e2-8be0-5ba0875e90a9
Made things compile with latest Qc

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1310 f41b5082-1240-11e2-8be0-5ba0875e90a9
Made things compile with latest QC

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1311 f41b5082-1240-11e2-8be0-5ba0875e90a9
Removed any sign of JumpNZ, Sub, and LabelOf

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1312 f41b5082-1240-11e2-8be0-5ba0875e90a9
Got rid of absAdjustAddr and absAdjustIAddr

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1313 f41b5082-1240-11e2-8be0-5ba0875e90a9
A round of hslint

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1314 f41b5082-1240-11e2-8be0-5ba0875e90a9
Removed more unused code and warnings

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1315 f41b5082-1240-11e2-8be0-5ba0875e90a9
Clean shrinkV declaration.

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1316 f41b5082-1240-11e2-8be0-5ba0875e90a9
Wrapper to ease Arbitrary switching.

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1317 f41b5082-1240-11e2-8be0-5ba0875e90a9
CP before meeting Benjamin.

- Added LLNI (only genByExec for now)
- Discovered an interesting bug that wasn't found with SSNI because of
  incomplete state coverage: 
  + The stack CAN be non-monotonic with our current rule table. It
    couldn't in the stack machine because we didn't have enough labels.
  + My current fix is to do filtering of high states in the stack
    instead of cropTop. Another possibility is to disallow non-monotonic 
    stacks by either adding more taint to the pc in the BCALL rule.
  + SSNI couldn't find it because the stack generated was always
    monotonic. Fixing this is on the TODO list.
- Refactored the extended code infrastructure to handle both SSNI and
  LLNI and leave room for future generation strategies.
- Next up is adding measurements (MTTF) in the extended machine. 


git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1319 f41b5082-1240-11e2-8be0-5ba0875e90a9
Naive LLNI also kills all mutants. It's quite fast as well.

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1320 f41b5082-1240-11e2-8be0-5ba0875e90a9
Helper to identify specific mutant number

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1321 f41b5082-1240-11e2-8be0-5ba0875e90a9
[minor] Some changes towards compiling this with GHC 7.8.2; still have some problems with the flags though

git-svn-id: https://webdav.seas.upenn.edu/svn/safeqc/code@1322 f41b5082-1240-11e2-8be0-5ba0875e90a9