Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  memory.wast.js

  Sprache: JAVA
 

(function memory_wast_js() {

// memory.wast:3
let $$1 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x83\x80\x80\x80\x00\x01\x00\x00""memory.wast:3");

// memory.wast:3
let $1 = instance($$1);

// memory.wast:4
let $$2 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x83\x80\x80\x80\x00\x01\x00\x01""memory.wast:4");

// memory.wast:4
let $2 = instance($$2);

// memory.wast:5
let $$3 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x84\x80\x80\x80\x00\x01\x01\x00\x00""memory.wast:5");

// memory.wast:5
let $3 = instance($$3);

// memory.wast:6
let $$4 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x84\x80\x80\x80\x00\x01\x01\x00\x01""memory.wast:6");

// memory.wast:6
let $4 = instance($$4);

// memory.wast:7
let $$5 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x85\x80\x80\x80\x00\x01\x01\x01\x80\x02""memory.wast:7");

// memory.wast:7
let $5 = instance($$5);

// memory.wast:8
let $$6 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x85\x80\x80\x80\x00\x01\x00\x80\x80\x04""memory.wast:8");

// memory.wast:9
let $$7 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x86\x80\x80\x80\x00\x01\x01\x00\x80\x80\x04""memory.wast:9");

// memory.wast:9
let $6 = instance($$7);

// memory.wast:11
let $$8 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x85\x80\x80\x80\x00\x01\x60\x00\x01\x7f\x03\x82\x80\x80\x80\x00\x01\x00\x05\x84\x80\x80\x80\x00\x01\x01\x00\x00\x07\x8b\x80\x80\x80\x00\x01\x07\x6d\x65\x6d\x73\x69\x7a\x65\x00\x00\x0a\x8a\x80\x80\x80\x00\x01\x84\x80\x80\x80\x00\x00\x3f\x00\x0b\x0b\x86\x80\x80\x80\x00\x01\x00\x41\x00\x0b\x00""memory.wast:11");

// memory.wast:11
let $7 = instance($$8);

// memory.wast:12
assert_return(() => call($7"memsize", []), "memory.wast:12"0);

// memory.wast:13
let $$9 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x85\x80\x80\x80\x00\x01\x60\x00\x01\x7f\x03\x82\x80\x80\x80\x00\x01\x00\x05\x84\x80\x80\x80\x00\x01\x01\x00\x00\x07\x8b\x80\x80\x80\x00\x01\x07\x6d\x65\x6d\x73\x69\x7a\x65\x00\x00\x0a\x8a\x80\x80\x80\x00\x01\x84\x80\x80\x80\x00\x00\x3f\x00\x0b\x0b\x86\x80\x80\x80\x00\x01\x00\x41\x00\x0b\x00""memory.wast:13");

// memory.wast:13
let $8 = instance($$9);

// memory.wast:14
assert_return(() => call($8"memsize", []), "memory.wast:14"0);

// memory.wast:15
let $$10 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x85\x80\x80\x80\x00\x01\x60\x00\x01\x7f\x03\x82\x80\x80\x80\x00\x01\x00\x05\x84\x80\x80\x80\x00\x01\x01\x01\x01\x07\x8b\x80\x80\x80\x00\x01\x07\x6d\x65\x6d\x73\x69\x7a\x65\x00\x00\x0a\x8a\x80\x80\x80\x00\x01\x84\x80\x80\x80\x00\x00\x3f\x00\x0b\x0b\x87\x80\x80\x80\x00\x01\x00\x41\x00\x0b\x01\x78""memory.wast:15");

// memory.wast:15
let $9 = instance($$10);

// memory.wast:16
assert_return(() => call($9"memsize", []), "memory.wast:16"1);

// memory.wast:18
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x0b\x86\x80\x80\x80\x00\x01\x00\x41\x00\x0b\x00""memory.wast:18");

// memory.wast:19
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x0b\x86\x80\x80\x80\x00\x01\x00\x41\x00\x0b\x00""memory.wast:19");

// memory.wast:20
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x0b\x87\x80\x80\x80\x00\x01\x00\x41\x00\x0b\x01\x78""memory.wast:20");

// memory.wast:22
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x84\x80\x80\x80\x00\x01\x60\x00\x00\x03\x82\x80\x80\x80\x00\x01\x00\x0a\x8e\x80\x80\x80\x00\x01\x88\x80\x80\x80\x00\x00\x41\x00\x2a\x02\x00\x1a\x0b""memory.wast:22");

// memory.wast:26
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x84\x80\x80\x80\x00\x01\x60\x00\x00\x03\x82\x80\x80\x80\x00\x01\x00\x0a\x92\x80\x80\x80\x00\x01\x8c\x80\x80\x80\x00\x00\x41\x00\x43\x00\x00\x00\x00\x38\x02\x00\x0b""memory.wast:26");

// memory.wast:30
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x84\x80\x80\x80\x00\x01\x60\x00\x00\x03\x82\x80\x80\x80\x00\x01\x00\x0a\x8e\x80\x80\x80\x00\x01\x88\x80\x80\x80\x00\x00\x41\x00\x2c\x00\x00\x1a\x0b""memory.wast:30");

// memory.wast:34
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x84\x80\x80\x80\x00\x01\x60\x00\x00\x03\x82\x80\x80\x80\x00\x01\x00\x0a\x8f\x80\x80\x80\x00\x01\x89\x80\x80\x80\x00\x00\x41\x00\x41\x00\x3a\x00\x00\x0b""memory.wast:34");

// memory.wast:38
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x84\x80\x80\x80\x00\x01\x60\x00\x00\x03\x82\x80\x80\x80\x00\x01\x00\x0a\x8b\x80\x80\x80\x00\x01\x85\x80\x80\x80\x00\x00\x3f\x00\x1a\x0b""memory.wast:38");

// memory.wast:42
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x84\x80\x80\x80\x00\x01\x60\x00\x00\x03\x82\x80\x80\x80\x00\x01\x00\x0a\x8d\x80\x80\x80\x00\x01\x87\x80\x80\x80\x00\x00\x41\x00\x40\x00\x1a\x0b""memory.wast:42");

// memory.wast:48
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x84\x80\x80\x80\x00\x01\x01\x01\x00""memory.wast:48");

// memory.wast:52
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x85\x80\x80\x80\x00\x01\x00\x81\x80\x04""memory.wast:52");

// memory.wast:56
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x87\x80\x80\x80\x00\x01\x00\x80\x80\x80\x80\x08""memory.wast:56");

// memory.wast:60
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x87\x80\x80\x80\x00\x01\x00\xff\xff\xff\xff\x0f""memory.wast:60");

// memory.wast:64
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x86\x80\x80\x80\x00\x01\x01\x00\x81\x80\x04""memory.wast:64");

// memory.wast:68
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x88\x80\x80\x80\x00\x01\x01\x00\x80\x80\x80\x80\x08""memory.wast:68");

// memory.wast:72
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x88\x80\x80\x80\x00\x01\x01\x00\xff\xff\xff\xff\x0f""memory.wast:72");

// memory.wast:77
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x87\x80\x80\x80\x00\x01\x00\x80\x80\x80\x80\x10""memory.wast:77");

// memory.wast:81
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x8c\x80\x80\x80\x00\x01\x01\x80\x80\x80\x80\x10\x80\x80\x80\x80\x10""memory.wast:81");

// memory.wast:85
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x88\x80\x80\x80\x00\x01\x01\x00\x80\x80\x80\x80\x10""memory.wast:85");

// memory.wast:90
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x8c\x80\x80\x80\x00\x01\x01\x4d\x01\x6d\x02\x00\x80\x80\x80\x80\x10""memory.wast:90");

// memory.wast:94
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x91\x80\x80\x80\x00\x01\x01\x4d\x01\x6d\x02\x01\x80\x80\x80\x80\x10\x80\x80\x80\x80\x10""memory.wast:94");

// memory.wast:98
assert_invalid("\x00\x61\x73\x6d\x01\x00\x00\x00\x02\x8d\x80\x80\x80\x00\x01\x01\x4d\x01\x6d\x02\x01\x00\x80\x80\x80\x80\x10""memory.wast:98");

// memory.wast:103
let $$11 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x93\x80\x80\x80\x00\x04\x60\x00\x01\x7f\x60\x00\x01\x7c\x60\x01\x7f\x01\x7f\x60\x01\x7e\x01\x7e\x03\x8d\x80\x80\x80\x00\x0c\x00\x01\x02\x02\x02\x02\x03\x03\x03\x03\x03\x03\x05\x83\x80\x80\x80\x00\x01\x00\x01\x07\xa1\x81\x80\x80\x00\x0c\x04\x64\x61\x74\x61\x00\x00\x04\x63\x61\x73\x74\x00\x01\x0b\x69\x33\x32\x5f\x6c\x6f\x61\x64\x38\x5f\x73\x00\x02\x0b\x69\x33\x32\x5f\x6c\x6f\x61\x64\x38\x5f\x75\x00\x03\x0c\x69\x33\x32\x5f\x6c\x6f\x61\x64\x31\x36\x5f\x73\x00\x04\x0c\x69\x33\x32\x5f\x6c\x6f\x61\x64\x31\x36\x5f\x75\x00\x05\x0b\x69\x36\x34\x5f\x6c\x6f\x61\x64\x38\x5f\x73\x00\x06\x0b\x69\x36\x34\x5f\x6c\x6f\x61\x64\x38\x5f\x75\x00\x07\x0c\x69\x36\x34\x5f\x6c\x6f\x61\x64\x31\x36\x5f\x73\x00\x08\x0c\x69\x36\x34\x5f\x6c\x6f\x61\x64\x31\x36\x5f\x75\x00\x09\x0c\x69\x36\x34\x5f\x6c\x6f\x61\x64\x33\x32\x5f\x73\x00\x0a\x0c\x69\x36\x34\x5f\x6c\x6f\x61\x64\x33\x32\x5f\x75\x00\x0b\x0a\xcf\x82\x80\x80\x00\x0c\xce\x80\x80\x80\x00\x00\x41\x00\x2d\x00\x00\x41\xc1\x00\x46\x41\x03\x2d\x00\x00\x41\xa7\x01\x46\x71\x41\x06\x2d\x00\x00\x41\x00\x46\x41\x13\x2d\x00\x00\x41\x00\x46\x71\x71\x41\x14\x2d\x00\x00\x41\xd7\x00\x46\x41\x17\x2d\x00\x00\x41\xcd\x00\x46\x71\x41\x18\x2d\x00\x00\x41\x00\x46\x41\xff\x07\x2d\x00\x00\x41\x00\x46\x71\x71\x71\x0b\xb8\x80\x80\x80\x00\x00\x41\x08\x42\xc7\x9f\x7f\x37\x03\x00\x41\x08\x2b\x03\x00\x42\xc7\x9f\x7f\xbf\x61\x04\x40\x44\x00\x00\x00\x00\x00\x00\x00\x00\x0f\x0b\x41\x09\x42\x00\x37\x00\x00\x41\x0f\x41\xc5\x80\x01\x3b\x00\x00\x41\x09\x2b\x00\x00\x0b\x8e\x80\x80\x80\x00\x00\x41\x08\x20\x00\x3a\x00\x00\x41\x08\x2c\x00\x00\x0b\x8e\x80\x80\x80\x00\x00\x41\x08\x20\x00\x3a\x00\x00\x41\x08\x2d\x00\x00\x0b\x8e\x80\x80\x80\x00\x00\x41\x08\x20\x00\x3b\x01\x00\x41\x08\x2e\x01\x00\x0b\x8e\x80\x80\x80\x00\x00\x41\x08\x20\x00\x3b\x01\x00\x41\x08\x2f\x01\x00\x0b\x8e\x80\x80\x80\x00\x00\x41\x08\x20\x00\x3c\x00\x00\x41\x08\x30\x00\x00\x0b\x8e\x80\x80\x80\x00\x00\x41\x08\x20\x00\x3c\x00\x00\x41\x08\x31\x00\x00\x0b\x8e\x80\x80\x80\x00\x00\x41\x08\x20\x00\x3d\x01\x00\x41\x08\x32\x01\x00\x0b\x8e\x80\x80\x80\x00\x00\x41\x08\x20\x00\x3d\x01\x00\x41\x08\x33\x01\x00\x0b\x8e\x80\x80\x80\x00\x00\x41\x08\x20\x00\x3e\x02\x00\x41\x08\x34\x02\x00\x0b\x8e\x80\x80\x80\x00\x00\x41\x08\x20\x00\x3e\x02\x00\x41\x08\x35\x02\x00\x0b\x0b\x94\x80\x80\x80\x00\x02\x00\x41\x00\x0b\x05\x41\x42\x43\xa7\x44\x00\x41\x14\x0b\x04\x57\x41\x53\x4d""memory.wast:103");

// memory.wast:103
let $10 = instance($$11);

// memory.wast:191
assert_return(() => call($10"data", []), "memory.wast:191"1);

// memory.wast:192
run(() => call(instance(module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x93\x80\x80\x80\x00\x04\x60\x00\x00\x60\x01\x7f\x01\x6e\x60\x02\x6d\x6d\x01\x7f\x60\x00\x01\x7c\x02\xb4\x80\x80\x80\x00\x03\x06\x6d\x6f\x64\x75\x6c\x65\x04\x63\x61\x73\x74\x00\x03\x08\x73\x70\x65\x63\x74\x65\x73\x74\x07\x68\x6f\x73\x74\x72\x65\x66\x00\x01\x08\x73\x70\x65\x63\x74\x65\x73\x74\x06\x65\x71\x5f\x72\x65\x66\x00\x02\x03\x82\x80\x80\x80\x00\x01\x00\x07\x87\x80\x80\x80\x00\x01\x03\x72\x75\x6e\x00\x03\x0a\x9e\x80\x80\x80\x00\x01\x98\x80\x80\x80\x00\x00\x02\x40\x10\x00\xbd\x44\x00\x00\x00\x00\x00\x00\x45\x40\xbd\x51\x45\x0d\x00\x0f\x0b\x00\x0b""wrapper"), exports($10)),  "run", []), "memory.wast:192");  // assert_return(() => call($10, "cast", []), "memory.wast:192", 42.)

// memory.wast:194
assert_return(() => call($10"i32_load8_s", [-1]), "memory.wast:194", -1);

// memory.wast:195
assert_return(() => call($10"i32_load8_u", [-1]), "memory.wast:195"255);

// memory.wast:196
assert_return(() => call($10"i32_load16_s", [-1]), "memory.wast:196", -1);

// memory.wast:197
assert_return(() => call($10"i32_load16_u", [-1]), "memory.wast:197"65_535);

// memory.wast:199
assert_return(() => call($10"i32_load8_s", [100]), "memory.wast:199"100);

// memory.wast:200
assert_return(() => call($10"i32_load8_u", [200]), "memory.wast:200"200);

// memory.wast:201
assert_return(() => call($10"i32_load16_s", [20_000]), "memory.wast:201"20_000);

// memory.wast:202
assert_return(() => call($10"i32_load16_u", [40_000]), "memory.wast:202"40_000);

// memory.wast:204
assert_return(() => call($10"i32_load8_s", [-19_110_589]), "memory.wast:204"67);

// memory.wast:205
assert_return(() => call($10"i32_load8_s", [878_104_047]), "memory.wast:205", -17);

// memory.wast:206
assert_return(() => call($10"i32_load8_u", [-19_110_589]), "memory.wast:206"67);

// memory.wast:207
assert_return(() => call($10"i32_load8_u", [878_104_047]), "memory.wast:207"239);

// memory.wast:208
assert_return(() => call($10"i32_load16_s", [-19_110_589]), "memory.wast:208"25_923);

// memory.wast:209
assert_return(() => call($10"i32_load16_s", [878_104_047]), "memory.wast:209", -12_817);

// memory.wast:210
assert_return(() => call($10"i32_load16_u", [-19_110_589]), "memory.wast:210"25_923);

// memory.wast:211
assert_return(() => call($10"i32_load16_u", [878_104_047]), "memory.wast:211"52_719);

// memory.wast:213
assert_return(() => call($10"i64_load8_s", [-1n]), "memory.wast:213", -1n);

// memory.wast:214
assert_return(() => call($10"i64_load8_u", [-1n]), "memory.wast:214"255n);

// memory.wast:215
assert_return(() => call($10"i64_load16_s", [-1n]), "memory.wast:215", -1n);

// memory.wast:216
assert_return(() => call($10"i64_load16_u", [-1n]), "memory.wast:216"65_535n);

// memory.wast:217
assert_return(() => call($10"i64_load32_s", [-1n]), "memory.wast:217", -1n);

// memory.wast:218
assert_return(() => call($10"i64_load32_u", [-1n]), "memory.wast:218"4_294_967_295n);

// memory.wast:220
assert_return(() => call($10"i64_load8_s", [100n]), "memory.wast:220"100n);

// memory.wast:221
assert_return(() => call($10"i64_load8_u", [200n]), "memory.wast:221"200n);

// memory.wast:222
assert_return(() => call($10"i64_load16_s", [20_000n]), "memory.wast:222"20_000n);

// memory.wast:223
assert_return(() => call($10"i64_load16_u", [40_000n]), "memory.wast:223"40_000n);

// memory.wast:224
assert_return(() => call($10"i64_load32_s", [20_000n]), "memory.wast:224"20_000n);

// memory.wast:225
assert_return(() => call($10"i64_load32_u", [40_000n]), "memory.wast:225"40_000n);

// memory.wast:227
assert_return(() => call($10"i64_load8_s", [-81_985_529_755_441_853n]), "memory.wast:227"67n);

// memory.wast:228
assert_return(() => call($10"i64_load8_s", [3_771_275_841_602_506_223n]), "memory.wast:228", -17n);

// memory.wast:229
assert_return(() => call($10"i64_load8_u", [-81_985_529_755_441_853n]), "memory.wast:229"67n);

// memory.wast:230
assert_return(() => call($10"i64_load8_u", [3_771_275_841_602_506_223n]), "memory.wast:230"239n);

// memory.wast:231
assert_return(() => call($10"i64_load16_s", [-81_985_529_755_441_853n]), "memory.wast:231"25_923n);

// memory.wast:232
assert_return(() => call($10"i64_load16_s", [3_771_275_841_602_506_223n]), "memory.wast:232", -12_817n);

// memory.wast:233
assert_return(() => call($10"i64_load16_u", [-81_985_529_755_441_853n]), "memory.wast:233"25_923n);

// memory.wast:234
assert_return(() => call($10"i64_load16_u", [3_771_275_841_602_506_223n]), "memory.wast:234"52_719n);

// memory.wast:235
assert_return(() => call($10"i64_load32_s", [-81_985_529_755_441_853n]), "memory.wast:235"1_446_274_371n);

// memory.wast:236
assert_return(() => call($10"i64_load32_s", [3_771_275_841_602_506_223n]), "memory.wast:236", -1_732_588_049n);

// memory.wast:237
assert_return(() => call($10"i64_load32_u", [-81_985_529_755_441_853n]), "memory.wast:237"1_446_274_371n);

// memory.wast:238
assert_return(() => call($10"i64_load32_u", [3_771_275_841_602_506_223n]), "memory.wast:238"2_562_379_247n);

// memory.wast:242
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e""memory.wast:242");

// memory.wast:246
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e""memory.wast:246");

// memory.wast:250
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e""memory.wast:250");

// memory.wast:257
let $$12 = module("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x86\x80\x80\x80\x00\x01\x60\x01\x7f\x01\x7f\x03\x82\x80\x80\x80\x00\x01\x00\x05\x84\x80\x80\x80\x00\x01\x01\x01\x01\x06\x96\x80\x80\x80\x00\x03\x7f\x00\x41\x90\xce\x00\x0b\x7f\x00\x41\x90\xce\x00\x0b\x7f\x00\x41\x90\xce\x00\x0b\x07\xba\x80\x80\x80\x00\x05\x06\x6d\x65\x6d\x6f\x72\x79\x02\x00\x0a\x5f\x5f\x64\x61\x74\x61\x5f\x65\x6e\x64\x03\x00\x0b\x5f\x5f\x73\x74\x61\x63\x6b\x5f\x74\x6f\x70\x03\x01\x0b\x5f\x5f\x68\x65\x61\x70\x5f\x62\x61\x73\x65\x03\x02\x04\x6c\x6f\x61\x64\x00\x00\x0a\x8d\x80\x80\x80\x00\x01\x87\x80\x80\x80\x00\x00\x20\x00\x2d\x00\x00\x0b""memory.wast:257");

// memory.wast:257
let $11 = instance($$12);

// memory.wast:271
assert_return(() => call($11"load", [0]), "memory.wast:271"0);

// memory.wast:272
assert_return(() => call($11"load", [10_000]), "memory.wast:272"0);

// memory.wast:273
assert_return(() => call($11"load", [20_000]), "memory.wast:273"0);

// memory.wast:274
assert_return(() => call($11"load", [30_000]), "memory.wast:274"0);

// memory.wast:275
assert_return(() => call($11"load", [40_000]), "memory.wast:275"0);

// memory.wast:276
assert_return(() => call($11"load", [50_000]), "memory.wast:276"0);

// memory.wast:277
assert_return(() => call($11"load", [60_000]), "memory.wast:277"0);

// memory.wast:278
assert_return(() => call($11"load", [65_535]), "memory.wast:278"0);
reinitializeRegistry();
})();

Messung V0.5 in Prozent
C=93 H=96 G=94

¤ Dauer der Verarbeitung: 0.7 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Statistik
#Sources=277311
#Domains=752002