Minor in copyright headers and authors

spectector · Dec 19, 2018 · df2909d · df2909d
1 parent 8f08d2f
commit df2909d
Show file tree

Hide file tree

Showing 8 changed files with 99 additions and 92 deletions.
diff --git a/AUTHORS b/AUTHORS
@@ -6,6 +6,6 @@
 
 Marco Guarnieri         <marco.guarnieri@imdea.org>
 Boris Koepf             <boris.koepfs@imdea.org>
-José Francisco Morales  <josef.morales@imdea.org>
+José F. Morales         <josef.morales@imdea.org>
 Jan Reineke             <reineke@cs.uni-saarland.de>
 Andrés Sánchez          <andres.sanchez@imdea.org>
diff --git a/src/muasm_print.pl b/src/muasm_print.pl
@@ -1,16 +1,17 @@
-%%   Copyright 2018 The Spectector authors
-%%
-%%   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.
+% Copyright 2018 The Spectector authors
+%
+% 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.
+% ===========================================================================
 
 :- module(_, [], [assertions, fsyntax, datafacts, dcg]).
 

diff --git a/src/muasm_program.pl b/src/muasm_program.pl
@@ -1,16 +1,17 @@
-%%   Copyright 2018 The Spectector authors
-%%
-%%   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.
+% Copyright 2018 The Spectector authors
+%
+% 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.
+% ===========================================================================
 
 :- module(_, [], [assertions, fsyntax, datafacts, dcg]).
 

diff --git a/src/muasm_semantics.pl b/src/muasm_semantics.pl
@@ -1,16 +1,17 @@
-%%   Copyright 2018 The Spectector authors
-%%
-%%   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.
+% Copyright 2018 The Spectector authors
+%
+% 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.
+% ===========================================================================
 
 :- module(_, [], [assertions, fsyntax, datafacts, dcg, hiord]).
 

diff --git a/src/muasm_syntax.pl b/src/muasm_syntax.pl
@@ -1,16 +1,17 @@
-%%   Copyright 2018 The Spectector authors
-%%
-%%   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.
+% Copyright 2018 The Spectector authors
+%
+% 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.
+% ===========================================================================
 
 :- package(muasm_syntax).
 

diff --git a/src/spectector.pl b/src/spectector.pl
@@ -1,16 +1,17 @@
-%%   Copyright 2018 The Spectector authors
-%%
-%%   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.
+% Copyright 2018 The Spectector authors
+%
+% 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.
+% ===========================================================================
 
 :- module(_, [], [assertions, fsyntax]).
 

diff --git a/src/spectector_flags.pl b/src/spectector_flags.pl
@@ -1,16 +1,17 @@
-%%   Copyright 2018 The Spectector authors
-%%
-%%   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.
+% Copyright 2018 The Spectector authors
+%
+% 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.
+% ===========================================================================
 
 :- module(_, [], [assertions, datafacts]).
 

diff --git a/src/spectector_noninter.pl b/src/spectector_noninter.pl
@@ -1,16 +1,17 @@
-%%   Copyright 2018 The Spectector authors
-%%
-%%   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.
+% Copyright 2018 The Spectector authors
+%
+% 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.
+% ===========================================================================
 
 :- module(_, [], [assertions, fsyntax, datafacts, dcg]).