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 | 881 | 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 | 1264 | logplain |
-rw-r--r-- | Policy_Verifier.cpp | 8118 | logplain |
-rw-r--r-- | Policy_Verifier.h | 1374 | logplain |
-rw-r--r-- | README | 2552 | logplain |
-rw-r--r-- | RT_Properties.cpp | 2295 | logplain |
-rw-r--r-- | RT_Properties.h | 1074 | logplain |
-rw-r--r-- | client.cpp | 628 | logplain |
-rwxr-xr-x | run_test.pl | 4021 | logplain |
-rw-r--r-- | server.cpp | 800 | logplain |
-rw-r--r-- | svc.conf | 66 | logplain |