Missing hooks in the Scala backend (primarily for Plutus Core)

The following hooks will have to be implemented in the Scala backend as a first step to getting Plutus Core to run with it.

[ ] "LIST.size" for label "sizeList"
[ ] "STRING.le" for label "<=String"
[ ] "String.string2base" for label "String2Base"
[ ] "STRING.countAllOccurrences" for label "countAllOccurrences(,)"
[ ] "MAP.removeAll" for label "removeAll"
[ ] "IO.parse" for label "#parse"
[ ] "KEQUAL.ite" for label "#if#then#else_#fi"
[ ] "SET.intersection" for label "intersectSet"
[ ] "FLOAT.abs" for label "absFloat"
[ ] "IO.write" for label "#write(,)"
[ ] "FLOAT.round" for label "roundFloat"
[ ] "IO.open" for label "#open(,)"
[ ] "INT.max" for label "maxInt(,)"
[ ] "STRING.gt" for label ">String"
[ ] "STRING.base2string" for label "Base2String"
[ ] "FLOAT.max" for label "maxFloat"
[ ] "BOOL.eq" for label "==Bool"
[ ] "STRING.floatFormat" for label "FloatFormat"
[ ] "FLOAT.div" for label "/Float"
[ ] "FLOAT.precision" for label "precisionFloat"
[ ] "STRING.chr" for label "chrChar"
[ ] "FLOAT.neg" for label "--Float_"
[ ] "FLOAT.le" for label "<=Float"
[ ] "FLOAT.int2float" for label "Int2Float"
[ ] "SET.size" for label "size"
[ ] "STRING.string2float" for label "String2Float"
[ ] "FLOAT.cos" for label "cosFloat"
[ ] "FLOAT.isNaN" for label "isNaN"
[ ] "MAP.difference" for label "-Map"
[ ] "INT.not" for label "~Int_"
[ ] "STRING.lt" for label "<String"
[ ] "FLOAT.sign" for label "signFloat"
[ ] "STRING.ord" for label "ordChar"
[ ] "FLOAT.exponentBits" for label "exponentBitsFloat"
[ ] "IO.stat" for label "#stat(_)"
[ ] "BOOL.orElse" for label "orElseBool"
[ ] "KEQUAL.ne" for label "=/=K"
[ ] "FLOAT.tan" for label "tanFloat"
[ ] "IO.putc" for label "#putc(,)"
[ ] "FLOAT.Float" for label "Float@FLOAT-SYNTAX"
[ ] "INT.shr" for label ">>Int"
[ ] "MAP.element" for label "|->"
[ ] "FLOAT.atan2" for label "atan2Float"
[ ] "INT.emod" for label "modInt"
[ ] "STRING.replace" for label "replace(,,,)"
[ ] "FLOAT.ceil" for label "ceilFloat"
[ ] "FLOAT.sub" for label "-Float"
[ ] "LIST.concat,.List()" for label "List@LIST"
[ ] "FLOAT.significand" for label "significandFloat"
[ ] "FLOAT.lt" for label "<Float"
[ ] "IO.close" for label "#close(_)"
[ ] "STRING.string2int" for label "String2Int"
[ ] "IO.tell" for label "#tell(_)"
[ ] "STRING.float2string" for label "Float2String"
[ ] "KRYPTO.keccak256" for label "Keccak256(_)"
[ ] "FLOAT.Float" for label "Float@FLOAT-SYNTAX"
[ ] "INT.pow" for label "^Int"
[ ] "STRING.length" for label "lengthString"
[ ] "IO.seek" for label "#seek(,)"
[ ] "INT.xor" for label "xorInt"
[ ] "FLOAT.float2int" for label "Float2Int"
[ ] "STRING.token2string" for label "#toStringFloat"
[ ] "INT.ediv" for label "divInt"
[ ] "IO.lstat" for label "#lstat(_)"
[ ] "MAP.in_keys" for label "_inkeys()"
[ ] "MAP.choice" for label "Map:choice"
[ ] "FLOAT.exponent" for label "exponentFloat"
[ ] "INT.shl" for label "<<Int"
[ ] "BOOL.implies" for label "impliesBool"
[ ] "FLOAT.Float" for label "Float@FLOAT-SYNTAX"
[ ] "STRING.category" for label "categoryChar"
[ ] "IO.getc" for label "#getc(_)"
[ ] "FLOAT.floor" for label "floorFloat"
[ ] "FLOAT.ge" for label ">=Float"
[ ] "String.string2token" for label "#parseToken(,)"
[ ] "LIST.get" for label "List:get"
[ ] "STRING.int2string" for label "Int2String"
[ ] "SET.difference" for label "Set:difference"
[ ] "SUBSTITUTION.userSubstitutionKore" for label "[]"
[ ] "STRING.ge" for label ">=String"
[ ] "FLOAT.min" for label "minFloat"
[ ] "FLOAT.gt" for label ">Float"
[ ] "STRING.token2string" for label "toStringVerbatim"
[ ] "INT.or" for label "|Int"
[ ] "MAP.remove" for label "[<-undef]"
[ ] "STRING.String" for label "String@STRING-SYNTAX"
[ ] "INT.min" for label "minInt(,)"
[ ] "INT.and" for label "&Int"
[ ] "FLOAT.maxValue" for label "maxValueFloat"
[ ] "MAP.updateAll" for label "updateMap"
[ ] "INT.abs" for label "absInt"
[ ] "SET.element" for label "SetItem"
[ ] "BOOL.Bool" for label "false"
[ ] "FLOAT.asin" for label "asinFloat"
[ ] "FLOAT.exp" for label "expFloat"
[ ] "KEQUAL.eq" for label "==K"
[ ] "BOOL.Bool" for label "true"
[ ] "MAP.values" for label "values"
[ ] "BOOL.andThen" for label "andThenBool"
[ ] "MAP.size" for label "sizeMap"
[ ] "STRING.token2string" for label "Id2String"
[ ] "FLOAT.log" for label "logFloat"
[ ] "SET.choice" for label "Set:choice"
[ ] "LIST.in" for label "inList"
[ ] "SET.inclusion" for label "<=Set"
[ ] "LIST.range" for label "List:range"
[ ] "SUBSTITUTION.userSingletonSubstitutionKore" for label "[/_]"
[ ] "STRING.directionality" for label "directionalityChar"
[ ] "FLOAT.eq" for label "==Float"
[ ] "BOOL.xor" for label "xorBool"
[ ] "FLOAT.sin" for label "sinFloat"
[ ] "IO.read" for label "#read(,)"
[ ] "INT.rand" for label "randInt"
[ ] "IO.system" for label "#system"
[ ] "MAP.inclusion" for label "<=Map"
[ ] "BOOL.ne" for label "=/=Bool"
[ ] "FLOAT.atan" for label "atanFloat"
[ ] "IO.parseInModule" for label "#parseInModule"
[ ] "FLOAT.mul" for label "*Float"
[ ] "IO.getTime" for label "#getTime"
[ ] "FLOAT.rem" for label "%Float"
[ ] "IO.opendir" for label "#opendir(_)"
[ ] "FLOAT.add" for label "+Float"
[ ] "INT.srand" for label "srandInt"
[ ] "FLOAT.pow" for label "^Float"
[ ] "FLOAT.acos" for label "acosFloat"
[ ] "KRYPTO.sha3256" for label "Sha3256(_)"
[ ] "FLOAT.root" for label "rootFloat"
[ ] "KRYPTO.sha256" for label "Sha256(_)"
[ ] "FLOAT.minValue" for label "minValueFloat"

kframework / k-legacy

Missing hooks in the Scala backend (primarily for Plutus Core) #2323