--- /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
+