es-meta/esmeta issues and pull requests

#163 - Implement AssertionMismatch

Pull Request - State: closed - Opened by kimjg1119 over 1 year ago - 1 comment

#162 - Implement DuplicateAssignMismatch

Pull Request - State: closed - Opened by kimjg1119 over 1 year ago
Labels: new feature, area:analyzer, area:type

#161 - Implement `InvalidPropertyMismatch` checker

Pull Request - State: closed - Opened by hyp3rflow over 1 year ago
Labels: new feature, area:analyzer, area:type

#160 - Implement UncheckedAbruptCompletionMismatch

Pull Request - State: closed - Opened by hyp3rflow over 1 year ago - 1 comment
Labels: new feature, area:analyzer, area:type

#159 - Implement noReturnCheck

Pull Request - State: closed - Opened by doehyunbaek over 1 year ago - 2 comments
Labels: new feature, area:analyzer, area:type

#158 - Fix `getVersion` to handle tag properly

Pull Request - State: closed - Opened by hyp3rflow over 1 year ago
Labels: bug, enhancement

#157 - More precise lookup for string property of `AstNameTy`

Pull Request - State: closed - Opened by doehyunbaek over 1 year ago - 1 comment
Labels: enhancement, area:analyzer, area:type

#156 - Support lookup of string prop in AstNameTy

Pull Request - State: closed - Opened by doehyunbaek over 1 year ago - 1 comment

#155 - Add PropertyKey support in PureValueTy parser

Pull Request - State: closed - Opened by hyp3rflow over 1 year ago - 1 comment

#154 - Fix `lookupStr` not to lookup when `str` is Bottom

Pull Request - State: closed - Opened by hyp3rflow over 1 year ago - 1 comment
Labels: bug, area:analyzer, area:type

#153 - Incorrect code span info of inline functions

Issue - State: closed - Opened by kimjg1119 over 1 year ago - 2 comments
Labels: bug, area:spec, area:parser

#152 - Rewrap to completion if function returns completion record type

Pull Request - State: closed - Opened by hyp3rflow over 1 year ago
Labels: bug, area:analyzer, area:type

#151 - Fix for missing optional parameters state in getLocals

Pull Request - State: closed - Opened by hyp3rflow over 1 year ago - 2 comments
Labels: bug, area:type

#150 - Fix for missing optional parameters state in getLocals

Pull Request - State: closed - Opened by hyp3rflow over 1 year ago - 8 comments
Labels: bug, area:type

#149 - `if _x_ is a Y, set _x_ to _z_` should refine the type of _x_

Issue - State: open - Opened by bakkot over 1 year ago
Labels: enhancement, area:analyzer, area:type

#148 - Extend Unicode terminal parsing

Pull Request - State: closed - Opened by jhnaldo over 1 year ago
Labels: bug, area:spec

#147 - Unicode terminal parsing does not match grammarkdown

Issue - State: closed - Opened by gibson042 over 1 year ago - 1 comment
Labels: enhancement

#146 - Fixed bugs in Spec parser for terminals (#145)

Pull Request - State: closed - Opened by jhnaldo over 1 year ago
Labels: bug, area:spec

#145 - esmeta doesn’t support `~~` in grammar

Issue - State: closed - Opened by mathiasbynens over 1 year ago - 1 comment

#144 - Support optional terminals

Issue - State: closed - Opened by nicolo-ribaudo over 1 year ago - 3 comments
Labels: bug, new feature

#143 - Fix broken links for PLDI tutorial slides

Pull Request - State: closed - Opened by hyp3rflow over 1 year ago

#142 - Correct minor typos

Pull Request - State: closed - Opened by utilForever over 1 year ago - 1 comment

#141 - Upgrade to Scala 3.2.2

Pull Request - State: closed - Opened by doehyunbaek over 1 year ago - 1 comment

#140 - Add repl-continue option, minor improvements to manual modelling.

Pull Request - State: closed - Opened by doehyunbaek over 1 year ago - 1 comment

#139 - JSON protocols for ESMeta components

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: test, new feature

#138 - Update client and add post-submit CI.

Pull Request - State: closed - Opened by doehyunbaek almost 2 years ago
Labels: bug, test

#137 - The `e2e` test failed with the latest web debugger client

Issue - State: closed - Opened by jhnaldo almost 2 years ago - 1 comment
Labels: bug, area:web

#136 - Allow whitespace separated evaluation of expression

Pull Request - State: closed - Opened by doehyunbaek almost 2 years ago
Labels: enhancement

#135 - Proxy not supported temporarily

