rems-project/sail

Issues

• sail -doc failing

  #800 opened a month ago by wmat
  2

• Remove zlib dependency

  #798 opened a month ago by Timmmm
  2

• Morello model no longer builds with sail 0.18

  #793 opened a month ago by arichardson
  2

• Flaky macOS CI

  #790 opened a month ago by Alasdair
  0

• How to use the z3_problem file

  #785 opened a month ago by trdthg
  2

• sail -smt very slow to generate.

  #783 opened a month ago by nwf
  8

• SMT generation type checker bug/todo?

  #781 opened a month ago by nwf
  1

• TC: overly terse type checking failure message with bitvector mappings

  #775 opened a month ago by nwf
  2

• "Accidentally quadratic" behavior in typechecker?

  #771 opened a month ago by nwf
  3

• Conditional bitfields?

  #767 opened 2 months ago by Timmmm
  1

• Make string conversion functions mappings

  #768 opened 2 months ago by Timmmm
  0

• Why mapping doesn't take function

  #758 opened 2 months ago by rez5427
  2

• not function in float/common.sail should be in prelude.sail?

  #748 opened 2 months ago by Timmmm
  2

• Broken link in sailcov README

  #739 opened 3 months ago by moraguma
  2

• Ability to solve implicit sizes in bitvector concatenation

  #746 opened 2 months ago by Timmmm
  2

• Sail dislikes the arm-v9.4-a spec ("Fatal error: exception Stack overflow")

  #737 opened 3 months ago by Trolldemorted
  7

• How to use the REPL mode of sail?

  #742 opened 2 months ago by wanghuibin0
  3

• The ability to generate a C library was lost in recent versions

  #720 opened 3 months ago by julienfreche
  9

• Sail dislikes the arm-v8.5-a spec ("pow2 cannot be defined as an overload, as it is already bound")

  #735 opened 3 months ago by Trolldemorted
  0

• Dockerfile.nightly fails to build on default branch ("Missing dependency: sail_lean_backend")

  #733 opened 3 months ago by Trolldemorted
  6

• JSON backend

  #732 opened 3 months ago by wxrdnx
  3

• SystemVerilog Generation from Sail-RISC-V Description Hangs or Crashes

  #728 opened 3 months ago by NicolasVanPhan
  6

• hex_str doesn't convert negative numbers correctly

  #725 opened 3 months ago by Timmmm
  2

• Use implicit convention for extern function names?

  #681 opened 4 months ago by Timmmm
  3

• Undocumented concepts: "type", "enum", "struct", "union"

  #606 opened 6 months ago by ThinkOpenly
  4

• Support "or" patterns - multiple patterns for one match branch

  #691 opened 4 months ago by Timmmm
  1

• SMT backend: performance issues when composing types and mappings

  #689 opened 4 months ago by PRugg-Cap
  10

• Scattered clauses allowed after `end`?

  #697 opened 4 months ago by Timmmm
  5

• Sail binary release download location

  #653 opened 4 months ago by jordancarlin
  8

• SMT backend: issue with option types

  #683 opened 4 months ago by PRugg-Cap
  4

• SMT backend: generated SMT files have very long lines

  #682 opened 4 months ago by PRugg-Cap
  3

• Clarify bidirectional mapping clause restrictions

  #651 opened 5 months ago by ThinkOpenly
  0

• SMT backend: struct bitvector length problems

  #679 opened 4 months ago by PRugg-Cap
  1

• SMT backend: struct getter generates "zUNKNOWN"

  #668 opened 4 months ago by PRugg-Cap
  5

• SMT backend: Unrecognised function update_fbits

  #667 opened 4 months ago by PRugg-Cap
  2

• Inferred type of modulus is a bit odd?

  #663 opened 4 months ago by Timmmm
  7

• Built in 2^ operator requires spaces

  #657 opened 4 months ago by Timmmm
  1

• (Maybe) Allow space in empty tuple

  #649 opened 5 months ago by trdthg
  1

• Can't resolve quantifiers for int_power but it works for ^

  #656 opened 5 months ago by Timmmm
  4

• Reading binary files.

  #650 opened 5 months ago by kodyvajjha
  3

• sailcov warnings with mapping

  #639 opened 5 months ago by rmn30
  4

• Fmt report 'Could not find type constructor bits' on `bitfield Xxx : bits(32) = {`

  #632 opened 5 months ago by trdthg
  1

• Type check error with recent dev Sail

  #611 opened 6 months ago by rmn30
  5

• Internal Error for System Verilog Target

  #624 opened 6 months ago by zhanghongce
  2

• Enum_function's syntax

  #629 opened 5 months ago by trdthg
  2

• Operator's rule makes its parsing disjointed with comment

  #627 opened 6 months ago by trdthg
  1

• Fatal error with sail coverage

  #616 opened 6 months ago by marnovandermaas
  6

• operators are not documented

  #605 opened 6 months ago by ThinkOpenly
  1

• "Accessing and updating vectors" using `with` should be expanded

  #604 opened 6 months ago by ThinkOpenly
  1

• Merge union into enum?

  #598 opened 6 months ago by Timmmm
  3