Review of Existing Wasm Semantics

[traiansf]

When reviewing the build infrastructure, please take a look at the Makefile. The build is currently not in master (it should be merged soon), but it will be available in the initial-ulm-hook-impl PR.

Action items:

• Fix prove tests #40
• Add ulm-wasm as a Target in the kdist plugin #44

[traiansf]

Requirements:

• a new-enough version of K (I used latest, did break on an earlier version)
• clang-16 (or 18).

After merging the change about not passing llvm-backend options to the haskell backend,

• make succeeds without issues.
• make ulm-wasm seems to additionally need CXX=clang++-16 (I tested and it seem to work well with CXX=clang++-18, too) in the environment (otherwise, on my machine, it gets some compilation error with the default CXX compiler).
  • make ulm-wasm reports a warning:
    warning: linking module flags 'Dwarf Version': IDs have conflicting values ('i32 5' from with 'i32 4' from )
• make ulm-contract-compiler works
• make test works well for running tests and for the first prove tests but breaks for the second
  doesn't expect a map (I assume these tests were written for the original wasm-semantics).