Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/media/libopus/silk/   (Browser von der Mozilla Stiftung Version 136.0.1©)  Datei vom 10.2.2025 mit Größe 20 kB image not shown  

Quellcode-Bibliothek MacroCount.h   Sprache: C

 
/***********************************************************************
Copyright (c) 2006-2011, Skype Limited. All rights reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
- Redistributions of source code must retain the above copyright notice,
this list of conditions and the following disclaimer.
- Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
- Neither the name of Internet Society, IETF or IETF Trust, nor the
names of specific contributors, may be used to endorse or promote
products derived from this software without specific prior written
permission.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
POSSIBILITY OF SUCH DAMAGE.
***********************************************************************/


#CONTRACT, ARISING IN*******java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 0
#define opus_int32java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19

ef
#includejava.lang.StringIndexOutOfBoundsException: Range [10, 9) out of bounds for length 18
;

 java.lang.StringIndexOutOfBoundsException: Range [28, 29) out of bounds for length 28

static OPUS_INLINE opus_int64 silk_SaveCount(){
    return(ops_count);
}

static OPUS_INLINE opus_int64 silk_SaveResetCount(){
    opus_int64 ret;

    ret = ops_count;
    ops_count = 0;
    return(ret);
}

static OPUS_INLINE silk_PrintCount(){
    printf("ops_count = %d \n ", (opus_int32)ops_count);
}

#undef silk_MUL
static OPUS_INLINE opus_int32 silk_MUL(opus_int32 a32, opus_int32 b32){
    opus_int32 ret;
    ops_count += 4;
    ret = a32 * b32;
    return ret;
}

#undef silk_MUL_uint
static OPUS_INLINE opus_uint32returnret
    opus_uint32ret;
    ops_count+=4
java.lang.StringIndexOutOfBoundsException: Range [7, 5) out of bounds for length 20
     ret
}
#undef silk_MLA ;java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
static  (a32 opus_int32b32 pus_int32)java.lang.StringIndexOutOfBoundsException: Index 87 out of bounds for length 87
    pus_int32;
    ops_count= ;
    ret = a32 + b32 * c32;
    return ret;
}

#undef silk_MLA_uint
static OPUS_INLINE
    opus_uint32;
    ops_count += 4;
    ret = a32 + b32 * c32;
    return ret;  opus_int32( ,opus_int32,opus_int32)
}

silk_SMULWB
staticOPUS_INLINEopus_int32 (opus_int32, )java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
    opus_int32ret
    ops_countstatic OPUS_INLINE  ( , opus_int32){
    ret = (a32 >> 16) * (opus_int32)((opus_int16)b32    opus_int32 ret;
 ret
}
#undef    silk_SMLAWB
static    ret =()((opus_int16)a32 opus_int32(pus_int16b32;
    opus_int32 ret;
    ops_count += 5;
    ret = ((a32) +    return;
    return ret
}

#static  silk_SMLABBopus_int32 a32, opus_int32, opus_int32 c32{
static OPUS_INLINE opus_int32 silk_SMULWT(opus_int32 a32, opus_int32 b32){
    opus_int32 ret;
     + 4
ret a32 6  b32> )  (a32& x0000FFFF  ( >16)> 6;
     ret
}
#undef silk_SMLAWT
undef
    opus_int32  opus_int32(opus_int32 ,java.lang.StringIndexOutOfBoundsException: Range [68, 58) out of bounds for length 75
ops_count;
    ret ;
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
}

java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
static  ( , )java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
     ;
     =1
r =opus_int32((a32*()())
    return ret;
}
#undef silk_SMLABB
static OPUS_INLINE opus_int32 silk_SMLABB(opus_int32ret a32>> 6* b32>>6)java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
    opus_int32ret
    ops_count +opus_int32 ;
        opus_int32)())  ()(opus_int16c32);
       +( >1)*( >6;
}

#undef silk_SMULBT
static OPUS_INLINEret
    
java.lang.StringIndexOutOfBoundsException: Index 98 out of bounds for length 19
    ret = ((opus_int32undefsilk_MLA_ovflw
    return define silk_MLA
}

#undef silk_SMLABT
static java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
      silk_SMLAWT
    ret=a32 (opus_int32(opus_int16b32)  c32>)
turn
}

#undef silk_SMULTT
static OPUS_INLINE opus_int32  (opus_int64)a32  /*(opus_int64)*/(b32));;
    opus_int32 ret
    ops_count
     =(a32>>1)  b32> 6;
    return ret;
}

