Michael Benfield
Michael Benfield
That would be a much larger contribution than we’ve received from someone external before. You _might_ want to continue with smaller contributions for a bit first. I’m not sure we’re...
Alright this is sort of ready. These tests are only run on Mac. Not Windows because they use shell scripts, and not Linux because it's hard to install SnarkOS on...
Thanks! Yes I think we can port the `test-examples.sh` over, probably bringing the examples into this repo though. Some dependency of SnarkOS required libclang and related libraries, which didn't exist...
This is ready as far as its own code goes, but I'm converting it to draft as it depends on the `dev-print` feature flag of snarkvm which isn't in a...
This should be ready to go, now that the new snarkvm and snarkos are out.
Yes; I don't think we need number 1. As long as users have an easy way to see this data, I'd rather not introduce another command line option. Thanks for...
LGTM; thanks! In order to actually merge this I've made #28719 , where you're still listed as author. I'll close this one now.
For what it’s worth, my new changes to const propagation that’ll come with my Value unifying PR will handle this case.
Good idea but note some tricky details: 1. If we want to do this, I think it would be good to actually break things down further: A. purely analysis passes,...
For context, this is a result of a deliberate decision not to const propagate variables declared with `let`. The reason for that decision is that in several cases, values of...