Merge remote-tracking branch 'origin/ncb/development' into gk/codegenconc
Merge remote-tracking branch 'origin/gk/codegenconc' into pvj/main
remove files that have migrated to the @overturetool/language repository
fix inheritance problem by adding the inherited methods in the search loop to generate the permission predicates for them in the subclasses.
one more test for inheritance.
remove tests to be redesigned.
remove test to be redesigned
Merge branch 'gk/codegenconc' of https://github.com/overturetool/overture into gk/codegenconc
restore accidental removal of the transformation.
redesigned test. Problem found and need to be clarified.
fix inheritance problem. Needed changing to the Transformation sequence in order to define VDMThread extension after the getAllMethods have been completed.
Test updated with the thread section.
Minor updates to test results related to generation of named invariant types
Added named typed declarations to the IR
The killed parts of documentation/ are now downloaded from the
@overturetool/language repository.  The download is cached in the local
~/.m2/.cache directory (likely as master.zip; we're using the github
feature of downloading an entire repo@commit as a zipfile).  Not yet
sure how to clean/update that cached version.
Add a profile to force download the language board stuff
Build a jar of the Overture examples (and indexes) for use in testing.
Yank plugin that wasn't supposed to be in core/testing/framework
fix core/testing/framework to unpack the external/examples/ jar (and
then promptly bundle it back up; what's next to future work).  Also
exclude external/language-board from the deploy cycle.
Merge remote-tracking branch 'origin/development' into jwc/kill-docs
Set testing dependencies to use external/examples/, next up is to fix
in-jar iteration.