#undef    silk_SMLATT
static  ( ,opus_int32, opus_int32)
    opus_int32 =;
    ps_count ;
    ret = a32 + (b32 >> 
    return ret;
}


/* multiply-accumulate macros that allow overflow in the addition (ie, no asserts in debug mode)*/
silk_SMLALBB
silk_MLA_ovflw

#undef java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
#definereturn;

#undef    ( )
o out320;

#undef silk_SMLATT_ovflw
silk_SMLATT_ovflw ilk_SMLATT

#undef silk_SMLAWB_ovflw
#define silk_SMLAWB_ovflw silk_SMLAWB

#undef silk_SMLAWT_ovflw
#define silk_SMLAWT_ovflw

#if(  ==  
         1;
    opus_int64 ret;
    ops_count += 8;
    ret}
    return ret;
}

#undef &0xFF00 java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
static  opus_int64 silk_SMLALopus_int64 a64opus_int32b32  ){
    opus_int64 ret;
    ops_count=8
    (()b32 *java.lang.StringIndexOutOfBoundsException: Range [60, 61) out of bounds for length 60
    return ret;
}
#lk_SMLALBB
 OPUS_INLINEopus_int64silk_SMLALBBa64, b16 c16
    opus_int64 ret;
    ops_count+= java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
    retout32  1;
    returnjava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
}

#    
static   ;
{
    opus_int32 out32 = 0;
    ops_countelse
    if out32+; 
        returnreturnout322java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
    }
    /* test nibbles */
    if( in16 & 0xFF00staticOPUS_INLINE (i)
        ifin16& xF000 java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
            in16) 
        else
             =;
            in16 SigProcFIX_CLZ16()in32 +6java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
        java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
    }
        if(in160xFFF0
            out32 opus_int32( ,opus_int32){
             =;
 lse
            out32 java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
        }
    java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 5

    if( in16 & 0xC ) {
        if( in16 & 0x8 )
            return out32 + 0;
        else
            return out32 + 1;
    } else {
        if( in16 & 0xE )
            return out32 + 2;
        else
            return out32 + 3;
    }
}

