update gitignore to prepare for genaiscript

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 30, 2024 · 46d602e · 46d602e
1 parent 84b2c21
commit 46d602e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,6 +7,11 @@ callgrind.out.*
 # .hpp files are automatically generated
 *.hpp
 .z3-trace
+.env
+.genaiscript
+package-lock.json
+package.json
+node_modules
 # OCaml generated files
 *.a
 *.o