Nick Furfaro

Not quite there yet, but I'm out of time for today. Currently failing to run e2e tests locally with: ``` Compiling should_fail/vec_swap_param2_out_of_bounds Compiled library "core". Compiled library "std". Compiled script...

Tests don't pass yet (and I need to add some more coverage) as we're waiting on the release of `fuel-core` `v0.10`. It would still be good to get some eyes...

Add support for configuration-time constants

3

We currently have `const` values which must be hardcoded. For values which can't be hardcoded, or are subject to change, we have `storage`. Configuration-time constants (in Solidity these are `immutable`...

No mutants killed

5

@JoranHonig Hello. Great work on this project. I've just started playing with it a bit on a fairly large codebase. I ran a full test (--sample-ratio = 1.0) last night,...

Consider adding a `cfe` instruction to the vm.

2

### Motivation While working to implement a `load_contract()` function for the stdlib, I need to wrap the `ldc` opcode. `ldc` requires that the stack be empty when used, or the...

Differentiate between `Address` and `ContractId` types

13

In the EVM, both contracts and EOAs have an `address`, and can largely be treated the same. In the FuelVM, an `Address` and a `ContractId` are not the same and...

Unclear behaviour around flags `F_WRAPPING` & `F_UNSAFEMATH`

4

>If the F_UNSAFEMATH flag is unset, an operation that would have set $err to true is instead a panic. >If the F_WRAPPING flag is unset, an operation that would have...

Revamped implementation of `send_message`

4

This updates the wrapper for the `smo` opcode to follow the example of the wrapper for the `tro` opcode (send_message_output()`). This can't really be tested untill SDK support (i.e: `append_message_output`)...

Extend support for Input::Message type fields in std::inputs

4

Also adds tests for untested functions currently in the stdlib.

Expose the `mlog` opcode in the stdlib.