Commits

Branch selector

 main

User selector

dougalm

Datepicker

All time

Commit History

Commits on Jul 7, 2023

• Merge pull request google-research#1322 from google-research/type-checking-refactor

  Show description for 3fbcc02
  dougalm

  authored
  3fbcc02

  Copy full SHA for 3fbcc02

• Update type checker in anticipation of decls-in-types.

  dougalm

  committed
  39c45b8

  Copy full SHA for 39c45b8

Commits on Jun 28, 2023

• Merge pull request google-research#1319 from google-research/preserve-decl-freshness

  Show description for 69b5857
  dougalm

  authored
  69b5857

  Copy full SHA for 69b5857

• Make buildScoped take a second continuation to consume the decls from below.

  Show description for 12af478
  dougalm

  committed
  12af478

  Copy full SHA for 12af478

• Merge pull request google-research#1318 from google-research/delivering-even-more-decls

  Show description for 360cd31
  dougalm

  authored
  360cd31

  Copy full SHA for 360cd31

Commits on Jun 27, 2023

• Use toBindersAbs to handle hoisting.

  dougalm

  committed
  d13ee9c

  Copy full SHA for d13ee9c

• Remove some more uses of @@>

  dougalm

  committed
  336bb04

  Copy full SHA for 336bb04

• Make a ToBindersAbs class to help abstract away direct uses of @@> and @>.

  dougalm

  committed
  43e42ec

  Copy full SHA for 43e42ec

• Merge pull request google-research#1317 from google-research/delivering-the-decls

  Show description for cfab914
  dougalm

  authored
  cfab914

  Copy full SHA for cfab914

• Avoid some uses of :> and @>.

  dougalm

  committed
  b274115

  Copy full SHA for b274115

• Unbundle binders from their role/expl attributes.

  Show description for 75eacbf
  dougalm

  committed
  75eacbf

  Copy full SHA for 75eacbf

Commits on Jun 24, 2023

• Remove some user-defined effect stuff.

  Show description for c7fef43
  dougalm

  committed
  c7fef43

  Copy full SHA for c7fef43

• Remove type/effect annotations from Block.

  Show description for cd8b208
  dougalm

  committed
  cd8b208

  Copy full SHA for cd8b208

Commits on Jun 16, 2023

• Highlighting tweak: add an outline to make the nesting order clearer.

  dougalm

  committed
  3c4ea98

  Copy full SHA for 3c4ea98

• Small tweak to the parse/group highlighting.

  Show description for 241ff36
  dougalm

  committed
  241ff36

  Copy full SHA for 241ff36

Commits on Jun 15, 2023

• Merge pull request google-research#1305 from google-research/tooltips

  Show description for ec9e052
  dougalm

  authored
  ec9e052

  Copy full SHA for ec9e052

Commits on Jun 14, 2023

• Fix typo in SourceInfoSpec

  dougalm

  committed
  d488a0a

  Copy full SHA for d488a0a

Commits on Jun 9, 2023

• Cache type and effect parameters to HOFs.

  Show description for 6c3ccfe
  dougalm

  committed
  6c3ccfe

  Copy full SHA for 6c3ccfe

Commits on Jun 7, 2023

• Remove IxBinder.

  Show description for 0c04153
  dougalm

  committed
  0c04153

  Copy full SHA for 0c04153

• Use EffTy in more places instead of splatting out effects and types.

  Show description for 8ce109a
  dougalm

  committed
  8ce109a

  Copy full SHA for 8ce109a

• Remove DestLamExpr and DestBlock.

  Show description for 31b6d93
  dougalm

  committed
  31b6d93

  Copy full SHA for 31b6d93

Commits on Jun 6, 2023

• Merge pull request google-research#1297 from google-research/exprs-in-types-prep-second-attempt

  Show description for 0ec63fc
  dougalm

  authored
  0ec63fc

  Copy full SHA for 0ec63fc

• Cache types in atoms and expressions.

  Show description for 5b61c98
  dougalm

  committed
  5b61c98

  Copy full SHA for 5b61c98

Commits on May 2, 2023

• Merge branch 'deprecate-generic-traversal'

  dougalm

  committed
  19b9c92

  Copy full SHA for 19b9c92

• Carry the TraversalDef in the monad rather than passing around it everywhere.

  dougalm

  committed
  8f74ef0

  Copy full SHA for 8f74ef0

Commits on May 1, 2023

• Switch to TraversableTerm in Lower and Optimize too.

  Show description for 7b396dc
  dougalm

  committed
  7b396dc

  Copy full SHA for 7b396dc

Commits on Apr 30, 2023

• Use TraversableTerm instead of GenericTraversal for dictionary synthesis.

  dougalm

  committed
  ea3a2c3

  Copy full SHA for ea3a2c3

Commits on Apr 28, 2023

• Use TraversableTerm to implement Inline.

  Show description for b604a81
  dougalm

  committed
  b604a81

  Copy full SHA for b604a81

• Use TraversableTerm to implement HasDCE.

  Show description for 38b79ca
  dougalm

  committed
  38b79ca

  Copy full SHA for 38b79ca

• Use TraversableTerm to implement Occ.

  Show description for 60e4193
  dougalm

  committed
  60e4193

  Copy full SHA for 60e4193

• Implement traversals over the type/atom/lambda/pi components of CoreIR/SimpIR terms.

  Show description for 83410ff
  dougalm

  committed
  83410ff

  Copy full SHA for 83410ff

Commits on Apr 26, 2023

• Separate types and atoms into two ADTs.

  Show description for 03a3bb6
  dougalm

  committed
  03a3bb6

  Copy full SHA for 03a3bb6

Commits on Apr 25, 2023

• Reorganize primitive ops.

  Show description for 3373a19
  dougalm

  committed
  3373a19

  Copy full SHA for 3373a19

Commits on Apr 13, 2023

• Remove records.

  Show description for 4928432
  dougalm

  committed
  4928432

  Copy full SHA for 4928432

Commits on Apr 12, 2023

• Merge pull request google-research#1277 from google-research/coalesce-dep-pairs

  Show description for 978ef7a
  dougalm

  authored
  978ef7a

  Copy full SHA for 978ef7a

Pagination

Previous

Next