Brent Pappas

Error: Header must provide a Content-Length property.

2

## Environment - OS: Linux - OS Version: Ubuntu 20.04.4 - VS Code Version: 1.70.1 - Racket version: 8.3 - Racket Langserver checksum: a1141f0871a55c036949d0bb0179fddbf86a97cd - Magic Racket version: 0.6.4 ##...

It would be a nice quality of life feature for Ngram Type to notify the user when they have caps lock on, like how [monkeytype](https://monkeytype.com/) does. I sometimes press the...

[Bug]: Verifier fails to verify subscript expressions when index operand is an enum type

1

### VAST version Ubuntu clang version 18.1.8 (++20240615103753+3b5b5c1ec4a3-1~exp1~20240615223858.136) Target: x86_64-pc-linux-gnu Thread model: posix ### LLVM version 18.1.8 ### Operating system Ubuntu 22.04.4 LTS x86_64 ### Description The VAST codegen module...

### VAST version Ubuntu clang version 18.1.8 (++20240615103753+3b5b5c1ec4a3-1~exp1~20240615223858.136) Target: x86_64-pc-linux-gnu Thread model: posix ### LLVM version 18.1.8 ### Operating system Ubuntu 22.04.4 LTS x86_64 ### Description `vast-front` crashes with the...

[Bug]: Verifier fails to verify nested statement expressions that return shadowed variables

2

### VAST version Ubuntu clang version 18.1.8 (++20240615103753+3b5b5c1ec4a3-1~exp1~20240615223858.136) Target: x86_64-pc-linux-gnu Thread model: posix ### LLVM version 18.1.8 ### Operating system Ubuntu 22.04.4 LTS x86_64 ### Description The VAST codegen module...

Update README to state under what conditions PASTA is necessary and how to install `gap`.

Adds scripts and instructions for running Macroni's Linux kernel macro translator and analyzer on all files in the Linux kernel.

- Updates VAST dependency - Require users to provide their own install of gap - Adjust CXX standard settings to not be overriden by PASTA's - Ignore specific PASTA warnings...

Create a dialect for checking Lua resource management

3

Macroni should offer a dialect and corresponding static analyses for checking the usage of resource management macros in the Lua programming language's source code. Lua's source provides [an internal API](https://github.com/lua/lua/blob/c1dc08e8e8e22af9902a6341b4a9a9a7811954cc/lapi.h#L29-L36)...

The RCU API comes in a variety of "[flavors](https://lwn.net/Articles/777165/)", and each flavor offers its own slightly different form of some of the core RCU functions/macros, and some flavors offer completely...