Repository navigation

Logic subtyping and overloading - #286

Closed

auht wants to merge 43 commits into

hkust-taco:hkmc2from

auht:logic-subtyping

Closed

Logic subtyping and overloading#286
auht wants to merge 43 commits into
hkust-taco:hkmc2from
auht:logic-subtyping

Commits on Feb 25, 2025
- disjunctive subtyping
  auht
  committed
  9707a3f
Commits on Feb 26, 2025
- Changes from meeting
  LPTK
  committed
  cc87059
Commits on Mar 5, 2025
- disjoint upperbound
  auht
  committed
  0298463
- Merge remote-tracking branch 'upstream/hkmc2' into logic-subtyping
  auht
  committed
  bf4c763
- no disjoint upperbound
  auht
  committed
  ec5c55e
- multiple disjointness
  auht
  committed
  aa956a7
Commits on Mar 6, 2025
- Changes from meeting
  LPTK
  committed
  8bad1a5
- Add test case and move tests to logicsub folder
  LPTK
  committed
  86d300d
Commits on Mar 7, 2025
- constraints solving nested disjsub
  auht
  committed
  3b34199
Commits on Mar 10, 2025
- ues linkedhashset
  auht
  committed
  ae28b42
Commits on Mar 12, 2025
- traverse disjsub
  auht
  committed
  2f1f5f3
Commits on Mar 13, 2025
- Changes from meeting
  LPTK
  committed
  3d383a2
- fix pretty printer type traverse and tv subst
  auht
  committed
  00e397b
- Merge remote-tracking branch 'upstream/hkmc2' into logic-subtyping
  auht
  committed
  bdd4b7a
Commits on Mar 20, 2025
- wip rcdtype implementation
  auht
  committed
  0bbfeca
Commits on Mar 22, 2025
- wip rcdtype implementation and fun args disjointness
  auht
  committed
  3a67c1f
Commits on Mar 24, 2025
- intersections wf check
  auht
  committed
  bd53f6f
Commits on Mar 26, 2025
- fix nested record wf check
  auht
  committed
  92dc44a
Commits on Mar 28, 2025
- wip refined if
  auht
  committed
  69bcc5a
- Update hkmc2/shared/src/test/mlscript/logicsub/Records.mls
  
  auht
  and
  LPTK
  authored
  081de12
- Merge remote-tracking branch 'upstream/hkmc2' into logic-subtyping
  auht
  committed
  52c6941
Commits on Apr 2, 2025
- wip fix
  auht
  committed
  55b9066
Commits on Apr 4, 2025
- wip else branch disjointness
  auht
  committed
  d99f3af
Commits on Apr 6, 2025
- fix if disjsub
  auht
  committed
  93d7ff6
Commits on Apr 8, 2025
- wip if
  auht
  committed
  3cd0f96
- Merge remote-tracking branch 'upstream/hkmc2' into logic-subtyping
  auht
  committed
  4996431
- test
  auht
  committed
  3928da0
Commits on Apr 11, 2025
- Pretty printer changes from meeting
  LPTK
  committed
  88e3518
Commits on Apr 14, 2025
- dnf disjointness
  auht
  committed
  f77ddbb
Commits on Apr 16, 2025
- fix if
  auht
  committed
  f009711
- fix if
  auht
  committed
  fd21398
Commits on Apr 18, 2025
- fix missing constraints
  auht
  committed
  4dc8cd7
- test
  auht
  committed
  0ed746e
Commits on Apr 20, 2025
- elim branches
  auht
  committed
  836f3bb
Commits on Apr 22, 2025
- negtype and wip test
  auht
  committed
  a9c4221
- wip test explanation
  auht
  committed
  3bfe1c4
- Merge remote-tracking branch 'upstream/hkmc2' into logic-subtyping
  auht
  committed
  91ac0d4
Commits on Apr 28, 2025
- rcd union neg disjointess
  auht
  committed
  99b465b
- Merge remote-tracking branch 'upstream/hkmc2' into logic-subtyping
  auht
  committed
  9e13a34
Commits on May 4, 2025
- wf check and typing function intersection
  auht
  committed
  afb08c5
- Merge remote-tracking branch 'upstream/hkmc2' into logic-subtyping
  auht
  committed
  2cfa234
- test
  auht
  committed
  69feb99
Commits on May 28, 2025
- modify disjointness signature and impl
  auht
  committed
  4a335ea

Commits

Commits on Feb 25, 2025

Commits on Feb 26, 2025

Commits on Mar 5, 2025

Commits on Mar 6, 2025

Commits on Mar 7, 2025

Commits on Mar 10, 2025

Commits on Mar 12, 2025

Commits on Mar 13, 2025

Commits on Mar 20, 2025

Commits on Mar 22, 2025

Commits on Mar 24, 2025

Commits on Mar 26, 2025

Commits on Mar 28, 2025

Commits on Apr 2, 2025

Commits on Apr 4, 2025

Commits on Apr 6, 2025

Commits on Apr 8, 2025

Commits on Apr 11, 2025

Commits on Apr 14, 2025

Commits on Apr 16, 2025

Commits on Apr 18, 2025

Commits on Apr 20, 2025

Commits on Apr 22, 2025

Commits on Apr 28, 2025

Commits on May 4, 2025

Commits on May 28, 2025