Skip to content

Prelinked bytecode with 32-bit Clean

Clean Importer requested to merge prelinked-bytecode-with-32-bit-clean into master

This adds support to 32-bit Clean for creating graphs for prelinked interpretation (i.e. wasm). This is needed for https://gitlab.science.ru.nl/clean-and-itasks/iTasks-SDK/-/issues/386.

To do:

  • Support Real values in the graph   delayed to #92.
  • Support String values in the graph.
  • Support backreferences in the graph.
  • Check that this still works on 64-bit.
Edited by Clean Importer

Merge request reports