Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bring ECMA-SL's concrete evaluation to encoding #99

Open
filipeom opened this issue Mar 25, 2024 · 0 comments · May be fixed by #101
Open

Bring ECMA-SL's concrete evaluation to encoding #99

filipeom opened this issue Mar 25, 2024 · 0 comments · May be fixed by #101
Assignees
Labels
enhancement New feature or request high-priority Something that should be given attention to first

Comments

@filipeom
Copy link
Member

filipeom commented Mar 25, 2024

Needed in order to allow for the completion of formalsec/ECMA-SL#20

  • ☑️ Exists
  • ❌ TODO
  • ⛔ Will not support
  • ❗ Might exist, needs verification
  • ❓ Don't know yet, don't add for now

Unary

Operators Status New Name
Typeof
Neg ☑️
BitwiseNot ☑️
LogicalNot ☑️
IntToFloat ☑️
IntToString ☑️
IntToFourHex
OctalToDecimal
FloatToInt ☑️
FloatToString ☑️
ToInt
ToInt32
ToUint16
ToUint32
IsNaN ☑️
StringToInt ☑️
StringToFloat ☑️
FromCharCode ☑️
FromCharCodeU
ToCharCode ☑️
ToCharCodeU
ToLowerCase
ToUpperCase
Trim ☑️
StringLen ☑️ Length
StringLenU
StringConcat ☑️
ObjectToList
ObjectFields
ArrayLen
ListToArray
ListHead Head
ListTail Tail
ListLen Length
ListSort
ListReverse Reverse
ListRemoveLast
TupleFirst Head
TupleSecond Tail
TupleLen Length
FloatToByte
Float32ToLEBytes
Float32ToBEBytes
Float64ToLEBytes
Float64ToBEBytes
Float32FromLEBytes
Float32FromBEBytes
Float64FromLEBytes
Float64FromBEBytes
BytesToString
Random
Abs ☑️
Sqrt ☑️
Ceil ☑️
Floor ☑️
Trunc ☑️
Exp ☑️
Log2
LogE
Log10
Sin
Cos
Tan
Sinh
Cosh
Tanh
Asin
Acos
Atan
Utf8Decode
HexDecode
ParseNumber
ParseString
ParseDate

Binary

Operator Status New Name
Plus ☑️
Minus ☑️
Times ☑️
Div ☑️
Modulo ☑️
Pow ☑️
BitwiseAnd ☑️
BitwiseOr ☑️
BitwiseXor ☑️
ShiftLeft ☑️
ShiftRight ☑️
ShiftRightLogical ☑️
LogicalAnd ☑️
LogicalOr ☑️
SCLogicalAnd ☑️
SCLogicalOr ☑️
Eq ☑️
NE ☑️
Lt ☑️
Gt ☑️
Le ☑️
Ge ☑️
ToPrecision
ToExponential
ToFixed
ObjectMem
StringNth ☑️
StringNthU
StringSplit
ArrayMake
ArrayNth
ListMem
ListNth At
ListAdd List_append_last
ListPrepend List_append
ListConcat Concat
ListRemove
ListRemoveNth
TupleNth At
IntToBEBytes
IntFromLEBytes
UintFromLEBytes
Min ☑️
Max ☑️
Atan2

Ternary

Operator Status New Name
ITE ☑️
StringSubstr ☑️
StringSubstrU
ArraySet
ListSet List_set

N-Ary

Operator Status
NAryLogicalAnd
NAryLogicalOr
ArrayExpr ☑️
ListExpr ☑️
TupleExpr ☑️
@filipeom filipeom changed the title Bring ECMA-SL concrete evaluation to encoding Bring ECMA-SL's concrete evaluation to encoding Mar 25, 2024
@filipeom filipeom added the enhancement New feature or request label Mar 25, 2024
@joaomhmpereira joaomhmpereira linked a pull request Mar 28, 2024 that will close this issue
@joaomhmpereira joaomhmpereira linked a pull request Mar 28, 2024 that will close this issue
@filipeom filipeom added the high-priority Something that should be given attention to first label Apr 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request high-priority Something that should be given attention to first
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants