From 1cbe9826accf39ddfbe2b062b78979462d6f8145 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Tue, 24 Apr 2012 13:56:51 +0200 Subject: [PATCH] Updated dates. --- gui/Gui/About.py | 4 ++-- gui/Gui/Attackwindow.py | 2 +- gui/Gui/Editor.py | 2 +- gui/Gui/Error.py | 2 +- gui/Gui/Icon.py | 2 +- gui/Gui/Mainwindow.py | 2 +- gui/Gui/Makeimage.py | 2 +- gui/Gui/Misc.py | 2 +- gui/Gui/Preference.py | 2 +- gui/Gui/Scytherthread.py | 2 +- gui/Gui/Settingswindow.py | 2 +- gui/Gui/Temporary.py | 2 +- gui/Gui/Version.py | 2 +- gui/Gui/__init__.py | 2 +- gui/Scripts/scytherview.py | 2 +- gui/Scyther/Attack.py | 2 +- gui/Scyther/Claim.py | 2 +- gui/Scyther/Error.py | 2 +- gui/Scyther/Misc.py | 2 +- gui/Scyther/Scyther.py | 2 +- gui/Scyther/Term.py | 2 +- gui/Scyther/Trace.py | 2 +- gui/Scyther/XMLReader.py | 2 +- gui/Scyther/__init__.py | 2 +- gui/json-scyther.py | 2 +- gui/progressbarDummy.py | 2 +- gui/scyther-gui.py | 2 +- gui/scyther.py | 2 +- gui/test-delta.py | 2 +- gui/test-mpa.py | 2 +- src/arachne.c | 2 +- src/arachne.h | 2 +- src/binding.c | 2 +- src/binding.h | 2 +- src/bool.h | 2 +- src/claim.c | 2 +- src/claim.h | 2 +- src/color.c | 2 +- src/color.h | 2 +- src/compiler.c | 2 +- src/compiler.h | 2 +- src/cost.c | 2 +- src/cost.h | 2 +- src/debug.c | 2 +- src/debug.h | 2 +- src/depend.c | 2 +- src/depend.h | 2 +- src/dotout.c | 2 +- src/dotout.h | 2 +- src/error.c | 2 +- src/error.h | 2 +- src/heuristic.c | 2 +- src/heuristic.h | 2 +- src/hidelevel.c | 2 +- src/hidelevel.h | 2 +- src/intruderknowledge.c | 2 +- src/intruderknowledge.h | 2 +- src/knowledge.c | 2 +- src/knowledge.h | 2 +- src/label.c | 2 +- src/label.h | 2 +- src/list.c | 2 +- src/list.h | 2 +- src/main.c | 2 +- src/mgu.c | 2 +- src/mgu.h | 2 +- src/mymalloc.h | 2 +- src/parser.y | 2 +- src/pheading.h | 2 +- src/prune_bounds.c | 2 +- src/prune_bounds.h | 2 +- src/prune_theorems.c | 2 +- src/prune_theorems.h | 2 +- src/role.c | 2 +- src/role.h | 2 +- src/scanner.l | 2 +- src/specialterm.c | 2 +- src/specialterm.h | 2 +- src/states.c | 2 +- src/states.h | 2 +- src/switches.c | 6 +++--- src/switches.h | 2 +- src/symbol.c | 2 +- src/symbol.h | 2 +- src/system.c | 2 +- src/system.h | 2 +- src/tac.c | 2 +- src/tac.h | 2 +- src/tempfile.c | 2 +- src/tempfile.h | 2 +- src/term.c | 2 +- src/term.h | 2 +- src/termlist.c | 2 +- src/termlist.h | 2 +- src/termmap.c | 2 +- src/termmap.h | 2 +- src/timer.c | 2 +- src/timer.h | 2 +- src/type.c | 2 +- src/type.h | 2 +- src/version.h | 2 +- src/warshall.c | 2 +- src/warshall.h | 2 +- src/xmlout.c | 2 +- src/xmlout.h | 2 +- 105 files changed, 108 insertions(+), 108 deletions(-) diff --git a/gui/Gui/About.py b/gui/Gui/About.py index 7ec2f17..49161a7 100644 --- a/gui/Gui/About.py +++ b/gui/Gui/About.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License @@ -71,7 +71,7 @@ class AboutScyther(wx.Dialog):
License

