Alex Beregszaszi

This works depends on #543. The goal is to support compilation on Windows using MSVC, with C++20 mode enabled: - [ ] Adjust CMake - [ ] Adjust CircleCI to...

`fizzy-bench` aka `test/bench/bench.cpp` currently requires all the inputs and outputs to be integers. Extend this to support floating point. This also needs changes in `test/utils/wasm_engine.hpp` and its implementations. This part...

Currently Fizzy is strictly little-endian only and considering our main target markets that seems to be appropriate. However for completeness (and supporting many MIPS devices) it may make sense considering...

@chfast suggested we use sphinx/readthedocs, but we may as well just use markdown in the `docs` directory. Here's an idea on general layout: - Introduction (what is fizzy, why, etc.)...

See https://github.com/wasmx/fizzy/pull/484#discussion_r471609731

Consider implementing a 'strict/"most determinstic" floating point' mode

1

This would mean to return the canonical NaN (which is subset of the arithmetic NaNs) in every case where the spec allows for non-canonical NaNs.

Add tool which translates floating point expectations to binary constants

1

From https://github.com/wasmx/fizzy/pull/477#discussion_r469476129. This could work similar to how wast2wasm4cpp works.

Some examples we have considered already to restrict: - number of locals and of function parameters (and its effect of indexes for `locals.get/set/tee`) - number of labels See [section 7.2.1...

Gas costs are still set at Homestead. Need to apply Spurious Dragon and Tangerine Whistle changes.

See https://github.com/ethereum/cpp-ethereum/commit/7a13f82e84576f0561e5fd11e464d688250c9206