Code

Automatic generation of constructors#10

Code

Open

edusporto wants to merge 15 commits intoHigherOrderCO:masterHigherOrderCO/kind2-archive:masterfrom edusporto:auto-constructoredusporto/kind2:auto-constructorCopy head branch name to clipboard

+279-3

Commits

Commits on Apr 5, 2024

• Start implementing automatic constructor generation

  edusporto

  committed
  c4552a0

  Copy full SHA for c4552a0

Commits on Apr 6, 2024

• Correctly resugar ADT for constructor generation

  Show description for 3320faf
  edusporto

  committed
  3320faf

  Copy full SHA for 3320faf

Commits on Apr 8, 2024

• Generate full constructor code

  Show description for f60bea5
  edusporto

  committed
  f60bea5

  Copy full SHA for f60bea5

• Save and load generated constructor

  Show description for 1f25fb8
  edusporto

  committed
  1f25fb8

  Copy full SHA for 1f25fb8

Commits on Apr 9, 2024

• Make constructor generation code prettier

  edusporto

  committed
  cbad45f

  Copy full SHA for cbad45f

• Format type indices into construtors, finishing constructor generation

  Show description for c428ebc
  edusporto

  committed
  c428ebc

  Copy full SHA for c428ebc

• Create folder structure for the constructor if it does not exist

  edusporto

  committed
  ac6438b

  Copy full SHA for ac6438b

• Improve description of the constructor generation result

  edusporto

  committed
  b8a382c

  Copy full SHA for b8a382c

• Solve one of the TODO questions

  edusporto

  committed
  c11e081

  Copy full SHA for c11e081

Commits on Apr 10, 2024

• Start testing constructor generation

  Show description for 7356288
  edusporto

  committed
  7356288

  Copy full SHA for 7356288

• Add test for constructor generation

  Show description for 67ea1e6
  edusporto

  committed
  67ea1e6

  Copy full SHA for 67ea1e6

Commits on Apr 11, 2024

• (Mostly) fully test constructor generation

  Show description for 258104a
  edusporto

  committed
  258104a

  Copy full SHA for 258104a

• Test nested module

  edusporto

  committed
  63f0dc3

  Copy full SHA for 63f0dc3

• Add specific Kind2 tests for constructor generation

  edusporto

  committed
  af81956

  Copy full SHA for af81956

• Refactor code generation to use Show

  edusporto

  committed
  67abc5c

  Copy full SHA for 67abc5c