From ab7975381aa0fb79258f9f167c8cd0353328e2df Mon Sep 17 00:00:00 2001 From: Denis Merigoux Date: Wed, 15 Apr 2020 15:33:21 +0200 Subject: [PATCH] Bump copyright --- src/lawspec/cli.ml | 2 +- src/lawspec/driver.ml | 2 +- src/lawspec/errors.ml | 2 +- src/lawspec/ir/id.ml | 2 +- src/lawspec/ir/ir.ml | 2 +- src/lawspec/parsing/ast.ml | 2 +- src/lawspec/parsing/lexer.ml | 2 +- src/lawspec/parsing/parse_utils.ml | 2 +- src/lawspec/parsing/parser.mly | 2 +- src/lawspec/parsing/sedlex_menhir.ml | 2 +- src/lawspec/pos.ml | 2 +- src/main.ml | 15 +++++++++++++++ syntax_highlighting/lawspec.iro | 15 +++++++++++++++ 13 files changed, 41 insertions(+), 11 deletions(-) diff --git a/src/lawspec/cli.ml b/src/lawspec/cli.ml index e939b868..9376f1f4 100644 --- a/src/lawspec/cli.ml +++ b/src/lawspec/cli.ml @@ -1,5 +1,5 @@ (* This file is part of the Lawspec compiler, a specification language for tax and social benefits - computation rules. Copyright (C) 2019 Inria, contributor: Denis Merigoux + computation rules. Copyright (C) 2020 Inria, contributor: Denis Merigoux Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except diff --git a/src/lawspec/driver.ml b/src/lawspec/driver.ml index c00415b7..6f905683 100644 --- a/src/lawspec/driver.ml +++ b/src/lawspec/driver.ml @@ -1,5 +1,5 @@ (* This file is part of the Lawspec compiler, a specification language for tax and social benefits - computation rules. Copyright (C) 2019 Inria, contributor: Denis Merigoux + computation rules. Copyright (C) 2020 Inria, contributor: Denis Merigoux Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except diff --git a/src/lawspec/errors.ml b/src/lawspec/errors.ml index fc8ca051..e4cf5a08 100644 --- a/src/lawspec/errors.ml +++ b/src/lawspec/errors.ml @@ -1,5 +1,5 @@ (* This file is part of the Lawspec compiler, a specification language for tax and social benefits - computation rules. Copyright (C) 2019 Inria, contributor: Denis Merigoux + computation rules. Copyright (C) 2020 Inria, contributor: Denis Merigoux Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except diff --git a/src/lawspec/ir/id.ml b/src/lawspec/ir/id.ml index cab35d21..cc72931a 100644 --- a/src/lawspec/ir/id.ml +++ b/src/lawspec/ir/id.ml @@ -1,5 +1,5 @@ (* This file is part of the Lawspec compiler, a specification language for tax and social benefits - computation rules. Copyright (C) 2019 Inria, contributor: Denis Merigoux + computation rules. Copyright (C) 2020 Inria, contributor: Denis Merigoux Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except diff --git a/src/lawspec/ir/ir.ml b/src/lawspec/ir/ir.ml index 2784989f..cb5604e9 100644 --- a/src/lawspec/ir/ir.ml +++ b/src/lawspec/ir/ir.ml @@ -1,5 +1,5 @@ (* This file is part of the Lawspec compiler, a specification language for tax and social benefits - computation rules. Copyright (C) 2019 Inria, contributor: Denis Merigoux + computation rules. Copyright (C) 2020 Inria, contributor: Denis Merigoux Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except diff --git a/src/lawspec/parsing/ast.ml b/src/lawspec/parsing/ast.ml index 78038772..40f34c11 100644 --- a/src/lawspec/parsing/ast.ml +++ b/src/lawspec/parsing/ast.ml @@ -1,5 +1,5 @@ (* This file is part of the Lawspec compiler, a specification language for tax and social benefits - computation rules. Copyright (C) 2019 Inria, contributor: Denis Merigoux + computation rules. Copyright (C) 2020 Inria, contributor: Denis Merigoux Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except diff --git a/src/lawspec/parsing/lexer.ml b/src/lawspec/parsing/lexer.ml index 390f2a51..9ae2edae 100644 --- a/src/lawspec/parsing/lexer.ml +++ b/src/lawspec/parsing/lexer.ml @@ -1,5 +1,5 @@ (* This file is part of the Lawspec compiler, a specification language for tax and social benefits - computation rules. Copyright (C) 2019 Inria, contributor: Denis Merigoux + computation rules. Copyright (C) 2020 Inria, contributor: Denis Merigoux Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except diff --git a/src/lawspec/parsing/parse_utils.ml b/src/lawspec/parsing/parse_utils.ml index f39dbb48..8f970f44 100644 --- a/src/lawspec/parsing/parse_utils.ml +++ b/src/lawspec/parsing/parse_utils.ml @@ -1,5 +1,5 @@ (* This file is part of the Lawspec compiler, a specification language for tax and social benefits - computation rules. Copyright (C) 2019 Inria, contributor: Denis Merigoux + computation rules. Copyright (C) 2020 Inria, contributor: Denis Merigoux Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except diff --git a/src/lawspec/parsing/parser.mly b/src/lawspec/parsing/parser.mly index e83399ca..b6f91bf8 100644 --- a/src/lawspec/parsing/parser.mly +++ b/src/lawspec/parsing/parser.mly @@ -1,7 +1,7 @@ (* This file is part of the Lawspec compiler, a specification language for tax and social benefits computation rules. - Copyright (C) 2019 Inria, contributor: Denis Merigoux + Copyright (C) 2020 Inria, contributor: Denis Merigoux Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. diff --git a/src/lawspec/parsing/sedlex_menhir.ml b/src/lawspec/parsing/sedlex_menhir.ml index 0703f4bf..77111cc0 100644 --- a/src/lawspec/parsing/sedlex_menhir.ml +++ b/src/lawspec/parsing/sedlex_menhir.ml @@ -1,5 +1,5 @@ (* This file is part of the Lawspec compiler, a specification language for tax and social benefits - computation rules. Copyright (C) 2019 Inria, contributor: Denis Merigoux + computation rules. Copyright (C) 2020 Inria, contributor: Denis Merigoux Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except diff --git a/src/lawspec/pos.ml b/src/lawspec/pos.ml index f21852e8..1a959e70 100644 --- a/src/lawspec/pos.ml +++ b/src/lawspec/pos.ml @@ -1,5 +1,5 @@ (* This file is part of the Lawspec compiler, a specification language for tax and social benefits - computation rules. Copyright (C) 2019 Inria, contributor: Denis Merigoux + computation rules. Copyright (C) 2020 Inria, contributor: Denis Merigoux Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except diff --git a/src/main.ml b/src/main.ml index 105efa98..996322bf 100644 --- a/src/main.ml +++ b/src/main.ml @@ -1 +1,16 @@ +(* This file is part of the Lawspec compiler, a specification language for tax and social benefits + computation rules. Copyright (C) 2020 Inria, contributor: Denis Merigoux + + + 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. *) + + let _ = Lawspec.Driver.main () diff --git a/syntax_highlighting/lawspec.iro b/syntax_highlighting/lawspec.iro index ce483c06..2612f18e 100644 --- a/syntax_highlighting/lawspec.iro +++ b/syntax_highlighting/lawspec.iro @@ -1,3 +1,18 @@ +# This file is part of the Lawspec compiler, a specification language for tax and social benefits +# computation rules. Copyright (C) 2020 Inria, contributor: Denis Merigoux +# +# +# 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. + + name = lawspec file_extensions [] = lawspec;