changeset 15:bf1e9000d33b

README added
author Sigurd Meldgaard <>
date Wed, 20 May 2009 14:37:24 +0200
parents e2702f8b3559
children 1f6cb90a3f66
files README
diffstat 1 files changed, 21 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/README	Wed May 20 14:37:24 2009 +0200
@@ -0,0 +1,21 @@
+This project uses the Python module ast, and therefore requires at
+least Python 2.6
+A quick overview of the files
+ Use this to run all doctests (must be modified when new files get doctests) Checks if @secret functions use features outside their scope Builds a flow graph, and does fixpoint analysis on it Abstract datatype for a flowgraph, contains a todot method Error-handling Functions for pretty-printing the python AST-nodes Analyses secret variables/expressions Still only Proof of concept, prints out a proof-burden for openings Rewrites secret annotations The decorator is declared here some example code
+proofexample.thy: experiments with formal proofs in Isabelle
+semantics/semantics.tex: A description of the language and analysis