Commits

Breadcrumbs

History for

onc08f390

User selector

All users

All time

Commit History

Commits on Aug 4, 2024

• Improve formatting of the generated JS code (#6932)

  Show description for 19a71b9
  DZakh

  authored
  19a71b9

  Copy full SHA for 19a71b9

Commits on May 13, 2024

• Remove redundant space after `continue` in generated file (#6743)

  Show description for aee06c0
  DZakh

  authored
  aee06c0

  Copy full SHA for aee06c0

Commits on Apr 30, 2024

• Back-end: emit let instead of var. (#6102)

  Show description for 7bf97d9
  cristianoc

  authored
  7bf97d9

  Copy full SHA for 7bf97d9

Commits on Sep 5, 2021

• snapshot js changes

  bobzhang

  committed
  cc6e523

  Copy full SHA for cc6e523

• snapshot js

  bobzhang

  committed
  85b47b2

  Copy full SHA for 85b47b2

Commits on Apr 7, 2020

• snapshot

  bobzhang

  committed
  8aafc45

  Copy full SHA for 8aafc45

Commits on Mar 26, 2020

• improve code quality using early return

  bobzhang

  committed
  d38633b

  Copy full SHA for d38633b

• continue eleminate intermediate variables

  bobzhang

  committed
  73aacd7

  Copy full SHA for 73aacd7

Commits on Mar 25, 2020

• switch unit to undefined

  bobzhang

  committed
  3262d94

  Copy full SHA for 3262d94

• snapshot

  bobzhang

  committed
  daa116b

  Copy full SHA for daa116b

Commits on Apr 5, 2018

• remove Array_copy

  bobzhang

  committed
  ad53305

  Copy full SHA for ad53305

Commits on Apr 2, 2018

• check in js diffs, all look good

  bobzhang

  committed
  663e81f

  Copy full SHA for 663e81f

Commits on Mar 19, 2018

• fix #2642

  bobzhang

  committed
  10b58a3

  Copy full SHA for 10b58a3

Commits on Mar 5, 2018

• remove if e == 0 then f else t => if e then t else f transformation in statement

  bobzhang

  committed
  5ad0433

  Copy full SHA for 5ad0433

• snapshot js changes

  bobzhang

  committed
  15e021a

  Copy full SHA for 15e021a

Commits on Feb 8, 2018

• finish renaming

  bobzhang

  committed
  df7a1c9

  Copy full SHA for df7a1c9

Loading