v0.7.3

What's Changed

• Normalize Summary for yet-check Command by @jhnaldo in #334

Full Changelog: v0.7.2...v0.7.3

The following list is automatically generated by git shortlog -sn --no-merges v0.7.2..v0.7.3:

     3	Jihyeok Park (jhnaldo)

v0.7.2

What's Changed

• CFG Validity Test using Fingerprints by @jhnaldo in #323
• Fix a bug in evaluating variadic operators in Interpreter by @d01c2 in #325
• Support More Accurate Re-Parsing by @stonechoe in #327
• Fix: correctly handle whitespace in locationed parser by @jhnaldo in #329
• Better parsing and stringify by @jungwngkim in #324
• Fix: revert location info and correctly handle location for eval by @jhnaldo in #330
• Introduce yet-check Command by @jhnaldo in #332
• Update Version of Unicode to 17.0.0 by @jhnaldo in #333

Full Changelog: v0.7.1...v0.7.2

The following list is automatically generated by git shortlog -sn --no-merges v0.7.1..v0.7.2:

     6	Jihyeok Park (jhnaldo)
     1	Hyunjoon Kim (d01c2)
     1	Jungwoong Kim (jungwngkim)
     1	Minseok Choe (stonechoe)

v0.7.1

What's Changed

• No Status Mode for NotSupported Error by @jhnaldo in #319
• Refactoring for Occurrence Typing Implementation by @jhnaldo in #320

Full Changelog: v0.7.0...v0.7.1

The following list is automatically generated by git shortlog -sn --no-merges v0.7.0..v0.7.1:

     3	Jihyeok Park (jhnaldo)

v0.7.0

What's Changed

• Add EMPTY type to PromiseResult by @mobius29 in #305
• Bump Scala to 3.3.6 by @stonechoe in #306
• Support External Intrinsic Modeling and Template-based Intrinsics by @jhnaldo in #307
• Record InvalidFieldError when updating a non-existence slot by @mobius29 in #308
• Support Basic Features of ArrayBuffer and TypedArray by @jhnaldo in #310
• Fix errors in handling edge case for lang parser for IfStep by @jungwngkim in #315
• Add ToCodeUnit conversion operator by @ShinWonho in #311
• Add support for extracting spec algorithms in JSON format by @tontonialberto in #312
• Better parsing and stringify of esmeta.lang by @jungwngkim in #316
• Fix a bug in __IS_ARRAY_INDEX__ modeling in IR by @jhnaldo in #318
• Support CI Warning for Newly Introduced Phrases by @stonechoe in #302

New Contributors

• @mobius29 made their first contribution in #305
• @jungwngkim made their first contribution in #315
• @ShinWonho made their first contribution in #311
• @tontonialberto made their first contribution in #312

Full Changelog: v0.6.4...v0.7.0

The following list is automatically generated by git shortlog -sn --no-merges v0.6.4..v0.7.0:

    10	Jihyeok Park (jhnaldo)
     2	Jungwoong Kim (jungwngkim)
     2	Minseok Choe (stonechoe)
     2	Seongjin Lee
     1	Alberto Tontoni
     1	ShinWonho

v0.6.4

What's Changed

• Number of occurrences of steps, expressions, and conditions by @jhnaldo in #301
• Add Strict Option to Extract Phase by @stonechoe in #298
• Support dynamic (specification) type checking by @d01c2 in #294
• Remove uninit value by @jhnaldo in #303
• Add type modeling for each typed array case by @jhnaldo in #304

Full Changelog: v0.6.3...v0.6.4

The following list is automatically generated by git shortlog -sn --no-merges v0.6.3..v0.6.4:

     5	Jihyeok Park (jhnaldo)
     1	Hyunjoon Kim (d01c2)
     1	Minseok Choe (stonechoe)

v0.6.3

What's Changed

• Rename BaseUtils.error by @stonechoe in #299
• Fix bugs in handling FunctionT and ConstructorT by @jhnaldo in #300

Full Changelog: v0.6.2...v0.6.3

The following list is automatically generated by git shortlog -sn --no-merges v0.6.2..v0.6.3:

     2	Jihyeok Park (jhnaldo)
     1	Minseok Choe (stonechoe)

v0.6.2

What's Changed

• Update to ES2025 by @stonechoe in #286
• Fix WebServer by @stonechoe in #290
• Fix Tests by @stonechoe in #295
• Fix on supporting optional terminals by @d01c2 in #293
• Advanced logging for extractor by @jhnaldo in #297

Full Changelog: v0.6.1...v0.6.2

The following list is automatically generated by git shortlog -sn --no-merges v0.6.1..v0.6.2:

     3	Minseok Choe (stonechoe)
     2	Jihyeok Park (jhnaldo)
     1	Hyunjoon Kim (d01c2)

v0.6.1

What's Changed

• Fix Random Termination of WebServer by @stonechoe in #280
• Fix BackEdgeWalker by @stonechoe in #281
• Fix dump-visualizer by @stonechoe in #282
• Support IfAbruptCloseAsyncIterator shorthand by @stonechoe in #285

Full Changelog: v0.6.0...v0.6.1

The following list is automatically generated by git shortlog -sn --no-merges v0.6.0..v0.6.1:

     4	Minseok Choe (stonechoe)
     2	Jihyeok Park (jhnaldo)

v0.6.0

What's Changed

• Hotfix for Math domain by @d01c2 in #272
• fix: missing spec location for return type mismatch by @d01c2 in #273
• Update versions of libraries and CodeQL by @jhnaldo in #274
• Downgrade Akka to match Akka Http by @stonechoe in #275
• Add Dump Phases for Debugger and Visualizer by @stonechoe in #277
• Fix Metalanguage Stringifier by @stonechoe in #278
• Update README.md by @stonechoe in #279

Full Changelog: v0.5.1...v0.6.0

The following list is automatically generated by git shortlog -sn --no-merges v0.5.1..v0.6.0:

    12	Jihyeok Park (jhnaldo)
     4	Minseok Choe (stonechoe)
     2	Hyunjoon Kim (d01c2)

v0.5.1

What's Changed

• Now kills SymExpr correctly by @kimjg1119 in #263
• Add Provenance feature for Type guards by @kimjg1119 in #265
• Update version of client by @jhnaldo in #268
• Update WebServer.scala by @weldone-dev in #266
• Support synthesis of JavaScript programs (fuzzing) by @jhnaldo in #269
• Refactor Implementation with Symbolic type by @kimjg1119 in #270
• Update type modeling for RealmRecord by @jhnaldo in #271

Full Changelog: v0.5.0...v0.5.1

The following list is automatically generated by git shortlog -sn --no-merges v0.5.0..v0.5.1:

     5	Jihyeok Park (jhnaldo)
     3	Jungyeom Kim (kimjg1119)
     1	Weldone