PC2IS Code
Brought to you by:
anonymous_i
Menu
▾
▴
Tree [r1] / History
| File | Date | Author | Commit |
|---|---|---|---|
| AndrewRPC | 2009-01-22 | anonymous_i | [r1] import of project1 |
| ISO1PUCCF | 2009-01-22 | anonymous_i | [r1] import of project1 |
| ISO2PUCCF | 2009-01-22 | anonymous_i | [r1] import of project1 |
| ISOSK1PU | 2009-01-22 | anonymous_i | [r1] import of project1 |
| ISOSK2PM | 2009-01-22 | anonymous_i | [r1] import of project1 |
| ISOSK2PU | 2009-01-22 | anonymous_i | [r1] import of project1 |
| ISOSK3PM | 2009-01-22 | anonymous_i | [r1] import of project1 |
| NSPK | 2009-01-22 | anonymous_i | [r1] import of project1 |
| PC2IS.jar | 2009-01-22 | anonymous_i | [r1] import of project1 |
| PC2IS_outputExamples.tgz | 2009-01-22 | anonymous_i | [r1] import of project1 |
| README.txt | 2009-01-22 | anonymous_i | [r1] import of project1 |
Read Me
To run the compiler, the pattern is: java -jar PC2IS.jar arg1 arg2 arg3 arg4 agr5, where arg1 is the name for the output folder arg2 is the name of the CAPSL input file arg3 is the honest space arg4 is the intruder space arg5 is the number of agents involved. For example, java -jar PC2IS.jar NSPK NSPK.capsl 1 1 2 3 The documents uploaded contain the output directories for different scenarios, for the protocols discussed.
