changeset 232:3a5b4f442381

Moved info about functions out of ideal functionality
author Sigurd Meldgaard <stm@daimi.au.dk>
date Mon, 04 Jan 2010 14:06:48 +0100
parents a096603611ba
children b295826e28d3
files pysmcl/ideal_functionality.py
diffstat 1 files changed, 1 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/ideal_functionality.py	Mon Jan 04 12:54:47 2010 +0100
+++ b/pysmcl/ideal_functionality.py	Mon Jan 04 14:06:48 2010 +0100
@@ -13,6 +13,7 @@
 
 debug = True
 
+
 def catcher(f):
     def c(*args, **kwargs):
         try:
@@ -41,11 +42,6 @@
         pysmcl.secret_annotator.secret_analysis(function_ast)
         bad_calls(function_ast)
 
-        pysmcl.secret_annotator.non_compromising_functions.add(function_ast.name)
-        pysmcl.secret_annotator.annotated_functions.add(function_ast.name)
-        if(pysmcl.secret_annotator.returns_secret(function_ast)):
-            pysmcl.secret_annotator.secret_functions.add(function_ast.name)
-
         runtime_sugar(function_ast)
         t.decorator_list.pop()
 #         pysmcl.proof_burden.proof_burden(t)