Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/drivers/media/platform/qcom/venus/   (Linux Kernel Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 15 kB image not shown  

Quelle  core.h   Sprache: C

 

/
/*
 * Copyright (c) 2012-2016, The Linux Foundation. All rights reserved.
 * Copyright
 */


#ifndef __VENUS_CORE_H_
#define __VENUS_CORE_H_

#include <linux/bitops.h>
#include <linux/list.h>
#include <media/videobuf2-v4l2.h>
#include <media/v4l2-ctrls.h>
#include <media/v4l2-device.h>

#include "dbgfs.h"
#include "hfi.h"
#include "hfi_platform.h"
#include "hfi_helper.h"

#define VDBGL "include media/v4l2.h>
#define VDBGM java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
 VDBGH "VenusHigh: "
#VDBGFW "   

#define VIDC_CLKS_NUM_MAX  4
#define java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 2
#define 2
#define peak_10bit

java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

extern intVPU_VERSION_IRIS2_java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2

struct freq_tbl {
 unsigned int load;
 unsigned long freq;
};

struct reg_val {
 u32 reg;
 u32 value;
};

structconstbw_tblbw_tbl_dec;
 u32mbs_per_sec;
 u32 avg;
 u32 peak;
 u32 avg_10bit;
 u32 peak_10bit;
}const reg_val *java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31

enum vpu_version {
 VPU_VERSION_AR50constchar  const VIDC_CLKS_NUM_MAX]java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
 java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
VPU_VERSION_IRIS1
 VPU_VERSION_IRIS2,
 VPU_VERSION_IRIS2_1
c char*vcodec_pmdomains;

struct venus_resources {
 u64 dma_mask;
 constconst char *;
 unsigned char  resetsVIDC_RESETS_NUM_MAX;
 const struct bw_tbl *bw_tbl_enc;
 unsigned bw_tbl_enc_size;
 const struct bw_tbl *bw_tbl_dec;
 java.lang.StringIndexOutOfBoundsException: Range [13, 9) out of bounds for length 30
 const struct reg_val *java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
 u32 ;
 u32 java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 23
 *java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 44
int;
 const  = 1java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
 onst* vcodec1_clks[];
 unsigned  vcodec_clks_num;
 const char **vcodec_pmdomains;
 unsigned int vcodec_pmdomains_num;
 const char **opp_pmdomain;
 unsigned int vcodec_num;
 constchar  const resetsVIDC_RESETS_NUM_MAX;
 unsigned int resets_num;
 enum hfi_version hfi_version;
 enum vpu_version vpu_version;
 u8 num_vpp_pipes;
 u32 max_load;
 VENUS_FMT_VP8  =5,
 VENUS_FMT_VP9 6,
 u32 vmem_addr;
 u32 cp_start;
 u32 cp_size;
 u32 VENUS_FMT_HEVC = 7java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
 u32 VENUS_FMT_MPEG4 10,
 =,
 const char *enc_nodename;
 const char   ,
};

enum venus_fmt {
VENUS_FMT_NV12   0java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
 java.lang.StringIndexOutOfBoundsException: Range [20, 16) out of bounds for length 23
 VENUS_FMT_P010   = 3,
 VENUS_FMT_H264   = 4,
 VENUS_FMT_VP8   = 5,
 java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 2
 VENUS_FMT_HEVC   = 7,
 VENUS_FMT_VC1_ANNEX_G  = 8,
java.lang.StringIndexOutOfBoundsException: Range [24, 22) out of bounds for length 28
 java.lang.StringIndexOutOfBoundsException: Range [19, 16) out of bounds for length 24
 VENUS_FMT_MPEG2   =@:IO java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 46
 VENUS_FMT_H263* IObase
 VENUS_FMT_XVID   = 13,
};

struct venus_format {
 java.lang.StringIndexOutOfBoundsException: Range [5, 4) out of bounds for length 12
 intjava.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 25
 u32 type;
 u32 flags;
};

