Commits

Branch selector

 develop

User selector

lorchrob

Datepicker

All time

Commit History

Commits on Nov 18, 2025

• Type inference for (polymorphic) node and function calls (#1242)

  Show description for 3095ef6
  lorchrob

  authored
  3095ef6

  Copy full SHA for 3095ef6

Commits on Nov 17, 2025

• Give undeclared type error message for refinement type bound variables (#1251)

  Show description for e322863
  lorchrob

  authored
  e322863

  Copy full SHA for e322863

Commits on Nov 15, 2025

• Minor type checker refactoring (#1250)

  Show description for 5c5f62e
  lorchrob

  authored
  5c5f62e

  Copy full SHA for 5c5f62e

Commits on Nov 14, 2025

• Support AST modifications in type checking (#1246)

  Show description for b8ceb1c
  lorchrob

  authored
  b8ceb1c

  Copy full SHA for b8ceb1c

Commits on Nov 13, 2025

• Fix spurious unguarded pre warning (#1249)

  lorchrob

  authored
  5c7352d

  Copy full SHA for 5c7352d

Commits on Nov 6, 2025

• Reduce level of redundancy across check_type_expr and infer_type_expr (#1243)

  lorchrob

  authored
  33101e4

  Copy full SHA for 33101e4

Commits on Oct 31, 2025

• X.MapIndex -> X.SetMapIndex (#1238)

  Show description for 2fde50a
  lorchrob

  authored
  2fde50a

  Copy full SHA for 2fde50a

• Chase base types for sets (#1237)

  lorchrob

  authored
  dda88a2

  Copy full SHA for dda88a2

Commits on Oct 29, 2025

• Fix bug w/ symbolic subranges

  lorchrob

  committed
  22eb768

  Copy full SHA for 22eb768

• Add test case

  lorchrob

  committed
  9314e77

  Copy full SHA for 9314e77

• Merge branch 'develop' into normalize-globals

  lorchrob

  committed
  a6fc26b

  Copy full SHA for a6fc26b

Commits on Oct 28, 2025

• WIP: Normalize globals

  lorchrob

  committed
  d2e4d64

  Copy full SHA for d2e4d64

Commits on Oct 21, 2025

• Fix index access type checking bug

  lorchrob

  committed
  2091759

  Copy full SHA for 2091759

• Fix index access type checking bug

  lorchrob

  committed
  232e2e4

  Copy full SHA for 232e2e4

• Support quantification over variables with abstract types

  lorchrob

  committed
  6b3d4de

  Copy full SHA for 6b3d4de

• Document confusing place in code

  lorchrob

  committed
  6029b80

  Copy full SHA for 6029b80

• Check type annotations for non-empty map and set literals, if they are given

  lorchrob

  committed
  73257c9

  Copy full SHA for 73257c9

Commits on Oct 20, 2025

• Add test case

  lorchrob

  committed
  3fe62f7

  Copy full SHA for 3fe62f7

• Clean up

  lorchrob

  committed
  68a6ee3

  Copy full SHA for 68a6ee3

• Remove crud

  lorchrob

  committed
  19283ab

  Copy full SHA for 19283ab

• Merge branch 'develop' into set-intersection

  lorchrob

  committed
  3b0373e

  Copy full SHA for 3b0373e

• WIP: type inference -- now support map and set literals without type annotations

  lorchrob

  committed
  c0321d8

  Copy full SHA for c0321d8

• Remove stale comment

  lorchrob

  committed
  01ec5d2

  Copy full SHA for 01ec5d2

• WIP: Type inference

  lorchrob

  committed
  70c95ff

  Copy full SHA for 70c95ff

Commits on Oct 17, 2025

• Fix type checking loop w/ maps

  lorchrob

  committed
  c233772

  Copy full SHA for c233772

• WIP: Type inference

  lorchrob

  committed
  2c941bf

  Copy full SHA for 2c941bf

• Minor

  lorchrob

  committed
  d3da7f7

  Copy full SHA for d3da7f7

• Merge branch 'develop' into set-union

  lorchrob

  committed
  82c6769

  Copy full SHA for 82c6769

Commits on Oct 16, 2025

• Fix typo

  lorchrob

  committed
  6c07c9a

  Copy full SHA for 6c07c9a

Commits on Oct 15, 2025

• Addressed unused variable warnings (for some reason my local compiler does not flag this

  lorchrob

  committed
  bca44df

  Copy full SHA for bca44df

• Rename test case

  lorchrob

  committed
  923d0a9

  Copy full SHA for 923d0a9

• set_add_elements -> set_insertions

  lorchrob

  committed
  00cd058

  Copy full SHA for 00cd058

• Remove internal comment

  lorchrob

  committed
  bb2a4bf

  Copy full SHA for bb2a4bf

• Merge branch 'develop' into set-add-element

  lorchrob

  committed
  b276182

  Copy full SHA for b276182

Commits on Oct 14, 2025

• Doc

  lorchrob

  committed
  7fccb12

  Copy full SHA for 7fccb12

Pagination

Previous

Next