Verification framework and tool for higher-order Scala programs
349
stars
50
forks
source link
Equivalence checking: add option to specify weights, output resulting weights & ctex in the JSON output, lift batch restriction #1422
Closed
mario-bucev closed 1 year ago
--watchmode--equivchk-init-weights=f1:w1,f2:w2,...