Add Apache 2.0 copyright header to all source files

gebner · Copilot · gebner · commit e691f266c071 · 2026-05-15T21:18:11.000Z
Added copyright notice (Copyright 2026 Microsoft Research) with Apache
License 2.0 header to all .rs and .ts source files.

Co-authored-by: Copilot &lt;223556219+Copilot@users.noreply.github.com&gt;
diff --git a/crates/lsp/src/backend.rs b/crates/lsp/src/backend.rs
@@ -1,3 +1,17 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 use tower_lsp::jsonrpc::Result;
 use tower_lsp::lsp_types::*;
 use tower_lsp::{Client, LanguageServer};
diff --git a/crates/lsp/src/document.rs b/crates/lsp/src/document.rs
@@ -1,3 +1,17 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 use dashmap::DashMap;
 use smtlib_parser::ast::Script;
 use smtlib_parser::parser::Diagnostic;
diff --git a/crates/lsp/src/lib.rs b/crates/lsp/src/lib.rs
@@ -1,2 +1,16 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 pub mod document;
 pub mod symbols;
diff --git a/crates/lsp/src/main.rs b/crates/lsp/src/main.rs
@@ -1,3 +1,17 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 use tower_lsp::{LspService, Server};
 
 mod backend;
diff --git a/crates/lsp/src/symbols.rs b/crates/lsp/src/symbols.rs
@@ -1,3 +1,17 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 use smtlib_parser::ast::*;
 use smtlib_parser::span::Span;
 use std::collections::HashMap;
diff --git a/crates/lsp/tests/integration.rs b/crates/lsp/tests/integration.rs
@@ -1,3 +1,17 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 use smtlib_parser::parse;
 use summit_breeze_lsp::symbols::{build_index, CommandInfoKind, SymbolKind};
 
diff --git a/crates/parser/examples/bench.rs b/crates/parser/examples/bench.rs
@@ -1,3 +1,17 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 use std::time::Instant;
 
 fn main() {
diff --git a/crates/parser/src/ast.rs b/crates/parser/src/ast.rs
@@ -1,3 +1,17 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 // AST node types — to be implemented
 use crate::span::Span;
 
diff --git a/crates/parser/src/lexer.rs b/crates/parser/src/lexer.rs
@@ -1,3 +1,17 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 use crate::span::Span;
 
 #[derive(Debug, Clone, Copy, PartialEq, Eq)]
diff --git a/crates/parser/src/lib.rs b/crates/parser/src/lib.rs
@@ -1,3 +1,17 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 pub mod ast;
 pub mod lexer;
 pub mod parser;
diff --git a/crates/parser/src/parser.rs b/crates/parser/src/parser.rs
@@ -1,3 +1,17 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 use crate::ast::*;
 use crate::lexer::{Lexer, Token, TokenKind};
 use crate::span::Span;
diff --git a/crates/parser/src/span.rs b/crates/parser/src/span.rs
@@ -1,3 +1,17 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 /// Byte-offset span within a source file.
 #[derive(Debug, Clone, Copy, PartialEq, Eq)]
 pub struct Span {
diff --git a/editors/vscode/src/extension.ts b/editors/vscode/src/extension.ts
@@ -1,3 +1,17 @@
+// Copyright 2026 Microsoft Research
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
 import * as path from 'path';
 import * as fs from 'fs';
 import * as vscode from 'vscode';
