Commits

Branch selector

 stateful-diffs

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 8, 2025

• newlines

  gok99

  committed
  4544de9

  Copy full SHA for 4544de9

• add nondet choice example

  gok99

  committed
  5b2444b

  Copy full SHA for 5b2444b

• remove default param

  gok99

  committed
  b95c24b

  Copy full SHA for b95c24b

• random space

  gok99

  committed
  74855d4

  Copy full SHA for 74855d4

• trailing spaces

  gok99

  committed
  616516e

  Copy full SHA for 616516e

• add test

  gok99

  committed
  b821875

  Copy full SHA for b821875

• stateful comments

  gok99

  committed
  420e067

  Copy full SHA for 420e067

• FingerTreeLists and LazyFingerTreeLists (#319)

  Show description for 4c8591d
  

  3 peopleauthored
  4c8591d

  Copy full SHA for 4c8591d

Commits on Aug 7, 2025

• Make immutability the default and add opt-in `mut` modifier (#323)

  Show description for 3e574d5
  

  LPTK

  and

  CAG2Mark

  authored
  3e574d5

  Copy full SHA for 3e574d5

Commits on Aug 6, 2025

• Rendering improvements (#320)

  Show description for 6e3ff82
  

  chengluyu

  and

  LPTK

  authored
  6e3ff82

  Copy full SHA for 6e3ff82

Commits on Aug 4, 2025

• Auxiliary Parameter List Changes & Some Documentation (#322)

  CAG2Mark

  authored
  cfa6d14

  Copy full SHA for cfa6d14

• Enforce that only Arrays (and array-like constant time indexables) are used with LazyArrays (#321)

  gok99

  authored
  03b33c9

  Copy full SHA for 03b33c9

Commits on Aug 3, 2025

• Lazy spreads with lazy arrays, and benchmarking sub-project (#318)

  Show description for 87509a4
  

  gok99

  and

  LPTK

  authored
  87509a4

  Copy full SHA for 87509a4

Commits on Aug 2, 2025

• Clean up, improve, and harden lowering and logical operations

  LPTK

  committed
  ac5ce9c

  Copy full SHA for ac5ce9c

Commits on Jun 26, 2025

• Support explicitly specifying contextual arguments (#315)

  FlandiaYingman

  authored
  02e0442

  Copy full SHA for 02e0442

Commits on Jun 24, 2025

• Change `use` to a predef function (#314)

  FlandiaYingman

  authored
  8244b7d

  Copy full SHA for 8244b7d

Commits on Jun 15, 2025

• Contextual Params for Constructors (#311)

  Show description for 1e3ea7f
  

  3 peopleauthored
  1e3ea7f

  Copy full SHA for 1e3ea7f

Commits on Jun 11, 2025

• Fix parsing of `new` and refactor parsing of `with` etc. (#313)

  LPTK

  authored
  ba89d62

  Copy full SHA for ba89d62

Commits on Jun 6, 2025

• `use[T]` as Summon (#310)

  Show description for 4323f94
  

  FlandiaYingman

  and

  LPTK

  authored
  4323f94

  Copy full SHA for 4323f94

Commits on Jun 4, 2025

• Add bug repros and a small fix

  LPTK

  committed
  bbad90d

  Copy full SHA for bbad90d

Commits on May 27, 2025

• Move UCS normalization before lowering (#308)

  chengluyu

  authored
  f151d58

  Copy full SHA for f151d58

Commits on May 25, 2025

• Reimplement operator apps, operator splits, and "placeholder syntax" for lambdas (#302)

  Show description for 55e4008
  

  LPTK

  and

  chengluyu

  authored
  55e4008

  Copy full SHA for 55e4008

Commits on May 23, 2025

• Record patterns, conjunction, disjunction added to ucs (#306)

  Show description for c88fde9
  

  3 peopleauthored
  c88fde9

  Copy full SHA for c88fde9

Commits on May 20, 2025

• Fix constraint cache and unexpected generalizations in BbML (#305)

  Show description for c7ad33c
  NeilKleistGao

  authored
  c7ad33c

  Copy full SHA for c7ad33c

Commits on May 1, 2025

• Add infrastructure for quasiquote backend and runtime (#279)

  NeilKleistGao

  authored
  12479ae

  Copy full SHA for 12479ae

Commits on Apr 30, 2025

• Make minor fix to record pattern + misc

  LPTK

  committed
  d27adc1

  Copy full SHA for d27adc1

Commits on Apr 26, 2025

• Prettier LLIR and C++ output (#301)

  Show description for 066f301
  

  waterlens

  and

  LPTK

  authored
  066f301

  Copy full SHA for 066f301

• Move Most Resolution to the Resolution Stage (#297)

  Show description for 53d2587
  

  FlandiaYingman

  and

  LPTK

  authored
  53d2587

  Copy full SHA for 53d2587

• Fix parsing web demo

  LPTK

  committed
  8ce191f

  Copy full SHA for 8ce191f

Commits on Apr 25, 2025

• Merge pull request #277 from chengluyu/generalized-pratt-parsing

  Show description for b81146d
  LPTK

  authored
  b81146d

  Copy full SHA for b81146d

• Merge branch 'hkmc2' into generalized-pratt-parsing

  LPTK

  authored
  194f79d

  Copy full SHA for 194f79d

Commits on Apr 24, 2025

• Document how to test the `main.mls` of the parsing-web-demo

  chengluyu

  committed
  18b8caf

  Copy full SHA for 18b8caf

• Use `Str.concat`

  Show description for fbfd0a6
  

  chengluyu

  and

  LPTK

  authored
  fbfd0a6

  Copy full SHA for fbfd0a6

• Rename test files

  chengluyu

  committed
  e67ff20

  Copy full SHA for e67ff20

• Add tests for Examples.mls

  chengluyu

  committed
  7d474eb

  Copy full SHA for 7d474eb

Pagination

Previous

Next