Giters

kframework / k-legacy

The K tools (deprecated, see README)

Home Page:http://kframework.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

ayberkt opened this issue · comments

commented

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 "in_keys()"
  • "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"