• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for flowlocks-framework-0.1.3.1 source tarball

flowlocks-framework-0.1.3.1/

• LICENSE
• Setup.lhs
• flowlocks-framework.cabal
• src/
  • Security/
    • InfoFlow/
      • Policy/
        • FlowLocks.hs
        • Paralocks.hs
        • FlowLocks/
          • Actor.hs
          • ActorSet.hs
          • Constraint.hs
          • Constraint.hs-boot
          • Containment.hs
          • Datalog.hs
          • DatalogConvert.hs
          • GlobalPolicy.hs
          • Lattice.hs
          • Lock.hs
          • Policy.hs
• tests/
  • Datalog.hs
  • TestAll.hs