Blaine Bublitz

Stdlib: Ensure negative indexing behaviour is consistent

1

In the stdlib, there are some methods (such as `List.insert`, `List.take`, `List.drop`, etc) that fail upon receiving a negative number. This is different than the behavior of something like `String.slice`,...

Compiling BaseUltraVerifier without optimizations results in StackTooDeep

4

When copying the verifier contracts into Remix IDE, it errors with StackTooDeep. This goes away when optimizations are enabled (they are disabled by default).

### Problem The LSP should support renaming identifiers following https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_rename ### Happy Case A user should be able to issue a rename request from an LSP client and all the...

Update docs for v5.0

7

We need to update the docs (and publish to website) for the v5 release.

Change Stats construction in next major

2

When we drop older node versions, we need to investigate swapping how we create `fs.Stats` We might switch it out for "better stats" as we've considered in the past.

Compiler should be able to recompile a file

2

### Problem Currently, the compiler expects a clean-slate environment and builds the entire program from scratch. However, in the LSP, we want to build the project once and then recompile...

Compiler: Complete support for use without a filesystem

2

In #240, the `output_enabled` flag was removed from the config because it still required filesystem output for things like pervasives. We should completely support disabling filesystem access in the compiler,...

Document Graindoc contributor guidelines

1

Should contain syntax, expectations, workflow, etc.