Implement Cryptol primitives for division and exponentials via SAWCore
Implement Cryptol primitives for division and exponentials via SAWCore

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