Merge pull request #175 from 0xPolygonMiden/next

Tracking PR for v0.3 release
0xPolygonMiden · Jul 12, 2023 · 266a563 · 266a563
2 parents 0ed25aa + 5f7411b
commit 266a563
Show file tree

Hide file tree

Showing 221 changed files with 28,639 additions and 6,574 deletions.
diff --git a/.gitignore b/.gitignore
@@ -16,4 +16,5 @@ Cargo.lock
 **/grammar.rs
 
 # Ignore examples codegen generated files
-**/examples/*.rs
+**/examples/*.rs
+**/examples/*.masm
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,15 @@
 # Changelog
 
+## 0.3.0 (2023-07-12)
+
+- Added support for library modules.
+- Added support for evaluator functions.
+- Added support for constraint comprehension.
+- Added support for conditional constraints.
+- Refactored parser to make it more robust and provide better error reporting.
+- Fixed grammar ambiguities.
+- Added initial implementation of Miden assembly backend.
+
 ## 0.2.0 (2023-02-23)
 
 - Added support for named constants (scalars, vectors, and matrices).

diff --git a/Cargo.toml b/Cargo.toml
@@ -2,6 +2,9 @@
 members = [
   "air-script",
   "parser",
+  "pass",
   "ir",
-  "codegen/winterfell"
-]
+  "codegen/masm",
+  "codegen/winterfell",
+]
+resolver = "2"
diff --git a/air-script-core/Cargo.toml b/air-script-core/Cargo.toml
diff --git a/air-script-core/README.md b/air-script-core/README.md
diff --git a/air-script-core/src/access.rs b/air-script-core/src/access.rs
diff --git a/air-script-core/src/constant.rs b/air-script-core/src/constant.rs
diff --git a/air-script-core/src/expression.rs b/air-script-core/src/expression.rs
diff --git a/air-script-core/src/identifier.rs b/air-script-core/src/identifier.rs
diff --git a/air-script-core/src/lib.rs b/air-script-core/src/lib.rs
diff --git a/air-script-core/src/trace.rs b/air-script-core/src/trace.rs