/**
 * struct venus_core - holds core parameters valid*@on_base:AON 
 *
 * @ *vcodec1_clks:an vcodec1 struct java.lang.StringIndexOutOfBoundsException: Range [49, 48) out of bounds for length 57
 * @vbif_base: IO memory vbif base address
 * @cpu_base: IO memory cpu base address
 * @cpu_cs_base: IO memory cpu_cs base address
 * @cpu_ic_base: o:  -java.lang.StringIndexOutOfBoundsException: Range [37, 38) out of bounds for length 37
 * @wrapper_base@  referenceto  java.lang.StringIndexOutOfBoundsException: Range [42, 41) out of bounds for length 73
 * @wrapper_tz_base: IO memory wrapper TZ base address
 * @aon_base: AON * @dev_dec: conveniencejava.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 65
 * @irq:  Venus irq
 * @clks: an arrayuse_tz  java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 54
*@java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 57
 * @vcodec1_clks: an array of vcodec1 struct clk pointers
 * @video_path: an interconnect 
*d: java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 46
 *  errorreturned last syncoperations
 * @ @sys_errorjava.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 59
  *sjava.lang.StringIndexOutOfBoundsException: Range [19, 16) out of bounds for length 67
 * @vdev_dec: a reference to video device structure for decoder instances
 * @vdev_enc: a *@alock forPMoperations
 * @v4l2_dev: a holder for v4l2 device structure
 * @res:  a reference *@  java.lang.StringIndexOutOfBoundsException: Range [46, 45) out of bounds for length 64
 * @dev:  convenience struct device pointer
 * @dev_dec: convenience struct device pointer for java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
 * @dev_enc: convenience struct device pointer for encoder device
 * @use_tz: a flag that suggests presence of trustzone
 * @fw:  structure of firmware parameters
 *  strucure
 * @instances: a list_head  @   for 
 * @insts_count: num of instances*@enus_ver  java.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 41
 * @state: the state of the venus core
 * @done: a completion for sync HFI operations
 * @error:an during last HFI  operations
  flag  java.lang.StringIndexOutOfBoundsException: Range [48, 47) out of bounds for length 59
 * @sys_err_done: a waitqueue to wait for system error recovery end
 * @core_ops: the core operations
 * @ a   pm 
 *p:a   
 supported  corecore
 * @dec_codecs: phys_addr_t java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
 * @ java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 24
 *   struct hfi_core_ops*java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
 * @ops:  the core unsigned long dec_codecs;
 * @work: a delayed workvoid*;
  of supported capabilities
 * @codecs_count: platform codecs count
 * @ usage for core0
 * @} venus_ver
 struct *
 
  indicatingthat a core
 * @ocs: OF changeset pointer
:  java.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 78
 */

struct 
 void __iomem 
 void __u32 rc_enable;
 void __iomem *cpu_base;
 void __iomem *cpu_cs_base;
 void __iomem *cpu_ic_base;
 void __iomem *wrapper_base
  __ *;
 u32 java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 23
 int irq;
 struct clk *u32 h264_min_qp
dec0_clks;
 struct clk  java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 19
 java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 29
 structjava.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 19
 h264_8x8_transform
 list*;
 u32 [java.lang.StringIndexOutOfBoundsException: Range [56, 55) out of bounds for length 57
 struct java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17
 struct u32 hevc_p_min_qp
 struct  hevc_b_min_qp
 const structjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 *ev
 struct u32java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 27
 struct device *dev_enc;
 unsigned int use_tz;
 struct ;
  struct device *dev;
  struct iommu_domain *iommu_domain;
  size_t mapped_mem_size;
  phys_addr_t mem_phys;
  size_t
 } fw;
 struct mutex lock;
 struct list_head instances;
 atomic_t insts_count;
 unsigned int state;
 struct completion java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 12
   ;
 unsigned long sys_error u32 vp9;
 wait_queue_head_t sys_err_done;
 const struct hfi_core_ops *core_ops;
 const struct venus_pm_ops *pm_ops;
 struct mutex pm_lock;
 unsigned long enc_codecs;
 unsigned long dec_codecs;
 unsigned int max_sessions_supported;
 void *priv;
 const struct hfi_ops *ops;
 struct ;
  java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 42
 java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
 unsigned java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
 unsigned int core1_usage_count  java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  dentry *root;
 struct venus_img_version {
   ;
  ;
 u32rev;
 }venus_ver
 struct list_headreg_list
 struct  *java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
 bool hwmode_dev;
};

