Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / es-meta/esmeta issues and pull requests

#263 - Now kills SymExpr correctly

Pull Request - State: closed - Opened by kimjg1119 8 days ago

#262 - Provenance for type guards

Pull Request - State: closed - Opened by jhnaldo 13 days ago

#261 - Advanced Type Analysis

Pull Request - State: closed - Opened by jhnaldo 16 days ago

#259 - add dumpDetail option in minify-fuzz phase to reduce memory usage

Pull Request - State: closed - Opened by tmdghks about 1 month ago

#258 - esmeta type checker doesn't allow assigning constructors to function objects

Issue - State: closed - Opened by michaelficarra about 2 months ago - 1 comment

#257 - JEST/JESTfs implementation

Pull Request - State: closed - Opened by hyp3rflow 3 months ago

#256 - Bump scala version to 3.3.3 LTS

Pull Request - State: closed - Opened by hyp3rflow 3 months ago

#255 - `sbt ghpagesPushSite` is not working

Issue - State: closed - Opened by jhnaldo 3 months ago - 1 comment

#254 - Set `-Xss4m` JVM option for executable

Pull Request - State: closed - Opened by jhnaldo 3 months ago

#253 - Make `EClo` capture expressions rather than names

Pull Request - State: closed - Opened by stonechoe 3 months ago - 1 comment

#252 - Use fixed number of threads in test262-test concurrent mode

Pull Request - State: closed - Opened by stonechoe 4 months ago - 2 comments

#251 - `test262-test` `concurrent` option not works with `timeout`

Issue - State: closed - Opened by stonechoe 4 months ago - 1 comment
Labels: bug

#250 - Completion as Record and Pop as Instruction

Pull Request - State: closed - Opened by stonechoe 4 months ago - 6 comments

#249 - Add more test cases for IR

Pull Request - State: closed - Opened by hyp3rflow 4 months ago

#248 - Provide Auxiliary Functions

Pull Request - State: closed - Opened by jhnaldo 4 months ago

#246 - Replace SymbolObj with plain Symbol record (currently MapObj)

Pull Request - State: closed - Opened by hyp3rflow 4 months ago

#245 - Make Aux function to use in throw patterns

Issue - State: closed - Opened by stonechoe 4 months ago - 1 comment
Labels: enhancement, area:ir

#244 - Implement Record Specification Type

Pull Request - State: closed - Opened by stonechoe 4 months ago - 2 comments

#243 - Remove toPureValue

Pull Request - State: closed - Opened by taxor03 4 months ago - 1 comment

#242 - Replace `UOp.Abs` with `__ABS__` aux function

Pull Request - State: closed - Opened by hyp3rflow 4 months ago - 1 comment

#241 - Support optional else branch

Pull Request - State: closed - Opened by stonechoe 4 months ago

#240 - Fixed MapObj to use LinkedHashMap as fields

Pull Request - State: closed - Opened by d01c2 4 months ago

#239 - Replace `EDuplicated` with `__DUPLICATED__` aux function

Pull Request - State: closed - Opened by taxor03 4 months ago - 1 comment

#238 - Fixed model of ETrim

Pull Request - State: closed - Opened by d01c2 4 months ago

#237 - Remove unused code `CallKind`

Pull Request - State: closed - Opened by stonechoe 4 months ago

#236 - Replace `IRemove` Instruction with `__REMOVE_ELEM__` aux function

Pull Request - State: closed - Opened by stonechoe 4 months ago - 4 comments

#235 - Replace `EIsArrayIndex` with `__IS_ARRAY_INDEX__` aux function

Pull Request - State: closed - Opened by hyp3rflow 4 months ago

#234 - Refactor RefValue, Id, CallContext and Prop

Pull Request - State: closed - Opened by taxor03 4 months ago

#233 - Removed `IMethodCall`

Pull Request - State: closed - Opened by jhnaldo 4 months ago

#232 - Refactored branch instructions with renaming ILoop into IWhile

Pull Request - State: closed - Opened by d01c2 4 months ago

#231 - Inlining pure expressions

Pull Request - State: closed - Opened by stonechoe 4 months ago - 1 comment

#230 - Rename Const to Enum

Pull Request - State: closed - Opened by stonechoe 4 months ago - 2 comments

#229 - Add Missing Cases in Interpreter

Pull Request - State: closed - Opened by stonechoe 4 months ago

#228 - Support Well-Formed Unicode Strings

Pull Request - State: closed - Opened by jhnaldo 4 months ago

#227 - Support `change-array-by-copy` feature

Pull Request - State: closed - Opened by jhnaldo 4 months ago

#226 - Support `array-find-from-last` feature

Pull Request - State: closed - Opened by jhnaldo 4 months ago

#225 - Support `array-grouping` feature

Pull Request - State: closed - Opened by jhnaldo 4 months ago

#224 - Update for ES2024

Pull Request - State: closed - Opened by jhnaldo 4 months ago

#223 - Refactor `ESValueParser`

Pull Request - State: closed - Opened by jhnaldo 4 months ago

#222 - Support direct use of modified named character notation

Pull Request - State: closed - Opened by hyp3rflow 6 months ago - 1 comment

#221 - Support negative integer on `NumOption`

Pull Request - State: closed - Opened by hyp3rflow 6 months ago

#220 - new notation for Unicode code points in ES grammar

Issue - State: closed - Opened by michaelficarra 6 months ago - 1 comment

#219 - Implement FS/FCPS coverage

Pull Request - State: closed - Opened by hyp3rflow 6 months ago

#218 - 컴파일 에러

Issue - State: closed - Opened by jbari88 6 months ago - 3 comments