Scyther : An automatic verifier for security protocols.
- Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers

This program is free software; you can redistribute it and/or diff --git a/gui/Gui/Attackwindow.py b/gui/Gui/Attackwindow.py index 507701c..d8d8f80 100644 --- a/gui/Gui/Attackwindow.py +++ b/gui/Gui/Attackwindow.py @@ -2,7 +2,7 @@ from __future__ import division # 2.2+-only """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Editor.py b/gui/Gui/Editor.py index d692c13..2b40020 100644 --- a/gui/Gui/Editor.py +++ b/gui/Gui/Editor.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Error.py b/gui/Gui/Error.py index b7f0db6..61eb990 100644 --- a/gui/Gui/Error.py +++ b/gui/Gui/Error.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Icon.py b/gui/Gui/Icon.py index 5ff321e..60919e2 100644 --- a/gui/Gui/Icon.py +++ b/gui/Gui/Icon.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Mainwindow.py b/gui/Gui/Mainwindow.py index c3f8fa6..ada247d 100644 --- a/gui/Gui/Mainwindow.py +++ b/gui/Gui/Mainwindow.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Makeimage.py b/gui/Gui/Makeimage.py index c0d5a8f..0015937 100644 --- a/gui/Gui/Makeimage.py +++ b/gui/Gui/Makeimage.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Misc.py b/gui/Gui/Misc.py index 0ee4a82..b60d8e9 100644 --- a/gui/Gui/Misc.py +++ b/gui/Gui/Misc.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Preference.py b/gui/Gui/Preference.py index 740acd6..7869ff4 100644 --- a/gui/Gui/Preference.py +++ b/gui/Gui/Preference.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Scytherthread.py b/gui/Gui/Scytherthread.py index ed0878f..645961d 100644 --- a/gui/Gui/Scytherthread.py +++ b/gui/Gui/Scytherthread.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Settingswindow.py b/gui/Gui/Settingswindow.py index a8d4c14..b889216 100644 --- a/gui/Gui/Settingswindow.py +++ b/gui/Gui/Settingswindow.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Temporary.py b/gui/Gui/Temporary.py index 9435e83..d893356 100644 --- a/gui/Gui/Temporary.py +++ b/gui/Gui/Temporary.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/Version.py b/gui/Gui/Version.py index ef82a09..b913902 100644 --- a/gui/Gui/Version.py +++ b/gui/Gui/Version.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Gui/__init__.py b/gui/Gui/__init__.py index b8d7c7b..ca2c103 100644 --- a/gui/Gui/__init__.py +++ b/gui/Gui/__init__.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scripts/scytherview.py b/gui/Scripts/scytherview.py index 54cc9d1..be61807 100755 --- a/gui/Scripts/scytherview.py +++ b/gui/Scripts/scytherview.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Attack.py b/gui/Scyther/Attack.py index 65cb21b..10c98ca 100644 --- a/gui/Scyther/Attack.py +++ b/gui/Scyther/Attack.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Claim.py b/gui/Scyther/Claim.py index 8f50ae1..2799d58 100644 --- a/gui/Scyther/Claim.py +++ b/gui/Scyther/Claim.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Error.py b/gui/Scyther/Error.py index cf27352..8bcdf7c 100644 --- a/gui/Scyther/Error.py +++ b/gui/Scyther/Error.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Misc.py b/gui/Scyther/Misc.py index 74d02c7..1a8a273 100644 --- a/gui/Scyther/Misc.py +++ b/gui/Scyther/Misc.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Scyther.py b/gui/Scyther/Scyther.py index bab4155..c7a9c39 100755 --- a/gui/Scyther/Scyther.py +++ b/gui/Scyther/Scyther.py @@ -1,7 +1,7 @@ #!/usr/bin/python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2009 Cas Cremers + Copyright (C) 2007-2012-2009 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Term.py b/gui/Scyther/Term.py index 3a3c4c8..c96a034 100644 --- a/gui/Scyther/Term.py +++ b/gui/Scyther/Term.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/Trace.py b/gui/Scyther/Trace.py index 92d9bdf..3aa2310 100644 --- a/gui/Scyther/Trace.py +++ b/gui/Scyther/Trace.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/XMLReader.py b/gui/Scyther/XMLReader.py index 1c6704a..68b63d1 100644 --- a/gui/Scyther/XMLReader.py +++ b/gui/Scyther/XMLReader.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/Scyther/__init__.py b/gui/Scyther/__init__.py index e297957..04b4b88 100644 --- a/gui/Scyther/__init__.py +++ b/gui/Scyther/__init__.py @@ -1,6 +1,6 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/json-scyther.py b/gui/json-scyther.py index 51d8531..1ac7d01 100755 --- a/gui/json-scyther.py +++ b/gui/json-scyther.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/progressbarDummy.py b/gui/progressbarDummy.py index cbe46d2..c836d77 100644 --- a/gui/progressbarDummy.py +++ b/gui/progressbarDummy.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2009 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/scyther-gui.py b/gui/scyther-gui.py index fade959..59fdd00 100755 --- a/gui/scyther-gui.py +++ b/gui/scyther-gui.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/scyther.py b/gui/scyther.py index 736bd2c..90c08ef 100755 --- a/gui/scyther.py +++ b/gui/scyther.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/test-delta.py b/gui/test-delta.py index 67a0b3f..3eda721 100755 --- a/gui/test-delta.py +++ b/gui/test-delta.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/gui/test-mpa.py b/gui/test-mpa.py index 175e542..7a6f7b9 100755 --- a/gui/test-mpa.py +++ b/gui/test-mpa.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007 Cas Cremers + Copyright (C) 2007-2012 Cas Cremers This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License diff --git a/src/arachne.c b/src/arachne.c index 67cb737..49e08ec 100644 --- a/src/arachne.c +++ b/src/arachne.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/arachne.h b/src/arachne.h index e0959ea..5f3083b 100644 --- a/src/arachne.h +++ b/src/arachne.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/binding.c b/src/binding.c index aaeec3c..6bc8c12 100644 --- a/src/binding.c +++ b/src/binding.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/binding.h b/src/binding.h index baeedc0..9acf939 100644 --- a/src/binding.h +++ b/src/binding.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/bool.h b/src/bool.h index 577ecde..8716937 100644 --- a/src/bool.h +++ b/src/bool.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/claim.c b/src/claim.c index 6555755..f3a82b6 100644 --- a/src/claim.c +++ b/src/claim.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/claim.h b/src/claim.h index ee22d9b..fad8787 100644 --- a/src/claim.h +++ b/src/claim.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/color.c b/src/color.c index a71d5ba..aec77cb 100644 --- a/src/color.c +++ b/src/color.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/color.h b/src/color.h index 40b84be..2c36b87 100644 --- a/src/color.h +++ b/src/color.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/compiler.c b/src/compiler.c index f9ab936..fa4322a 100644 --- a/src/compiler.c +++ b/src/compiler.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/compiler.h b/src/compiler.h index 451c6bd..99215d4 100644 --- a/src/compiler.h +++ b/src/compiler.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/cost.c b/src/cost.c index 5643ed8..1433519 100644 --- a/src/cost.c +++ b/src/cost.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/cost.h b/src/cost.h index 371fb1e..c726a91 100644 --- a/src/cost.h +++ b/src/cost.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/debug.c b/src/debug.c index 6792008..ff791f6 100644 --- a/src/debug.c +++ b/src/debug.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/debug.h b/src/debug.h index f7c2f52..f4fcc25 100644 --- a/src/debug.h +++ b/src/debug.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/depend.c b/src/depend.c index 0e56260..7205279 100644 --- a/src/depend.c +++ b/src/depend.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/depend.h b/src/depend.h index 310e844..1fce191 100644 --- a/src/depend.h +++ b/src/depend.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/dotout.c b/src/dotout.c index 9bbca2d..3f0fd33 100644 --- a/src/dotout.c +++ b/src/dotout.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/dotout.h b/src/dotout.h index 24d9738..4a03942 100644 --- a/src/dotout.h +++ b/src/dotout.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/error.c b/src/error.c index be04a9a..7de8c3d 100644 --- a/src/error.c +++ b/src/error.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/error.h b/src/error.h index 1f1f7ea..3ba8895 100644 --- a/src/error.h +++ b/src/error.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/heuristic.c b/src/heuristic.c index 179125b..14a1db8 100644 --- a/src/heuristic.c +++ b/src/heuristic.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/heuristic.h b/src/heuristic.h index ab77503..8618b9d 100644 --- a/src/heuristic.h +++ b/src/heuristic.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/hidelevel.c b/src/hidelevel.c index b807571..9231239 100644 --- a/src/hidelevel.c +++ b/src/hidelevel.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/hidelevel.h b/src/hidelevel.h index e782de3..f3e79d4 100644 --- a/src/hidelevel.h +++ b/src/hidelevel.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/intruderknowledge.c b/src/intruderknowledge.c index b0c0fc9..a21953e 100644 --- a/src/intruderknowledge.c +++ b/src/intruderknowledge.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/intruderknowledge.h b/src/intruderknowledge.h index 542cfb8..1b30ea6 100644 --- a/src/intruderknowledge.h +++ b/src/intruderknowledge.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/knowledge.c b/src/knowledge.c index 4604408..e626658 100644 --- a/src/knowledge.c +++ b/src/knowledge.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/knowledge.h b/src/knowledge.h index 4ad034f..8893f4d 100644 --- a/src/knowledge.h +++ b/src/knowledge.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/label.c b/src/label.c index e981e1e..7573977 100644 --- a/src/label.c +++ b/src/label.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/label.h b/src/label.h index e81ae03..e4e89e2 100644 --- a/src/label.h +++ b/src/label.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/list.c b/src/list.c index 1a7e2d9..3d66ce7 100644 --- a/src/list.c +++ b/src/list.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/list.h b/src/list.h index 966852d..dc13851 100644 --- a/src/list.h +++ b/src/list.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/main.c b/src/main.c index a6839ca..8efbdd5 100644 --- a/src/main.c +++ b/src/main.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/mgu.c b/src/mgu.c index ec1b9f1..94d1fda 100644 --- a/src/mgu.c +++ b/src/mgu.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/mgu.h b/src/mgu.h index 45a3e30..a2c5367 100644 --- a/src/mgu.h +++ b/src/mgu.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/mymalloc.h b/src/mymalloc.h index 02c16cf..9623aff 100644 --- a/src/mymalloc.h +++ b/src/mymalloc.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/parser.y b/src/parser.y index d8f51ab..cac0466 100644 --- a/src/parser.y +++ b/src/parser.y @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/pheading.h b/src/pheading.h index 32ec6a2..e6bc5cc 100644 --- a/src/pheading.h +++ b/src/pheading.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/prune_bounds.c b/src/prune_bounds.c index e516310..0ad4e77 100644 --- a/src/prune_bounds.c +++ b/src/prune_bounds.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/prune_bounds.h b/src/prune_bounds.h index 069f5e2..40536a6 100644 --- a/src/prune_bounds.h +++ b/src/prune_bounds.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/prune_theorems.c b/src/prune_theorems.c index eb6e652..7f8adef 100644 --- a/src/prune_theorems.c +++ b/src/prune_theorems.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/prune_theorems.h b/src/prune_theorems.h index 50214a3..2df3608 100644 --- a/src/prune_theorems.h +++ b/src/prune_theorems.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/role.c b/src/role.c index 31e0e7b..bf8fa85 100644 --- a/src/role.c +++ b/src/role.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/role.h b/src/role.h index eefb007..febb8c5 100644 --- a/src/role.h +++ b/src/role.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/scanner.l b/src/scanner.l index 1690a98..fa23f4c 100644 --- a/src/scanner.l +++ b/src/scanner.l @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/specialterm.c b/src/specialterm.c index 19e1fbc..6fcb82d 100644 --- a/src/specialterm.c +++ b/src/specialterm.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/specialterm.h b/src/specialterm.h index de3a674..ea3e65f 100644 --- a/src/specialterm.h +++ b/src/specialterm.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/states.c b/src/states.c index 8fca9d0..2954225 100644 --- a/src/states.c +++ b/src/states.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/states.h b/src/states.h index c9090d9..6ac202c 100644 --- a/src/states.h +++ b/src/states.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/switches.c b/src/switches.c index 4e59622..0c6fe8b 100644 --- a/src/switches.c +++ b/src/switches.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -1325,7 +1325,7 @@ switcher (const int process, int index, int commandline) printf ("Compiled with debugging support.\n"); #endif } - printf ("Copyright (C) 2007 Cas Cremers\n\n"); + printf ("Copyright (C) 2007-2012 Cas Cremers\n\n"); printf ("Scyther comes with ABSOLUTELY NO WARRANTY.\n"); printf ("This is free software, and you are welcome\n"); printf ("to redistribute it under certain conditions.\n"); @@ -1344,7 +1344,7 @@ switcher (const int process, int index, int commandline) { printf ("Scyther : An automatic verifier for security protocols.\n"); - printf ("Copyright (C) 2007 Cas Cremers\n"); + printf ("Copyright (C) 2007-2012 Cas Cremers\n"); printf ("\n"); printf ("This program is free software; you can redistribute it and/or\n"); diff --git a/src/switches.h b/src/switches.h index f367c4c..4fcad04 100644 --- a/src/switches.h +++ b/src/switches.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/symbol.c b/src/symbol.c index 48ca4ac..4fdbd49 100644 --- a/src/symbol.c +++ b/src/symbol.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/symbol.h b/src/symbol.h index 09cbb8c..cadd677 100644 --- a/src/symbol.h +++ b/src/symbol.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/system.c b/src/system.c index 214ddc2..1e08d75 100644 --- a/src/system.c +++ b/src/system.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/system.h b/src/system.h index 04dc8a6..e846687 100644 --- a/src/system.h +++ b/src/system.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/tac.c b/src/tac.c index 306ae56..9752de1 100644 --- a/src/tac.c +++ b/src/tac.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/tac.h b/src/tac.h index c2e8301..e2947bf 100644 --- a/src/tac.h +++ b/src/tac.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/tempfile.c b/src/tempfile.c index 5fcdd7b..fe7085f 100644 --- a/src/tempfile.c +++ b/src/tempfile.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/tempfile.h b/src/tempfile.h index be7e796..991c06f 100644 --- a/src/tempfile.h +++ b/src/tempfile.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/term.c b/src/term.c index da02e9d..6fb42bb 100644 --- a/src/term.c +++ b/src/term.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/term.h b/src/term.h index 377ad47..fa65a72 100644 --- a/src/term.h +++ b/src/term.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/termlist.c b/src/termlist.c index 1e4bcd5..7366eb1 100644 --- a/src/termlist.c +++ b/src/termlist.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/termlist.h b/src/termlist.h index bdacb50..475e3c9 100644 --- a/src/termlist.h +++ b/src/termlist.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/termmap.c b/src/termmap.c index df5b77d..5341422 100644 --- a/src/termmap.c +++ b/src/termmap.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/termmap.h b/src/termmap.h index f93683d..6efa23e 100644 --- a/src/termmap.h +++ b/src/termmap.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/timer.c b/src/timer.c index 6fe1315..a62429f 100644 --- a/src/timer.c +++ b/src/timer.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/timer.h b/src/timer.h index 1c17238..b5abc0a 100644 --- a/src/timer.h +++ b/src/timer.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/type.c b/src/type.c index 6cfd584..a3cafdc 100644 --- a/src/type.c +++ b/src/type.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/type.h b/src/type.h index 50f7b86..db0dccb 100644 --- a/src/type.h +++ b/src/type.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/version.h b/src/version.h index b372f95..a62166f 100644 --- a/src/version.h +++ b/src/version.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/warshall.c b/src/warshall.c index bce5eb4..ab5cdc5 100644 --- a/src/warshall.c +++ b/src/warshall.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/warshall.h b/src/warshall.h index 44c79c2..b0711e4 100644 --- a/src/warshall.h +++ b/src/warshall.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/xmlout.c b/src/xmlout.c index 22100c6..d3ec4ef 100644 --- a/src/xmlout.c +++ b/src/xmlout.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License diff --git a/src/xmlout.h b/src/xmlout.h index 5c60525..d79e9b2 100644 --- a/src/xmlout.h +++ b/src/xmlout.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007 Cas Cremers + * Copyright (C) 2007-2012 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License