Merge pull request #155 from yannbolliger/rust-interop

Merge rust interop features

Author: samarion

.gitignore

@@ -34,6 +34,10 @@ Inox.eml
 Inox.iml
 /.idea_modules
 
+#vscode and metals
+.vscode/
+.metals/
+
 #scripts
 out-classes
 

README.md

@@ -20,7 +20,7 @@ information, see:
 ### Add Inox as a dependency
 
 To add Inox as a dependency of your project, add the following lines to your `build.sbt`,
-where `VERSION` can be replaced by a tag (eg. `v1.1.5`), a branch name (eg. `rust-interop`)
+where `VERSION` can be replaced by a tag (eg. `v1.1.5`), a branch name (eg. `master`)
 or a commit hash (eg. `6dfb351eee`).
 
 ```scala

build.sbt

@@ -133,6 +133,8 @@ lazy val root = (project in file("."))
   .dependsOn(smtlib)
 
 
+mainClass in (Compile, run) := Some("inox.Main")
+
 publishMavenStyle := true
 
 publishTo := {