Andrea Stedile

Results 9 issues of Andrea Stedile

In the 03-Style document, I read the following sentence: > If the member variable is not expected to change after the initialization, then mark it const. However, we know that...

In the past I have used Java Servlets (now [Jarkarta Servlets](https://jakarta.ee/specifications/servlet/6.0/jakarta-servlet-spec-6.0.html)). With Servlets, I could set a "request attribute". To better explain what a request attribute is, it is easier...

`cargo run --example dial_verify -- --server 127.0.0.1:4444` ``` [steddy@nowhere webrtc]$ cargo run --example dial_verify -- --server 127.0.0.1:4444 Finished dev [unoptimized + debuginfo] target(s) in 0.33s Running `target/debug/examples/dial_verify --server '127.0.0.1:4444'` /home/steddy/.cargo/registry/src/github.com-1ecc6299db9ec823/mio-0.8.6/src/poll.rs:532...

Consider the following code using a `JoinHandle`: ```rust if handle.is_finished() { let result = handle.await; match result { Ok(result) => {} Err(error) => {} } } ``` I think that...

A-tokio
M-task
C-feature-request

In DFA, method "words_of_length" returns a generator for all words. In my use case, given a DFA, I want to be able to list all the individual labels making up...

enhancement

Hi, I think I am hitting a bug in MathSAT5's all_sat method. Here is a minimum reproducible example: ```python from pysmt.fnode import FNode from pysmt.shortcuts import Solver, Symbol from pysmt.solvers.msat...

[In the documentation](https://github.com/pyauth/python-pkcs11/blob/master/docs/applied.rst), I see that mechanism AES_GCM is not supported. OpenCryptoki added [support for CKM_AES_GCM](https://github.com/opencryptoki/opencryptoki/pull/850) a few days ago. If I try to use that feature, python-pkcs11 raises `pkcs11.exceptions.MechanismParamInvalid`:...

I cannot properly understand how to construct and return a Dot object from within a function. I need to construct the graph with the `with_attr_getters` constructor. Consider this: ```rust pub...

S-needs-triage

Hello, I am using a XPS 13 Plus 9320/XPS 9320. This laptop has four speakers: two tweeter speakers and two woofer speakers. The problem I face is that the internal...