Skip to content

Update the simulation status script + add some axioms for simulations

Guillaume Claret requested to merge guillaume-claret@update-simulations-view-and-add-axioms into master
  • We also check for the correct ordering of the definitions
  • We check both the definition of simulations and proof of simulations
  • We generate all the status for the simulations on the same page
  • We add axioms (or definitions when it is short) for all the missing translator simulations

image

Edited by Guillaume Claret

Merge request reports