move schema to tree-inputs

egraphs-good · Feb 2, 2024 · 0490d7a · 0490d7a
1 parent 9928e51
commit 0490d7a
Show file tree

Hide file tree

Showing 6 changed files with 1,577 additions and 78 deletions.
diff --git a/tree_inputs/.gitignore b/tree_inputs/.gitignore
@@ -0,0 +1,14 @@
+# Generated by Cargo
+# will have compiled files and executables
+debug/
+target/
+
+# These are backup files generated by rustfmt
+**/*.rs.bk
+
+# MSVC Windows builds of rustc generate these, which store debugging information
+*.pdb
+
+# vscode prefs
+.vscode/
+