| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Counter.idl | 400 | logplain |
| -rw-r--r-- | Counter_i.cpp | 573 | logplain |
| -rw-r--r-- | Counter_i.h | 896 | logplain |
| -rw-r--r-- | Exposed_Policies.mpc | 589 | 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 | 7341 | logplain |
| -rw-r--r-- | Policy_Tester.h | 1276 | logplain |
| -rw-r--r-- | Policy_Verifier.cpp | 8126 | logplain |
| -rw-r--r-- | Policy_Verifier.h | 1389 | logplain |
| -rw-r--r-- | README | 2556 | logplain |
| -rw-r--r-- | RT_Properties.cpp | 2303 | logplain |
| -rw-r--r-- | RT_Properties.h | 1089 | logplain |
| -rw-r--r-- | client.cpp | 637 | logplain |
| -rwxr-xr-x | run_test.pl | 4028 | logplain |
| -rw-r--r-- | server.cpp | 811 | logplain |
| -rw-r--r-- | svc.conf | 73 | logplain |
 |
index : delta/ATCD.git | |
| github.com: DOCGroup/ATCD.git |
| summaryrefslogtreecommitdiff |