diff options
author | Raito Bezarius | 2024-04-17 16:50:16 +0200 |
---|---|---|
committer | Raito Bezarius | 2024-04-17 16:50:16 +0200 |
commit | fb9a1e93c2163b170979523f9a0cae90b472a16c (patch) | |
tree | 4eb596d939fa2e08e5bd1e0c4e62b35dff528dbe /Verification | |
parent | 945c630ec18e282bd0db731fb3f0b521e99de059 (diff) |
feat: factor everything in `OrdSpecRel`
Now, we speak only about equivalence.
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to 'Verification')
0 files changed, 0 insertions, 0 deletions