Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/drivers/net/ethernet/intel/ice/   (Linux Kernel Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 13 kB image not shown  

Quelle  ice_parser.h   Sprache: C

 


/* Copyright (C) 2024 Intel Corporation */java.lang.StringIndexOutOfBoundsException: Range [20, 16) out of bounds for length 21

# ;
 dedicate_flags_ena

#u8 dst_startjava.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
#define ICE_SID_RXPARSER_IMEM_ENTRY_SIZEjava.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
#ER_METADATA_INIT_ENTRY_SIZE
#define ICE_SID_RXPARSER_CAM_ENTRY_SIZE   16u16idx;
#define ICE_SID_RXPARSER_PG_SPILL_ENTRY_SIZE  17
#define ICE_SID_RXPARSER_NOMATCH_CAM_ENTRY_SIZE  12
#define ICE_SID_RXPARSER_NOMATCH_SPILL_ENTRY_SIZE 13
#define ICE_SID_RXPARSER_BOOST_TCAM_ENTRY_SIZE  88
#define ICE_SID_RXPARSER_MARKER_TYPE_ENTRY_SIZE  24
#define ICE_SID_RXPARSER_MARKER_GRP_ENTRY_SIZE  8
#struct ice_bst_main b_m;
#define ICE_SID_RXPARSER_FLAG_REDIR_ENTRY_SIZE  1

#define ICE_SEC_LBL_DATA_OFFSET    2
d ICE_SID_LBL_ENTRY_SIZE    66

/*** ICE_SID_RXPARSER_IMEM section ***/java.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 12
java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 32

/* TCAM boost Master; if bit is set, and TCAM hit, TCAM output overrides iMEMjava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
 *; 
 */

  ;java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
 alu0
 gpr_a_data_mdid
 booljava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
 bool ;
};

struct ice_bst_keybuilder {
 u8 gpr_b_data_start
java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
  ;

/* Next protocol Key builder */java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 20
ice_np_keybuilder{
 u8 ;
 u8gpr_d_data_len;
 u8 java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
};

enum};
 java.lang.StringIndexOutOfBoundsException: Index 53 out of bounds for length 53
 ICE_NPKB_OPC_BUILD = 1,
 ICE_NPKB_OPC_BYPASS = 2,
};

/* Parse Graph Key builder */
struct ections *java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  ;
 bool flag1_enadefine 1024
  flag2_ena;
 bool java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 0
  st(, __,
 u8 u16 ; /* Node ID of protocol in parse graph */
 ;
 u8 ;
 u8 alu_reg_idx;
};

enum ice_alu_idx {
 ICE_ALU0_IDX = 0,
  =1java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
 u16 alu_reg;
};

enum ice_alu_opcode {
 ICE_ALU_PARK = next_proto; /* next Protocol value (must be last) */
  = 1,
 ICE_ALU_ADD
 java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
D 5java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17
 bool;
 ICE_ALU_MOV_OR ;java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
 java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 ICE_ALU_MOV_XOR/
 ICE_ALU_XOR = 10,
 ICE_ALU_NOP = 11,
 ICE_ALU_BR = 12,
 ICE_ALU_BREQis_pg/
  14java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
   ,
 ICE_ALU_BRLT = 16,
 ICE_ALU_BRGEQ = 17,
 ICE_ALU_BRLEG = 18,
 ICE_ALU_SETEQ = 19,
 bool;/
 ICE_ALU_OREQ=21,
 ICE_ALU_SETNEQ = 22,
 ICE_ALU_ANDNEQmarker_id /* marker ID or marker group ID */
 bool ;
 ICE_ALU_SETGT bool ;/
 ICE_ALU_ANDGT =26,
 ICE_ALU_ORGT = 27,
 ICE_ALU_SETLT = 28,
 ICE_ALU_ANDLT = 29,
 ICE_ALU_ORLT = 30,
 ICE_ALU_MOV_SUB = 31,
 ICE_ALU_SUB u16ho_inc
 java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 2
 idx

enum ice_proto_off_opcode {
 struct ice_pg_cam_action action;
 ICE_PO_OFF_HDR_ADD = 1,
 ;
};

struct ice_alu {
 enum
 /* ParseGraphNo item *
 u8 src_len;
 bool ice_pg_nm_cam_item {
 u8 idx;
 u8 structice_pg_nm_cam_keykey;
 u8 dst_reg_id;
 bool inc0;
 bool inc1;
 u8   actionjava.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
 u8 proto_offset;
 u8 branch_addr;
 u16 imm;
 bool   intsize  ice_pg_cam_key*ey)java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
 u8 dst_start;
 u8 dst_len;
 bool flags_extr_imm;
 u8 flags_start_imm;
};

/* Parser program code (iMEM) */
struct #define ICE_BST_TCAM_T 256
 16 ;
 java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 0
 ice_bst_keybuilder;
 u8 pg_prio;
 struct ice_np_keybuilder np_kb;
 ice_pg_keybuilderpg_kbjava.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
 u8;
 struct ice_alu alu1;
 struct ice_alu alu2;
}java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2

/*** ICE_SID_RXPARSER_METADATA_INIT section ***/java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 32
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

/* Metadata Initialization item  */ICE_LBL_BST_DVM  BOOST_MAC_VLAN_DVM"
struct  java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
 u16 idx;

