source: examples/alice_rt1_typed/Dormouse_ID.pem @ 2225f80

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

1) adding missing extern forward declarations that is causing

freeBSD compiled prover to coredump
  • Property mode set to 100644
File size: 1.1 KB
Line 
1-----BEGIN CERTIFICATE-----
2MIIDCzCCAfOgAwIBAgIIQsc6Ijgmk6owDQYJKoZIhvcNAQEFBQAwEzERMA8GA1UE
3AxMIRG9ybW91c2UwHhcNMTIwMjIzMDgwMjExWhcNMTUwMjA3MDgwMjExWjATMREw
4DwYDVQQDEwhEb3Jtb3VzZTCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEB
5AOHYgE+SVDLLj+rhU8sEqHrU6RwL1WHGa1Hls0yxa0fEYm/cKN98e60zc3EVxosa
6SOTz7lw6Kc2Va6rN5kn8mv3SwZf4CyfYUfRAw3T2EwzKUi8GzC5XThYDX2dy1ron
7uudsakYUSIXuativ67N6lqYWir4S+VP8i/zwdw5jLjgXzoHZKL4+pBv8EBTGJyHJ
8SSC163ihUuJlFfKJwFxzUz/QrfQBPQZT09in1tUNcR35RQjJKdQtBLlAqc7X1Csm
91gjyqkUS6d2uCma/W/7kWPzkeOWC2Vg/xmO621icHWD82YDKavBa8KgBzrBg12/0
10VlIf3cjLPB+YOKKqdjSEQVcCAwEAAaNjMGEwDwYDVR0TAQH/BAUwAwEB/zAOBgNV
11HQ8BAf8EBAMCAQYwHQYDVR0OBBYEFFm6TUibVDpTpND+zCHHMTzIi5AkMB8GA1Ud
12IwQYMBaAFFm6TUibVDpTpND+zCHHMTzIi5AkMA0GCSqGSIb3DQEBBQUAA4IBAQB/
13+/ioW+Xfc2C7BQ7ACrwAj7zlm1RygO3VHfdHAM0Ib4obfH/opHKj80Tb8VudzGbw
14VQsPy16mcuNF+Rs7cohryr9A/R8gVa8FsPaVy6Im/vu6d6oesyK3p7xuc2sgJ+3J
15AuGIZtYxMnoRZkYRHdDBsGdr2m9dukiz8I8Rk4/B/qh8G0VzV6ZbekqvvxY7Ski7
16yo8MkFYN/Huq9bZZUQuSqh/u10GXvoh5a9RufhIQlRruVdrUwxUFg8Y8gKTZ21Jb
170mAbiKXu5Yam0lw2YQbjso6DkrFn+3UG7Pm5aK3G2OwWl4huU1CRpAbPLMU23BFk
18BhOgmLO+7ZnMdA1ut4+E
19-----END CERTIFICATE-----
Note: See TracBrowser for help on using the repository browser.