source: examples/alice_rt1_typed/Party_ID.pem @ c586a3c

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since c586a3c was c586a3c, checked in by Mei <mei@…>, 12 years ago

1) add support for float static range constraint
2) add a testcase for testing float static range constraint
3) add runall-fast (skipping the creddy part)
  • Property mode set to 100644
File size: 1.1 KB
Line 
1-----BEGIN CERTIFICATE-----
2MIIDBjCCAe6gAwIBAgIJAOz2hyOoy96rMA0GCSqGSIb3DQEBBQUAMBAxDjAMBgNV
3BAMTBVBhcnR5MB4XDTEyMDIyMzIxMzcyM1oXDTE1MDIwNzIxMzcyM1owEDEOMAwG
4A1UEAxMFUGFydHkwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQCxE8f/
54NL3dfZ04lZAiiCFbBi18F4BwmVkPtxGyQg30QKxMBA9+fIuBrapP4FJB8aj8F+O
6lTPDc86abQMi+AcKbaVr4evgwanIwNzpppA4h0yswgQaHEc5cAzQTJy2yP+NA7SZ
7qwaDlDtbJFgieDaoPiwGXBhknJTLY8+16mB1udSQvcSjxifyW53EA9Vm1m8gpa0t
8TRRL4OovwUzjI8FNzBa/7ggIXhFT4S18xB4v/9+NRAdtwVLKDlsyXsy8kLyRJYc5
9dpVjL4BsjsHRGsb94m0Bon/2Wln6nRdGPq7jTVp68/PPrAiobLUPrfDL0D6/5WCx
10GgxUHJ818jBfZIU1AgMBAAGjYzBhMA8GA1UdEwEB/wQFMAMBAf8wDgYDVR0PAQH/
11BAQDAgEGMB0GA1UdDgQWBBRlx4NFbbQx69DFgasmTPfV2g0a9jAfBgNVHSMEGDAW
12gBRlx4NFbbQx69DFgasmTPfV2g0a9jANBgkqhkiG9w0BAQUFAAOCAQEAAnhzr77Q
13GmmZiVnEcq1wxeueQwTnErR+q6BWvRxcjgNXEUrjipCdX9M7OZ29vtEpJE+n9SNq
14eK16iquy4bW0l30Kz/nPkLLDeBQdo2GXpW0LY5yCw/PkiJeD4AAH1wBLSSgEtXa3
153NpNwK11GNDK4WdO3fbYDpMFhtjKdlpjf9lqjFIWu3snWzWn9qgNZ+7fILxzcpdk
16EgmKLeTfjSMWjF75xVCMsMPGaQPuBpmetP/H0sEtAk9xEQlr4qOgTv/16CP97Z0K
17z/jfetCYs0/SMAmVoXXOmU3CBbhgyp6CWjtgJ60+BcmAhToorszp7wty2AlZ3jU3
18CDYR/0mL4HSpoQ==
19-----END CERTIFICATE-----
Note: See TracBrowser for help on using the repository browser.