Sameer Puri

Results 103 comments of Sameer Puri

Hey there, could you share your rust code? The examples are indeed a bit lacking, I'd recommend looking at the tests. Also, doesn't your second assertion `x = x +...

what's the motivation for that? I'm not familiar with the diff

That's a fair call-out. The [tests](https://github.com/prove-rs/z3.rs/tree/master/z3/tests) provide some examples, though a lot of it assumes you have general background with SMT solvers and Z3. Most of the maintainers including myself...

Hi, thank you for sharing this! I'll make sure it gets merged in

Should be resolved by https://github.com/hdl-util/hdmi/commit/08936f65be09abac338cd8c13beee289af7e7e59

The static lifetime requirement can be relaxed for Form, but it still needs to be 'static for hyper. See [wrap_stream](https://docs.rs/hyper/0.12.23/hyper/struct.Body.html#method.wrap_stream) and [Payload](https://docs.rs/hyper/0.12.23/hyper/body/trait.Payload.html) which require Form::add_reader to require a 'static reader.

Hi MadTooler, This installation process is pretty standard if you are familiar with Rust. It is a little confusing if you aren't so I created the web version. I'll add...

> Thanks! This looks great, but I added some small suggestions. > > Also, I played around with some libraries to create builder structs for the request structs. > >...

> I think it's a good way to deal with options for now, and seems like it will work nicely if any new options are added to the IPFS API....