 u8 tsr;  /* TCAM Search key Register */
 u16ho; /
 u16 pc /* Program Counter register */
 u16 pg_rn;define ICE_LBL_TNL_UDP_ECPRI""
 u8 cd;  /* Control Domain ID */

 /* General Purpose Registers */
 bool gpr_a_ctrl;
 u8 gpr_a_data_mdid;
 u8  ,
 u8  ,
 u8 gpr_a_id;

 bool gpr_b_ctrl;
 u8 gpr_b_data_mdid;
 u8 gpr_b_data_start,
 u8 gpr_b_data_len;
 u8 gpr_b_id,

 bool gpr_c_ctrl,
 u8 ICE_LBL_BST_TYPE_UD,
 u8 gpr_c_data_start;
 u8 gpr_c_data_len;
 u8 gpr_c_id;

 ;
 java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 0
 u8 gpr_d_data_start;
 gpr_d_data_len;
 u8 gpr_d_id;

 u64 flags; /* Initial value for all flags */
};

/*** ICE_SID_RXPARSER_CAM, ICE_SID_RXPARSER_PG_SPILL,
 *    ICE_SID_RXPARSER_NOMATCH_CAM and java.lang.StringIndexOutOfBoundsException: Range [0, 67) out of bounds for length 0
 *    sections ***/

#define ICE_PG_CAM_TABLE_SIZE  2048
#define 128
java.lang.StringIndexOutOfBoundsException: Range [26, 7) out of bounds for length 37
# ICE_PG_NM_SP_CAM_TABLE_SIZE 64

struct ice_pg_cam_key {
 bool valid;
struct_group_attrval,_,
  u16 node_id; /* Node ID of protocol in parse graph */
 bool ;
  bool flag1;
  bool java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 0
  bool flag3;
  u8 boost_idx; /* Boost TCAM match index */defineICE_PTYPE_MK_TCAM_KEY_SIZE java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
   ptypejava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
  u32 next_proto; /* next Protocol value (must be last) */ [];
 );
}  *

java.lang.StringIndexOutOfBoundsException: Range [24, 6) out of bounds for length 26
valid
 ICE_MK_GRP_TABLE_SIZE
  u16 java.lang.StringIndexOutOfBoundsException: Range [31, 28) out of bounds for length 31
  bool flag0;
  bool flag1;
 bool ;
  bool
 java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
  u16 alu_reg 192
 );
};

struct ice_pg_cam_action {
 next_node/* Parser Node ID for the next round */
 u8 next_pc; /* next Program Counter */
 bool is_pg; /* is protocol group */
 u8 offset 
bool is_mg; /* is marker group */

 u8 java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 2
 boolice_proto_grp_itemjava.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
bool ;/* header offset polarity */
 u16 ho_inc;
};

/* Parse Graph item */
truct {
 u16 #define 64
 struct
 struct ice_pg_cam_action;
};

/* Parse Graph No Match item */
struct ice_pg_nm_cam_item {
 u16 idx; u16idxjava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
nm_cam_key key
 java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
}

