root/branches/trunk-irs
| Name | Size | Rev | Age | Last Change |
|---|---|---|---|---|
| ../ | ||||
| example | 221 | 2 years | add makefile for catc | |
| generated_policy | 220 | 2 years | add policy, change policy generation to happen in generated_policy, make … | |
| policy | 220 | 2 years | add policy, change policy generation to happen in generated_policy, make … | |
| abstract_policy.dtd | 373 bytes | 202 | 2 years | initial policy translation commit |
| cat.py | 3.3 kB | 209 | 2 years | added an add method |
| cats.py | 5.0 kB | 219 | 2 years | Adding signal handling for ctrl-c to kill the cats and irs. |
| irs.py | 12.4 kB | 220 | 2 years | add policy, change policy generation to happen in generated_policy, make … |
| policy_translation.py | 5.1 kB | 220 | 2 years | add policy, change policy generation to happen in generated_policy, make … |
| run-demo.sh | 258 bytes | 220 | 2 years | add policy, change policy generation to happen in generated_policy, make … |
Note: See TracBrowser for help on using the browser.
