| 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 |
 |
index : delta/ATCD.git | |
| github.com: DOCGroup/ATCD.git |
| summaryrefslogtreecommitdiff |