From 1657cdd8b4ffc78116c1ece32f3dc7b62719566b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 17 Jun 2015 12:47:19 -0700 Subject: [PATCH] add missing copyright Signed-off-by: Nikolaj Bjorner --- .../msf/SolverFoundation.Plugin.Z3.Tests/ServiceTests.cs | 6 ++++++ .../msf/SolverFoundation.Plugin.Z3.Tests/SolverTests.cs | 6 ++++++ examples/msf/SolverFoundation.Plugin.Z3/AbortWorker.cs | 6 ++++++ examples/msf/SolverFoundation.Plugin.Z3/Utils.cs | 6 ++++++ examples/msf/SolverFoundation.Plugin.Z3/Z3BaseDirective.cs | 6 ++++++ examples/msf/SolverFoundation.Plugin.Z3/Z3BaseParams.cs | 6 ++++++ examples/msf/SolverFoundation.Plugin.Z3/Z3BaseSolver.cs | 6 ++++++ examples/msf/SolverFoundation.Plugin.Z3/Z3MILPDirective.cs | 6 ++++++ examples/msf/SolverFoundation.Plugin.Z3/Z3MILPParams.cs | 6 ++++++ examples/msf/SolverFoundation.Plugin.Z3/Z3MILPSolver.cs | 6 ++++++ examples/msf/SolverFoundation.Plugin.Z3/Z3TermDirective.cs | 6 ++++++ examples/msf/SolverFoundation.Plugin.Z3/Z3TermParams.cs | 6 ++++++ examples/msf/SolverFoundation.Plugin.Z3/Z3TermSolver.cs | 6 ++++++ examples/msf/Validator/Program.cs | 6 ++++++ scripts/mk_copyright.py | 2 +- src/api/dotnet/InterpolationContext.cs | 6 ++++++ 16 files changed, 91 insertions(+), 1 deletion(-) diff --git a/examples/msf/SolverFoundation.Plugin.Z3.Tests/ServiceTests.cs b/examples/msf/SolverFoundation.Plugin.Z3.Tests/ServiceTests.cs index 25a8e2d26..196f89245 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3.Tests/ServiceTests.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3.Tests/ServiceTests.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using System; using System.Collections.Generic; using System.Linq; diff --git a/examples/msf/SolverFoundation.Plugin.Z3.Tests/SolverTests.cs b/examples/msf/SolverFoundation.Plugin.Z3.Tests/SolverTests.cs index c2cd0c270..4913c0f81 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3.Tests/SolverTests.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3.Tests/SolverTests.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using System; using System.Collections.Generic; using System.Linq; diff --git a/examples/msf/SolverFoundation.Plugin.Z3/AbortWorker.cs b/examples/msf/SolverFoundation.Plugin.Z3/AbortWorker.cs index 99d6fe17a..6ce66fa8f 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3/AbortWorker.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3/AbortWorker.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using System; using System.Collections.Generic; using System.Linq; diff --git a/examples/msf/SolverFoundation.Plugin.Z3/Utils.cs b/examples/msf/SolverFoundation.Plugin.Z3/Utils.cs index 71c8647a1..5930caee1 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3/Utils.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3/Utils.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using System; using System.Collections.Generic; using System.Linq; diff --git a/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseDirective.cs b/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseDirective.cs index e1403f698..199c3fe35 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseDirective.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseDirective.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using System; using System.Text; using Microsoft.SolverFoundation.Services; diff --git a/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseParams.cs b/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseParams.cs index 6585181ec..6d6dd74a7 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseParams.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseParams.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using Microsoft.SolverFoundation.Services; using System; diff --git a/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseSolver.cs b/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseSolver.cs index 54e3893f0..af8bc92a2 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseSolver.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3/Z3BaseSolver.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using System; using System.Collections.Generic; using System.Threading; diff --git a/examples/msf/SolverFoundation.Plugin.Z3/Z3MILPDirective.cs b/examples/msf/SolverFoundation.Plugin.Z3/Z3MILPDirective.cs index 69f9ff6c1..4d6745634 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3/Z3MILPDirective.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3/Z3MILPDirective.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using Microsoft.SolverFoundation.Services; using System; diff --git a/examples/msf/SolverFoundation.Plugin.Z3/Z3MILPParams.cs b/examples/msf/SolverFoundation.Plugin.Z3/Z3MILPParams.cs index 38bd9040a..d01b07725 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3/Z3MILPParams.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3/Z3MILPParams.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using Microsoft.SolverFoundation.Services; using System; diff --git a/examples/msf/SolverFoundation.Plugin.Z3/Z3MILPSolver.cs b/examples/msf/SolverFoundation.Plugin.Z3/Z3MILPSolver.cs index b31f6de97..f3a8f9f2c 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3/Z3MILPSolver.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3/Z3MILPSolver.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using System; using System.Collections.Generic; using System.Diagnostics; diff --git a/examples/msf/SolverFoundation.Plugin.Z3/Z3TermDirective.cs b/examples/msf/SolverFoundation.Plugin.Z3/Z3TermDirective.cs index 12dcb6e84..ff9e4181a 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3/Z3TermDirective.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3/Z3TermDirective.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using Microsoft.SolverFoundation.Services; using System; diff --git a/examples/msf/SolverFoundation.Plugin.Z3/Z3TermParams.cs b/examples/msf/SolverFoundation.Plugin.Z3/Z3TermParams.cs index 48a90afe1..283bc9362 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3/Z3TermParams.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3/Z3TermParams.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using Microsoft.SolverFoundation.Services; using System; diff --git a/examples/msf/SolverFoundation.Plugin.Z3/Z3TermSolver.cs b/examples/msf/SolverFoundation.Plugin.Z3/Z3TermSolver.cs index 3317b9a4d..530df3394 100644 --- a/examples/msf/SolverFoundation.Plugin.Z3/Z3TermSolver.cs +++ b/examples/msf/SolverFoundation.Plugin.Z3/Z3TermSolver.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using System; using System.Threading; using System.Globalization; diff --git a/examples/msf/Validator/Program.cs b/examples/msf/Validator/Program.cs index 758c65c78..8afb28af5 100644 --- a/examples/msf/Validator/Program.cs +++ b/examples/msf/Validator/Program.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using System; using System.IO; using System.Linq; diff --git a/scripts/mk_copyright.py b/scripts/mk_copyright.py index 5ac185de0..4d774cb96 100644 --- a/scripts/mk_copyright.py +++ b/scripts/mk_copyright.py @@ -47,7 +47,7 @@ def add_cr(file): def add_missing_cr(dir): for root, dirs, files in os.walk(dir): for f in files: - if f.endswith('.cpp') or f.endswith('.h') or f.endswith('.c'): + if f.endswith('.cpp') or f.endswith('.h') or f.endswith('.c') or f.endswith('.cs'): path = "%s\\%s" % (root, f) if not has_cr(path): print "Missing CR for %s" % path diff --git a/src/api/dotnet/InterpolationContext.cs b/src/api/dotnet/InterpolationContext.cs index e6e258b9a..595023b69 100644 --- a/src/api/dotnet/InterpolationContext.cs +++ b/src/api/dotnet/InterpolationContext.cs @@ -1,3 +1,9 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + using System; using System.Collections.Generic; using System.Linq;