merge checkpoint
Merge branch 'wip-merge' of https://github.com/TiarkRompf/virtualization-lms-core into wip-merge
checkpoint before global merge
minor changes
Update SBT version to 0.12.0
Merge branch 'wip-merge' into wip-clusters
updated dropboxScalaTestRepo
Change datastructure headers
Merge remote-tracking branch 'origin/wip-clusters' into wip-clusters
Add a variable
Merge branch 'wip-merge' of https://github.com/TiarkRompf/virtualization-lms-core into wip-merge
Merge remote-tracking branch 'origin/wip-merge' into wip-clusters-gpu
Merge remote-tracking branch 'origin/wip-clusters' into wip-clusters-gpu