minirust/minirust

Issues

• Some TerminatorKind are silently ignored

  #172 opened 4 months ago by RalfJung
  1

• Add missing operators

  #186 opened 4 months ago by RalfJung
  6

• raw_eq intrinsic is not supported

  #176 opened 4 months ago by RalfJung
  1

• Minimize: cache type minimization

  #161 opened 5 months ago by essickmango
  0

• Add more intrinsics

  #12 opened 2 years ago by RalfJung
  3

• Build our own standard library

  #175 opened 7 months ago by RalfJung
  2

• Minitest: make writing tests more ergonomic

  #160 opened 6 months ago by RalfJung
  1

• Tuple comparison minimizes to MiniRust code that isn't well-formed.

  #157 opened 6 months ago by essickmango
  1

• Better errors when well-formedness check fails

  #164 opened 6 months ago by RalfJung
  1

• Return Type mismatch

  #116 opened 7 months ago by EnderGnar
  3

• Minimize: restructure `ConstValue` minimization

  #158 opened 7 months ago by essickmango
  2

• Support "return place forwarding" optimization

  #65 opened 2 years ago by RalfJung
  1

• Turn globals into places?

  #125 opened 7 months ago by RalfJung
  1

• Minimize: when it fails, print which statement/terminator in which function we were minimizing

  #163 opened 7 months ago by RalfJung
  1

• Make sure GetDiscriminant and SetDiscriminant are UB for uninhabited variants

  #179 opened 7 months ago by RalfJung
  0

• In SetDiscriminant, validate that a subsequent GetDiscriminant produces the right result

  #178 opened 7 months ago by RalfJung
  0

• Implement support for unwinding

  #177 opened 7 months ago by RalfJung
  0

• Typecheck intrinsics in well-formedness?

  #173 opened 8 months ago by RalfJung
  3

• enums in unions trigger "unsupported" error

  #167 opened 8 months ago by RalfJung
  12

• Support enums

  #10 opened 8 months ago by RalfJung
  5

• Refactor: make translation functions methods on `Ctxt`/`FnCtxt`

  #159 opened 8 months ago by RalfJung
  1

• Don't put the debug representation of a type into UB messages

  #156 opened 9 months ago by RalfJung
  0

• Resolve "destructive load", refactor argument passing

  #85 opened a year ago by RalfJung
  6

• Global memory can be deallocated

  #117 opened 2 years ago by RalfJung
  0

• Support for CHERI

  #32 opened 2 years ago by RalfJung
  7

• Support arbitrary-sized integers

  #8 opened 2 years ago by RalfJung
  0

• Support arbitrary-sized tuples

  #9 opened 2 years ago by RalfJung
  0

• Specify the non-determinism in more detail

  #23 opened 2 years ago by RalfJung
  0

• Ensure that pattern matching is indeed exhaustive

  #21 opened 2 years ago by RalfJung
  0

• There is already a mini rust, it called Zig language

  #18 opened 2 years ago by cnmade
  1

• PlaceExpr::check() for Deref place expressions

  #13 opened 2 years ago by mattheww
  1

• Remove `align` from `MemoryInterface::Store`, `MemoryInterface::Load`, `PlaceType`, etc.

  #5 opened 2 years ago by JakobDegen
  14

• Storage statements and deallocating locals on return

  #4 opened 2 years ago by JakobDegen
  26

• Take into accout call ABI

  #2 opened 2 years ago by RalfJung
  5

• Monotonicity wrt provenance?

  #3 opened 2 years ago by RalfJung
  0

• Support unsized types

  #1 opened 3 years ago by RalfJung
  0