Paulette Koronkevich

**Describe the bug** In the generated code, states are represented as inner classes within the contract class. This was fine before some major language changes, where now this is not...

Don't transfer ownership to unowned references

2

**Describe the bug** When creating an Unowned reference to an Owned reference, the Owned reference loses ownership **To Reproduce** ``` C@Owned ownedC = ... ; C@Unowned unownedC = ownedC; //...

1. Make references inaccessible after they have been used in invocations on remote instances. 2. Consider turning those references into references to stubs. 3. Handle deploying new contracts from within...

**Describe the bug** Currently there is no code generation for interfaces **Expected behavior** Code generation for interfaces as Java interfaces. However, an issue arises in the case of the runtime...

With the following error message: "Argument of \markboth has an extra }"