Code

Expose tlapm_lib for other projects.#154

Code

Draft

kape1395 wants to merge 6 commits intomaintlaplus/tlapm:mainfrom export_tlapm_libtlaplus/tlapm:export_tlapm_libCopy head branch name to clipboard

Commits

Commits on Sep 15, 2024

• Expose dequeue from the tlapm_lib, use Module.T instead M_t.

  Show description for 53c9b78
  kape1395

  committed
  53c9b78

  Copy full SHA for 53c9b78

• Export tlapm_lib for for other projects.

  Show description for da6ad30
  kape1395

  committed
  da6ad30

  Copy full SHA for da6ad30

Commits on Sep 30, 2024

• Expose builtin module.

  Show description for caefe81
  kape1395

  committed
  caefe81

  Copy full SHA for caefe81

Commits on Oct 2, 2024

• Fix printing of the QED step.

  Show description for b8b2611
  kape1395

  committed
  b8b2611

  Copy full SHA for b8b2611

• Print EXTENDS for a parsed/final module.

  Show description for 38c2ea9
  kape1395

  committed
  38c2ea9

  Copy full SHA for 38c2ea9

• Experiment: modctx_of_mule

  Show description for 3e4f492
  kape1395

  committed
  3e4f492

  Copy full SHA for 3e4f492