Mercurial > hg > Members > kono > jpf-core

directory /src/main/gov/nasa/jpf/jvm/bytecode/ @ 0:61d41facf527

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
[up] drwxr-xr-x
file AALOAD.java 1640 -rw-r--r--
file AASTORE.java 4443 -rw-r--r--
file ACONST_NULL.java 1427 -rw-r--r--
file ALOAD.java 1950 -rw-r--r--
file ANEWARRAY.java 3129 -rw-r--r--
file ARETURN.java 2180 -rw-r--r--
file ARRAYLENGTH.java 2305 -rw-r--r--
file ASTORE.java 1926 -rw-r--r--
file ATHROW.java 1565 -rw-r--r--
file ArrayLoadInstruction.java 3200 -rw-r--r--
file ArrayStoreInstruction.java 3647 -rw-r--r--
file BALOAD.java 1802 -rw-r--r--
file BASTORE.java 1918 -rw-r--r--
file BIPUSH.java 1620 -rw-r--r--
file CALOAD.java 1470 -rw-r--r--
file CASTORE.java 1550 -rw-r--r--
file CHECKCAST.java 3073 -rw-r--r--
file D2F.java 1444 -rw-r--r--
file D2I.java 1436 -rw-r--r--
file D2L.java 1441 -rw-r--r--
file DADD.java 1495 -rw-r--r--
file DALOAD.java 1520 -rw-r--r--
file DASTORE.java 1583 -rw-r--r--
file DCMPG.java 1367 -rw-r--r--
file DCMPL.java 1372 -rw-r--r--
file DCONST.java 1582 -rw-r--r--
file DDIV.java 1502 -rw-r--r--
file DIRECTCALLRETURN.java 2571 -rw-r--r--
file DLOAD.java 1831 -rw-r--r--
file DMUL.java 1504 -rw-r--r--
file DNEG.java 1428 -rw-r--r--
file DREM.java 1627 -rw-r--r--
file DRETURN.java 1628 -rw-r--r--
file DSTORE.java 1850 -rw-r--r--
file DSUB.java 1504 -rw-r--r--
file DUP.java 1400 -rw-r--r--
file DUP2.java 1451 -rw-r--r--
file DUP2_X1.java 1358 -rw-r--r--
file DUP2_X2.java 1449 -rw-r--r--
file DUP_X1.java 1458 -rw-r--r--
file DUP_X2.java 1352 -rw-r--r--
file DoubleCompareInstruction.java 1450 -rw-r--r--
file EXECUTENATIVE.java 2690 -rw-r--r--
file F2D.java 1431 -rw-r--r--
file F2I.java 1426 -rw-r--r--
file F2L.java 1432 -rw-r--r--
file FADD.java 1538 -rw-r--r--
file FALOAD.java 1506 -rw-r--r--
file FASTORE.java 1569 -rw-r--r--
file FCMPG.java 1761 -rw-r--r--
file FCMPL.java 1769 -rw-r--r--
file FCONST.java 1570 -rw-r--r--
file FDIV.java 1536 -rw-r--r--
file FLOAD.java 1822 -rw-r--r--
file FMUL.java 1543 -rw-r--r--
file FNEG.java 1427 -rw-r--r--
file FREM.java 1608 -rw-r--r--
file FRETURN.java 1981 -rw-r--r--
file FSTORE.java 1901 -rw-r--r--
file FSUB.java 1497 -rw-r--r--
file GETFIELD.java 4124 -rw-r--r--
file GETSTATIC.java 3747 -rw-r--r--
file GOTO.java 2655 -rw-r--r--
file GOTO_W.java 1175 -rw-r--r--
file GetHelper.java 2804 -rw-r--r--
file I2B.java 1427 -rw-r--r--
file I2C.java 1427 -rw-r--r--
file I2D.java 1428 -rw-r--r--
file I2F.java 1420 -rw-r--r--
file I2L.java 1418 -rw-r--r--
file I2S.java 1422 -rw-r--r--
file IADD.java 1445 -rw-r--r--
file IALOAD.java 1478 -rw-r--r--
file IAND.java 1449 -rw-r--r--
file IASTORE.java 1540 -rw-r--r--
file ICONST.java 1960 -rw-r--r--
file IDIV.java 1604 -rw-r--r--
file IFEQ.java 1310 -rw-r--r--
file IFGE.java 1307 -rw-r--r--
file IFGT.java 1306 -rw-r--r--
file IFLE.java 1306 -rw-r--r--
file IFLT.java 1306 -rw-r--r--
file IFNE.java 1307 -rw-r--r--
file IFNONNULL.java 1351 -rw-r--r--
file IFNULL.java 1321 -rw-r--r--
file IF_ACMPEQ.java 1368 -rw-r--r--
file IF_ACMPNE.java 1376 -rw-r--r--
file IF_ICMPEQ.java 1361 -rw-r--r--
file IF_ICMPGE.java 1361 -rw-r--r--
file IF_ICMPGT.java 1360 -rw-r--r--
file IF_ICMPLE.java 1361 -rw-r--r--
file IF_ICMPLT.java 1360 -rw-r--r--
file IF_ICMPNE.java 1361 -rw-r--r--
file IINC.java 1942 -rw-r--r--
file ILOAD.java 1812 -rw-r--r--
file IMUL.java 1447 -rw-r--r--
file INEG.java 1407 -rw-r--r--
file INSTANCEOF.java 2397 -rw-r--r--
file INVOKECG.java 4394 -rw-r--r--
file INVOKECLINIT.java 3299 -rw-r--r--
file INVOKEDYNAMIC.java 4283 -rw-r--r--
file INVOKEINTERFACE.java 1574 -rw-r--r--
file INVOKESPECIAL.java 4261 -rw-r--r--
file INVOKESTATIC.java 5728 -rw-r--r--
file INVOKEVIRTUAL.java 1499 -rw-r--r--
file IOR.java 1447 -rw-r--r--
file IREM.java 1571 -rw-r--r--
file IRETURN.java 1948 -rw-r--r--
file ISHL.java 1449 -rw-r--r--
file ISHR.java 1462 -rw-r--r--
file ISTORE.java 1905 -rw-r--r--
file ISUB.java 1447 -rw-r--r--
file IUSHR.java 1460 -rw-r--r--
file IXOR.java 1449 -rw-r--r--
file IfInstruction.java 4587 -rw-r--r--
file InstanceInvocation.java 2432 -rw-r--r--
file InstructionFactory.java 19646 -rw-r--r--
file JSR.java 1656 -rw-r--r--
file JSR_W.java 1691 -rw-r--r--
file JVMArrayElementInstruction.java 2663 -rw-r--r--
file JVMFieldInstruction.java 1201 -rw-r--r--
file JVMInstanceFieldInstruction.java 1313 -rw-r--r--
file JVMInstruction.java 1164 -rw-r--r--
file JVMInstructionVisitor.java 6813 -rw-r--r--
file JVMInstructionVisitorAdapter.java 9057 -rw-r--r--
file JVMInvokeInstruction.java 8223 -rw-r--r--
file JVMLocalVariableInstruction.java 2796 -rw-r--r--
file JVMReturnInstruction.java 5860 -rw-r--r--
file JVMStaticFieldInstruction.java 1804 -rw-r--r--
file L2D.java 1432 -rw-r--r--
file L2F.java 1430 -rw-r--r--
file L2I.java 1428 -rw-r--r--
file LADD.java 1485 -rw-r--r--
file LALOAD.java 1490 -rw-r--r--
file LAND.java 1495 -rw-r--r--
file LASTORE.java 1552 -rw-r--r--
file LCMP.java 1698 -rw-r--r--
file LCONST.java 1736 -rw-r--r--
file LDC.java 3802 -rw-r--r--
file LDC2_W.java 2021 -rw-r--r--
file LDC_W.java 1372 -rw-r--r--
file LDIV.java 1613 -rw-r--r--
file LLOAD.java 1821 -rw-r--r--
file LMUL.java 1490 -rw-r--r--
file LNEG.java 1420 -rw-r--r--
file LOOKUPSWITCH.java 1536 -rw-r--r--
file LOR.java 1491 -rw-r--r--
file LREM.java 1491 -rw-r--r--
file LRETURN.java 1556 -rw-r--r--
file LSHL.java 1454 -rw-r--r--
file LSHR.java 1471 -rw-r--r--
file LSTORE.java 1907 -rw-r--r--
file LSUB.java 1490 -rw-r--r--
file LUSHR.java 1471 -rw-r--r--
file LXOR.java 1493 -rw-r--r--
file LockInstruction.java 1540 -rw-r--r--
file LongArrayLoadInstruction.java 1478 -rw-r--r--
file LongArrayStoreInstruction.java 1888 -rw-r--r--
file LongReturn.java 3761 -rw-r--r--
file MONITORENTER.java 3048 -rw-r--r--
file MONITOREXIT.java 2482 -rw-r--r--
file MULTIANEWARRAY.java 3642 -rw-r--r--
file NATIVERETURN.java 5778 -rw-r--r--
file NEW.java 3079 -rw-r--r--
file NEWARRAY.java 3000 -rw-r--r--
file NOP.java 1303 -rw-r--r--
file NewArrayInstruction.java 1603 -rw-r--r--
file POP.java 1385 -rw-r--r--
file POP2.java 1400 -rw-r--r--
file PUTFIELD.java 4615 -rw-r--r--
file PUTSTATIC.java 4215 -rw-r--r--
file PutHelper.java 2669 -rw-r--r--
file RET.java 1622 -rw-r--r--
file RETURN.java 3018 -rw-r--r--
file RUNSTART.java 1971 -rw-r--r--
file SALOAD.java 1485 -rw-r--r--
file SASTORE.java 1551 -rw-r--r--
file SIPUSH.java 1582 -rw-r--r--
file SWAP.java 1427 -rw-r--r--
file StaticFieldInstruction.java 3976 -rw-r--r--
file SwitchInstruction.java 4015 -rw-r--r--
file TABLESWITCH.java 2361 -rw-r--r--
file VirtualInvocation.java 6294 -rw-r--r--
file WIDE.java 1654 -rw-r--r--