File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ # SPDX-License-Identifier: PMPL-1.0-or-later
2+ # Intentfile.a2ml — BLANK TEMPLATE
3+ # Replace this with your project's contractile.
4+ # See .machine_readable/contractiles/ for a working example.
5+ #
6+ # Copy this file to .machine_readable/contractiles/lust/Intentfile.a2ml
7+ # and fill in your project-specific checks.
8+
9+ @abstract:
10+ [Your project's LUST contract goes here]
11+ @end
Original file line number Diff line number Diff line change 1+ # SPDX-License-Identifier: PMPL-1.0-or-later
2+ # Mustfile.a2ml — BLANK TEMPLATE
3+ # Replace this with your project's contractile.
4+ # See .machine_readable/contractiles/ for a working example.
5+ #
6+ # Copy this file to .machine_readable/contractiles/must/Mustfile.a2ml
7+ # and fill in your project-specific checks.
8+
9+ @abstract:
10+ [Your project's MUST contract goes here]
11+ @end
Original file line number Diff line number Diff line change 1+ # SPDX-License-Identifier: PMPL-1.0-or-later
2+ # Trustfile.a2ml — BLANK TEMPLATE
3+ # Replace this with your project's contractile.
4+ # See .machine_readable/contractiles/ for a working example.
5+ #
6+ # Copy this file to .machine_readable/contractiles/trust/Trustfile.a2ml
7+ # and fill in your project-specific checks.
8+
9+ @abstract:
10+ [Your project's TRUST contract goes here]
11+ @end
You can’t perform that action at this time.
0 commit comments