Code

Move to a module based configuration#214

Code

Merged

n-osborne merged 27 commits intoocaml-gospel:mainocaml-gospel/ortac:mainfrom n-osborne:module-based-confign-osborne/ortac:module-based-configCopy head branch name to clipboardJun 4, 2024

+1,200-439

Commits

Commits on May 27, 2024

• Add fold_left to Reserr

  Show description for 3fa49a1
  n-osborne

  committed
  3fa49a1

  Copy full SHA for 3fa49a1

Commits on May 28, 2024

• Reorder warnings in reserr

  n-osborne

  committed
  00119f5

  Copy full SHA for 00119f5

• Add new reserr errors

  n-osborne

  committed
  e627e3b

  Copy full SHA for e627e3b

• Change command-line interface for a module-base config

  Show description for 79a1bb9
  n-osborne

  committed
  79a1bb9

  Copy full SHA for 79a1bb9

• Setup parsing parsing of the configuration module

  n-osborne

  committed
  48d160c

  Copy full SHA for 48d160c

• Remove unused errors from reserr

  n-osborne

  committed
  719995a

  Copy full SHA for 719995a

• Add the logic of scanning the configuration module

  Show description for f0c3e15
  n-osborne

  committed
  f0c3e15

  Copy full SHA for f0c3e15

• Process values to look for init_sut

  Show description for 0a4293c
  n-osborne

  committed
  0a4293c

  Copy full SHA for 0a4293c

• Use init_sut_txt and location from config file

  n-osborne

  committed
  5527178

  Copy full SHA for 5527178

• Process type declarations to find the type sut

  n-osborne

  committed
  3e0d6b0

  Copy full SHA for 3e0d6b0

• Update tests to use the new interface

  n-osborne

  committed
  f8bad7f

  Copy full SHA for f8bad7f

• Collect optional content for the Gen module

  Show description for 9382c7f
  n-osborne

  committed
  9382c7f

  Copy full SHA for 9382c7f

• Integrate generators into the generated code

  n-osborne

  committed
  8804965

  Copy full SHA for 8804965

• Add tests for inclusion of the custom generators

  n-osborne

  committed
  802cba5

  Copy full SHA for 802cba5

• Collect optional content for Pp module

  n-osborne

  committed
  165501f

  Copy full SHA for 165501f

• Integrate pretty printers into generated code

  Show description for 48924d6
  n-osborne

  committed
  48924d6

  Copy full SHA for 48924d6

• Add tests for inclusion of custom pretty printers

  n-osborne

  committed
  3a1a17e

  Copy full SHA for 3a1a17e

• Collect optional ty extensions and functional constructors

  n-osborne

  committed
  c5e9c48

  Copy full SHA for c5e9c48

• Add tests for inclusion of ty extensions

  n-osborne

  committed
  30afd25

  Copy full SHA for 30afd25

Commits on Jun 4, 2024

• Reorder pp_kind cases in reserr

  n-osborne

  committed
  6ac533a

  Copy full SHA for 6ac533a

• Update Ortac/QCheck-STM README

  n-osborne

  committed
  6537f47

  Copy full SHA for 6537f47

• Update Ortac/Dune plugin to new qcheck-stm interface

  n-osborne

  committed
  4e0cdbf

  Copy full SHA for 4e0cdbf

• Update Ortac/Dune cram tests

  n-osborne

  committed
  c73610e

  Copy full SHA for c73610e

• Update Ortac/Dune README

  n-osborne

  committed
  bf58af8

  Copy full SHA for bf58af8

• Update examples to new interface

  n-osborne

  committed
  92b70d7

  Copy full SHA for 92b70d7

• Update Ortac/QCheck-STM documentation

  n-osborne

  committed
  2dcee7a

  Copy full SHA for 2dcee7a

• Update Changelog

  n-osborne

  committed
  e190f82

  Copy full SHA for e190f82