source:
trunk
@
49634
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| bin | 22372 | 3 years | busenius | Building/cleaning the symbolic library from the top level ant file … | |
| data | 49634 | 12 months | busenius | Happy new year | |
| docs | 46133 | 15 months | busenius | Fixed style (for real now) | |
| lib | 16195 | 3 years | busenius | Added ant-contrib jar for the "if" task Automatically downloading … | |
| logs | 25506 | 3 years | busenius | Added consistency check log for default.exdef | |
| manifests | 16179 | 3 years | busenius | Ignoring generated manifests | |
| src | 49634 | 12 months | busenius | Happy new year | |
| testCode | 23522 | 3 years | busenius | Allowed to use symbolic library in run-protocol script | |
| testData | 49634 | 12 months | busenius | Happy new year | |
| vim | 32016 | 2 years | busenius | Added some CryptoVerif? keywords to Vim highlighting script | |
| .gitignore | 39 bytes | 20098 | 3 years | busenius | Added old crypto provider listing program to src/ |
| build.xml | 21.2 KB | 49605 | 12 months | busenius | Version bump |
| COPYING | 34.3 KB | 49634 | 12 months | busenius | Happy new year |
| expi2java | 1023 bytes | 23229 | 3 years | busenius | Removed user provided imports support, updated all scripts and … |
| filter-public-methods.sh | 332 bytes | 23539 | 3 years | busenius | Added some helper script |
| generateAllTests.sh | 1.6 KB | 23229 | 3 years | busenius | Removed user provided imports support, updated all scripts and … |
| generateTlsChannel.sh | 384 bytes | 23229 | 3 years | busenius | Removed user provided imports support, updated all scripts and … |
| gtlschan.sh | 183 bytes | 23229 | 3 years | busenius | Removed user provided imports support, updated all scripts and … |
| NEWS | 5.4 KB | 49606 | 12 months | busenius | Better wording of NEWS |
| parseExdef | 574 bytes | 16175 | 3 years | busenius | Fixed scripts to check installation directory for jars |
| parseExpi | 573 bytes | 16175 | 3 years | busenius | Fixed scripts to check installation directory for jars |
| README | 7.1 KB | 49634 | 12 months | busenius | Happy new year |
| run-protocol.sh | 39 bytes | 49634 | 12 months | busenius | Happy new year |
| tls-fs2pv.pvi | 173.2 KB | 22370 | 3 years | busenius | Added one more query from FS2PV |
| tlschan-new.pvi | 39.7 KB | 22479 | 3 years | busenius | Added last ProVerif? version of TLS channel |
| tlschan-simple.pvi | 14.9 KB | 21750 | 3 years | busenius | TLS channel: Explicitely checking certificate in the model |
| tlschan-workaround.pvi | 38.5 KB | 21667 | 3 years | busenius | TLS: Added provable example |
| typeCheckExpi | 768 bytes | 18667 | 3 years | busenius | Type inference step is not optional any more Removed --infer flag from … |
|
Note: See TracBrowser
for help on using the repository browser.
