concrete
concrete copied to clipboard
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
Arrays and borrows need to be implemented. - [x] Borrow parsing - [x] Borrow codegen - [x] Array parsing - [ ] Array codegen
https://github.com/lambdaclass/concrete/blob/771662e8343e246cfee4bcbd935fd1374d90c324/crates/concrete_codegen_mlir/src/codegen.rs#L106
Handling imports probably requires some work, we need to specify how a multifile project would work. But if we want to put that for later we can probably experiment this...
Structs need to be implemented. Implementing structs also requires to properly implement PathOp, which is the operation used to access a field of a struct. https://github.com/lambdaclass/concrete/blob/771662e8343e246cfee4bcbd935fd1374d90c324/crates/concrete_codegen_mlir/src/codegen.rs#L110 https://github.com/lambdaclass/concrete/blob/771662e8343e246cfee4bcbd935fd1374d90c324/crates/concrete_codegen_mlir/src/codegen.rs#L508 https://github.com/lambdaclass/concrete/blob/771662e8343e246cfee4bcbd935fd1374d90c324/crates/concrete_codegen_mlir/src/codegen.rs#L269
Good related read: https://fabiensanglard.net/dc/driver.php I looked into the Rust source code, they also call the linker as a command line program. What we need to do is analyse properly the...
The following need to have proper error handling implemented, right now we use expects and Boxed dyn Errors: - [ ] Parser - [ ] Driver - [ ] Codegen...
Currently broken because nixpkgs doesn't have `llvm_17`.
Rorganized the README, added FAQ, and moved runtime into stdlib. Closes #48
Check [Fearless FFI](https://verdagon.dev/blog/fearless-ffi)
Some functions should be constant time for cryptography to hold. This is the minimal amount of work we would need to have some some secure cryptrography: - [ ] Add...