Feat: Detailed Statistics

[umut-sahin]

No description provided.

[youben11]

I don't see why querying stats (e.g. to get the count of an operation per tag), is implemented in Python, and at the CP level. This is a feature that should be implemented in Cpp in the CompilerFeedback class (thus available to be supported in the Rust bindings or the CAPI), and exposed through the python bindings to CP.

[umut-sahin]

Because it's much easier to implement, and we have a lot more things to do. We can move it to C++ when it's beneficial to do so.

Also, I'd much prefer to replicate this logic (which is 4 function at core) in Rust, than to do it in C++. As for the CAPI, we can't return a hashmap there anyway.

[youben11]

Because it's much easier to implement, and we have a lot more things to do. We can move it to C++ when it's beneficial to do so.

Also, I'd much prefer to replicate this logic (which is 4 function at core) in Rust, than to do it in C++. As for the CAPI, we can't return a hashmap there anyway.

While I'm not a fan of adding this outside of the Compiler Cpp codebase, the only way I would see this be kept outside of Cpp, is this feature being implemented under concrete.compiler.CompilerFeedback

cc @BourgerieQuentin

[umut-sahin]

Done.