From 5ff6358c9779bbfbd5864033244212d1c5958032 Mon Sep 17 00:00:00 2001 From: Andrew Butterfield Date: Fri, 20 Jan 2023 17:01:39 +0000 Subject: [PATCH 0/1] formal: Fixes Licenses Tidies up licenses in the recently added formal verification material. Andrew Butterfield (1): formal: fix licenses formal/promela/models/barriers/barrier-mgr-model.pml | 2 +- formal/promela/models/chains/chains-api-model-post.h | 2 +- formal/promela/models/chains/chains-api-model-pre.h | 2 +- formal/promela/models/chains/chains-api-model-rfn.yml | 5 ++++- formal/promela/models/chains/chains-api-model-run.h | 2 +- formal/promela/models/chains/chains-api-model.pml | 2 +- formal/promela/models/chains/tr-chains-api-model.c | 2 +- formal/promela/models/chains/tr-chains-api-model.h | 2 +- formal/promela/models/events/event-mgr-model.pml | 2 +- formal/promela/src/examples/draft/parse.pml | 2 +- formal/promela/src/src/library.coco | 1 + formal/promela/src/src/syntax_ml.coco | 1 + formal/promela/src/src/syntax_pml.coco | 1 + formal/promela/src/src/syntax_yaml.coco | 1 + formal/promela/src/src/testgen.coco | 1 + formal/promela/src/src/tests/test_coverage_testgen.coco | 3 +-- formal/promela/src/src/tests/test_optional.coco | 3 +-- formal/promela/src/testgen_ml.coco | 3 +-- formal/promela/src/testgen_yaml.coco | 3 +-- 19 files changed, 22 insertions(+), 18 deletions(-) -- 2.37.1 (Apple Git-137.1)