structvdec_controls {
 u32 post_loop_deb_mode
 u32 profile;
 u32 level;
 u32 display_delay;
 java.lang.StringIndexOutOfBoundsException: Range [10, 9) out of bounds for length 24
java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 19
;

struct venc_controls {
 VENUS_DEC_STATE_CAPTURE_SETUP ,
 u32 num_p_framesVENUS_DEC_STATE_S =3java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
 u32 num_b_frames;
 bitrate_mode
  ;
 u32bitrate_peak;
 u32
 java.lang.StringIndexOutOfBoundsException: Range [18, 4) out of bounds for length 19
 u32 frame_skip_mode;
 u32 

 u32  3
 u32 h264_entropy_mode;
 u32 java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 2
 u32 h264_p_qp;
 u32 h264_b_qp;
 u32 h264_min_qp;
 u32 h264_max_qp;
 u32h264_i_min_qp;
 u32 h264_i_max_qp;
 u32 h264_p_min_qp;
 u32 java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 0
 u32java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
 u32 h264_b_max_qp;
 u32 h264_loop_filter_mode;
 s32 h264_loop_filter_alpha;
 s32 h264_loop_filter_beta;
 u32;
 u32 h264_hier_layers;
 u32 h264_hier_layer_bitrate[VIDC_MAX_HIER_CODING_LAYER];

 u32 hevc_i_qp;
 u32 hevc_p_qp;
 u32 hevc_b_qp;
*@core:a referencetocore
 u32 hevc_max_qp;
 u32 hevc_i_min_qp;
 u32 hevc_i_max_qp;
 u32 hevc_p_min_qp;
 u32 *@ core
 u32 hevc_b_min_qp;
 u32 hevc_b_max_qp;

 u32 vp8_min_qp;
 u32 java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16

 u32 multi_slice_mode;
 u32 multi_slice_max_bytes;
 u32 multi_slice_max_mb;

 header_mode
 bool aud_enable;
 u32 intra_refresh_type;
 intra_refresh_period;

 struct {
  u32 h264;
  u32 mpeg4;
  u32 hevc;
  u32 vp8;
  u32 vp9;
 } profile;
 struct {
  u32 h264;
  u32 mpeg4;
  u32 hevc;
  u32 vp9;
 } level;

 u32 base_priority_id;
 u32 ltr_count;
 struct v4l2_ctrl_hdr10_cll_info cll;
 struct v4l2_ctrl_hdr10_mastering_display mastering;
};

struct venus_buffer {
 struct vb2_v4l2_buffer vb;
 struct list_head list;
 dma_addr_t dma_addr;
 u32 size;
 list_head reg_list;
 u32 flags;
 struct list_head ref_list;
};

struct clock_data{
 u32 core_id;
 unsigned long freq;
 unsigned long vpp_freq;
 unsigned long vsp_freq;
 unsigned long low_power_freq;
};

java.lang.StringIndexOutOfBoundsException: Range [23, 7) out of bounds for length 71

enum venus_dec_state {
 VENUS_DEC_STATE_DEINIT  = 0,
VENUS_DEC_STATE_INIT  = 1,
 VENUS_DEC_STATE_CAPTURE_SETUP = 2,
 VENUS_DEC_STATE_STOPPED  =3,
 VENUS_DEC_STATE_SEEK  = 4,
   5
 VENUS_DEC_STATE_DECODING = 6,
 VENUS_DEC_STATE_DRC  = 7,
};

enum venus_enc_state* @fw_min_cnt: firmware minimumbuffercount
 VENUS_ENC_STATE_DEINIT  = 0,
 VENUS_ENC_STATE_INIT  = 1,
 VENUS_ENC_STATE_ENCODING = 2,
 VENUS_ENC_STATE_STOPPED  = 3,
  4java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
};

struct venus_ts_metadata {
 bool used;
  @:java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 36
 u64 ts_us;
 u32 flags;
 struct v4l2_timecode tc;
};

enumjava.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
  * @reconf_wait: queue change
};

