Henrich Lauko

take `%0 = add i32 %1, i32 %2` and produce `(op4 32 add %1 %2)`

Allow to constrain variables by concepts, e.g. constrain arithmetic operations: `(let arithmetic op (op ?a ?b))` that will match only operations with arithmetic trait.

Implement synthesis of advice constraints from advice nodes and its arguments. This allows to specify simpler patterns that creates new advices. We can just specify that advice `a` is equal...


### Prerequisites - [X] I have read the documentation and the proposed feature is not implemented. ### Description Allow to integrate MLIR analysis results with SARIF: - [ ] Create...

- [ ] add help messages to current repl operations - [ ] automatically print help on unrecognized operations