All pull requests

Pull requests

• Further extern cleanup

  #1760·Alasdair opened Oct 2, 2026Collaborator·

  ·
  1

• Support tuple types in theorem prover register naming

  #1759·bacam opened Oct 2, 2026Contributor·

  ·
  1

  1

• Lean: keep split-output module lists in sync

  #1754·tboser opened Sep 30, 2026·

  ·
  1

• Lean: make boolean & and | short-circuit with effectful operands

  #1750·zeldovich opened Sep 28, 2026·

  ·
  4

• Lean backend: add --lean-module-system for Lean's module system

  #1742·dtumad opened Sep 20, 2026·

  ·

• JIB compilation: use expected type for small integers

  #1739·bacam opened Sep 18, 2026Contributor·

  ·
  2

• lean: add match equation binders for termination measures

  #1673·nek0las opened May 5, 2026·

  ·

• fix(lean): Lean backend codegen and rewriting fixes

  #1656·quangvdao opened Apr 8, 2026·

  ·
  3

• Heavily refactor test suite (with Claude)

  #1640·Alasdair opened Mar 9, 2026Collaborator·

  ·

• [Lean] Update the ArchSem output to match the new free monad

  #1636·ineol opened Feb 28, 2026Collaborator·

  ·
  2

• fix Nonexec when mapping backwards with string append

  #1622·KotorinMinami opened Feb 13, 2026Contributor·

  ·
  1

• Lean: Fix an issue where fp_bits compilation was skipped in the float library

  #1617·nek0las opened Jan 30, 2026·

  ·
  4

• Move Sail Isla plugin into main repository

  #1605·Alasdair opened Jan 16, 2026Collaborator·

  ·
  3

• Support snapshotting model state (WIP)

  #1602·Timmmm opened Jan 12, 2026Contributor·

  ·
  1

• Add JSON backend

  #1582·wxrdnx opened Dec 22, 2025·

  ·
  1

• Remove platform_barrier

  #1574·Timmmm opened Dec 17, 2025Contributor·

  ·
  3

• Feature: Add naming convention warnings (--naming-check flag)

  #1571·TinyuengKwan opened Dec 15, 2025·

  ·
  1

  15

• WIP: Convert C tests to pytest

  #1538·arichardson opened Oct 28, 2025Contributor·

  ·
  5

• Add location to all assertion strings

  #1461·Timmmm opened Sep 22, 2025Contributor·

  ·
  1

  8

• delete fast_update_subrange

  #1431·KotorinMinami opened Aug 27, 2025Contributor·

  ·

• Bump cJSON version.

  #1389·Arielfoever opened Jul 18, 2025Contributor·

  ·
  3

• Support formatting sail code via stdin

  #1375·trdthg opened Jul 11, 2025Contributor·

  ·
  1

• add float_sub_internal implement

  #1371·KotorinMinami opened Jul 4, 2025Contributor·

  ·

• Add syntax for SystemVerilog style part selects

  #1354·Alasdair opened Jun 17, 2025Collaborator·

  ·
  1

• Improve concat_str C implementation

  #1350·Timmmm opened Jun 12, 2025Contributor·

  ·
  5