Andrea Lattuada

ElasticBeanstalk wrapper

7

We're using the Cloudwatch wrapper for a dashboard and I'm now wrapping Beanstalk to show environment status. Is there interest in this? I'll update the PR with more wrappers later....

Using field access fails termination checking, while it succeeds with destructuring assignment

1

Given this definition: ```rust struct Node { v: V, next: Option, } ``` This works: ```rust impl Node { #[ghost] fn len_logic(self: Node) -> Int { { let Node {...

apt-get

2

Hi, saw your talk and read your blogpost(s) on rootless containers. Thanks for the great work! Is `remainroot apt-get update` still expected to fail?

are missing.