- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Too long lines (1000+ characters) 9 files: docs/papers/publist.md impl/src/ast/parser.ts impl/src/compiler/mir_cleanup.ts impl/src/compiler/mir_emitter.ts impl/src/compiler/mir_info.ts impl/src/compiler/mir_ssa.ts impl/src/tooling/icpp/transpiler/iccpbody_emitter.ts impl/src/tooling/verifier/smtbody_emitter.ts impl/src/type_checker/type_checker.ts - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Hidden files and folders path like ".*/[.][a-zA-Z0-9_]+.*" 8 files: .gitattributes .github/ISSUE_TEMPLATE/bug_report.md .github/ISSUE_TEMPLATE/feature_request.md .github/pull_request_template.md .github/workflows/nodeci.yaml .gitignore bosque-language-tools/.gitignore impl/.gitignore - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Text files path like ".*[.]txt" 7 files: LICENSE.txt impl/build/include/linux/z3/LICENSE.txt impl/build/include/macos/z3/LICENSE.txt impl/build/include/win/z3/LICENSE.txt impl/src/test/tests/doc_examples/adt.txt impl/src/test/tests/doc_examples/data_invariants.txt impl/src/test/tests/doc_examples/validators.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Documentation path like ".*/docs/.*" 2 files: docs/language/overview.md docs/libraries/overview.md - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Sokrates scoping conventions path like ".*/sokrates_conventions[.]json" 1 files: sokrates_conventions.json - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Git history path like ".*/git[-]history[.]txt" 1 files: git-history.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -