Scyther : An automatic verifier for security protocols.
- Copyright (C) 2007-2012 Cas Cremers
+ Copyright (C) 2007-2013 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 d8d8f80..39b9f06 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 2b40020..b3e093f 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 61eb990..6433cf2 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 036e145..2f4f26f 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 f77d3d0..70ce112 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 c6f7a73..aff5dd5 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 ba2bc5b..f255124 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 d82a031..90db531 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 43de45b..dac75b7 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 b889216..507ec7a 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 d893356..61c2466 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 b913902..9eeb04b 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 ca2c103..6995b43 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-2012 Cas Cremers + Copyright (C) 2007-2013 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/regression-test.py b/gui/Scripts/regression-test.py index de9ab63..beabc74 100755 --- a/gui/Scripts/regression-test.py +++ b/gui/Scripts/regression-test.py @@ -2,7 +2,7 @@ """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2012 Cas Cremers + Copyright (C) 2007-2013 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 be61807..9973867 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 10c98ca..d07ee6e 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 2799d58..c048789 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 8bcdf7c..88f5db8 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 3bc4d04..3279039 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 f93f897..0de9bb6 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 c96a034..9369aa2 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 856f276..31e31cc 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 68b63d1..ebafc47 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 04b4b88..1fa659c 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-2012 Cas Cremers + Copyright (C) 2007-2013 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/generate-attack-graphs.py b/gui/generate-attack-graphs.py index ad8ec50..bad12b1 100755 --- a/gui/generate-attack-graphs.py +++ b/gui/generate-attack-graphs.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2012 Cas Cremers + Copyright (C) 2007-2013 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 1ac7d01..b8e23bd 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 c836d77..9ddd7e9 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 ff7577a..9b2e133 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 90c08ef..ef99d75 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 3eda721..863d13b 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 7a6f7b9..bf5a344 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-2012 Cas Cremers + Copyright (C) 2007-2013 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 932feff..3e98c40 100644 --- a/src/arachne.c +++ b/src/arachne.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 5f3083b..feafb11 100644 --- a/src/arachne.h +++ b/src/arachne.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 d10abd6..9d5db1c 100644 --- a/src/binding.c +++ b/src/binding.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 0b9977a..6cca4c8 100644 --- a/src/binding.h +++ b/src/binding.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 8716937..8a3ed5b 100644 --- a/src/bool.h +++ b/src/bool.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 0fcf880..4f3db46 100644 --- a/src/claim.c +++ b/src/claim.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 fad8787..f22f9fc 100644 --- a/src/claim.h +++ b/src/claim.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 aec77cb..30a736c 100644 --- a/src/color.c +++ b/src/color.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 2c36b87..f48a02a 100644 --- a/src/color.h +++ b/src/color.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 2dc95a6..9618686 100644 --- a/src/compiler.c +++ b/src/compiler.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 99215d4..39a801d 100644 --- a/src/compiler.h +++ b/src/compiler.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 1433519..12cff12 100644 --- a/src/cost.c +++ b/src/cost.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 c726a91..a4d11df 100644 --- a/src/cost.h +++ b/src/cost.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 ff791f6..b8f3320 100644 --- a/src/debug.c +++ b/src/debug.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 f4fcc25..e526406 100644 --- a/src/debug.h +++ b/src/debug.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 7205279..5680963 100644 --- a/src/depend.c +++ b/src/depend.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 b0b01ce..a4fbaef 100644 --- a/src/depend.h +++ b/src/depend.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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/describe-version.py b/src/describe-version.py index 0747525..ea5cc52 100755 --- a/src/describe-version.py +++ b/src/describe-version.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. - Copyright (C) 2007-2012 Cas Cremers + Copyright (C) 2007-2013 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 811955b..f8af5af 100644 --- a/src/dotout.c +++ b/src/dotout.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 4a03942..3c19263 100644 --- a/src/dotout.h +++ b/src/dotout.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 7de8c3d..041feee 100644 --- a/src/error.c +++ b/src/error.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 3ba8895..1bac926 100644 --- a/src/error.h +++ b/src/error.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 64d5dd0..1a253db 100644 --- a/src/heuristic.c +++ b/src/heuristic.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 8618b9d..9537764 100644 --- a/src/heuristic.h +++ b/src/heuristic.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 9231239..8b4c63f 100644 --- a/src/hidelevel.c +++ b/src/hidelevel.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 f3e79d4..2b3f6b9 100644 --- a/src/hidelevel.h +++ b/src/hidelevel.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 a21953e..4ac94df 100644 --- a/src/intruderknowledge.c +++ b/src/intruderknowledge.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 1b30ea6..27f5e21 100644 --- a/src/intruderknowledge.h +++ b/src/intruderknowledge.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 51a0adb..ff8ed79 100644 --- a/src/knowledge.c +++ b/src/knowledge.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 d9fa009..c02fcbc 100644 --- a/src/knowledge.h +++ b/src/knowledge.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 836caf7..3421c52 100644 --- a/src/label.c +++ b/src/label.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 6efbbc5..de408ed 100644 --- a/src/label.h +++ b/src/label.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 25ace15..44754cf 100644 --- a/src/list.c +++ b/src/list.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 dc13851..1d94a46 100644 --- a/src/list.h +++ b/src/list.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 94b48f9..b97d73c 100644 --- a/src/main.c +++ b/src/main.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 94d1fda..ca42da8 100644 --- a/src/mgu.c +++ b/src/mgu.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 a2c5367..58bea7b 100644 --- a/src/mgu.h +++ b/src/mgu.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 9623aff..8f928f7 100644 --- a/src/mymalloc.h +++ b/src/mymalloc.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 ed96dd6..93e6ccb 100644 --- a/src/parser.y +++ b/src/parser.y @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 e6bc5cc..e20070c 100644 --- a/src/pheading.h +++ b/src/pheading.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 0ad4e77..4af4444 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-2012 Cas Cremers + * Copyright (C) 2007-2013 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 40536a6..630a958 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-2012 Cas Cremers + * Copyright (C) 2007-2013 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 104602e..9487560 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-2012 Cas Cremers + * Copyright (C) 2007-2013 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 2df3608..9859940 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-2012 Cas Cremers + * Copyright (C) 2007-2013 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/regression-tests/regression-test.py b/src/regression-tests/regression-test.py index a27e5df..8c7c8fb 100755 --- a/src/regression-tests/regression-test.py +++ b/src/regression-tests/regression-test.py @@ -1,7 +1,7 @@ #!/usr/bin/env python """ Scyther : An automatic verifier for security protocols. -Copyright (C) 2007-2012 Cas Cremers +Copyright (C) 2007-2013 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 70d4413..1138d68 100644 --- a/src/role.c +++ b/src/role.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 37c163d..ecc0b8f 100644 --- a/src/role.h +++ b/src/role.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 df6152f..b2fd97d 100644 --- a/src/scanner.l +++ b/src/scanner.l @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 aa67649..7054023 100644 --- a/src/specialterm.c +++ b/src/specialterm.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 1aa7810..b0cc0e6 100644 --- a/src/specialterm.h +++ b/src/specialterm.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 2954225..30f0b5c 100644 --- a/src/states.c +++ b/src/states.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 6ac202c..ef9c378 100644 --- a/src/states.h +++ b/src/states.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 7d2f000..1759bd3 100644 --- a/src/switches.c +++ b/src/switches.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -1343,7 +1343,7 @@ switcher (const int process, int index, int commandline) printf ("Compiled with debugging support.\n"); #endif } - printf ("Copyright (C) 2007-2012 Cas Cremers\n\n"); + printf ("Copyright (C) 2007-2013 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"); @@ -1362,7 +1362,7 @@ switcher (const int process, int index, int commandline) { printf ("Scyther : An automatic verifier for security protocols.\n"); - printf ("Copyright (C) 2007-2012 Cas Cremers\n"); + printf ("Copyright (C) 2007-2013 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 fb56357..6d450eb 100644 --- a/src/switches.h +++ b/src/switches.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 4fdbd49..d8a7b7b 100644 --- a/src/symbol.c +++ b/src/symbol.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 cadd677..4f18bb2 100644 --- a/src/symbol.h +++ b/src/symbol.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 9ea0a88..2c64c56 100644 --- a/src/system.c +++ b/src/system.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 e1148c4..8e75bbb 100644 --- a/src/system.h +++ b/src/system.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 38283fd..3552b68 100644 --- a/src/tac.c +++ b/src/tac.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 cba8998..2e0222a 100644 --- a/src/tac.h +++ b/src/tac.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 34b8e48..98808a6 100644 --- a/src/tempfile.c +++ b/src/tempfile.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 991c06f..c3daef6 100644 --- a/src/tempfile.h +++ b/src/tempfile.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 f9517b6..11665d2 100644 --- a/src/term.c +++ b/src/term.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 c919f2b..b779981 100644 --- a/src/term.h +++ b/src/term.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 7d25fdc..b56df27 100644 --- a/src/termlist.c +++ b/src/termlist.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 81189f7..39f7e72 100644 --- a/src/termlist.h +++ b/src/termlist.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 5341422..9a83e08 100644 --- a/src/termmap.c +++ b/src/termmap.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 6efa23e..89fce47 100644 --- a/src/termmap.h +++ b/src/termmap.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 a62429f..1c9d94a 100644 --- a/src/timer.c +++ b/src/timer.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 b5abc0a..931266a 100644 --- a/src/timer.h +++ b/src/timer.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 a3cafdc..17d2840 100644 --- a/src/type.c +++ b/src/type.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 db0dccb..c145b4d 100644 --- a/src/type.h +++ b/src/type.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 ab5cdc5..25c354a 100644 --- a/src/warshall.c +++ b/src/warshall.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 b0711e4..bfc9a66 100644 --- a/src/warshall.h +++ b/src/warshall.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 5e541f0..d90e046 100644 --- a/src/xmlout.c +++ b/src/xmlout.c @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 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 d79e9b2..3f74700 100644 --- a/src/xmlout.h +++ b/src/xmlout.h @@ -1,6 +1,6 @@ /* * Scyther : An automatic verifier for security protocols. - * Copyright (C) 2007-2012 Cas Cremers + * Copyright (C) 2007-2013 Cas Cremers * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License