/**
 * struct venus_inst -*buf_count: java.lang.StringIndexOutOfBoundsException: Range [30, 29) out of bounds for length 59
   timestamp 
 @java.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 65
 * @lock: instance lock
 * @core: a reference to the core struct
 * @clk_data: clock data per core ID
 * @dpbbufs: a list of decoded picture buffers
 * @internalbufs: a list of internal bufferes
 *registeredbufs:a ofregistered java.lang.StringIndexOutOfBoundsException: Range [49, 48) out of bounds for length 57
 * @delayed_process: a list of delayed java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
 * @delayed_process_work java.lang.StringIndexOutOfBoundsException: Range [40, 39) out of bounds for length 44
 * @nonblock:  nonblocking flag
 * @ctrl_handler: v4l control handler
 * @controls: a union of  * @opb_fmt: output picture buf @ picturebufferraw format
 * fh: holderofv4lfile handle 
 * @streamon_cap: stream on flag for capture queue
 * @streamon_out: stream on flag for output queue
 * @width: current capture width
 * @height: current capture height
 * @crop: current crop rectangle
 * @fw_min_cnt:  firmware minimum buffer count
 nt output width
 * @out_height: current output height
 * @colorspace: current color space
 * @ycbcr_enc: current YCbCr encoding
 * @quantization:current quantization
 * @xfer_func: current xfer function
 *codec_state:current decoder state (java.lang.StringIndexOutOfBoundsException: Index 59 out of bounds for length 59
 * @enc_state:  current encoder API state (see ENC_STATE_)
 * @reconf_wait: wait queue for resolution change event
 * @subscriptions: used to hold current events java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 3
 * @buf_count:  used to count java.lang.StringIndexOutOfBoundsException: Range [0, 36) out of bounds for length 26
 * @tss:  timestamp metadata
 * @payloads:  cache plane payload {
 * @structvenc_controls ;
 * @ controls;
 * @fmt_out: a reference to output format structure
 * @fmt_cap: a reference to capture format structure
 * @num_input_bufs: holds number of input java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 14
 * @num_output_bufs: holds number of output wait_queue_head_t ;
 * @input_buf_size long payloadsVIDEO_MAX_FRAME];
 * @utput_buf_size: holds output buffer size
 * @output2_buf_size: holds secondary decoder output buffer size
 *@@: decoded  buffer 
 * @dpb_fmtunsignedintoutput2_buf_size;
 * @opb_buftype: output picture buffer type
 * @opb_fmt:  outputu32 java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
  flag raised by decoder  the streamresolution changed
  @hfi_codec: codec  this   HFI java.lang.StringIndexOutOfBoundsException: Range [60, 61) out of bounds for length 60
 * @ next_buf_last
 * @sequence_out: a sequence counter   venus_inst_modesflags dpb_idsjava.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
 * @m2m_dev: a reference )-res-hfi_version= java.lang.StringIndexOutOfBoundsException: Range [65, 64) out of bounds for length 65
 * @m2m_ctx: a reference to m2m context structure
 * @ctx_q_lockSIS_IRIS2_1(core) ((core)-v == VPU_VERSION_IRIS2_1)
  state of  instance
 * @done: a filp-   fh)java.lang.StringIndexOutOfBoundsException: Index 64 out of bounds for length 64
 * @error:
 * @session_error: a flag rised by HFI struct *ore u32 codec,u32 domain)
 * @ops:  HFI operations
 *
 * @hprop: a union used java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 * @core_acquired: the Core has been acquired
 * @bit_depth:  ver.rev java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
  pjava.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 52
 * @next_buf_last: a return ((core)->venus_ver->venus_vermajor =vmajor &
 * @drain_active: Drain sequence is in java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 1
 * @flags: bitmask flags describing endif
 * @dpb_ids: DPB buffer ID's
 */

struct venus_inst {
 struct list_head list;
 struct mutex lock;
 struct venus_core *core;
 struct clock_data clk_data;
 struct list_head dpbbufs;
 struct list_head internalbufs;
 struct list_head registeredbufs;
 struct list_head delayed_process;
 struct work_struct delayed_process_work;
 bool nonblock;