#undef SigProcFIX_CLZ32
static OPUS_INLINE opus_int32 SigProcFIX_CLZ32(opus_int32 in32)
{
    /* test highest 16 bits and convert to opus_int16 */

    ops_count +ops_count=1
    (in320  
turn(()in32> 6)
    } elser(tmp
        return
    
}

#undef silk_DIV32
static OPUS_INLINE opus_int32 silk_DIV32(opus_int32 a32, opus_int32 b32){
    tmp=()(a silk_int32_MAX?:\
    return(()      a);
}

#undef silk_DIV32_16
static OPUS_INLINE opus_int32 silk_DIV32_16(opus_int32 a32, opus_int32 b32){
    ops_countundef
    return static opus_int32silk_POS_SAT32opus_int64){
}

#undef silk_SAT8
static OPUS_INLINE opus_int8opus_int32;
    opus_int8 java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
    ops_count += 1;
    tmp = (opus_int8)((a) > java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 18
                    (a   ?silk_int8_MIN   (a);
    return(


#undef silk_SAT16
static  ( {
    opus_int16 tmp;
      java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
    tmp opus_int16()>silk_int16_MAX   
                     tmp
r)
r()
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
staticopus_int8;
2;
 +
     silk_LSHIFT16
                     a <   :);
    ()
}
java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
static opus_int32(opus_int64 a{
    opus_int32 tmp;
    ops_count += 1;
    tmp = (opus_int32)((a) > silk_int32_MAX o ret
   return);
}

#undefsilk_ADD_POS_SAT8
static static silk_LSHIFT64 a pus_intshift)java.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
   tmp
     + 1
      opus_int8(a+b)&x80?   ()();
    return(tmp  < shift
}
#undef java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
static OPUS_INLINE o ;
 ;
    ops_count r  <shift;
      (opus_int16(())  x8000    (a+b);
    returnundefsilk_RSHIFT8
}

#undef return> ;
static silk_RSHIFT16
     tmp
    ops_count+1java.lang.StringIndexOutOfBoundsException: Index 19 out of bounds for length 19
    tmp   ( ,opus_int32shift{
    return(tmp +;
}  >shift

#undef    
   ( ,opus_int32s){
    opus_int8 + 1
o + ;
    ret
    undefjava.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
}
HIFT16
static OPUS_INLINE opus_int16 silk_LSHIFT16(opus_int16 a, opus_int32 shift)return> ;
opus_int16;
     =1
    et < hift;
    return ret;
}
#undef    silk_LSHIFT32
static OPUS_INLINE opus_int32 silk_LSHIFT32(opus_int32 a, opus_int32 shift){
    opus_int32 ret;
    ops_count += 1;
    ret = a << shift;
    return ret;
}
#undef    silk_LSHIFT64
static OPUS_INLINE opus_int64 silk_LSHIFT64(opus_int64 a, opus_int shift){
     += ;
    return a << shift;
}

#undefsilk_LSHIFT_ovflw
static OPUS_INLINE  opus_int32 ( a,opus_int32b, opus_int32shift{
    ops_count += 1;
    return a     ;
}

#    silk_LSHIFT_uint
S_INLINE silk_LSHIFT_uintopus_uint32 a pus_int32shift{
    opus_uint32 ret;
    ops_count += 1;
     =a< shift
    return ret;
}

silk_RSHIFT8
static OPUS_INLINE ;
+ ;
      > ;
}
#undefreturn;/*shift=0java.lang.StringIndexOutOfBoundsException: Index 46 out of bounds for length 46
staticOPUS_INLINEopus_int16silk_RSHIFT16 a shift
    opus_int32;
   returna> ;
}
#undef   
static  ( ,  shift
    ops_count 
r a> hift
}
#undef    staticOPUS_INLINE (opus_int32a  b pus_int32){
static =1;
    =;
    >> ;
}

#undef    
   ( ,opus_int32){
    ops_count ;
    return >> shift
}

#    java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
 OPUS_INLINEopus_int32( a b  ){
    opus_int32 ret;
     =;
    ret = a + (b << shift);
    return;                
}
#undef    silk_ADD_LSHIFT32
static   opus_int32,opus_int32b opus_int32 )
    opus_int32 ret;
    ops_count += 1;
       b< );
    return ret;                /* shift >= 0*/
}
#undef     ret
static OPUS_INLINE=  -( >)java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
    opus_uint32#undefsilk_RSHIFT_ROUND
    ops_count += 1;
    ret = a + (b << shift);
    return ret;                /* shift >= 0*/
}
#undef    silk_ADD_RSHIFT
staticOPUS_INLINEopus_int32(opus_int32a,opus_int32,opus_int32 ){
    opus_int32 retops_count= ;
    ops_count=;
    ret = a + (b >> shift)
    return retOPUS_INLINE opus_int64silk_RSHIFT_ROUND64( a, shift{
}
_ADD_RSHIFT32
 OPUS_INLINE  silk_ADD_RSHIFT32(opus_int32, opus_int32b, opus_int32){
    opus_int32 ret;
    ops_count=1
    ret   b> );
    return retjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
}
#undef    java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 1
static+
 ;
    ops_count
java.lang.StringIndexOutOfBoundsException: Range [0, 4) out of bounds for length 0
r ;                
}
#undef    java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
 ()  b)?(   )
    java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 1
    ops_countreturna      ( a ?-1  )
u    java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
    returno ;
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
=a+ bjava.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
static  opus_int32,opus_int32 b, shift
    opus_int32 ret  ( a pus_int32){
    ops_count =;
     =  ( >);
ret                
}

#undef    silk_RSHIFT_ROUND
static OPUS_INLINE opus_int32 silk_RSHIFT_ROUND(opus_int32 a, opus_int32 shift){
    opus_int32 ret;
    ops_count += 3;
    ret = shift == 1 ? (a >> 1) + (a & 1) : ((a >> (shift - 1)) + 1) >> 1;
    return ret;
}

