Code

Javascript modules#38

Code

Draft

robin-aws wants to merge 26 commits intomasterrobin-aws/dafny:masterfrom javascript-modulesrobin-aws/dafny:javascript-modulesCopy head branch name to clipboard

+2,337-1,447

Commits

Commits on Sep 23, 2023

• Convert JS runtime to “use modules”

  robin-aws

  committed
  5888b89

• Hacking around to get it working for TS for now

  robin-aws

  committed
  3be8abb

Commits on Sep 24, 2023

• Add export as needed

  robin-aws

  committed
  91edbe4

Commits on Sep 25, 2023

• First pass of replacing BigNumber with BitInt

  robin-aws

  committed
  a49c15f

• Export all classes in runtime

  robin-aws

  committed
  b9aeb2a

Commits on Sep 26, 2023

• More fixes + EXPORT ALL THE THINGS

  robin-aws

  committed
  c214796

• More BigInt fixes

  robin-aws

  committed
  747d702

• Extra @ts-nocheck

  robin-aws

  committed
  be1d01b

• More Number() conversions

  robin-aws

  committed
  f84a4af

Commits on Sep 27, 2023

• More bigint fixes

  robin-aws

  committed
  94a6f53

Commits on Oct 3, 2023

• Merge branch 'master' of https://github.com/dafny-lang/dafny into javascript-modules

  robin-aws

  committed
  e83c722

Commits on Nov 17, 2023

• Merge branch 'master' of https://github.com/dafny-lang/dafny into javascript-modules

  Show description for c7dbf2b
  robin-aws

  committed
  c7dbf2b

• Fix NRE in stdlibs

  robin-aws

  committed
  df1ea0a

• Fix runtime embedding

  robin-aws

  committed
  53d1cb4

Commits on Nov 21, 2023

• Disable FileIO for now

  robin-aws

  committed
  2b29ee2

• Disable FileIO for now, fix DafnyRuntimeSystemModule.ts

  robin-aws

  committed
  07b2263

• Include JavascriptInterop.ts, fix bigint in for loops

  robin-aws

  committed
  04a719b

• Another isLessThan case

  robin-aws

  committed
  5f00202

• Another bigint fix

  robin-aws

  committed
  63c5b1e

• Interop fix

  robin-aws

  committed
  ad3f82f

Commits on Nov 23, 2023

• Many fixes

  robin-aws

  committed
  ff4e7a4

• Switch stdlibs to —unicode-char:false for now

  robin-aws

  committed
  b72bc70

• Merge branch 'master' of https://github.com/dafny-lang/dafny into javascript-modules

  robin-aws

  committed
  e44cd34

Commits on Nov 25, 2023

• Restore bug fix

  robin-aws

  committed
  4ef772e

Commits on Nov 27, 2023

• Hack to avoid IDE NRE for now

  robin-aws

  committed
  d45ce36

Commits on Nov 30, 2023

• areEqual improvement

  robin-aws

  committed
  08b8550