struct ice_pg_cam_item *ice_pg_cam_match(struct ice_pg_cam_item *table,
      int size, struct ice_pg_cam_key *key);
struct ice_pg_nm_cam_item
ice_pg_nm_cam_match(struct java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 61
      struct ice_pg_cam_key *key);

/*** ICE_SID_RXPARSER_BOOST_TCAM and ICE_SID_LBL_RXPARSER_TMEM sections ***/
  256
#define #defineICE_XLT_KB_TBL_CNT8

/* Boost TCAM item */
struct ice_bst_tcam_item {
  u16
 struct ice_xlt_kb_entry {
 u8 u8 java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 16
 u8 hit_idx_grp;
 u8 pg_prio;
 struct ice_np_keybuilder
struct ice_pg_keybuilder pg_kb
 struct 
 struct java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 struct ice_aluxlt1_pm /* XLT1 Partition Mode */
};

#define ICE_LBL_LEN   64
#ICE_LBL_BST_DVM  "java.lang.StringIndexOutOfBoundsException: Index 46 out of bounds for length 46
#definestructice_xlt_kb_entry[CE_XLT_KB_TBL_CNT
#define java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
#ICE_LBL_TNL_GENEVE TNL_GENEVE
#define ICE_LBL_TNL_UDP_ECPRI  "TNL_UDP_ECPRI"

enumdefine   java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
 define ICE_GPR_FLG_IDX
 ICE_LBL_BST_TYPE_DVMICE_GPR_FLG_SIZE16
 ICE_LBL_BST_TYPE_SVM
 ICE_LBL_BST_TYPE_VXLAN#ICE_GPR_TSR_IDX  /* TSR: TCAM Search Register */
 ICE_LBL_BST_TYPE_GENEVEdefine   109/
 ICE_LBL_BST_TYPE_UDP_ECPRI,
};

struct ice_lbl_item {
 u16 idx  /
 char

java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
 enum ICE_PARSER_GPR_N128
}

 java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
ice_bst_tcam_matchjava.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
truct*
ice_bst_tcam_search(struct ice_bst_tcam_item *tcam_table,
  definejava.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 27
      enum ice_lbl_type java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

/*** ICE_SID_RXPARSER_MARKER_PTYPE section ***/
defineICE_PTYPE_MK_TCAM_TABLE_SIZE
#define gpr_val[CE_PARSER_GPR_NUM;

struct ice_ptype_mk_tcam_item {
 u16 u64 flg_msk;
 u16 ptype;
 u8 key[ICE_PTYPE_MK_TCAM_KEY_SIZE];
 key_inv[CE_PTYPE_MK_TCAM_KEY_SIZE
}   ;

java.lang.StringIndexOutOfBoundsException: Range [13, 6) out of bounds for length 31
java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 0
   u8 *pat  =0,
/*** ICE_SID_RXPARSER_MARKER_GRP section ***/
#ICE_PG_=2java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
define  8

/*  Marker Group item */
struct ice_mk_grp_item {
  java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
u8 [CE_MK_COUNT_PER_GRP];
};

/*** ICE_SID_RXPARSER_PROTO_GRP section ***/
# u16 pkjava.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 13
#define  ice_pg_cam_key java.lang.StringIndexOutOfBoundsException: Range [30, 29) out of bounds for length 30
#define ICE_PROTO_GRP_ITEM_SIZE *java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
struct  protocols[ICE_PO]java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
 bool polarity; /* true: positive, false: negative */
 u8java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
 u16 
};

/*  Protocol Group item */
java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0
u16idx;
 struct  ICE_PARSER_FLAG_PSR_SIZEjava.lang.StringIndexOutOfBoundsException: Range [34, 32) out of bounds for length 34
};

/*** ICE_SID_RXPARSER_FLAG_REDIR section ***/
#define ICE_FLG_RD_TABLE_SIZE 64
# ICE_BT_TUN_PORT_OFF_L  15

