Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Update the simulation status script + add some axioms for simulations
Code
Review changes
Check out branch
Download
Patches
Plain diff
Guillaume Claret
requested to merge
guillaume-claret@update-simulations-view-and-add-axioms
into
master
May 27, 2022
Overview
0
Commits
2
Pipelines
3
Changes
5
Expand
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
Edited
May 27, 2022
by
Guillaume Claret
Merge request reports