Code

Type Model#4

Code

Merged

AlSchlo merged 10 commits intomaincmu-db/optd:mainfrom connor/typescmu-db/optd:connor/typesCopy head branch name to clipboardJan 29, 2025

+663-39

Commits

Commits on Jan 29, 2025

• add optd core type modeling

  Show description for 918e5a1
  

  connortsui20

  and

  AlSchlo

  committed
  918e5a1

  Copy full SHA for 918e5a1

• fix proc-macro2 minimal version error

  connortsui20

  committed
  ff1ab5d

  Copy full SHA for ff1ab5d

• fix clippy and format errors

  connortsui20

  committed
  aa87617

  Copy full SHA for aa87617

• rename generic parameters

  Show description for ec347a8
  connortsui20

  committed
  ec347a8

  Copy full SHA for ec347a8

• Address comments

  AlSchlo

  committed
  fe28191

  Copy full SHA for fe28191

• Fix cargo fmt

  AlSchlo

  committed
  8b16be3

  Copy full SHA for 8b16be3

• distinguish between different types of IDs with newtypes

  connortsui20

  committed
  583f9de

  Copy full SHA for 583f9de

• Separate scalar expressions from logical

  AlSchlo

  committed
  913bae8

  Copy full SHA for 913bae8

• Address Connor's nits

  AlSchlo

  committed
  67465ed

  Copy full SHA for 67465ed

• Add missing file

  AlSchlo

  committed
  7ce1585

  Copy full SHA for 7ce1585