Oldest

Workflow runs for Oldest

• Makefile: improve setup-build action

  completed successfully:
  Oldest#167:Commite276a3fpushedbyxavierleroy
  master

  Oct 11, 20265m 13s
  More actions for workflow run 167

• Update test/ submodule

  failed:
  Oldest#166:Commit2bd5135pushedbyxavierleroy
  master

  Oct 11, 20264m 2s
  More actions for workflow run 166

• AArch64: wrong size estimate for Ploadsymbol

  completed successfully:
  Oldest#165:Commit997d17bpushedbyxavierleroy
  master

  Oct 9, 20267m 0s
  More actions for workflow run 165

• configure: bump minimal OCaml version to 4.07

  completed successfully:
  Oldest#164:Commit4245db1pushedbyxavierleroy
  master

  Oct 9, 20265m 57s
  More actions for workflow run 164

• Delete test file

  completed successfully:
  Oldest#163:Commit7e98079pushedbym-schmidt
  master

  Oct 6, 202612m 45s
  More actions for workflow run 163

• Fixes Issue #606

  completed successfully:
  Oldest#162:Commit864bfc1pushedbym-schmidt
  master

  Oct 6, 20268m 7s
  More actions for workflow run 162

• Avoid linear AST expansion for local array initializers

  requires action with the application:
  Oldest#161:Pull request#603openedbyadmkopec
  admkopec:fix/local-array-initializer-expansion

  Oct 4, 2026Action required
  More actions for workflow run 161

• cparser/Env: testing whether two Env.t define the same types

  completed successfully:
  Oldest#160:Commit6721d7epushedbyxavierleroy
  master

  Oct 2, 20268m 2s
  More actions for workflow run 160

• Merge pull request #598 from AbsInt/signed-switch

  completed successfully:
  Oldest#159:Commit66a9fd0pushedbyxavierleroy
  master

  Sep 29, 20267m 44s
  More actions for workflow run 159

• Ignore unknown pragmas during lexing (#597)

  completed successfully:
  Oldest#158:Commit1eac8e8pushedbyxavierleroy
  master

  Sep 29, 20266m 51s
  More actions for workflow run 158

• Keep Events.meminj_preserve_globals for backward compatibility

  completed successfully:
  Oldest#157:Commit74cbdbfpushedbyxavierleroy
  master

  Sep 24, 20266m 47s
  More actions for workflow run 157

• Oldest

  completed successfully:
  Oldest#156:Manually runbyxavierleroy
  meminj_preserves_globals

  Sep 24, 20266m 37s
  More actions for workflow run 156

• Recognize dense switch statements involving negative and positive cases.

  completed successfully:
  Oldest#155:Pull request#598openedbyxavierleroy
  signed-switch

  Sep 21, 20269m 14s
  More actions for workflow run 155

• Ignore unknown pragmas during lexing

  completed successfully:
  Oldest#154:Pull request#597openedbyxavierleroy
  remove-pragmas-early

  Sep 21, 20267m 20s
  More actions for workflow run 154

• Merge pull request #596 from AbsInt/big-memcpy-fixes

  completed successfully:
  Oldest#153:Commitbd2b382pushedbyxavierleroy
  master

  Sep 17, 20266m 50s
  More actions for workflow run 153

• __builtin_memcpy_aligned for large blocks

  completed successfully:
  Oldest#152:Pull request#596openedbyxavierleroy
  big-memcpy-fixes

  Sep 14, 20266m 46s
  More actions for workflow run 152

• Introduce and use Senv.inject, Genv.inject, Val.inject_ptr_flat (#593)

  completed successfully:
  Oldest#151:Commit59b4733pushedbyxavierleroy
  master

  Sep 14, 20266m 40s
  More actions for workflow run 151

• Updates for release 3.18

  completed successfully:
  Oldest#150:Commit1154e1fpushedbyxavierleroy
  master

  Sep 12, 20266m 57s
  More actions for workflow run 150

• Update CompCert version to match latest release

  completed successfully:
  Oldest#149:Commit8135de0pushedbym-schmidt
  master

  Sep 3, 20266m 39s
  More actions for workflow run 149

• Changelog rewording

  completed successfully:
  Oldest#148:Commit14d6160pushedbyxavierleroy
  master

  Aug 27, 20266m 36s
  More actions for workflow run 148

• RISC-V Pbtbl pseudoinstruction: use x6 as temporary

  completed successfully:
  Oldest#147:Commitc373ea1pushedbyxavierleroy
  master

  Aug 27, 20269m 3s
  More actions for workflow run 147

• Rocq warnings: address the new warning names introduced by Rocq Stdli…

  completed successfully:
  Oldest#146:Commit77ef757pushedbyxavierleroy
  master

  Aug 27, 202612m 9s
  More actions for workflow run 146

• Merge pull request #592 from AbsInt/free-inject

  completed successfully:
  Oldest#145:Commit5074eccpushedbyxavierleroy
  master

  Aug 27, 20268m 11s
  More actions for workflow run 145

• Stricter formal semantics for free

  completed successfully:
  Oldest#144:Pull request#592synchronizebyxavierleroy
  free-inject

  Aug 27, 20266m 45s
  More actions for workflow run 144

• Merge pull request #595 from AbsInt/x86_64-jmptbl

  completed successfully:
  Oldest#143:Commitad4934apushedbyxavierleroy
  master

  Aug 27, 20265m 57s
  More actions for workflow run 143