Labels

• Formal

  Issue concerning formal specification
• Imp

  C implementation
• Informal

  Issue concerning informal specification
• NumAcc

  Issue concerning the specification / analysis of numerical accuracy
• Other
• Test

  Issue concerning testing
• TLSE WG

  Working group meeting periodically in Toulouse (France)