SAWCore simulator: implement primitive "Prelude.eq" in ABC backend
SAWCore simulator: implement primitive "Prelude.eq" in ABC backend

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script