Mercurial Mercurial > hg > selinux / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Dynamic2static.thy
changeset 32 705e1e41faf7
parent 31 aa1375b6c0eb
child 43 137358bd4921
equal deleted inserted replaced
31:aa1375b6c0eb 32:705e1e41faf7 
     1 theory Dynamic2static
 
     1 theory Dynamic2static
 
     2 imports Main Flask Static Init_prop Valid_prop Tainted_prop Delete_prop
 
     2 imports Main Flask Static Init_prop Valid_prop Tainted_prop Delete_prop Co2sobj_prop
 
     3 begin
 
     3 begin
 
     4 
     4 
     5 context tainting_s begin
 
     5 context tainting_s begin
 
     6 
     6 
     7 lemma d2s_main:
 
     7 lemma d2s_main:
selinux