Code

Multiple inheritance of GATs#147

Code

Merged

olynch merged 21 commits intomainAlgebraicJulia/GATlab.jl:mainfrom multiple-inheritanceAlgebraicJulia/GATlab.jl:multiple-inheritanceCopy head branch name to clipboardJul 2, 2024

+744-90

Commits

Commits on Nov 8, 2023

• unions working, still need renaming

  olynch

  committed
  9870c40

Commits on Mar 20, 2024

• trying to get renaming via using-as statments right

  quffaro

  committed
  ea8b79c

Commits on Mar 27, 2024

• work so far. issue encountered with default not defined in modelinterface.

  quffaro

  committed
  4003205

Commits on Apr 18, 2024

• Multiple inheritance seems to work but not tested on withmodel.

  quffaro

  committed
  bdba84c

• functions are now being generated from type constructors during theory definition, but a test in models is now broken

  quffaro

  committed
  5694cae

Commits on Apr 21, 2024

• ThModule now defined. Category.Ob problem in test persists. Code somewhat cleaned up after my debugging.

  quffaro

  committed
  3233194

Commits on Jun 6, 2024

• just about there. tests were passing and some examples/new tests are being created but it needs clean up and review.

  quffaro

  committed
  aedf965

Commits on Jun 7, 2024

• working through module code and tests

  quffaro

  committed
  bfec3ab

• merged with main, but now experiencing with Union{Nothing, AbstractAlgSort} type issue when reidenting MethodResolver

  quffaro

  committed
  0b62d34

Commits on Jun 8, 2024

• these changes repair reidentification on empty alg sort arrays

  quffaro

  committed
  e3c52f8

Commits on Jun 9, 2024

• fixed bug where second using-rename statements collide with names in the theory

  quffaro

  committed
  57ff35d

Commits on Jun 10, 2024

• identified an issue with multiple-inheritance

  quffaro

  committed
  8e10590

• readded newsegment in theory_impl

  quffaro

  committed
  ecbc70f

Commits on Jun 13, 2024

• removed renaming, added manual renames to algebra.jl

  olynch

  committed
  7e7be49

Commits on Jul 1, 2024

• fixed imports

  olynch

  committed
  9d9041e

• Merge remote-tracking branch 'origin/main' into multiple-inheritance

  olynch

  committed
  368fd36

• import - from base

  olynch

  committed
  98b6582

• addressed review comments

  olynch

  committed
  01f7535

Commits on Jul 2, 2024

• Merge remote-tracking branch 'origin/main' into multiple-inheritance

  olynch

  committed
  af40107

• workk done so far on resolving code coverage

  quffaro

  committed
  c4d458f

• improve coverage

  olynch

  committed
  57888cd