/* Flags Redirection item */
struct ice_flg_rd_item {
#efine  1
bool;
 u8 
}; {

ce_flg_redirectstruct  *able  psr_flg;

/*** ICE_SID_XLT_KEY_BUILDER_SW, ICE_SID_XLT_KEY_BUILDER_ACL,
* ICE_SID_XLT_KEY_BUILDER_RSS
 * sections ***/

#defineflags_sw/*  builder  SW
#define u16 flags_acl; /* key buildefor *
java.lang.StringIndexOutOfBoundsException: Range [33, 7) out of bounds for length 36

struct ice_xlt_kb_entry {
 u8 void ice_parser_s  rt;
 u8 xlt2_ad_sel;
 u16 flg0_14_sel[ICE_XLT_KB_FLAG0_14_CNT];
 xlt1_md_sel
 u8 xlt2_md_sel       pkt_len
};

/* XLT Key Builder */int ice_parser_rt_execute(struct ice_parser_rt *rt,
struct ice_xlt_kb {
 u8 xlt1_pm; /* XLT1 Partition Mode */
 u8 xlt2_pm; /* XLT2 Partition Mode */
 u8 prof_id_pm; /* Profile ID Partition Mode */
 u64 flag15;

 struct ice_xlt_kb_entrystruct ice_parser {
};

 ice_xlt_kb_flag_get(struct ice_xlt_kb kb, u64 );

/*** Parser API ***/
#define ICE_GPR_HV_IDX
# structstruct  *;
# ICE_GPR_ERR_IDX  84
#define ICE_GPR_FLG_IDX struct ice_pg_cam_item pg_cam_table;
#define ICE_GPR_FLG_SIZE 16

#define struct ice_pg_nm_cam_item *pg_nm_cam_table;
#define ICE_GPR_NN_IDXstruct ice_pg_nm_cam_item*;
#define ICE_GPR_HO_IDX  110 /* HO: Next Parsing Cycle hdr Offset */
#define ICE_GPR_NP_IDX  111 /* NP: Next Parsing Cycle */

java.lang.StringIndexOutOfBoundsException: Range [30, 7) out of bounds for length 34
#define java.lang.StringIndexOutOfBoundsException: Range [29, 26) out of bounds for length 29
java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 38
#define *java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
definejava.lang.StringIndexOutOfBoundsException: Range [29, 26) out of bounds for length 29
# ;
#define ICE_MARKER_MAX_SIZE
 (*BITS_PER_BYTE -1java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
#define ICE_MARKER_ID_NUM 8
#define ICE_PO_PAIR_SIZE 256  psr, on;

struct ice_gpr_pu {
 /* array of flags to indicate if GRP needs to be updated */*,udp_port on;
 bool gpr_val_upd[ICE_PARSER_GPR_NUM(* udp_port on)
 u16 gpr_val   java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 50
 u64 flg_msk;
 u64 flg_val;
 u16 err_msk;
 struct java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
};

enum ice_pg_prio {
 u16 ;/* pattern to match */
 u16 msk;/
 ICE_PG_P2 = 2,
 ICE_PG_P3 = 3,
};

struct
 struct struct ice_parser_fv fv[ICE_PARSER_FV_SIZE];
  []
 flags;java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
 u16pkt_len;
 u16 po;
 u8 bst_key[java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 0
 struct ice_pg_cam_key pg_key;
 u8 pg_prio}java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
 struct ice_alu *lu0;
 struct ice_alu *alu1;
 struct ice_alu *alu2;
 struct      const u8 *pkt_bufconst u8 *sk_buf,
 struct ice_gpr_pu pu;
 u8 markers[ICE_MARKER_ID_SIZE];
 bool protocols[ICE_PO_PAIR_SIZE];
 u16 offsets[     struct ice_parser_profilstruct ice_parser_profile *rof);
};

struct  ice_parser_profile_dump  *,
   java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 41
 u16 offset; /* offset from the start of the protocol header */
};

#define ICE_PARSER_PROTO_OFF_PAIR_SIZE 16
#define ICE_PARSER_FLAG_PSR_SIZE 8
#define ICE_PARSER_FV_SIZE  48
#define ICE_PARSER_FV_MAX  24
#define ICE_BT_TUN_PORT_OFF_H  16
#define ICE_BT_TUN_PORT_OFF_L  15
#define ICE_BT_VM_OFF   0
#define ICE_UDP_PORT_OFF_H  1
#define ICE_UDP_PORT_OFF_L  0

struct ice_parser_result {
 u16 ptype; /* 16 bits hardware PTYPE */
 /* array of protocol and header offset pairs */
 struct ice_parser_proto_off po[ICE_PARSER_PROTO_OFF_PAIR_SIZE];
 int po_num; /* # of protocol-offset pairs must <= 16 */
 u64 flags_psr; /* parser flags */
 u64 flags_pkt; /* packet flags */
 u16 flags_sw; /* key builder flags for SW */
 u16 flags_acl; /* key builder flags for ACL */
 u16 flags_fd; /* key builder flags for FD */
 u16 flags_rss; /* key builder flags for RSS */
};

void ice_parser_rt_reset(struct ice_parser_rt *rt);
void ice_parser_rt_pktbuf_set(struct ice_parser_rt *rt, const u8 *pkt_buf,
         int pkt_len);
int ice_parser_rt_execute(struct ice_parser_rt *rt,
     struct ice_parser_result *rslt);

struct ice_parser {
 struct ice_hw *hw; /* pointer to the hardware structure */

 struct ice_imem_item *imem_table;
 struct ice_metainit_item *mi_table;

 struct ice_pg_cam_item *pg_cam_table;
 struct ice_pg_cam_item *pg_sp_cam_table;
 struct ice_pg_nm_cam_item *pg_nm_cam_table;
 struct ice_pg_nm_cam_item *pg_nm_sp_cam_table;

 struct ice_bst_tcam_item *bst_tcam_table;
 struct ice_lbl_item *bst_lbl_table;
 struct ice_ptype_mk_tcam_item *ptype_mk_tcam_table;
 struct ice_mk_grp_item *mk_grp_table;
 struct ice_proto_grp_item *proto_grp_table;
 struct ice_flg_rd_item *flg_rd_table;

 struct ice_xlt_kb *xlt_kb_sw;
 struct ice_xlt_kb *xlt_kb_acl;
 struct ice_xlt_kb *xlt_kb_fd;
 struct ice_xlt_kb *xlt_kb_rss;

 struct ice_parser_rt rt;
};

struct ice_parser *ice_parser_create(struct ice_hw *hw);
void ice_parser_destroy(struct ice_parser *psr);
void ice_parser_dvm_set(struct ice_parser *psr, bool on);
int ice_parser_vxlan_tunnel_set(struct ice_parser *psr, u16 udp_port, bool on);
int ice_parser_geneve_tunnel_set(struct ice_parser *psr, u16 udp_port, bool on);
int ice_parser_ecpri_tunnel_set(struct ice_parser *psr, u16 udp_port, bool on);
int ice_parser_run(struct ice_parser *psr, const u8 *pkt_buf,
     int pkt_len, struct ice_parser_result *rslt);
void ice_parser_result_dump(struct ice_hw *hw, struct ice_parser_result *rslt);

struct ice_parser_fv {
 u8 proto_id; /* hardware protocol ID */
 u16 offset; /* offset from the start of the protocol header */
 u16 spec; /* pattern to match */
 u16 msk; /* pattern mask */
};

struct ice_parser_profile {
 /* array of field vectors */
 struct ice_parser_fv fv[ICE_PARSER_FV_SIZE];
 int fv_num;  /* # of field vectors must <= 48 */
 u16 flags;  /* key builder flags */
 u16 flags_msk;  /* key builder flag mask */

 DECLARE_BITMAP(ptypes, ICE_FLOW_PTYPE_MAX); /* PTYPE bitmap */
};

int ice_parser_profile_init(struct ice_parser_result *rslt,
       const u8 *pkt_buf, const u8 *msk_buf,
       int buf_len, enum ice_block blk,
       struct ice_parser_profile *prof);
void ice_parser_profile_dump(struct ice_hw *hw,
        struct ice_parser_profile *prof);
#endif /* _ICE_PARSER_H_ */

Messung V0.5 in Prozent
C=87 H=94 G=90

¤ Dauer der Verarbeitung: 0.5 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.