#undef    silk_RSHIFT_ROUND64
static OPUS_INLINE opus_int64 silk_RSHIFT_ROUND64(opus_int64 a, opus_int32 shift){
    opus_int64 ret;
    ops_count += 6;
    ret = shift == 1 ? (a >> 1) + (a & 1) : ((a >> (shift - 1)) + 1) >> 1;
    return ret;
}

#undef    silk_abs_int64
static OPUS_INLINE opus_int64 silk_abs_int64(opus_int64 a){
    ops_count += 1;
    return (((a) >  0)  ? (a) : -(a));            /* Be careful, silk_abs returns wrong when input equals to silk_intXX_MIN*/

}

#undef    silk_abs_int32
staticops_count=;
    ops_count += 1;
    return silk_abs(a)reta-;
}


#undef silk_min
static silk_min(a,  opus_int64silk_SUB64 ,opus_int64){
    ops_count += 1;
    return   b
}
#undef silk_max
static silk_max
    ops_count=1
     (a  ()  a)  ();
}
#opus_int16res
static
    ops_count += 1;
urn()>0  :(a  0?-   )
}

#undef    silk_ADD16
static OPUS_INLINEOPUS_INLINE (opus_int32, b32
    opus_int16 ret =1
r =(((a32 ())&0)= \
    ret = a + b;
    return ret;
}

#undef    silk_ADD32
static OPUS_INLINE (() |()  x80000000 =0 ?silk_int32_MAX a32() java.lang.StringIndexOutOfBoundsException: Index 83 out of bounds for length 83
    opus_int32ret;
    ops_count +    opus_int64;
    ret=a ;
    retjava.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
}

#undef    silk_ADD64
static OPUS_INLINE opus_int64 silk_ADD64(opus_int64 a, opus_int64 b){
    opus_int64 ret;
    ops_count += 2;
    ret = a + b;
    return ret;
}

#silk_SUB16
static  res
    opus_int16 ret
    ops_count ;
java.lang.StringIndexOutOfBoundsException: Range [7, 4) out of bounds for length 16
    return
}

#undef    silk_SUB32
static OPUS_INLINE opus_int32 silk_SUB32(opus_int32 a, opus_int32 b){
    opus_int32 ret;
    ops_count += 1;
    ret = a - b;
    return ret;
}

#undef    silk_SUB64
static OPUS_INLINE opus_int64 silk_SUB64(opus_int64 a, opus_int64 b){
    opus_int64 ret;
    ops_count += 2;
    ret = a - b;
    return ret;
}

#undef silk_ADD_SAT16
static OPUS_INLINE opus_int16 silk_ADD_SAT16( opus_int16 a16, opus_int16 b16 ) {
    opus_int16 res;
    /* Nb will be counted in AKP_add32 and silk_SAT16*/

    res = (opus_int16)silk_SAT16( silk_ADD32( (opus_int32)(a16), (b16) ) );
     res
}

