Ahmed Elhassany comments

Results 27 comments of


                                            Ahmed Elhassany

Implement cursor.get_more() and tailable cursors, add tailing sample app

Is this pull request under review? any expected time for this pull request to be merged to the main branch?

No warning provided when the requirements are not implementable with the current sketch

Ideally the three checks (`compute_dags`, `synthesis`, and calling the SMT solver)should be merged into one API call. This would be short future API update.

z3.z3types.Z3Exception: ast is null

This code base is really old and unmaintained really. But try again with Z3 version 4.7.1. I just ran it on a fresh install and it worked there with no...

The generated configuration files don't satisfy the requirements for the simplified graph testcase.

Is this still an issue?

The generated configuration files don't satisfy the requirements for the simplified graph testcase.

are you checking the return of `p.compute_dags()` before proceeding?

add path give mut access to families

What's the use case of this function? This is going to make BGP messages mutable which I'm trying to avoid

add path give mut access to families

Alright, I will avoid doing this one by one making arbitrarily fields mutable and immutable. Note, when responding with an open message, AS number and BGP ID can change as...

Use Arc<RwLock> for flow templates to make it thread safe

Cancelled in favor of a lighter implementation with PR #72

Is there a reason why an IpfixPacket can only be instantiated once and not be mutated afterwards in any way?

In NetGauze, packets are immutable by default. Maybe in the future, we can add a feature to be able to build a new packet from exiting ones if that is...

Is there a reason why an IpfixPacket can only be instantiated once and not be mutated afterwards in any way?

Fixed in PR 64.