source: examples/fruits_rt2_typed/Mary_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-----
2MIIDAzCCAeugAwIBAgIIbYwRT/4GXEswDQYJKoZIhvcNAQEFBQAwDzENMAsGA1UE
3AxMETWFyeTAeFw0xMjAyMjMyMTM4MDVaFw0xNTAyMDcyMTM4MDVaMA8xDTALBgNV
4BAMTBE1hcnkwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQC7wmD3vMOe
53pwwho9jAclEWHk4lidmO5ipQhkTjQ0iVZ32AKKm4YlGuB/RC6AcAJFsKy/MP8KF
6Mn0mYyqEL1sdIa5NQFHzus2XTMsHb8phT3D1Bm9cPb/uo6EmwkH5ZBUW7ECj8bjL
74zwmEVoKkx/DnION9pXvzZGFOUGqHzke+0zVTTb+pVZhi9zFbmn9Vb623sWy+/tl
8Hj9eo9A5ScRkpMd8+aJ7R3c80Jr0Rd8t7pKqEnBg81IkDidmE9ppyVE3786wypY7
9jZb19aR1j8ln4SzhX1JuZur5VIVLscYkNwr7YjZ2UAPsAvrB+ibl8+xHNHteaGRM
103QGydCnRWSqHAgMBAAGjYzBhMA8GA1UdEwEB/wQFMAMBAf8wDgYDVR0PAQH/BAQD
11AgEGMB0GA1UdDgQWBBQQl44RbkI+26xmLYDCfVmEP5N2VjAfBgNVHSMEGDAWgBQQ
12l44RbkI+26xmLYDCfVmEP5N2VjANBgkqhkiG9w0BAQUFAAOCAQEAE2EZ/xkrUx8V
13M2fZQosM3w7GmqFgz4rQtG74vjC2T0P98FYGwzXuSHaBRvyME88sPEnobnjoR++Q
14qnru9PBRPgFxcFv0wS773Y+jBnwYQ4hSI7cAdZOTM42qczVZmAZD9eBXw0KpkCvY
15J8Zob3zy9Quh4X3vYtoMQAYG56tL0oPpZVZgOIZJTUD7XUWM73jk5Yob1ejhCmfY
164skop2LYfdwYHKDFg3guTkr9s3YAvfnvSFmeY2E9l/hxg1NetMnulR61jkGGdKIt
17U+s8+SVkzzEbdKBN+SiKmE+GS6Z/BdJTEW7ll9M3KHEaZ/KjJKKAUjEHk0jdCncI
18Xr+Vg365+w==
19-----END CERTIFICATE-----
Note: See TracBrowser for help on using the repository browser.