Michael Benfield
Michael Benfield
If you look at the file generated by sphinx `api.html`, a lot of the links that should be there are not. Primarily, none of the links under the `neon.backends` heading...
It seems right now using Gluon makes my executable over 4 MB larger. This is compared to about 1.7 MB for Guile or about 300 KB for Lua. I am...
Rust has a `Debug` trait meant to give a string representation of values for debugging purposes. Is it currently possible to use this trait to display values in `vscode-lldb`? If...
**Basic information** `zellij --version`: 0.30.0 `stty size`: 53 168 `uname -v` or `ver`(Windows): #1 SMP PREEMPT Debian 5.17.11-1rodete2 (2022-06-09) **Further information** Chrome has an ssh extension here: https://chrome.google.com/webstore/detail/secure-shell/iodihamcpbpeioajjeobimgagajmlibd?hl=en Normally you...
It seems SDL2 has a bug that causes it not to work under macOS Mojave: [see here](https://bugzilla.libsdl.org/show_bug.cgi?id=4272). Or maybe it's really Mojave's bug. Regardless, Euphrates also does not work under...
Work in progress, but it works. In addition to addressing #101567, also keep around multiple niches rather than just the largest one, and for tagged variants possibly move fields around...
Here's some code incorrectly defining a macro, because it's missing a fragment specifier. [Playground](https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=c232b9f82d5d5879aad00624a29fb90b) ```rust macro_rules! m { ($x [$y: ident]) => {} } ``` Here's the error message rustc...
In particular, 1. Insert a dummy instruction for empty closures. SnarkVM won't parse closures with no instructions. 2. Give a parse error for Leo functions with no parameters (rather than...
TOML can't serialize arrays as the top level type. Some of our test cases have TOML arrays as expected output. Thus sometimes failed tests will panic when trying to report...
This Leo code: ``` program extraneous_lines.aleo { transition main() -> u32 { return f(); } function f() -> u32 { return 0u32; } ``` Compiles to this Aleo code: ```...