Latest

Workflow runs for Latest

• Makefile: improve setup-build action

  completed successfully:
  Latest#172:Commite276a3fpushedbyxavierleroy
  master

  Oct 11, 20266m 40s
  More actions for workflow run 172

• Update test/ submodule

  completed successfully:
  Latest#171:Commit2bd5135pushedbyxavierleroy
  master

  Oct 11, 20266m 39s
  More actions for workflow run 171

• AArch64: wrong size estimate for Ploadsymbol

  completed successfully:
  Latest#170:Commit997d17bpushedbyxavierleroy
  master

  Oct 9, 20266m 50s
  More actions for workflow run 170

• configure: bump minimal OCaml version to 4.07

  completed successfully:
  Latest#169:Commit4245db1pushedbyxavierleroy
  master

  Oct 9, 20266m 49s
  More actions for workflow run 169

• Delete test file

  completed successfully:
  Latest#168:Commit7e98079pushedbym-schmidt
  master

  Oct 6, 202613m 7s
  More actions for workflow run 168

• Fixes Issue #606

  completed successfully:
  Latest#167:Commit864bfc1pushedbym-schmidt
  master

  Oct 6, 20266m 22s
  More actions for workflow run 167

• Avoid linear AST expansion for local array initializers

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

  Oct 4, 2026-1s
  More actions for workflow run 166

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

  completed successfully:
  Latest#165:Commit6721d7epushedbyxavierleroy
  master

  Oct 2, 20266m 21s
  More actions for workflow run 165

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

  completed successfully:
  Latest#164:Commit66a9fd0pushedbyxavierleroy
  master

  Sep 29, 202610m 31s
  More actions for workflow run 164

• Ignore unknown pragmas during lexing (#597)

  completed successfully:
  Latest#163:Commit1eac8e8pushedbyxavierleroy
  master

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

• Keep Events.meminj_preserve_globals for backward compatibility

  completed successfully:
  Latest#162:Commit74cbdbfpushedbyxavierleroy
  master

  Sep 24, 20266m 46s
  More actions for workflow run 162

• Latest

  completed successfully:
  Latest#161:Manually runbyxavierleroy
  meminj_preserves_globals

  Sep 24, 20267m 3s
  More actions for workflow run 161

• Recognize dense switch statements involving negative and positive cases.

  completed successfully:
  Latest#160:Pull request#598openedbyxavierleroy
  signed-switch

  Sep 21, 20266m 57s
  More actions for workflow run 160

• Ignore unknown pragmas during lexing

  completed successfully:
  Latest#159:Pull request#597openedbyxavierleroy
  remove-pragmas-early

  Sep 21, 20266m 47s
  More actions for workflow run 159

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

  completed successfully:
  Latest#158:Commitbd2b382pushedbyxavierleroy
  master

  Sep 17, 20269m 12s
  More actions for workflow run 158

• __builtin_memcpy_aligned for large blocks

  completed successfully:
  Latest#157:Pull request#596openedbyxavierleroy
  big-memcpy-fixes

  Sep 14, 20267m 40s
  More actions for workflow run 157

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

  completed successfully:
  Latest#156:Commit59b4733pushedbyxavierleroy
  master

  Sep 14, 20266m 52s
  More actions for workflow run 156

• Updates for release 3.18

  completed successfully:
  Latest#155:Commit1154e1fpushedbyxavierleroy
  master

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

• Update CompCert version to match latest release

  completed successfully:
  Latest#154:Commit8135de0pushedbym-schmidt
  master

  Sep 3, 20266m 31s
  More actions for workflow run 154

• Changelog rewording

  completed successfully:
  Latest#153:Commit14d6160pushedbyxavierleroy
  master

  Aug 27, 20266m 57s
  More actions for workflow run 153

• RISC-V Pbtbl pseudoinstruction: use x6 as temporary

  completed successfully:
  Latest#152:Commitc373ea1pushedbyxavierleroy
  master

  Aug 27, 20267m 8s
  More actions for workflow run 152

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

  completed successfully:
  Latest#151:Commit77ef757pushedbyxavierleroy
  master

  Aug 27, 202611m 11s
  More actions for workflow run 151

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

  completed successfully:
  Latest#150:Commit5074eccpushedbyxavierleroy
  master

  Aug 27, 20266m 51s
  More actions for workflow run 150

• Stricter formal semantics for free

  completed successfully:
  Latest#149:Pull request#592synchronizebyxavierleroy
  free-inject

  Aug 27, 20267m 15s
  More actions for workflow run 149

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

  completed successfully:
  Latest#148:Commitad4934apushedbyxavierleroy
  master

  Aug 27, 20267m 9s
  More actions for workflow run 148