source: examples/alice_rt1_typed/Alice_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-----
2MIIDBjCCAe6gAwIBAgIJAIbL5zGe0taNMA0GCSqGSIb3DQEBBQUAMBAxDjAMBgNV
3BAMTBUFsaWNlMB4XDTEyMDIyMzIxMzcxNFoXDTE1MDIwNzIxMzcxNFowEDEOMAwG
4A1UEAxMFQWxpY2UwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQC9Jw9E
5OhcpX6SCqNNUgsPMF2EHLeqQXye26OY1dS+DBumYNnGkKtOwbtTQhcxksBphkNd3
6+bbjwHGgrsPo8ngpuCwhkoD6JFfO8JkX1OuqSN86uQWQKw7oMiOrcx/4VyJYmpW+
76vPVj+8nKROty2UrQWlPCOqyM5+KRBGnsioaMzE6bEY+ScGIF88UoMUkX83ZWDBd
8rUO/jTipHnnLoWiBT0vEJ+lEXvJYmWSAfDhtPa9vGpMp62Td+0nt7BS/1qYV9FeC
9E70fTHdbqdyzQXf3dYJ1YO9toMD6jGKl/khgERl6bS9YbtKpR/+1mC+b+7/BHWPZ
10SwgAAbI+afKI4JB5AgMBAAGjYzBhMA8GA1UdEwEB/wQFMAMBAf8wDgYDVR0PAQH/
11BAQDAgEGMB0GA1UdDgQWBBTUsWxR0H1i9lS2pxYfKsP9+MF9nDAfBgNVHSMEGDAW
12gBTUsWxR0H1i9lS2pxYfKsP9+MF9nDANBgkqhkiG9w0BAQUFAAOCAQEApqosmVyc
13l6c6utUk5y/2DuVWmBbgG8WQW1TLLIR57NZq2WZgOB5tiiPbaMeV/buoAI99ph7E
14Aypz9gOIGFAo+DOXFQF3qfvFtT6szRrt9TwfeWwhYrvxm7Mh7dRCr1nC8PRduxq/
157UdBrVN8sTF1ytzlnF5U4uH3V43zry+UgxyL8iJBdFqMiJ94vOtYzGKmXoK5VPe2
16M9IVDnXf1BSZf0P7KwExY4TRTYSWtMlbW88Dui93qGT0Vz7IHkyLvq/cg2BMEdCT
17p3Po2LAP286DNLJM0h0Va1gMdQjk0kt/ElP2ehZ378FBtLi0j8Aq3fYaNa5H1swi
183mbbdjqQkluIdA==
19-----END CERTIFICATE-----
Note: See TracBrowser for help on using the repository browser.