source: examples/experiment_create_rt0_typed/Alice_ID.pem @ 0d0c3a9

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since 0d0c3a9 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-----
2MIIDBjCCAe6gAwIBAgIJALiF9rjMS1H1MA0GCSqGSIb3DQEBBQUAMBAxDjAMBgNV
3BAMTBUFsaWNlMB4XDTEyMDIyMzA4MDIzOVoXDTE1MDIwNzA4MDIzOVowEDEOMAwG
4A1UEAxMFQWxpY2UwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDlGcYe
5gL7ApJR3QYQgKTn7TRp5V+28VJGtVl2Ktx4tdqiQb2dckLk8n9wgaHclcgONXvhs
67uilBPhuStfYhLR4TAGQzPz87EKHJemR7zxF4iQq7x0edVrSO5Zbthc3YVqeMMaA
7cSBDGHKhRR0n69GYmHDz+pN8aDaY7Tn1XIkNGNwbCRXPuonClWFKChhgkUv/ug16
8e3Ywoo9r17tdHb55ierpS7Sq9xf5BWs2nQJHR6HW/Jv35CnPGJeP5uPN9cBLsnAW
9wh1DI/zRh75QpKt9FNB3T0uAUqCkjdJ3RWoNz04cFfJ71DZugAZdTQhtr8b10KBL
10c0Tenct1CH04dTthAgMBAAGjYzBhMA8GA1UdEwEB/wQFMAMBAf8wDgYDVR0PAQH/
11BAQDAgEGMB0GA1UdDgQWBBSAK8GLzfN8HGd0tD3viBXMPEVfuDAfBgNVHSMEGDAW
12gBSAK8GLzfN8HGd0tD3viBXMPEVfuDANBgkqhkiG9w0BAQUFAAOCAQEAS4Us3es1
13/Dr8Asi6QJbJZnuNYWTHSrkENE0Lc6GlOnLhtaLj4Ct+Ij54c/ilf9YtTLrfR8Z+
14lvgDiw6ZdHiIgINQvpFB/uca5w87eSJ4amBsIISqV4RuQRmf97/ZLth9vnAmlVBt
15LpbEKH4hphlYeIsLsGPqRoReFKLZebCISnXNaSaB7og9qyPJIpmrSbSRpciRoqFl
163iSMc+763aeVYVo/xjARwN+iYaGU+Pa/m5qgnvVKFLctyNTNuV6YTS6A/l21P+Om
17nvQYWZQN7oHHdNGvO4X7BgKTywZYkzBJ9PWc08ls2KB8yHglqkDQPCmnh5i9TAvN
18snRB/jYbMPdeew==
19-----END CERTIFICATE-----
Note: See TracBrowser for help on using the repository browser.