minirust

minirust copied to clipboard

minimize: Coercion of `FnPtr` bug

1

```rust fn f() {} fn main() { let _p = f as fn(); } ``` The local `_p` is translated to type `Ptr(FnPtr(Rust))` while `f as fn()` is translated to...

bifbof

This is basically a 4-byte integer type, but with a particular validity invariant: in must be in the range `0..=0x10FFFF`, and *not* in the range `0xD800..=0xDFFF`.

RalfJung

Initial ideas for Trait Objects and VTables

2

This PR contains some of the provisional changes and open questions for Trait Objects and VTables. This is the first move towards the extension goals of my project. I think...

Indeximal

In some slice or string tests I ran into this rvalue. I have also partly implemented this in https://github.com/minirust/minirust/pull/240/commits/3e41862eb2b2e24acc1cd880d8231be20338a0fc. However, the current function architecture does not allow to properly check...

Indeximal

Currently, it is the wrong way around, which means we have a *unique* address for each function -- that doesn't match real Rust.

RalfJung

Refactor size and alignment into layoutstrategy

1

Since for structs with a trait object tail, the size cannot be known without knowing the align, having separate Align and Size strategies does not work. Therefore this PR prepares...

Indeximal

Add support for `size_of_val` and `align_of_val`

6

sun-jacobi

MiniRust programs need to be able to write to stdout/stderr. However, it is a bit unclear what the interpreter should do when the intrinsic is executed. In Coq, this should...

RalfJung