changeset 15:bf1e9000d33b

README added
author Sigurd Meldgaard <stm@daimi.au.dk>
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
+
+doctests.py: Use this to run all doctests (must be modified when new files get doctests)
+compatibility_check.py: Checks if @secret functions use features outside their scope
+flow.py: Builds a flow graph, and does fixpoint analysis on it
+graph.py: Abstract datatype for a flowgraph, contains a todot method
+util.py: Error-handling
+pretty_print.py: Functions for pretty-printing the python AST-nodes
+secret_annotator.py: Analyses secret variables/expressions
+proof_burden.py: Still only Proof of concept, prints out a proof-burden for openings
+secret_ifs.py: Rewrites secret annotations
+ideal_functionality.py: The decorator is declared here
+test.py: some example code
+
+proofexample.thy: experiments with formal proofs in Isabelle
+
+semantics/semantics.tex: A description of the language and analysis
+