Mercurial > pysmcl
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 +