Merge pull request #139 from kenarab/main

First version of linear checker
lambdaclass · Jun 7, 2024 · 8f9e32e · 8f9e32e
2 parents dceb27e + 36a3006
commit 8f9e32e
Show file tree

Hide file tree

Showing 11 changed files with 1,216 additions and 87 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/README.md b/README.md
@@ -239,12 +239,12 @@ Features:
 - casts ✔️
 - arrays 🏗️
 - iterators :x:
-- for :x:
+- for 🏗️
 - match :x:
 - option :x:
 - enums :x:
 - impl :x:
-- linear type checker :x:
+- linear type checker 🏗️
 - borrow checker :x:
 - generics :x:
 - traits :x:

diff --git a/crates/concrete_check/Cargo.toml b/crates/concrete_check/Cargo.toml
@@ -12,3 +12,5 @@ concrete_ir = { version = "0.1.0", path = "../concrete_ir" }
 concrete_session = { version = "0.1.0", path = "../concrete_session" }
 itertools = "0.12.0"
 thiserror = "1.0.56"
+tracing.workspace = true
+
diff --git a/crates/concrete_check/src/lib.rs b/crates/concrete_check/src/lib.rs
@@ -4,6 +4,8 @@ use ariadne::{ColorGenerator, Label, Report, ReportKind};
 use concrete_ir::lowering::errors::LoweringError;
 use concrete_session::Session;
 
+pub mod linearity_check;
+
 /// Creates a report from a lowering error.
 pub fn lowering_error_to_report(
     error: LoweringError,