Issues

• LSP: dependency changes leave open documents with stale results

  rems-project/sail#1787 · Filter by author symbiogenesis opened on Oct 20, 2026

• --smt: "Function ... not found" for a function called only from a termination_measure

  rems-project/sail#1771 · Filter by author dreamqin68 opened on Oct 10, 2026

• --smt with --strict-bitvector: type specialization at bits('m) drops the caller's constraint on 'm

  rems-project/sail#1770 · Filter by author dreamqin68 opened on Oct 10, 2026

• Typechecker cannot unify across a multiplication

  rems-project/sail#1768 · Filter by author pmundkur opened on Oct 9, 2026
  4

• Why is == on a newtype wrapping bits resolved to eq_anything instead of eq_bits?

  rems-project/sail#1682 · Filter by author rez5427 opened on Jun 5, 2026
  1

• Add backends generator for compiler/simulator plugin description

  rems-project/sail#1677 · Filter by author rjiejie opened on May 26, 2026
  5

• Stack overflow building RISC-V model (OCaml 4.14.2)

  rems-project/sail#1674 · Filter by author arichardson opened on May 9, 2026
  1

• More efficient implementation of read_mem (lib/rts.c)

  rems-project/sail#1671 · Filter by author xokdvium opened on May 2, 2026
  3

• Lean termination proofs with matching on tuples

  rems-project/sail#1659 · Filter by author bacam opened on Apr 9, 2026

• Segfault with weird register initialisation code

  rems-project/sail#1653 · Filter by author Timmmm opened on Apr 6, 2026
  2

• Strange flow typing failure

  rems-project/sail#1652 · Filter by author Timmmm opened on Apr 3, 2026

• C backend uses sail_int for integers above 2^63

  rems-project/sail#1651 · Filter by author Timmmm opened on Apr 2, 2026

• Compile scattered functions into separate functions and call them directly when parameter is known at compile time

  rems-project/sail#1647 · Filter by author Timmmm opened on Mar 29, 2026
  4

• Type inferred for unsigned(0x10) is less precise than 16

  enhancement
  rems-project/sail#1643 · Filter by author Timmmm opened on Mar 17, 2026
  1

• Support model snapshot - save & restore state

  rems-project/sail#1642 · Filter by author Timmmm opened on Mar 16, 2026

• SV backend: bvashr applies signed' to shift amount instead of data operand

  bugSystemVerilog
  rems-project/sail#1632 · Filter by author cwfletcher opened on Feb 25, 2026

• Constructs to omit content from generated documentation

  rems-project/sail#1619 · Filter by author pmundkur opened on Feb 3, 2026
  1

• Coq backend ignores is_fp_bits constraint

  rems-project/sail#1612 · Filter by author nek0las opened on Jan 27, 2026
  3

• Windows: rts.c uses getopt

  rems-project/sail#1587 · Filter by author Timmmm opened on Dec 31, 2025

• Windows: sail.c uses CLOCK_REALTIME

  rems-project/sail#1586 · Filter by author Timmmm opened on Dec 31, 2025
  2

• --instantiate does not take effect

  rems-project/sail#1585 · Filter by author msuadOf opened on Dec 25, 2025
  1

• String mappings don't work in forwards/backwards mapping clauses

  bug
  Bug

  rems-project/sail#1577 · Filter by author Timmmm opened on Dec 19, 2025

• Optional modules

  enhancement
  Feature

  rems-project/sail#1576 · Filter by author Timmmm opened on Dec 19, 2025
  1

• Problem with SMT and for loops

  rems-project/sail#1575 · Filter by author rmn30 opened on Dec 18, 2025

• Feature Request: Add configurable naming convention lints/warnings

  rems-project/sail#1567 · Filter by author TinyuengKwan opened on Dec 13, 2025
  2