Issue - State: closed - Opened by doehyunbaek almost 2 years ago - 2 comments
Labels: new feature, area:builtin

#134 - Supported multiple RHS conditions

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago - 3 comments
Labels: new feature, area:spec

#133 - Rhs only supports a single Condition, but ecmarkup/grammarkdown allow multiple.

Issue - State: closed - Opened by rbuckton almost 2 years ago - 6 comments
Labels: new feature, area:spec

#132 - Add support for proxy

Pull Request - State: closed - Opened by doehyunbaek almost 2 years ago
Labels: new feature

#131 - Add Reflect and Math to supported feature.

Pull Request - State: closed - Opened by doehyunbaek almost 2 years ago
Labels: new feature

#130 - Printed final state to log file for interp

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: enhancement, area:js

#129 - Add getter and setter to supported features.

Pull Request - State: closed - Opened by doehyunbaek almost 2 years ago - 2 comments
Labels: new feature

#128 - Supported shell script to automate release process

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: enhancement, area:utils

#127 - Handled setter builtin heads and supported feature `proto` for Test262

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: enhancement, area:lang, area:builtin

#126 - File-grained NotSupported error

Pull Request - State: closed - Opened by doehyunbaek almost 2 years ago
Labels: enhancement, area:utils

#125 - Fixed bugs in RunJobs

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: bug

#124 - Optimize metalanguage parser (#92)

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: enhancement, area:lang

#123 - Supported `-extract:eval` to evaluate Extractor

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: new feature, area:spec, area:lang, area:utils

#122 - More summary improvements.

Pull Request - State: closed - Opened by doehyunbaek almost 2 years ago - 1 comment
Labels: test, enhancement

#121 - Fixed bugs in metalanguage parser for `this` nonterminals

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: bug, area:lang

#120 - Subdivide NotSupported error type and improve summary

Issue - State: closed - Opened by doehyunbaek almost 2 years ago - 1 comment

#119 - Improve summary output to include more info

Pull Request - State: closed - Opened by doehyunbaek almost 2 years ago
Labels: test, enhancement

#118 - Fixed bugs for Test262

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: bug, area:lang, area:ir

#117 - Updated `ci.yml` and `e2e.yml` files for Slack webhooks

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: test

#116 - More parsing rules for metalanguage for environment record bindings

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: enhancement, area:lang

#115 - Supported `-tycheck:update-ignore`

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: new feature, area:type

#114 - Improved precision of `tycheck` and fixed several bugs

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: enhancement, area:type

#113 - Add e2e tests to ci

Pull Request - State: closed - Opened by doehyunbaek almost 2 years ago - 1 comment
Labels: test

#112 - Added `ir.EGetItems` with expected `Nt`

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: new feature, area:lang, area:ir

#111 - Used `patch` command instead of `git apply`

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: enhancement

#110 - Supported `-test262dir` global option

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: new feature

#109 - Improved type check precision and soundness

Pull Request - State: closed - Opened by jhnaldo almost 2 years ago
Labels: bug, enhancement, area:analyzer

#108 - Fix test262 Bigint tests

Pull Request - State: closed - Opened by doehyunbaek almost 2 years ago - 8 comments

#107 - Issues with BigInt test262-test

Issue - State: closed - Opened by doehyunbaek almost 2 years ago - 2 comments

#106 - Dev runtime typechecker

Pull Request - State: closed - Opened by PSuHyeon about 2 years ago
Labels: new feature, area:ir, area:js

#105 - Dev runtime typechecker

Pull Request - State: closed - Opened by PSuHyeon about 2 years ago - 1 comment

#104 - Add colored exit node and Fix call edge to point out the entry node

Pull Request - State: closed - Opened by duncan020313 about 2 years ago - 2 comments
Labels: enhancement, area:cfg

#103 - Renamed helper named TopT to T in ty package

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago - 1 comment
Labels: enhancement, area:type

#102 - Shortened Loc string for same line

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago - 1 comment
Labels: enhancement

#101 - Fix font option of CFG

Pull Request - State: closed - Opened by duncan020313 about 2 years ago - 1 comment
Labels: area:cfg

#100 - Fix left alignment problem in CFG

Pull Request - State: closed - Opened by duncan020313 about 2 years ago - 2 comments
Labels: area:cfg

#99 - Fix left alignment problem in CFG

Pull Request - State: closed - Opened by duncan020313 about 2 years ago

#98 - Fix font option of CFG

Pull Request - State: closed - Opened by duncan020313 about 2 years ago

#97 - Added precision of Expr and Ref's backward edge

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago - 2 comments
Labels: enhancement, area:lang, area:ir