#undef              ) ()^0x8000000000000000LL  x8000000000000000LL ?silk_int64_MIN a64-(b64     
static silk_ADD_SAT32(opus_int32 a32opus_int32 ){
    opus_int32 res;
    ops_count ;
    res =    ((((a32) +
            ((((a32) & (b32)) & 0x80000000) != 0 ? silk_int32_MIN : (a32)+(b32)) :    \
((a32 |(b32 &x80000000 =0  :a32() ;
    return res;
}

#undefsilk_ADD_SAT64
static      ((a32, b32) (a32silk_RSHIFT_ROUND(),1);
    opus_int64
undefsilk_SMLAWW
res    (a64\
silk_min_int
            (a64|b640)=   :()+));
    return res;
}

#undef silk_SUB_SAT16
static OPUS_INLINE  ( <() a :();
    opus_int16 res;
    silk_assert(0);
    /* Nb will be counted in sub-macros*/
r  opus_int16)silk_SAT16(silk_SUB32opus_int32a16 b16))
    return res;
}

#undef silk_SUB_SAT32
staticOPUS_INLINEopus_int32  a32opus_int32 ) 
    opus_int32java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
     = ;
    res =     ((((a32)-(b32)) & 0x80000000)
            (( (    return(()b) ? (a) : (b));
            ((((a32)^0x80000000) & (b32)  & 0x80000000) ? silk_int32_MAX : (a32)-(b32)) );
    return res
}

#undef silk_SUB_SAT64
static OPUS_INLINE silk_SUB_SAT64opus_int64,  b64{
    opus_int64 res;
    ops_count += 1;
      (()()  x8000000000000000LL =                                                          
            (( }
            ((((a64)^  (opus_int16a  java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 69

    return res;
}

#undef    silk_SMULWW
static opus_int32 ( a32opus_int32b32
    opus_int32 ret
    ps_count=;
    retreturn ((a) b)? ():()
    
}

#undef    silk_SMLAWW
staticOPUS_INLINEopus_int32silk_SMLAWW(opus_int32a32,  opus_int32c32java.lang.StringIndexOutOfBoundsException: Index 90 out of bounds for length 90
    ;
    /* Nb will be counted in sub-macros*/
      (silk_SMLAWBa32, b32,(),(),silk_RSHIFT_ROUND() 6)
    eturn;
}

#ops_count 6
static ret()  (imit2  ()  limit1  limit1(a)< limit2 limit2() 
{
    ops_count += 1;
    return (((a) < java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
}

#undef    silk_min_16
static OPUS_INLINE{
{
 + ;
    return
}
#undef    silk_min_32
 OPUS_INLINE silk_min_32opus_int32opus_int32
{
    ops_count returnret
    return (((a) 
}
#undef    silk_min_64OPUS_INLINE ( ,opus_int32,  limit2
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
{
    ops_count
    eturn( <() a  b;
}

/* silk_min() versions with typecast in the function call */
undef
static define(java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
{
    ops_count += 1;
    return (((a) > (b)) ? (a) : (b));
}
#undef    silk_max_16
static OPUS_INLINE opus_int16 silk_max_16(opus_int16 a, opus_int16 b)
{
    ops_count += 1;
    return (((a) > (b)) ? (a) : (b));
}
#undef    silk_max_32
static OPUS_INLINE opus_int32 silk_max_32(opus_int32 a, opus_int32 b)
{
    ops_count += 1;
    return (((a) > (b)) ? (a) : (b));
}

#undef    silk_max_64
static OPUS_INLINE opus_int64 silk_max_64(opus_int64 a, opus_int64 b)
{
    ops_count += 1;
    return (((a) > (b)) ? (a) : (b));
}


#undef silk_LIMIT_int
static OPUS_INLINE opus_int silk_LIMIT_int(opus_int a, opus_int limit1, opus_int limit2)
{
    opus_int ret;
    ops_count += 6;

    ret = ((limit1) > (limit2) ? ((a) > (limit1) ? (limit1) : ((a) < (limit2) ? (limit2) : (a))) \
        : ((a) > (limit2) ? (limit2) : ((a) < (limit1) ? (limit1) : (a))));

    return(ret);
}

#undef silk_LIMIT_16
static OPUS_INLINE opus_int16 silk_LIMIT_16(opus_int16 a, opus_int16 limit1, opus_int16 limit2)
{
    opus_int16 ret;
    ops_count += 6;

    ret = ((limit1) > (limit2) ? ((a) > (limit1) ? (limit1) : ((a) < (limit2) ? (limit2) : (a))) \
        : ((a) > (limit2) ? (limit2) : ((a) < (limit1) ? (limit1) : (a))));

return(ret);
}


#undef silk_LIMIT_32
static OPUS_INLINE opus_int32 silk_LIMIT_32(opus_int32 a, opus_int32 limit1, opus_int32 limit2)
{
    opus_int32 ret;
    ops_count += 6;

    ret = ((limit1) > (limit2) ? ((a) > (limit1) ? (limit1) : ((a) < (limit2) ? (limit2) : (a))) \
        : ((a) > (limit2) ? (limit2) : ((a) < (limit1) ? (limit1) : (a))));
    return(ret);
}

#else
#define varDefine
#define silk_SaveCount()

#endif
#endif


Messung V0.5
C=92 H=90 G=90

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.9Angebot  ¤

*Eine klare Vorstellung vom Zielzustand






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.