Add verifier crate (#63)

* Add verifier crate

* Fix lint

Cargo.toml

@@ -9,4 +9,5 @@ members = [
     "crates/triple",
     "crates/macros",
     "crates/interpreter",
+    "crates/verifier",
 ]

README.md

@@ -14,6 +14,7 @@ Sonatina is really early stage in development, so do NOT use it for production!
 * `object`: Provides abstract object file format for linker.
 * `parser`: Parser for `sonatina` IR, this is mainly for `filecheck` test.
 * `triple`: Provides target triple for smart contracts.
+* `verifier`: Verifier for `sonatina` IR, this is mainly for testing transformation passes.
 
 ## TODO
 * [ ] IR verifier

crates/verifier/Cargo.toml

@@ -0,0 +1,15 @@
+[package]
+name = "sonatina-verifier"
+version = "0.0.3-alpha"
+edition = "2021"
+authors = ["Sonatina Developers"]
+license = "Apache-2.0"
+readme = "../../README.md"
+homepage = "https://github.com/fe-lang/sonatina/tree/main/crates/verifier"
+repository = "https://github.com/fe-lang/sonatina"
+description = "Verifier for sonatina intermediate representation"
+categories = ["compilers", "wasm"]
+keywords = ["compiler", "evm", "wasm", "smart-contract"]
+
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

crates/verifier/src/lib.rs

@@ -0,0 +1 @@
+