Adam C. Foltzer

Results 38 issues of Adam C. Foltzer

I'm having trouble starting an interactive session with `cabal-dev ghci`. Here's a minimal way to reproduce: ``` shell $ mkdir bug $ cd bug $ echo 'name: bug version: 0.1.0.0...

When using a sandbox directory called `build`, the `cabal build` command is somehow misinterpreted: ``` shell $ cabal-dev -s build configure Resolving dependencies... Configuring foo-0.1.0.0... $ cabal-dev -s build build...

Added a bunch of `return`s to appease the new hastache API

It would be nice to track which sponsor links you're already supporting, or any packages/repos you'd like to exclude from the output (like yourself under a different github org). The...

This would be friendlier to users than asking them to create a personal access token. Unfortunately requires a web service and some careful thinking about security.

## The main problem: resource leaks If a guest terminates due to a signal or an explicit termination call rather than returning normally via `lucet_context_backstop`, the stack still needs to...

We have, for example, the variant `lucet_runtime::Error::LimitsExceeded(String)`. If a user of the runtime wants to know _which_ limit they've exceeded, they have to look for keywords in the string. In...

We already have `--max-reserved-size` fulfilling a similar purpose. Being able to do the same for globals will help move errors from instantiation time to compile time when we know in...

This is an issue to help plan and keep track of tasks necessary to support the [Wasm reference types][reftypes] proposal. ## External blockers - [x] `wabt` supports reftypes. - Blocks...

As I wrote in #526: > One important limitation I just noticed: the CircleCI build only runs on the commit of a PR's branch (what GH Actions labels the `push`),...