Henrich Lauko

For example allow `typedef int int_type` to satisfy `IntegerLikeType` constraint. This probably requires a global module to access typedef information, or embed typedef defining operation somehow to type itself.

- refactor codegen symbol tables to create scopes in sane way - remove adhoc tables from `CodeGenDriver/Context` - integrate scope vocabulary types from `ScopeContext.hpp`

Explore possibility of program slicing. Imagine you don't want see usages of particular struct field: - you can omit the field - slice out parts of program that depended on...

At the moment the logic is on three places: - `CodeGenDriver`, `CodeGen` and `CodeGenDeclVisitor` - driver and visitor also duplicates some logic -- `emit_function_prologue` and `VisitFunctionDecl` - `emit_function_prologue` should not...

It should provide a generic concurrency primitives as mlir types and operations on them. The goal is to unify concurrency in posix pthreads and c++ standard library to model things...

Support interactive generation of operations.

1

This should generate skeleton taking into account: - dialect name - operation name - optional traits? - it might be nifty to provide checkbox list of most common traits/attributes -...

This should generate skeleton taking into account: - pass name - source/target dialect - options - dependentDialects

This should generate skeleton taking into account: - dialect name - type name - mnemonic - type traits/attributes (it might be nifty to provide checkbox list of most common attributes)...

### Prerequisites - [X] I have read the documentation and the proposed feature is not implemented. ### Description Provide an API that, given an assignment to a variable produces upcoming...