#96 - Supported -compile:log-with-loc option

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago
Labels: new feature, enhancement

#95 - Add backward edge of Ref in compiler

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago - 1 comment

#94 - Add backward edge of Ref in compiler

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago

#93 - Added ECMAScript mutator

Pull Request - State: closed - Opened by jhnaldo about 2 years ago
Labels: new feature, area:js

#92 - Optimization of `lang.Parser` using `|` instead of `|||`

Issue - State: closed - Opened by jhnaldo about 2 years ago
Labels: enhancement, area:spec, area:lang

#91 - Supported mathematical operations with implementation-approximated number value conversion

Pull Request - State: closed - Opened by jhnaldo about 2 years ago
Labels: enhancement, area:lang, area:ir

#90 - Modified `ETypeCheck` with `Ty`

Pull Request - State: closed - Opened by duncan020313 about 2 years ago - 4 comments
Labels: enhancement, area:lang, area:ir

#89 - Use `Ty` in `ETypeCheck`

Issue - State: closed - Opened by jhnaldo about 2 years ago - 2 comments
Labels: enhancement, area:lang, area:ir

#88 - Runtime type checker for Interpreter

Issue - State: closed - Opened by jhnaldo about 2 years ago - 1 comment
Labels: new feature, area:ir

#87 - Backward edges for all IR elements

Issue - State: closed - Opened by jhnaldo about 2 years ago
Labels: new feature, area:lang, area:ir

#86 - Fixed bug in extractorValidityTest

Pull Request - State: closed - Opened by jhnaldo about 2 years ago
Labels: bug, test, area:spec

#85 - Removed legacy DivergedParser

Pull Request - State: closed - Opened by jhnaldo about 2 years ago
Labels: area:lang

#84 - Add backward edge of Expression in compiler

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago
Labels: new feature, area:lang, area:ir

#83 - Add backward edge of Param in compiler

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago
Labels: new feature, area:lang, area:ir

#82 - Add lang type parser for named record types

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago
Labels: enhancement, area:lang

#81 - Parse type annotations in spec using lang Parser

Issue - State: closed - Opened by jaehyun1ee about 2 years ago - 3 comments
Labels: enhancement, area:lang

#80 - rules for bigint

Pull Request - State: closed - Opened by PSuHyeon about 2 years ago - 1 comment
Labels: enhancement, area:js

#79 - Rules for bigint

Pull Request - State: closed - Opened by PSuHyeon about 2 years ago - 1 comment

#78 - Support optional "to" suffix in substring phrase

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago
Labels: enhancement, area:lang

#77 - Add manual rule for argumentsList condition

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago
Labels: bug

#76 - Add one of case to isNeg cond

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago
Labels: enhancement, area:lang

#75 - Add ClampExpr to Metalanguage and add ETernary to ir

Pull Request - State: closed - Opened by duncan020313 about 2 years ago
Labels: enhancement, area:lang, area:ir

#74 - Add prepend step

Pull Request - State: closed - Opened by jaehyun1ee about 2 years ago
Labels: enhancement, area:lang

#73 - Minor refactoring of interpreter error

Pull Request - State: closed - Opened by duncan020313 about 2 years ago
Labels: enhancement, area:ir

#72 - Add parsing rule for NumberBitwiseOp

Pull Request - State: closed - Opened by duncan020313 about 2 years ago
Labels: enhancement, area:lang

#71 - Added parser for map-iter

Pull Request - State: closed - Opened by PSuHyeon over 2 years ago
Labels: enhancement, area:lang

#70 - Added parsing rules for map-iterator

Pull Request - State: closed - Opened by PSuHyeon over 2 years ago

#69 - Added parsing rule for NumberBitwiseOp

Pull Request - State: closed - Opened by jaehyun1ee over 2 years ago - 4 comments

#68 - Supporting private fields

Pull Request - State: closed - Opened by jhnaldo over 2 years ago
Labels: new feature, area:js

#67 - [ESMetaError] invalid Lexical access: PrivateIdentifier.StringValue

Issue - State: closed - Opened by F3n67u over 2 years ago - 5 comments
Labels: bug

#66 - Remove implicit wrapping/unwrapping of completion records

Issue - State: closed - Opened by h2oche over 2 years ago

#65 - About completion value

Issue - State: closed - Opened by h2oche over 2 years ago - 4 comments
Labels: bug, report

#64 - Web Debugger support

Issue - State: closed - Opened by h2oche over 2 years ago
Labels: new feature, area:js

GitHub / es-meta/esmeta issues and pull requests