preprocessing added
unstage block added, struct/record wip
initial efforts for staging
Comming soon.
Update README.md
Rebase.
Demo.
Merged pardis plugin.
ScopeInjection improvement, a bug with ValDef ascription fixed
var arg ascription removed
apply virtualization added
Variable type transformation as well as read and assign virtualization fixed
bug with always treating as shallow fixed, bug with language virtualization in ValDefs fixed
Merge pull request #1 from amirsh/pardis-impl

Bug fixes related to auto-lifting implementations, apply virtualization