Equivalence checking: add option to specify weights, output resulting weights & ctex in the JSON output, lift batch restriction#1422

Merged

mario-bucev merged 1 commit intoepfl-lara:mainfrom mario-bucev:equivchk-more

Jun 12, 2023

+74-20

Commits on Jun 12, 2023

Equivalence checking: add option to specify weights, output resulting weights & ctex in the JSON output, lift batch restriction
mario-bucev
committed