diff --git a/.gitignore b/.gitignore index b9f4b3a5c6b8c03e1492b00ee97a9b8cf8e42cb1..4ad199e4f1b1786b27888c1354d8b506cf2267f2 100644 --- a/.gitignore +++ b/.gitignore @@ -167,8 +167,12 @@ benchmarks/execution/ProB/stdlib /*.py **/Cargo.lock **/vendor/ +build_cpp/ btypes_primitives/**/*.js benchmarks/model_checking/ProB/lib benchmarks/model_checking/ProB/stdlib btypes_primitives/src/main/rust/bmachine/src/** btypes_big_integer/src/main/rust/bmachine/src/** +/*.json +!/package.json +!/tsconfig.json