Sean Bartell

Results 5 comments of Sean Bartell

It was the main view, but it only happened once. I guess the view happened to update during the 18-second window when the fractional part is above 99.5, and it...

No problem, it's a low priority.

These tests have invalid transformations involving escaped local blocks, but Alive2 doesn't detect the problems even with this PR: - `alive-tv/bugs/pr1014.srctgt.ll` - `alive-tv/bugs/pr23599.srctgt.ll`

Ran into this today: > You need to have at least two threads to execute work_stealing algorithm I tried to create work_stealing with 1 thread, but it hung in `this_fiber::sleep_for()`....

As a starting point, here's an [access policy for EC2, IAM roles, and S3](https://gist.github.com/yotann/90eba113b29b3a30fa0b4aef47eff82b). I've tried to restrict it so it can only access NixOps-created resources which have the default...