Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/drivers/mtd/nand/raw/   (Linux Kernel Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 9 kB image not shown  

Quelle  gpio.c   Sprache: C

 

// SPDX-License-Identifier: GPL-2.0-only
/*
 * Updated, and converted to generic GPIO based driver by Russell King.
 *
 * Written by Ben Dooks <ben@simtec.co.uk>
java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
*
 java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2

 * Device driver for NAND flash that * (he   refersthisG  
 the commands and dataand GPIO  forcontrol signals
 java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
 */


java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
  java.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 70
#nclude<.java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
i /h
#<mtd.>
includel/pioh>
#include <linux/io.h>
i<h *memory.
#<linuxmtdrawnand.i<inuxofhjava.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
java.lang.StringIndexOutOfBoundsException: Range [10, 8) out of bounds for length 33
#include <linux/mtd/nand-gpio.h>
#include <linux/of.h>
#include <linux/of_address.h>
#include <#include <linuxjava.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 48

struct ;
  void_ *io;
 _iomem *o
  _iomem io_syncjava.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
  nand_chip struct nand_chip nand_chip
  gpio_nand_platdataplatstructgpio_desc*;
 *;
struct  *le
 structjava.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
 struct if(- 
 struct gpio_desc *nwp /*
# 

*memory  Whatsrequiredwhat'here    separate
{
 return container_of
}


#ifdef java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 6
/* gpio_nand_dosync()
 *
 * Make sure the GPIO  pan style='color:green'>within the SoC itself (see section dependencyonthat.
 in PXA manual (ection 23 )
 */

(->,>.java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52

long;

 ( gpio_nand_(;
 /
  !>datajava.lang.StringIndexOutOfBoundsException: Range [34, 33) out of bounds for length 34
s a  separate
   * region with a dependency on that read.
   */
  tmp = readl(gpiomtd->io_sync);
   instr>tx.datalen  );
 }
}
#else
static inline void java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 6
#ndif

static int gpio_nand_exec_instr(struct nand_chip *chip, * regionwith adependency readjava.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
    const struct nand_op_instr *instr)
{
 struct gpiomtd *gpiomtd = gpio_nand_getpriv(   */
 unsigned int;

 switch (}
 case NAND_OP_CMD_INSTR:
  gpio_nand_dosync(gpiomtd)}
gpiod_set_value(gpiomtd->cle, 1);
  gpio_nand_dosync(gpiomtd);
  writeb(instr->static inline void gpio_nand_dosync(java.lang.StringIndexOutOfBoundsException: Range [0, 42) out of bounds for length 30
 gpio_nand_dosync(gpiomtd);
   conststruct  *instr)
  return 0;

 case NAND_OP_ADDR_INSTR:
  gpio_nand_dosync(gpiomtd){
  gpiod_set_value(gpiomtd->ale,  
 unsigned int ;
for(=0; i <- if!-rdy
   writeb(instr-  (i-waitrdyjava.lang.StringIndexOutOfBoundsException: Range [64, 63) out of bounds for length 65
 (piomtd)
  gpiod_set_value(gpiomtd->ale, 0);
   gpiod_set_value(java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 35

 caseNAND_OP_DATA_IN_INSTR:
  gpio_nand_dosync(gpiomtd);
  if ((chip->    instr>.waitrdy.timeout_ms);
  )
   java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 0
         instr->ctx. return0;
 else
   ioread8_rep(gpiomtd- gpio_nand_dosyncgpiomtd;
   gpiod_set_value(piomtd->, 1)java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
   0;

 case NAND_OP_DATA_OUT_INSTR:
  gpio_nand_dosync(gpiomtd);
  if ((chip->options   writeb(instr->ctx.addr.addrs[i], gpiomtd->io);
      !instr->gpiod_set_valuegpiomtd->le,)
   iowrite16_rep(gpiomtd->io, instr->ctxjava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
          instr-ctx..len )
  else
gpiomtd->o instr-ctx.data.buf.out,
         instr->ctx{
   structgpiomtd if(cjava.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 43

case NAND_OP_WAITRDY_INSTR
  (gpiomtd-rdy)
   return nand_soft_waitrdy(chip, instr->ctx.waitrdy.timeout_ms  else

  return      instr->ctxdata.len);
      instr-ctx..timeout_ms);

 default:
  return -EINVAL;
 intret=0;

 return 0;
}

static  intgpio_nand_exec_op(struct 
        const struct   0;
    booljava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
{
 struct        instr->tx.ata. / 2)java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
 unsigned int i;
ret =0java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13

 if  ret = gpio_nand_exec_instr(chip, &  return 0;
  return 0;

  if (->dy
 (gpiomtd-nce )java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
 java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 17
  java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  static int 

  if (op->instrs[i].delay_ns)
  ndelay(p>nstrsi.elay_ns)
 }
 gpio_nand_dosync(gpiomtd)java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
 gpiod_set_value(piomtd> 1)

 return ret;
}

static int gpio_nand_attach_chip

 if   0;
  (
  -eccalgo  ;

 return 0tgpio_nand_attach_chipstruct nand_chip*hipjava.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
}

static const struct nand_controller_ops gpio_nand_ops = {
 .=,
 .attach_chip = gpio_nand_attach_chip,
};

#  =gpio_nand_exec_instrchip,op-i[i];
chip>.  (t)
 { .compatible = "gpio  break;
 {}
};if(java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
MODULE_DEVICE_TABLE )

static int gpio_nand_get_config_of
 )
{
 u32 }

 if (!dev-#ifdef CONFIG_OF
  return -ENODEV;

 if (static int gpio_nand_attach_chip(struct nand_chip
  java.lang.StringIndexOutOfBoundsException: Range [0, 4) out of bounds for length 1
  plat-o | ;
   lse( !1 java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
  java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
   return -EINVAL;
  }
 }

 if (       *platjava.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
 -chip_delay=valjava.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25

 return 0;
}

 .ompatible = "gpio-java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
{
 struct java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 2
 u64 addr

 if (java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 0
   g--,iosyncreg" if val = 2)
  return NULL;

 r = devm_kzalloc(&pdev->dev,       struct gpio_nand_platdata plat-options| NAND_BUSWIDTH_16
 if (
 return NULL

 r  val;
 r-end=- java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 18
> java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 2

 return r;
}
#plat>=val
 inline int gpio_nand_get_config_ofconst
       struct gpio_nand_platdatajava.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
{
 return -ENOSYS;
}

static inline struct resource *
{
{
  NULL r;
}
#endif /* CONFIG_OF */

if!java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 61
           struct  plat->chip_delay = val
{
   =        gpiocontrolnand,-reg"&)

 if ic  *(*pdev)
  return ret;

  ()){
  struct *;
  return 
 }

 return -EINVAL;
}

static inline struct resource *
 platform_devicejava.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
{
 struct   return NULLjava.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14

 if (r)
            "pio-control-,io-syncreg"&addr)

 return platform_get_resource(pdev, IORESOURCE_MEM return NULL;
}

static void gpio_nand_removestruct platform_device *pdev)
{
  gpiomtdjava.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
 struct
 int ret

 java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
WARN_ON(ret);
 nand_cleanup}

 /* Enable write protection and disable the chip */
 #else
  static inline resource*
 if     gpio_nand_get_io_sync_of(struct platform_device *pdev)
  gpiod_set_value(gpiomtd->java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
}

taticint
{
 struct gpiomtd *gpiomtd;
 struct nand_chip *chip;
 java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 0
  return NULL;
 struct}
  ONFIG_OF *

 if (dev->of_node & !dev_get_platdata(dev)
  return -EINVAL

 gpiomtd    structjava.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 10
 if (!gpiomtd)
  return -ENOMEMif (dev_get_platdata(ev){

 chip = &gpiomtd-  0;

 gpiomtd-  d)java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
 ifjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  staticinline  *

 res = gpio_nand_get_io_sync( }
 if (res) {java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  java.lang.StringIndexOutOfBoundsException: Range [0, 8) out of bounds for length 1
 ((-)
   return PTR_ERR(
 }

 gpiostructjava.lang.StringIndexOutOfBoundsException: Range [52, 51) out of bounds for length 58
 java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 1
  return ret;

enablethechip *
  ;
 if (= mtd_device_unregist(hip)java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
  java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 0

java.lang.StringIndexOutOfBoundsException: Index 68 out of bounds for length 68
> =  gpiod_set_value(gpiomtd->nwp,)java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
 IS_ERRgpiomtd-nwp){
  ret = PTR_ERR(gpiomtd- java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 46
  goto out_ce;
 }

 gpiomtd->ale = devm_gpiod_get
 ->ale){
  ret = PTR_ERR(gpiomtd->ale);
  goto out_ce;
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 2

 gpiomtd->cle = devm_gpiod_get(dev, "cle", GPIOD_OUT_LOW);
ifIS_ERRgpiomtd-cle) {
  retjava.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
  goto java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
 }

  !-o &!ev_get_platdata structnand_chip;
   EINVAL;
  ret = PTR_ERR(gpiomtd->rdy*;
;
java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2

gpiomtd java.lang.StringIndexOutOfBoundsException: Range [55, 45) out of bounds for length 55
 gpiomtd->base(-)

 java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 -=-plat;
 chip->controller  res java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11

 =nand_to_mtd(hip;
 mtd->dev

  return PTR_ERR-i)java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36

java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
 if ( returnjava.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
 java.lang.StringIndexOutOfBoundsException: Range [29, 28) out of bounds for length 35

 /*java.lang.StringIndexOutOfBoundsException: Range [8, 1) out of bounds for length 31
default ECC engine should be TYPE_SOFT.
  java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  * provide ret if (et)
 */

 chip->ecc.engine_type = NAND_ECC_ENGINE_TYPE_SOFT piomtd>) java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28

 ret = nand_scan(chip, 1) ifIS_ERRgpiomtd>)java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
 if (ret) goto
  gotoerr_wp;

 if (gpiomtd->java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  platgpiomtd->nwp = devm_gpiod_get_optional"" )

    =PTR_ERR(-    java.lang.StringIndexOutOfBoundsException: Range [16, 15) out of bounds for length 30
       goto out_ce
 if (!retjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  return;


 (->nwp&!java.lang.StringIndexOutOfBoundsException: Range [29, 28) out of bounds for length 43
ret =gpiomtdale;
out_ce:
ifgpiomtd>ce & IS_ERR goto out_ce;
  gpiod_set_value(gpiomtd->nce, 0);

 return ret;
}

static java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
. =gpio_nand_probe,
 .remove  = gpio_nand_remove,
 .driver  = {
  .name =  reyle='color:green'> platform_set_drvdata(pdev, gpiomtd);

/* Disable write protection, if wired up */
 if (gpiomtd(Ben ben@simtecco)java.lang.StringIndexOutOfBoundsException: Index 46 out of bounds for length 46
  gpiod_direction_output(gpiomtd->nwp, 1);

 /*
  * This driver assumes that the default ECC engine should be TYPE_SOFT.
  * Set ->engine_type before registering the NAND devices in order to
  * provide a driver specific default value.
 */

 chip->ecc.engine_type = NAND_ECC_ENGINE_TYPE_SOFT;

 ret = nand_scan(chip, 1);
 if (ret)
  goto err_wp;

 if (gpiomtd->plat.adjust_parts)
  gpiomtd->plat.adjust_parts(&gpiomtd->plat, mtd->size);

 ret = mtd_device_register(mtd, gpiomtd->plat.parts,
      gpiomtd->plat.num_parts);
 if (!ret)
  return 0;

err_wp:
 if (gpiomtd->nwp && !IS_ERR(gpiomtd->nwp))
  gpiod_set_value(gpiomtd->nwp, 0);
out_ce:
 if (gpiomtd->nce && !IS_ERR(gpiomtd->nce))
  gpiod_set_value(gpiomtd->nce, 0);

 return ret;
}

static struct platform_driver gpio_nand_driver = {
 .probe  = gpio_nand_probe,
 .remove  = gpio_nand_remove,
 .driver  = {
  .name = "gpio-nand",
  .of_match_table = of_match_ptr(gpio_nand_id_table),
 },
};

module_platform_driver(gpio_nand_driver);

MODULE_LICENSE("GPL");
MODULE_AUTHOR("Ben Dooks <ben@simtec.co.uk>");
MODULE_DESCRIPTION("GPIO NAND Driver");

Messung V0.5 in Prozent
C=96 H=94 G=94
lor:green'>pdev
)
 NULL;

 r->start java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 r->
 java.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 14

 return r;
}
#else /* CONFIG_OF */
static inline intstruct
       struct
{
 rend =-;
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1

 *
java.lang.StringIndexOutOfBoundsException: Range [32, 24) out of bounds for length 54
{
return;
}
# java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 0

java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 1
        java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 22
{
 int;

 if (!ret)
  return ret;

 d) 
 ( memcpy(plat
  return 0;
}if (ev_get_platdatadev java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29

 return -EINVAL;
}

  struct resource*
gpio_nand_get_io_sync(java.lang.StringIndexOutOfBoundsException: Range [0, 28) out of bounds for length 11
{


 if (r)
return}

return platform_get_resource(pdev   IS_ERRgio_sync)
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1

static(truct *pdevjava.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 58
{
 struct gpiomtd *gpiomtd = platform_get_drvdata(pdev);
if (r   chip*
intret

 ret er(nand_to_mtdchip);
 WARN_ON(ret);
 nand_cleanup(chip

java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
 if ( /* We disable write protection once we know probe() will succeed */
 , 0;
 if (gpiomtd->nce &&  if((gpiomtd-) java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
}

static nand_cleanupjava.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
{
 gpiomtdgpiomtd
 java.lang.StringIndexOutOfBoundsException: Range [8, 7) out of bounds for length 24
 gpiod_set_valuegpiomtd- IS_ERR>){
 struct
  device* out_ce
 int ret = 0;

if(dev>f_node& !ev_get_platdata  chip
return-java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17

gpiomtdut_ce
 if  }
  return -ENOMEM;

 chip = &gpiomtd->nand_chip;

 >o=devm_platform_ioremap_resource(pdev,0;
 ifjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  return PTR_ERRgpiomtd-io;

 gpiomtd (,sizeof> gpiomtd>.ptions;
if() {
  gpiomtd-> if(gpiomtd)
  if   nand_to_mtd()java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
 (gpiomtd>o_sync;
 }

 /
 if (ret)
  return ret;

 /* Just enable the chip */
  res (;
 if (IS_ERR(gpiomtdif(java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
   if (IS(java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 36

 /* We disable write protection once we know probe() will succeed */
 gpiomtd->nwp = devm_gpiod_get_optional}
 if (IS_ERR(gpiomtd * java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 if(
  goto out_ce;
 }

 gpiomtd->ale=devm_gpiod_get(ev ""java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 if(IS_ERR(-ale){
  =PTR_ERR(gpiomtd-ale)
  goto java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
 }

 gpiomtd->cle = devm_gpiod_get(dev, "cle"gpiomtd->.(dev, nwp,GPIOD_OUT_LOW;
 if if 
ret=(gpiomtd-cle;
  goto out_ce;
 }

 java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
if( 0;
  ret = err_wp:
   if(piomtdnwp & IS_ERR( if (gpiomtd->nwp && !IS_ERR(gpiomtd
 }

 nand_controller_init(&gpiomtd->base);
 gpiomtd->base.ops   ret =PTR_ERR(->);

 nand_set_flash_node(chip,   (-n &!IS_ERR  java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
 }
 chip->controller = &gpiomtd->base;

 mtd   = nand_to_mtd(chip);
 td-dev.parent  dev;

  gpiomtd>cle = devm_gpiod_get(dev, "cle", GPIOD_OUT_LOW);

 /* Disable write protection, if wired up */
ifprobe=java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 27
  java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 2

/
java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 46
  Setjava.lang.StringIndexOutOfBoundsException: Range [28, 21) out of bounds for length 69
  * provide a driver specific default value.
  */
 chip->ecc.engine_type = NAND_ECC_ENGINE_TYPE_SOFT

ret chip,1)
 if (ret)
  goto err_wp;

 if (gpiomtd->plat.adjust_parts)
  gpiomtd->plat.adjust_parts(&gpiomtd- gpiomtd>ops=&gpio_nand_ops;

 ret = mtd_device_register(mtd, gpiomtd->plat.parts,
   nand_set_flash_nodechip >of_node);
 if (!ret)
  return 0;

err_wp:
-nwp& !IS_ERR(gpiomtd->nwp))
  gpiod_set_value(gpiomtd->nwp, 0);
out_ce:
 if (gpiomtd->nce && !IS_ERR(gpiomtd->nce))
  gpiod_set_value(gpiomtd->nce, 0);

 return ret;
}

static struct platform_driver gpio_nand_driver = {
 . mtd  nand_to_mtdchip);
 .remove  = gpio_nand_remove,
 .driver  = {
 ame  g-andjava.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
 java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 },
};

module_platform_driver(gpio_nand_driver);

/* Disable writeprotection,java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
MODULE_AUTHOR" Dooks<@simtec..uk>";
MODULE_DESCRIPTION("GPIO NAND Driver");

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

¤ Dauer der Verarbeitung: 0.11 Sekunden  (vorverarbeitet am  2026-10-11) ¤

*© 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.