corelang-examples

Example models library for coreLang

Manifest file

Each folder containing models should also include a manifest.txt file that mentions the coreLang version number and the git SHA1 commit ID needed to run the models. Additional information can be added to the manifest.txt file where deemed appropriate.

Project's file structure

The validation folder contains the models used for the coreLang validation work. Each subfolder is named after a tactic and comprises the models pertaining to it.