Code

Remove Non-Det Interpreter#1725

Code

Open

leeyi45 wants to merge 18 commits intomastersource-academy/js-slang:masterfrom remove-non-detsource-academy/js-slang:remove-non-detCopy head branch name to clipboard

+701-3,200

Commits

Commits on Oct 9, 2024

• Remove non-det

  leeyi45

  committed
  bbcabab

• Continue removing non-det

  leeyi45

  committed
  47b83cf

Commits on Oct 11, 2024

• Update eslint and fix linting errors

  leeyi45

  committed
  b77b2ec

• Fix bug where cleaning docs would remove the gitignore

  leeyi45

  committed
  7a8133a

• Add ts-check and tseslint helper as requested

  leeyi45

  committed
  af91f2b

• Add explanation for ts-expect-error

  leeyi45

  committed
  a06bb43

• Remove jsdoc stuff pertaining to non-det

  leeyi45

  committed
  cf9ea38

• Remove from non-det from the script

  leeyi45

  committed
  cabdfe1

Commits on Oct 12, 2024

• Merge branch 'remove-non-det' of github.com:source-academy/js-slang into remove-non-det

  leeyi45

  committed
  dff60b0

Commits on Oct 13, 2024

• Replace docs scripts with javascript code

  leeyi45

  committed
  49b6000

• Misc change

  leeyi45

  committed
  474bd64

• Get make to output to stdio

  leeyi45

  committed
  d419bdd

• Update to use the proper functions from child_process

  leeyi45

  committed
  a0a2e3a

• Add documentation and silent option for prepare

  leeyi45

  committed
  d9b4ba6

Commits on Oct 16, 2024

• Make autocomplete exit with error code

  leeyi45

  committed
  5685d4d

Commits on Oct 18, 2024

• Put the query parameter back for module importing

  leeyi45

  committed
  04ac630

Commits on Nov 24, 2024

• Merge remote-tracking branch 'origin/master' into remove-non-det

  leeyi45

  committed
  d32fc4f

Commits on Dec 30, 2024

• Finish merge

  leeyi45

  committed
  281a20e