source: examples/alice_rt1_typed/Dormouse_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-----
2MIIDCzCCAfOgAwIBAgIIOS7g01aJnvQwDQYJKoZIhvcNAQEFBQAwEzERMA8GA1UE
3AxMIRG9ybW91c2UwHhcNMTIwMjIzMjEzNzE5WhcNMTUwMjA3MjEzNzE5WjATMREw
4DwYDVQQDEwhEb3Jtb3VzZTCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEB
5AKZiVrCJ6PqAae3rXi4SFI/RfEz7tpPNinsWSGpor+K8vXAQeKr2Q97E46v1I2AT
6hFSL00dHZYi5nQZ8ONZx6RTI1Qh3xqgE0C/kj++3DZESDjAtunhIwcjhN6V0Bd9Q
7lMPYw/wDMoSlV5nENBml/dFc+63/KpdKe6SLOh2bWzI+i08OVAsXxrId7ARN1qJ8
8O+1/aleTJb1Xtj8sZU9T3zpXaCmU1X+t1slEb3ABnqfjGx4e6UjqXGKQbUMm3t+G
9aMw8GbRRxfWHFcsg0gIXSmrMHty79chiNNrLa/bMkkKUKeWFCS6K88ZKCR5g3bax
109izR3HQae+psAdobuNO4Yu0CAwEAAaNjMGEwDwYDVR0TAQH/BAUwAwEB/zAOBgNV
11HQ8BAf8EBAMCAQYwHQYDVR0OBBYEFNEjRurg379ccj3Q+eXhgebn8QZwMB8GA1Ud
12IwQYMBaAFNEjRurg379ccj3Q+eXhgebn8QZwMA0GCSqGSIb3DQEBBQUAA4IBAQAG
13aHFuqJoHbzYOpWtcymAAGjEZjpeJMeNaf342qnZemsGsdD8yvQGCdf2bddf53CEJ
14nuzsTMxcRqnISBS1L014JnPtF6O/H9uhLrRFURE2/8biIlfsuUrZTpvYKpkbfQJr
15mHaEhUFiGLToN6yglJ/FHtJTbAyNVz5u8vkgzNh0QDFR4Ab1i8IzDDbTjQcUGOSO
16nETfkePAJr427IytYxq5BVHJNG0zZ8YRHNN/30r0LBFKM6RTRlosYaO3DeHyhZQV
17iHrt+g1yXq802wJlfKR5MlQzjERDTP8JsS2YRTAaQ9bU1NV8bFYQd5Z3KtfmFuMd
182ObQsGVDxL6eDWtxi862
19-----END CERTIFICATE-----
Note: See TracBrowser for help on using the repository browser.