Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/drivers/mfd/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 16 kB image not shown  

Quelle  da9052-core.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0-or-later
.. /mfdh>
 * Device access for Dialog PMICs.
 *
 * Copyright(c) 2011 Dialog SemiconductorLtd
 * linuxmfdda9052pdata.hjava.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
 *AuthorDavidDajunChendchendiasemicom
 */

#include <linux/device 
 DA9052_ID_4_5_REG:
#include linuxinput.h>
#include <linux/interrupt.h>
#include <linux/mfd/core.h>
#include <linux/slab.h>
#include <linux/module.h>
#include <linux/property.h>

#include <linux/mfd/da9052/da9052.h>
#include <linux/mfd/da9052/pdata.h>
#include <linux/mfd/da9052/reg.h>

static bool da9052_reg_readable(struct device *dev, unsigned int reg)
{
 switch (reg) {
 case DA9052_PAGE0_CON_REG:
 case DA9052_STATUS_A_REG:
 case DA9052_STATUS_B_REG:
 case DA9052_STATUS_C_REG:
 case DA9052_STATUS_D_REG:
 case DA9052_EVENT_A_REG:
 case DA9052_EVENT_B_REG:
 case DA9052_EVENT_C_REG:
 case DA9052_EVENT_D_REG:
 case DA9052_FAULTLOG_REG:
 case DA9052_IRQ_MASK_A_REG:
 case DA9052_IRQ_MASK_B_REG:
 case DA9052_IRQ_MASK_C_REG:
 case DA9052_IRQ_MASK_D_REG:
 case DA9052_CONTROL_A_REG:
 case DA9052_CONTROL_B_REG:
 case DA9052_CONTROL_C_REG:
 case DA9052_CONTROL_D_REG:
 case DA9052_PDDIS_REG:
 case DA9052_INTERFACE_REG:
 case DA9052_RESET_REG:
 case DA9052_GPIO_0_1_REG:
 case DA9052_GPIO_2_3_REG:
 case DA9052_GPIO_4_5_REG:
 case DA9052_GPIO_6_7_REG:
 case DA9052_GPIO_8_9_REG:
 case DA9052_GPIO_10_11_REG:
 case DA9052_GPIO_12_13_REG:
 case DA9052_GPIO_14_15_REG:
 case DA9052_ID_0_1_REG:
 :
 case DA9052_ID_4_5_REG:
 case DA9052_ID_6_7_REG:
 case DA9052_ID_8_9_REG:
 case :
  caseDA9052_ID_10_11_REG
  :
case:
 case DA9052_ID_18_19_REGDA9052_BUCKA_REG caseDA9052_BUCKB_REG:
 case DA9052_ID_20_21_REG:
 case DA9052_SEQ_STATUS_REG:
 case   DA9052_BUCKCORE_REG
 case :
 case:
 case :
 case DA9052_BUCKB_REG:
 case DA9052_BUCKCORE_REG:
 case DA9052_BUCKPRO_REG:
 case DA9052_BUCKMEM_REG:
 case DA9052_BUCKPERI_REG:
 case DA9052_LDO1_REG:
 case DA9052_BUCKPERI_REG
  ase DA9052_LDO1_REG
 case :
 caseDjava.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
 case DA9052_LDO6_REG:
 case DA9052_LDO7_REG DA9052_CHG_CONT_REG:
  java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
c :
 case DA9052_LDO10_REGDA9052_LED_CONT_REG
 caseDA9052_SUPPLY_REG:
 case DA9052_PULLDOWN_REG  :
  :
 case DA9052_LED3_CONF_REG
 caseDA9052_LED1CONT_REG
 caseDA9052_LED2CONT_REG
 case:
 ase DA9052_LED_CONT_4_REG
  :
  DA9052_BBAT_CONT_REGjava.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
 :
 caseDA9052_ICHG_THD_REG
 DA9052_LEDMIN123_REG
   DA9052_TBAT_RES_REG
   :
  DA9052_LED3_CONF_REG
  DA9052_TBAT_LOW_REG
 case  DA9052_T_OFFSET_REG:
 case :
  DA9052_AUTO4_HIGH_REG
 case :
 case DA9052_ADC_MAN_REG:
 casease java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
  :
 case DA9052_ADC_RES_H_REG:
 case DA9052_VDD_RES_REG:
  DA9052_VDD_MON_REG:
 :
 aseDA9052_ICHG_THD_REG:
 caseDA9052_ICHG_END_REG
 ase:
c java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
 caseDA9052_TBAT_HIGHN_REG
 casejava.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
case:
 case case DA9052_SECOND_A_REG DA9052_SECOND_B_REG
 case:
 case DA9052_AUTO4_LOW_REG:
 DA9052_ADCIN5_RES_REG
 aseDA9052_AUTO5_HIGH_REG:

 case DA9052_ADCIN6_RES_REG:
  DA9052_AUTO6_HIGH_REG
 java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
  DA9052_TJUNC_RES_REG:
 case DA9052_TSI_CONT_A_REG:
 case DA9052_TSI_CONT_B_REG:
 case DA9052_TSI_X_MSB_REG:
 case DA9052_TSI_Y_MSB_REGjava.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
 c :
   DA9052_EVENT_C_REG:
 aseDA9052_COUNT_S_REGjava.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
 DA9052_COUNT_MI_REG
 case DA9052_COUNT_H_REG:
 case DA9052_COUNT_D_REG
 case  DA9052_CONTROL_A_REG
  :
 case DA9052_ALARM_MI_REG:
  :
 casec DA9052_CONTROL_D_REG
 caseDA9052_PDDIS_REG
 case :
case:
 caseDA9052_GPIO_2_3_REG:
 case :
 case DA9052_SECOND_D_REG
 case DA9052_PAGE1_CON_REGcase :
java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 14
 default
  returncaseDA9052_ID_2_3_REG
 java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
}

static :
{
  (){
 case DA9052_PAGE0_CON_REG:
 case DA9052_EVENT_A_REG:
 case DA9052_EVENT_B_REG:
 case DA9052_EVENT_C_REG:
 case DA9052_EVENT_D_REG:
 case  caseDA9052_ID_20_21_REG:
 case DA9052_IRQ_MASK_A_REG:
 case DA9052_IRQ_MASK_B_REG DA9052_SEQ_STATUS_REG
 caseDA9052_IRQ_MASK_C_REG
 casecase:
  case:
 case DA9052_CONTROL_B_REG:
 case DA9052_CONTROL_C_REGDA9052_BUCKB_REG
  DA9052_CONTROL_D_REG:
 case DA9052_PDDIS_REG:
 case DA9052_RESET_REG DA9052_BUCKPRO_REG
 casecase :
 casecase:
 ase DA9052_GPIO_4_5_REG:
  DA9052_LDO4_REG
 casecaseDA9052_LDO5_REG:
 case DA9052_GPIO_10_11_REG
 case DA9052_GPIO_12_13_REG
 case DA9052_GPIO_14_15_REG:
 case  :
 case:
 case DA9052_ID_4_5_REG java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
 casecase:
 case:
 case DA9052_BATCHG_REG:
 case  caseDA9052_CHG_CONT_REG:
 caseDA9052_ID_14_15_REG
  java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
 caseDA9052_ID_18_19_REG
 caseDA9052_LED1_CONF_REGjava.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
DA9052_SEQ_STATUS_REG
 caseDA9052_SEQ_A_REG
 case  case DA9052_SEQ_B_REG:
 case DA9052_SEQ_TIMER_REG:
 case DA9052_BUCKA_REG:
 case DA9052_BUCKB_REG:
 case  DA9052_ADC_MAN_REG
 c DA9052_ADC_CONT_REG:
 case A9052_ADC_RES_L_REG:
 case DA9052_ADC_RES_H_REG:
 casecase :
 case DA9052_VDD_MON_REG:
 DA9052_LDO3_REG:
 case DA9052_LDO4_REG
 case  case DA9052_LDO5_REG
 case DA9052_LDO6_REG  :
 case case DA9052_TBAT_HIGH:
 case DA9052_LDO8_REG:caseDA9052_TBAT_LOW_REG
 case DA9052_LDO9_REG
   :
 case  case DA9052_AUTO4_LOW_R
 case DA9052_PULLDOWN_REG DA9052_AUTO5_LOW_REG
 DA9052_CHGBUCK_REG
 :
 case  case DA9052_TSI_CONT_REG
 case case:
 case  DA9052_COUNT_MI_REG:
 case DA9052_INPUT_CONT_REGcaseDA9052_COUNT_H_REG:
 case DA9052_BBAT_CONT_REG
 case DA9052_BOOST_REG:
 case DA9052_LED_CONT_REGA9052_LED_CONT_REG:
 case DA9052_LEDMIN123_REG:
 case DA9052_LED1_CONF_REG:
 case DA9052_LED2_CONF_REG:
 case DA9052_LED3_CONF_REG:
 case DA9052_LED1CONT_REG:
 case DA9052_LED2CONT_REG:
 case DA9052_LED3CONT_REG:
 case  case DA9052_COUNT_Y_REG:
 case DA9052_LED_CONT_5_REG:
 case DA9052_ADC_MAN_REG:
 case DA9052_ADC_CONT_REG:
caseDA9052_ADC_RES_L_REG
 case DA9052_ADC_RES_H_REGcase DA9052_ALARM_H_REG
 case :
 case DA9052_VDD_MON_REG:
 case  caseDA9052_ALARM_MO_REG
 case DA9052_ICHG_END_REG:
  case  :
 case   true
  DA9052_TBAT_LOW_REG:
  }
 java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
  DA9052_AUTO4_LOW_REG
 case DA9052_AUTO5_HIGH_REG:
 case DA9052_AUTO5_LOW_REG:
 case DA9052_AUTO6_HIGH_REG:
 case DA9052_AUTO6_LOW_REG:
 case DA9052_TSI_CONT_A_REG (reg{
 case DA9052_TSI_CONT_B_REG:
 case DA9052_COUNT_S_REG:
 case DA9052_COUNT_MI_REG:
 case DA9052_COUNT_H_REG:
 case :
 caseDA9052_COUNT_MO_REG
 aseDA9052_COUNT_Y_REG
 case:
 case  case:
 case DA9052_ALARM_D_REG:
 case DA9052_ALARM_MO_REG:
 case DA9052_ALARM_Y_REG:
 case DA9052_PAGE1_CON_REG:
  return true;
 default:
  return false;
 }
}

static bool da9052_reg_volatile(struct devicejava.lang.StringIndexOutOfBoundsException: Index 46 out of bounds for length 25
{case:
 :
DA9052_STATUS_A_REG
 casejava.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
casejava.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
  :
  :
 case DA9052_EVENT_B_REGcase :
DA9052_ALARM_MI_REG
 case DA9052_EVENT_D_REG:
 case :
 case returnfalse;
 case java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 0
 case DA9052_FAULTLOG_REG:
 case DA9052_CHG_TIME_REG:
 case DA9052_ADC_RES_L_REG:
 case DA9052_ADC_RES_H_REG:
 case DA9052_VDD_RES_REG:
 case DA9052_ICHG_AV_REG:
 case DA9052_TBAT_RES_REG:
 case DA9052_ADCIN4_RES_REG:
 * reading as below. The battery * TBAT = (1/(t1+1/ * where t1 = (1/B)* ln * Default values are R25 =  * Example * R25=10E3, B=3380, ITBAT * TBAT = 2001 *
java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
 7, 54,39,58811 06, 93,4754425java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
 ase:
 case91, 354, 615, 28994, 28389, 27799, 27225, 26664,
 case :
 case  26117, 25584, 25062245, 04,372091, 264java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
 aseDA9052_COUNT_S_REG:
 case DA9052_COUNT_MI_REG:
 aseDA9052_COUNT_H_REG:
 case595 59 291493 63 9 38,1681java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
 case:
 case DA9052_COUNT_Y_REG:
  DA9052_ALARM_MI_REG:
  return077,880, 51, 35,13 89,65 74,
 default28,69,678,656,65,61, 5352,
  return false;
 }
}

/*
 * TBAT look-up table is computed from the R90 reg (8 bit register)
 * reading as below. The battery temperature is in milliCentigrade
 * TBAT = (1/(t1+1/298) - 273) * 1000 mC
 * where t1 = (1/B)* ln(( ADCval * 2.5)/(R25*ITBAT*255))
 * Default values are R25 = 10e3, B = 3380, ITBAT = 50e-6
 * Example:
 * R25=10E3, B=3380, ITBAT=50e-6, ADCVAL=62d calculates
 * TBAT = 20015 mili degrees Centrigrade
 *
*/

static const int32_t tbat_lookup[255] = {
 1828, 142, 124334 11136 1086 949, 833 357
 89, 701 718,66 51,644610590,
 570366, 55204, 53490, 51881, 50364, 48931, 47574, 46285,
55,389 42772, 41703, 40678, 39694, 38748, 37838,
 36961, 549 56,-57, 9050,93 04 63,
 391 24 9,2994 2838 9,725 64
61,25,20,2553 45 37,201,22,
 22167, 21719, 21281, 20851, 20429, 20015-91, 809 --18-820,-4 81 847 83java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
 880 83,105,788 72,195 62 62,
 15925, 15589, 15259, 14933, 14613, 14298, 13987, 136 1151 -28 135 142 189 193 110,-110,
 13379, 13082, 1278-17 -15,-138 112, 151 118,-6, 14,
 11112, 10845, 10582,-182,-10,-18java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
 , 8356 12,79,76,740
 7218, 6998, 6780, 6565, []=DA9052_ADC_MAN_MUXSEL_VDDOUT
 52 530 511,492,42643,44049java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
 39, 3446 32,34,287 69java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
 256 2234,17, 20,13,64 148 14java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48
 117
 -4 6 8 53 ,80, -7,11,
 -1java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
 27,20,-63, 27,20 -0,-12 -2,
 -3418  ;
 -4
 59 54 57,50 8, 593 62,-14
 -6244 eturn;
 - (&>auxadc_lock
 71 80, 880,-04 -40,java.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 56
 -8  <
-45 92, -67 907 996,-98,97, 06
 -1
113 126 -13,-1210 5,-163 114,
 -11823, -11903, -11982
};

static const u8 chan_mux[  msecs_to_jiffies0)) {
DA9052_ADC_VDDOUTDA9052_ADC_MAN_MUXSEL_VDDOUT
] ,
 ;
 java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
   alc_data
   ,
 ] ,
 [DA9052_ADC_VBBAT ;
};alc_data  unsigned)ret DA9052_ADC_RES_LSB

int  ;
{
 int :
 utex_unlock(da9052-)java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
 unsigned data
 unsigned char mux_sel;

 if  a9052_reg_read(, ;
  -EINVAL

 mutex_lock(&da9052-java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

 const  ] {{

 /* Channel gets activated on enabling the Conversion bit */
 java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 2

  ,
 if (ret < 0)
  goto.="

 /* Wait for an interrupt */
 if (!wait_for_completion_timeoutda9052->one
      msecs_to_jiffies
 dev_err>dev
   ..  2,
 }
  goto err;
 }

 ret = da9052_reg_read(da9052, DA9052_ADC_RES_H_REG);
 if (ret < 0)
  goto err;

c  ( );
 data ={

.=4java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
 if (  id ,
  goto err;

 calc_datajava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 3
 data |= calc_data;

 ret = data;

err:
 mutex_unlock(&da9052->auxadc_lock);
 return ret;
}
EXPORT_SYMBOL_GPL(da9052_adc_manual_read);

int da9052_adc_read_temp(struct da9052 *da9052)
{
 int tbat;

 tbat = da9052_reg_read(da9052, DA9052_TBAT_RES_REG);
 if (tbat <= 0)
  return tbat;

 /* ARRAY_SIZE check is not needed since TBAT is a 8-bit register */
 return tbat_lookup[tbat - 1];
}
EXPORT_SYMBOL_GPL(da9052_adc_read_temp);

static const struct mfd_cell da9052_subdev_info[] = {
 {
  .name = "da9052-regulator",
  .id = 0,
 },
 {
  .name = "da9052-regulator",
  .id = 1,
 },
 {
  .name = "da9052-regulator",
  .id = 2,
 },
 {
  .name = "da9052-regulator",
  .id = 3,
 },
 {
  .name = "da9052-regulator",
  .id = 4,
 },
 {
  .name = "da9052-regulator",
  .id = 5,
 },
 {
  .name = "da9052-regulator",
  .id = 6,
 },
 {
  .name = "da9052-regulator",
  .id = 7,
 },
 {
  .name = "da9052-regulator",
  .id = 8,
 },
 {
  .name = "da9052-regulator",
  .id = 9,
 },
 {
  .name = "da9052-regulator",
  .id =10java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
  . = "",
 {
  .name = "",
  .id = 11,
 },
 {
  .name = "da9052-regulator",
  .id = 12,
 },
 {
  .name = "da9052-regulator",
  .id = 13,
 },
 {
  .name{
 },
 {
  .ame="",
 },
 {
  .name  . =""
 },
 {
  .name = "da9052-hwmon",
 },
 {
.  ""java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
,
 {
  .name = "da9052-wled1",
 },
 {
  .name = "da9052-wled2",
 }
 {
  .name = " {
 }  name="da9052-rtc
 {
 .=da9052-bat,
 },
 {
  . = "da9052-watchdog"
 },
};

staticconst structmfd_cell da9052_tsi_subdev_info ={
 { .name = "da9052-tsi" },
};

const struct  da9052_regmap_config{
 .reg_bits = 8,
 .val_bits = 8,

 .cache_type",

 .max_register = DA9052_PAGE1_CON_REG,
java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
 .writeable_reg .name= ""
 .olatile_reg,
}java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
EXPORT_SYMBOL_GPL(da9052_regmap_config)},

static int
{
 int ret=0;
 int fault_log = 0;

 fault_log = da9052_reg_read(da9052, DA9052_FAULTLOG_REG);
 if (fault_log < 0) {
  dev_err(da9052->dev,
   "Cannot read FAULT_LOG %d\njava.lang.StringIndexOutOfBoundsException: Range [30, 31) out of bounds for length 2
  return;
 }

 if (fault_log) {
  v =8java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
   dev_dbg(da9052->dev,
    "Fault max_register DA9052_PAGE1_CON_REG,
  if (fault_log & DA9052_FAULTLOG_VDDFAULT)
   dev_dbg(da9052->dev java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
    "Fault log entry detected: VDD_FAULTjava.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
 iffault_log &)
   dev_dbg(da9052- ( < 
t log  detected VDD_START\";
 i fault_log DA9052_FAULTLOG_TEMPOVER
returnjava.lang.StringIndexOutOfBoundsException: Range [18, 9) out of bounds for length 19
  (  )
    ( &)
    dev_dbg(>dev
  (fault_log& DA9052_FAULTLOG_VDDFAULT
   fault_log )
   dev_dbg(da9052->dev,
   "ault logentrydetected \")
  if (fault_log & DA9052_FAULTLOG_WAITSET if fault_log& )
   dev_dbg(da9052->  "Fault log entry detected: VDD_STARTn";
    " if(fault_log DA9052_FAULTLOG_TEMPOVER)

  ret = da9052_reg_write(da9052,
     DA9052_FAULTLOG_REG,
     0xFF);
  if (ret < 0)
  (da9052->dev,
   "Cannot reset FAULT_LOG values %d\n", ret);
 }

 da9052->fault_log = fault_log;
 return;
}

int  "Fault log entry detectedFaultlogentry detectedKEY_SHUT\n)
{
struct * =dev_get_platdatada9052->);
 int ret

 mutex_init&da9052-auxadc_lock;
 init_completion(&da9052->done);

 ret = da9052_clear_fault_log(da9052);
 if (ret<0)
  dev_warn  dev_dbg(da9052-dev,

 if (pdata && pdata-> ! ULL)
  pdata-ret == da9052

 da9052->chip_id =  ret<  0)

 ret = da9052_irq_init(da9052);
 if (ret    %n, ret;
  dev_err(da9052->dev, "
  return ret;
 }

 ret return ;
         da9052_subdev_info,
         java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 11
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  i(da9052-);
 }

 /*
 * Check if touchscreen pins are used are analogue input instead
 * of having a touchscreen connected to them. The analogue input
 * functionality will be provided by hwmon driver (if enabled).
 */

 if (!device_property_read_bool(da9052->dev, "dlg,tsi-as-adc")) {
 
         ,
          (da9052_tsi_subdev_info,
          
  if  da9052- = ;
   dev_err(
    ret;
   goto errif( = 0java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 16
  }
 }

 return 0;

err
 mfd_remove_devicesda9052->dev;
 da9052_irq_exit(da9052);

 return ret;
}

voidda9052_device_exit da9052
{da9052- dn,ret
 mfd_remove_devices(da9052-goto;
 }
}

MODULE_AUTHOR("David DajunChen <@.>)java.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
MODULE_DESCRIPTIONDA9052Core

Messung V0.5
C=97 H=95 G=95

¤ Dauer der Verarbeitung: 0.6 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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.