• Top
  • Documentation
  • Books
  • Boolean-reasoning
  • Projects
  • Debugging
  • Std
  • Proof-automation
  • Macro-libraries
  • ACL2
  • Interfacing-tools
  • Hardware-verification
  • Software-verification
    • Kestrel-books
      • Crypto-hdwallet
      • Apt
      • Error-checking
      • Fty-extensions
      • Isar
      • Kestrel-utilities
      • Soft
      • Bv
      • Imp-language
      • C
        • Syntax-for-tools
        • Atc
        • Language
          • Abstract-syntax
          • Integer-ranges
          • Dynamic-semantics
          • Static-semantics
          • Grammar
          • Integer-formats
          • Types
          • Portable-ascii-identifiers
          • Values
          • Integer-operations
          • Computation-states
          • Object-designators
          • Implementation-environments
          • Operations
            • Bitxor-values
            • Bitior-values
            • Bitand-values
            • Shr-values
            • Shl-values
            • Test-value
            • Sub-values
            • Rem-values
            • Mul-values
            • Lt-values
            • Le-values
            • Gt-values
            • Ge-values
            • Div-values
            • Add-values
            • Ne-values
            • Eq-values
            • Bitnot-value
            • Minus-value
            • Plus-value
            • Lognot-value
          • Errors
          • Tag-environments
          • Function-environments
          • Character-sets
          • Flexible-array-member-removal
          • Arithmetic-operations
          • Pointer-operations
          • Bytes
          • Keywords
          • Real-operations
          • Array-operations
          • Scalar-operations
          • Structure-operations
        • Representation
        • Transformation-tools
        • Pack
      • Event-macros
      • Java
      • Bitcoin
      • Ethereum
      • Yul
      • Zcash
      • ACL2-programming-language
      • Prime-fields
      • Json
      • Syntheto
      • File-io-light
      • Number-theory
      • Cryptography
      • Lists-light
      • Builtins
      • Axe
      • Solidity
      • Helpers
      • Htclient
      • Typed-lists-light
      • Arithmetic-light
    • X86isa
    • Axe
    • Execloader
  • Math
  • Testing-utilities

• Language

Operations

Operations on C values.

Subtopics

Bitxor-values

Apply ^ to values [C:6.5.11/2] [C:6.5.11/3] [C:6.5.11/4].

Bitior-values

Apply | to values [C:6.5.12/2] [C:6.5.12/3] [C:6.5.12/4].

Bitand-values

Apply & to values [C:6.5.10/2] [C:6.5.10/3] [C:6.5.10/4].

Shr-values

Apply >> to values [C:6.5.7/2] [C:6.5.7/3] [C:6.5.7/5].

Shl-values

Apply << to values [C:6.5.7/2] [C:6.5.7/3] [C:6.5.7/4].

Test-value

Test a value logically.

Sub-values

Apply binary - to values [C:6.5.5/3] [C:6.5.5/6].

Rem-values

Apply % to values [C:6.5.5/2] [C:6.5.5/3] [C:6.5.5/5] [C:6.5.5/6].

Mul-values

Apply binary * to values [C:6.5.5/2] [C:6.5.5/3] [C:6.5.5/4].

Lt-values

Apply < to values [C:6.5.8/2] [C:6.5.8/3] [C:6.5.8/6].

Le-values

Apply <= to values [C:6.5.8/2] [C:6.5.8/3] [C:6.5.8/6].

Gt-values

Apply > to values [C:6.5.8/2] [C:6.5.8/3] [C:6.5.8/6].

Ge-values

Apply >= to values [C:6.5.8/2] [C:6.5.8/3] [C:6.5.8/6].

Div-values

Apply / to values [C:6.5.5/2] [C:6.5.5/3] [C:6.5.5/5].

Add-values

Apply binary + to values [C:6.5.5/2] [C:6.5.5/5].

Ne-values

Apply != to values [C:6.5.9/2] [C:6.5.9/3] [C:6.5.9/4].

Eq-values

Apply == to values [C:6.5.9/2] [C:6.5.9/3] [C:6.5.9/4].

Bitnot-value

Apply ~ to a value [C:6.5.3.3/1] [C:6.5.3.3/4].

Minus-value

Apply unary - to a value [C:6.5.3.3/1] [C:6.5.3.3/3].

Plus-value

Apply unary + to a value [C:6.5.3.3/1] [C:6.5.3.3/2].

Lognot-value

Apply ! to a value [C:6.5.3.3/1] [C:6.5.3.3/5].