From fbe35f33579aaed84159b75b403b4c18a9858982 Mon Sep 17 00:00:00 2001 From: dkcumming Date: Thu, 2 Nov 2023 09:59:51 +1000 Subject: [PATCH 1/3] milestone document --- deliveries/rv_kmir-milestone_4.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 deliveries/rv_kmir-milestone_4.md diff --git a/deliveries/rv_kmir-milestone_4.md b/deliveries/rv_kmir-milestone_4.md new file mode 100644 index 000000000..8a3b007c6 --- /dev/null +++ b/deliveries/rv_kmir-milestone_4.md @@ -0,0 +1,20 @@ +# Milestone Delivery :mailbox: + +**The [invoice form :pencil:](https://docs.google.com/forms/d/e/1FAIpQLSfmNYaoCgrxyhzgoKQ0ynQvnNRoTmgApz9NrMp-hd8mhIiO0A/viewform) has been filled out correctly for this milestone and the delivery is according to the official [milestone delivery guidelines](https://github.com/w3f/Grants-Program/blob/master/docs/Support%20Docs/milestone-deliverables-guidelines.md).** + +* **Application Document:** [RV KMIR](https://github.com/w3f/Grants-Program/blob/master/applications/rv-kmir.md) + +* **Milestone Number:** 4 + +**Deliverables** +Specify the semantics of MIR programs in K. + +| Number | Deliverable | Specification | +| -----: | ----------- | ------------- | +| **0a.** | License | [BSD-3](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/LICENSE) | +| **0b.** | Documentation | [kmir CLI instructions](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/kmir/README.md) | +| **0c.** | Testing and Testing Guide | [Testing Instructions with Docker](https://github.com/runtimeverification/mir-semantics/tree/milestone4-deliverable#running-integration-tests-with-docker) | +| **0d.** | Docker | [Dockerfile](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/Dockerfile | +| 1. | KMIR documentation | [README](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/kmir/README.md#build-kmir) | +| 2. | **kup** integration | [kmir in kup](https://github.com/runtimeverification/kup/blob/cf2ff4245ccefb64a98f752a324a807a43cf9184/src/kup/__main__.py#L60https://github.com/runtimeverification/kup) [flake.nix in kmir](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/flake.nix) | +| 3. | Blog post | In final review by Seraya Takahashi | \ No newline at end of file From 04180ff9e121273f150af8c34e8588800023496b Mon Sep 17 00:00:00 2001 From: Daniel Cumming <124537596+dkcumming@users.noreply.github.com> Date: Thu, 7 Dec 2023 08:50:23 +1000 Subject: [PATCH 2/3] Update deliveries/rv_kmir-milestone_4.md Co-authored-by: S E R A Y A --- deliveries/rv_kmir-milestone_4.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deliveries/rv_kmir-milestone_4.md b/deliveries/rv_kmir-milestone_4.md index 8a3b007c6..ccf9c4a24 100644 --- a/deliveries/rv_kmir-milestone_4.md +++ b/deliveries/rv_kmir-milestone_4.md @@ -17,4 +17,4 @@ Specify the semantics of MIR programs in K. | **0d.** | Docker | [Dockerfile](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/Dockerfile | | 1. | KMIR documentation | [README](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/kmir/README.md#build-kmir) | | 2. | **kup** integration | [kmir in kup](https://github.com/runtimeverification/kup/blob/cf2ff4245ccefb64a98f752a324a807a43cf9184/src/kup/__main__.py#L60https://github.com/runtimeverification/kup) [flake.nix in kmir](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/flake.nix) | -| 3. | Blog post | In final review by Seraya Takahashi | \ No newline at end of file +| 3. | Blog post | In final review by @takahser | \ No newline at end of file From 0ef76108d6f419c4efda2ee8eceebff0259bcf5e Mon Sep 17 00:00:00 2001 From: dkcumming Date: Thu, 7 Dec 2023 08:59:00 +1000 Subject: [PATCH 3/3] Update deliveries/rv_kmir-milestone_4.md --- deliveries/rv_kmir-milestone_4.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deliveries/rv_kmir-milestone_4.md b/deliveries/rv_kmir-milestone_4.md index ccf9c4a24..911965c1f 100644 --- a/deliveries/rv_kmir-milestone_4.md +++ b/deliveries/rv_kmir-milestone_4.md @@ -14,7 +14,7 @@ Specify the semantics of MIR programs in K. | **0a.** | License | [BSD-3](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/LICENSE) | | **0b.** | Documentation | [kmir CLI instructions](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/kmir/README.md) | | **0c.** | Testing and Testing Guide | [Testing Instructions with Docker](https://github.com/runtimeverification/mir-semantics/tree/milestone4-deliverable#running-integration-tests-with-docker) | -| **0d.** | Docker | [Dockerfile](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/Dockerfile | +| **0d.** | Docker | [Dockerfile](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/Dockerfile) | | 1. | KMIR documentation | [README](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/kmir/README.md#build-kmir) | | 2. | **kup** integration | [kmir in kup](https://github.com/runtimeverification/kup/blob/cf2ff4245ccefb64a98f752a324a807a43cf9184/src/kup/__main__.py#L60https://github.com/runtimeverification/kup) [flake.nix in kmir](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/flake.nix) | | 3. | Blog post | In final review by @takahser | \ No newline at end of file