Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 82 | logplain |
-rw-r--r-- | Counter.idl | 392 | logplain |
-rw-r--r-- | Counter_i.cpp | 565 | logplain |
-rw-r--r-- | Counter_i.h | 880 | logplain |
-rw-r--r-- | Exposed_Policies.mpc | 580 | logplain |
-rw-r--r-- | Object.cfg | 11 | logplain |
-rw-r--r-- | Object.cfg.tru64 | 12 | logplain |
-rw-r--r-- | POA.cfg | 71 | logplain |
-rw-r--r-- | POA.cfg.tru64 | 74 | logplain |
-rw-r--r-- | Policy_Tester.cpp | 7336 | logplain |
-rw-r--r-- | Policy_Tester.h | 1263 | logplain |
-rw-r--r-- | Policy_Verifier.cpp | 8115 | logplain |
-rw-r--r-- | Policy_Verifier.h | 1372 | logplain |
-rw-r--r-- | README | 2552 | logplain |
-rw-r--r-- | RT_Properties.cpp | 2295 | logplain |
-rw-r--r-- | RT_Properties.h | 1073 | logplain |
-rw-r--r-- | client.cpp | 628 | logplain |
-rwxr-xr-x | run_test.pl | 3717 | logplain |
-rw-r--r-- | server.cpp | 799 | logplain |
-rw-r--r-- | svc.conf | 66 | logplain |