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

..

boost

docs(compiler): adding API doc

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

boost-single-header

chore: Integrate concrete-compiler to the mono-repo

2023-03-03 09:20:01 +01:00

concretelang

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

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

CMakeLists.txt

chore: Integrate concrete-compiler to the mono-repo

2023-03-03 09:20:01 +01:00