DLR-FT/wasm-interpreter
View on GitHubdecide on whether we tolerate macros in the code
Open
#138 opened on Mar 14, 2025
help wanted
Repository metrics
- Stars
- (37 stars)
- PR merge metrics
- (PR metrics pending)
Description
There are a handful of macro_rules in the source. It is unclear whether macro_rules pose a problem to certification. Therefore, as a minimum requirement, each use of macro_rules should be trivial to be replaced by manually expanded code. Trivial meaning both trivial in amount of thinking for the expansion, and time consumed to do so (e.g. less than 10 minutes).