Skip to content

Doc: add list of simulation for script_ir_translator

Guillaume Claret requested to merge guillaume-claret@add-status-simulations into master

Similar to the list of compare proofs, but for the simulations in Script_ir_translator.v:

image

Edited by Guillaume Claret

Merge request reports