Mercurial Mercurial > hg > selinux / file revision
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.
ROOT
author chunhan
Sat, 31 Aug 2013 00:35:36 +0800
changeset 35 f2e620d799cf
parent 34 e7f850d1e08e
child 57 d7cb2fb2e3b4
permissions -rw-r--r--
in the middle of building simpset for co2sobj, therefore we can deal with s2ss

session "dynamic" = "HOL" +
  options [document = false]
  theories
    List_Prefix
    My_list_prefix
    File_renaming
    Flask_type
    OS_type_def
    Flask


session "alive" = "dynamic" + 
  options [document = false]
  theories
    Static_type
    Static
    Valid_prop
    Init_prop
    Current_files_prop
    Current_sockets_prop
    Alive_prop
    Proc_fd_of_file_prop
    Finite_current
    New_obj_prop

session "co2sobj" = "alive" + 
  options [document = false]
  theories
    Sectxt_prop
    Delete_prop
    Tainted_prop
    Co2sobj_prop
selinux