Design decisions

  • The translation should create and use Boogie's identifier expressions with the resolved Boogie identifier, not just the syntactic fully-qualified name.

Last edited Jul 6, 2010 at 3:24 AM by mikebarnett, version 2

Comments

No comments yet.