Jonathan Whitaker
Jonathan Whitaker
I have this same issue @howardjohn. Did you guys come up with a strategy to resolve it? I have a private Go module that defines its own buf module, but...
What's the status on this? I actually just came across this need for HTTP --> gRPC transcoding to work properly.
@h2non Thank you as well. This framework is extremely valuable for me and my team as well!
Interesting.. Thanks for the information. Would you have any resources that I could look up on how to do this with LLVM IR? I'm quite new to LLVM in general,...
Upon further inspection of the output Boogie file, it appears that we are computing possible target calls properly. However, the assertions on these conditions are not being made properly. For...
I'm noticing some Merged changes related to this issue, but I'm not seeing the actual work merged into any release yet. What's the ETA on getting FOLLOWS FROM functionality built...
@dblclik The server tests are in `server/server_test.go`. The `server/test` package defines shared tests (not test functions) that can be used for different storage implementations and they are publicly exported tests...
Tests will fail until #105 is fixed. I've added tests to assert the correct behavior here. I'd like #105 to be merged before merging this.
> I think contextual tuples may need some changes. And can we add tests to check as well please? @craigpastro it seems to work fine with ContextualTuples. I added two...
@a8m can we get this merged? I'm looking forward to these changes!