Build and deploy odoc documentation

Workflow runs for Build and deploy odoc documentation

• CHB:ARM: add support for VFMA/VFMS instructions

  failed:
  Build and deploy odoc documentation#147:Commit8797d6bpushedbysipma
  master

  Oct 2, 20263m 4s
  More actions for workflow run 147

• CHB: support excluding functions when functions are included.

  failed:
  Build and deploy odoc documentation#146:Commit616b8c3pushedbysipma
  master

  Oct 2, 20263m 0s
  More actions for workflow run 146

• CHB:ARM: add disassembly-level callgraph

  failed:
  Build and deploy odoc documentation#145:Commit06b700bpushedbysipma
  master

  Oct 1, 20265m 45s
  More actions for workflow run 145

• CHB:ARM: fix substitution in context rewriting

  failed:
  Build and deploy odoc documentation#144:Commit42f9bbdpushedbysipma
  master

  Sep 16, 20262m 51s
  More actions for workflow run 144

• CHB:disable reading back fragment membership

  failed:
  Build and deploy odoc documentation#143:Commitf1fffb4pushedbysipma
  master

  Sep 10, 20265m 28s
  More actions for workflow run 143

• CHB: override default parameter type

  failed:
  Build and deploy odoc documentation#142:Commit88b0709pushedbysipma
  master

  Aug 18, 20265m 29s
  More actions for workflow run 142

• CHB:ARM:wide operation sequences

  failed:
  Build and deploy odoc documentation#141:Commit0e24497pushedbysipma
  master

  Aug 3, 20265m 28s
  More actions for workflow run 141

• CHB: generate proof obligations from postconditions

  failed:
  Build and deploy odoc documentation#140:Commitf8d939apushedbysipma
  master

  Jul 3, 20262m 42s
  More actions for workflow run 140

• CHB: externalize stack parameters

  failed:
  Build and deploy odoc documentation#139:Commitce00cbbpushedbysipma
  master

  Jul 1, 20262m 23s
  More actions for workflow run 139

• CHB: add po discharge for trusted-os-cmd-fmt-arg-string

  failed:
  Build and deploy odoc documentation#138:Commit85c811epushedbysipma
  master

  Jun 26, 20262m 32s
  More actions for workflow run 138

• CHB: make formatstring recording persistent

  failed:
  Build and deploy odoc documentation#137:Commit8c9d747pushedbysipma
  master

  Jun 19, 20262m 27s
  More actions for workflow run 137

• CHC: update PO generation for Div and Mod

  failed:
  Build and deploy odoc documentation#136:Commit64b58b4pushedbysipma
  master

  Jun 19, 20262m 28s
  More actions for workflow run 136

• CHB: update version

  failed:
  Build and deploy odoc documentation#135:Commit300d114pushedbysipma
  master

  Jun 18, 20262m 35s
  More actions for workflow run 135

• CHB: add precondition for restricted output-format string

  failed:
  Build and deploy odoc documentation#134:Commit5439c02pushedbysipma
  master

  Jun 15, 20262m 35s
  More actions for workflow run 134

• CHB: violation discharge for tainted string

  failed:
  Build and deploy odoc documentation#133:Commit352b1cbpushedbysipma
  master

  Jun 12, 20262m 23s
  More actions for workflow run 133

• CHC: allow for pointer types in lifting to api

  failed:
  Build and deploy odoc documentation#132:Commitf443b0epushedbysipma
  master

  Jun 8, 20262m 33s
  More actions for workflow run 132

• CHC: redo usual arithmetic conversions

  failed:
  Build and deploy odoc documentation#131:Commit1d8bd65pushedbysipma
  master

  Jun 7, 20262m 41s
  More actions for workflow run 131

• CHC: fixes Integer promotion rejection of enum operands (CodeHawk-C i…

  failed:
  Build and deploy odoc documentation#130:Commitfa7d96dpushedbysipma
  master

  Jun 5, 20262m 45s
  More actions for workflow run 130

• CHC: fixes Bool Integer Promotion Crash (CodeHawk-C Issue #69)

  failed:
  Build and deploy odoc documentation#129:Commit222e3e8pushedbysipma
  master

  Jun 4, 20262m 27s
  More actions for workflow run 129

• GIT: update compiler to 5.2.0 and remove makefiles workflow

  failed:
  Build and deploy odoc documentation#128:Commit9fc6ecdpushedbysipma
  master

  Jun 4, 20262m 26s
  More actions for workflow run 128

• CHB: update version

  failed:
  Build and deploy odoc documentation#127:Commitcf0e105pushedbysipma
  master

  May 28, 20262m 27s
  More actions for workflow run 127

• CHB:PO: delegate BlockWrite without external length term

  failed:
  Build and deploy odoc documentation#126:Commit2d42553pushedbysipma
  master

  May 27, 20265m 14s
  More actions for workflow run 126

• CHB: recognize function signature with varargs and printf/scanf forma…

  failed:
  Build and deploy odoc documentation#125:Commit568d90dpushedbysipma
  master

  Apr 21, 20262m 33s
  More actions for workflow run 125

• CHB:SUM: fix returntype for inet_addr

  failed:
  Build and deploy odoc documentation#124:Commit4afc104pushedbysipma
  master

  Apr 18, 20262m 26s
  More actions for workflow run 124

• Outputparameters (#237)

  failed:
  Build and deploy odoc documentation#123:Commit5a300fapushedbysipma
  master

  Apr 18, 20264m 30s
  More actions for workflow run 123