source: examples/fruits_rt2_typed/Ralphs_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-----
2MIIDBzCCAe+gAwIBAgIIYryTFCPXkJowDQYJKoZIhvcNAQEFBQAwETEPMA0GA1UE
3AxMGUmFscGhzMB4XDTEyMDIyMzIxMzgwOVoXDTE1MDIwNzIxMzgwOVowETEPMA0G
4A1UEAxMGUmFscGhzMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzcTZ
5TIgPzIQuCvOMbIey9eUflJIl5nwhOLHNCUrRB2vEkAXkmzXAq9MpQv+xeWj/jeVw
6CnikZIM2TtIzM37NW8E5HNUnBK1NyZISzVs67rU8EDOOohZdjbvabvTHfTZHo3Gl
7ndO5HvflY/reYKPrCFv/iQ+0I/t6aRDJQ8jmTux0tJTaPZ5AujcVsy5nlOh7P68+
8WcIlEVfQ0yMZhc3RF6CLg0dSKLAGHj/Io9cZdaMxgW0gCRwlsEq4gR+U8Ltv3NTH
9F2X20WxiAjILTNAa1pOhOvDgzbkb3yVgx5kbvwLUtPhvQtBc5QUnb8Sx1Za+eyAs
10UBZ//NhjArHdJ54zmwIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB
11/wQEAwIBBjAdBgNVHQ4EFgQULoSbLwACRtFUnEGiFY0TVNLbI3AwHwYDVR0jBBgw
12FoAULoSbLwACRtFUnEGiFY0TVNLbI3AwDQYJKoZIhvcNAQEFBQADggEBAHWtvgmV
13ZuEM8TAPo/8i/Zvb5BNHDwlKW5NBNlKntQUIKeQ4yTMe1WXuYzkw8h5wIznGostf
14oTqC9Rtpwu9nxPJvJkszXP92+zGZ9chjCIrbqeAbZLtcTyeO0khpd2pBmtH6P9Zc
15uXDYVQSHu0+j7cM6Sgfrt390z0l0ptV8x1NwwJzRdS5u6i6N36D2IcFnBe8bBB45
16mVboNh0SqoFfwlye54Zq4qDL7ORlnYiftrAkNsNqeTYs/t596kaK2AS6pUVUNhOO
17UUXHICCs1FM57Wk8SYxNZXbYFQyvI9vROUCh58CTfcL2x+AJvYO4fM/r94NGPaic
18wwbOknPHiCIi2J8=
19-----END CERTIFICATE-----
Note: See TracBrowser for help on using the repository browser.