Andi Drebes 1703f08e78 feat(compiler): Type Inference: Add support for RT operations ...

This adds support for the operations `RT.await_future`,
`RT.build_return_ptr_placeholder`, `RT.create_async_task`,
`RT.deref_return_ptr_placeholder`,
`RT.deref_work_function_argument_ptr_placeholder`,
`RT.make_ready_future`, `RT.register_task_work_function`, and
`RT.work_function_return`, the RT types `RT.ptr` and `RT.future`, as
well as the auxiliary operation `arith.select`.

2024-05-16 12:07:51 +02:00

..

Concrete

feat(compiler): Add support for nested Memrefs in memory usage estimator

2024-04-08 12:02:49 +02:00

FHE

feat(compiler): fancy assignment

2024-05-15 11:21:46 +03:00

FHELinalg

feat(compiler): fancy assignment

2024-05-15 11:21:46 +03:00

Optimizer

feat(compiler): Add dialect with operations related to the optimizer

2024-03-06 14:50:27 +01:00

RT

fix(compiler): fix lowering of tasks generated from loop tiling pass.

2024-05-16 12:07:51 +02:00

SDFG

docs(compiler): adding API doc

2024-03-13 17:10:00 +01:00

TFHE

feat(compiler): Type Inference: Add support for RT operations

2024-05-16 12:07:51 +02:00

Tracing

docs(compiler): adding API doc

2024-03-13 17:10:00 +01:00

TypeInference

docs(compiler): adding API doc

2024-03-13 17:10:00 +01:00

CMakeLists.txt

feat(compiler): Add dialect with operations related to the optimizer

2024-03-06 14:50:27 +01:00