#217 - Implement Fuzzer / Fuzz command (ported from kaist-esmeta)

Pull Request - State: closed - Opened by hyp3rflow 8 months ago

#216 - Implement TargetSelector (ported from kaist-esmeta)

Pull Request - State: closed - Opened by hyp3rflow 8 months ago

#215 - Implement node/branch coverage (ported from kaist-esmeta)

Pull Request - State: closed - Opened by hyp3rflow 8 months ago - 3 comments

#214 - Reimplement ValidityChecker using GraalVM polyglot API

Pull Request - State: closed - Opened by hyp3rflow 9 months ago - 1 comment

#213 - Refactor Numeric Types and Update Type Analysis

Pull Request - State: closed - Opened by jhnaldo 9 months ago
Labels: enhancement, area:ir, area:analyzer, area:type

#212 - Refactor analysis framework for pluggable abstract domains / Add `TypeCheckSmallTest`

Pull Request - State: closed - Opened by jhnaldo 9 months ago
Labels: test, enhancement, area:analyzer

#211 - Update versions of tools for GitHub Actions

Pull Request - State: closed - Opened by jhnaldo 9 months ago
Labels: test, enhancement

#210 - Support more readable git versions

Pull Request - State: closed - Opened by jhnaldo 9 months ago
Labels: enhancement

#209 - Support minor features for Test262 tests

Pull Request - State: closed - Opened by taxor03 9 months ago - 1 comment
Labels: test

#208 - Add Proxy to supported feature

Pull Request - State: closed - Opened by d01c2 9 months ago - 2 comments
Labels: enhancement, area:lang, area:parser

#207 - Fix error in typing rules for EKeys

Pull Request - State: closed - Opened by jhnaldo 9 months ago
Labels: bug, area:analyzer, area:type

#206 - Support `verbose` option for `test262-test` command.

Pull Request - State: closed - Opened by jhnaldo 9 months ago
Labels: enhancement

#205 - Minor fix related to integer

Pull Request - State: closed - Opened by taxor03 10 months ago - 3 comments

#204 - Support 'an integer' for Decode

Pull Request - State: closed - Opened by taxor03 10 months ago - 1 comment

#203 - Add OddIntegralNumber

Pull Request - State: closed - Opened by taxor03 10 months ago - 2 comments

#202 - Add ContainsCondition

Pull Request - State: closed - Opened by d01c2 10 months ago - 3 comments
Labels: enhancement, area:lang, area:ir, area:parser

#201 - Add ForEachOwnPropertyKeyStep

Pull Request - State: closed - Opened by d01c2 10 months ago - 2 comments
Labels: enhancement, area:lang, area:parser

#200 - Fix propRef of parser to pass test262

Pull Request - State: closed - Opened by d01c2 10 months ago - 1 comment
Labels: area:lang, area:parser

#199 - Support RemoveElemStep in lang

Pull Request - State: closed - Opened by jhnaldo 10 months ago
Labels: new feature, area:lang

#198 - Support Trim Operator for Strings / Refactor Lexer

Pull Request - State: closed - Opened by jhnaldo 10 months ago
Labels: new feature, area:lang, area:ir, area:parser

#197 - NoSuchElementException: key not found: IntegerIndexedExoticObject.GetOwnProperty

Issue - State: closed - Opened by michaelficarra about 1 year ago - 3 comments
Labels: bug, area:spec

#196 - Implement trie for parser performance improvement

Pull Request - State: closed - Opened by d01c2 about 1 year ago - 2 comments
Labels: bug, new feature, area:parser

#195 - Update fingerprint-tag.json

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

#194 - Add additional case for extractAbsOpHead

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

#193 - Fix default alarm level for experiment setting

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

#192 - Fix lifespan count and get detail-log on range-tycheck

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

#191 - Implement range-fingerprint-diff

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

#190 - Fixed minor errors

Pull Request - State: closed - Opened by d01c2 about 1 year ago - 6 comments

#189 - Add BOTM fingerprint tags

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

#188 - Update sbt to 1.9.4

Pull Request - State: closed - Opened by doehyunbaek about 1 year ago
Labels: enhancement

#187 - Refine on field existence condition

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

#186 - Update google sheets when push to adv-ty-refine

Pull Request - State: closed - Opened by doehyunbaek over 1 year ago
Labels: documentation, new feature

#185 - Dump cfg functions in dot/pdf format concurrently

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

#184 - Refine object on property assignment

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

#183 - Implement Fingerprint

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

#182 - Implement Fingerprint for tracking errors

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

#181 - Implement unreachables

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

#180 - Extract tymodel to json

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

#179 - Implement `RangeTypeCheck` command for experiments

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

#178 - Implement Extended math type

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

#177 - Implement checking type for Binary operators

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

#176 - Added minor compile rules

Pull Request - State: closed - Opened by d01c2 over 1 year ago
Labels: enhancement, area:ir

#175 - Fix tysens to make use of view.tys

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

#174 - Add Undef, Null, Absent check in `InvalidPropertyMismatch`

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

#173 - Implement priority flag

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

#172 - Implement Type sensitivity

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

#171 - Concurrent execution of Test262Test

Pull Request - State: closed - Opened by doehyunbaek over 1 year ago - 3 comments
Labels: test, new feature, enhancement

#170 - Revert "Implement DuplicateAssignMismatch"

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

#169 - Improve `InvalidPropertyMismatch` and reduce false alarms

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

#168 - Revert "Implement noReturnCheck"

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

#167 - Implement InvalidCallMismatch

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

#166 - Implement mapAlloc and property update checker

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

#165 - Implement `InvalidPopExpressionMismatch` checker

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

#164 - Fix typo in tymodel and manual IR

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