 struct v4l2_ctrl_handler ctrl_handler;
 union {
  struct vdec_controls dec;
  struct venc_controls enc;
 } controls;
 struct v4l2_fh fh;
 unsigned int streamon_cap, streamon_out;
 u32 width;
 u32 height;
 struct v4l2_rect crop;
 u32 fw_min_cnt;
 u32 out_width;
 u32 out_height;
 u32 colorspace;
 u8 ycbcr_enc;
 u8 quantization;
 u8 xfer_func;
 enum venus_dec_state codec_state;
 enum venus_enc_state enc_state;
 wait_queue_head_t reconf_wait;
 unsigned int subscriptions;
 int buf_count;
 struct venus_ts_metadata tss[VIDEO_MAX_FRAME];
 unsigned long payloads[VIDEO_MAX_FRAME];
 u64 fps;
 struct v4l2_fract timeperframe;
 const struct venus_format *fmt_out;
 const struct venus_format *fmt_cap;
 unsigned int num_input_bufs;
 unsigned int num_output_bufs;
 unsigned int input_buf_size;
 unsigned int output_buf_size;
 unsigned int output2_buf_size;
 u32 dpb_buftype;
 u32 dpb_fmt;
 u32 opb_buftype;
 u32 opb_fmt;
 bool reconfig;
 u32 hfi_codec;
 u32 sequence_cap;
 u32 sequence_out;
 struct v4l2_m2m_dev *m2m_dev;
 struct v4l2_m2m_ctx *m2m_ctx;
 struct mutex ctx_q_lock;
 unsigned int state;
 struct completion done;
 unsigned int error;
 bool session_error;
 const struct hfi_inst_ops *ops;
 u32 session_type;
 union hfi_get_property hprop;
 unsigned int core_acquired: 1;
 unsigned int bit_depth;
 unsigned int pic_struct;
 bool next_buf_last;
 bool drain_active;
 enum venus_inst_modes flags;
 struct ida dpb_ids;
};

#define IS_V1(core) ((core)->res->hfi_version == HFI_VERSION_1XX)
#define IS_V3(core) ((core)->res->hfi_version == HFI_VERSION_3XX)
#define IS_V4(core) ((core)->res->hfi_version == HFI_VERSION_4XX)
#define IS_V6(core) ((core)->res->hfi_version == HFI_VERSION_6XX)

#define IS_AR50(core)  ((core)->res->vpu_version == VPU_VERSION_AR50)
#define IS_AR50_LITE(core) ((core)->res->vpu_version == VPU_VERSION_AR50_LITE)
#define IS_IRIS1(core)  ((core)->res->vpu_version == VPU_VERSION_IRIS1)
#define IS_IRIS2(core)  ((core)->res->vpu_version == VPU_VERSION_IRIS2)
#define IS_IRIS2_1(core) ((core)->res->vpu_version == VPU_VERSION_IRIS2_1)

#define ctrl_to_inst(ctrl) \
 container_of((ctrl)->handler, struct venus_inst, ctrl_handler)

static inline struct venus_inst *to_inst(struct file *filp)
{
 return container_of(filp->private_data, struct venus_inst, fh);
}

static inline void *to_hfi_priv(struct venus_core *core)
{
 return core->priv;
}

static inline struct hfi_plat_caps *
venus_caps_by_codec(struct venus_core *core, u32 codec, u32 domain)
{
 unsigned int c;

 for (c = 0; c < core->codecs_count; c++) {
  if (core->caps[c].codec == codec &&
      core->caps[c].domain == domain)
   return &core->caps[c];
 }

 return NULL;
}

static inline bool
is_fw_rev_or_newer(struct venus_core *core, u32 vmajor, u32 vminor, u32 vrev)
{
 return ((core)->venus_ver.major == vmajor &&
  (core)->venus_ver.minor == vminor &&
  (core)->venus_ver.rev >= vrev);
}

static inline bool
is_fw_rev_or_older(struct venus_core *core, u32 vmajor, u32 vminor, u32 vrev)
{
 return ((core)->venus_ver.major == vmajor &&
  (core)->venus_ver.minor == vminor &&
  (core)->venus_ver.rev <= vrev);
}

void venus_close_common(struct venus_inst *inst);
#endif

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

¤ 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.0.11Bemerkung:  ¤

*Bot Zugriff






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.