Skip to content

SARP - Milestone 1 Research #880

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
semuelle merged 2 commits into from
Jul 6, 2023
Merged

SARP - Milestone 1 Research #880

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
d999a75
SARP research milestone 1 deliverable
masapr Jun 12, 2023
70250f0
Merge branch 'w3f:master' into master
masapr Jun 12, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
22 changes: 22 additions & 0 deletions deliveries/sarp-basic-functionality-milestone-1.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
# 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:** [SARP - A Static Analysis Tool for Runtime Pallets](https://github.com/w3f/Grants-Program/blob/master/applications/sarp-basic-functionality.md)
* **Milestone Number:** 1


**Deliverables**


| Number | Deliverable | Link | Notes |
| ------------- | ------------- |--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| 0a. | License | [MIT](https://github.com/scs/MIRAI/blob/Milestone1_Research/LICENSE) | MIT |
| 0b. | User Documentation | <ul><li>[Proof of Concept: Tag Analysis on Origin](https://github.com/scs/MIRAI/blob/Milestone1_Research/substrate-examples/pallet_template)</li><li>[Proof of Concept: Tag Analysis for validation of unsigned transactions](https://github.com/scs/MIRAI/blob/Milestone1_Research/substrate-examples/offchain-worker)</li></ul> | In the documentation we show how our examples can be run. Since we used official substrate examples, this can also be used by users who want to apply MIRAI to their own code base. A more elaborate user documentation will be added in future work packages. |
| 0c. | Testing and Testing Guide | See 0b. | The deliverables from 0b. serve as documented manual tests. |
| 1. | Prototype Code | See 0b. |
| 2. | Documentation | [Tag Analysis on Substrate Pallets](https://github.com/scs/MIRAI/blob/Milestone1_Research/substrate-examples/README.md) | |
| 3. | Engagement | [Github comment](https://github.com/w3f/Grants-Program/pull/1706#issuecomment-1564312572) | There was not much engagement needed for this first project, but we informed half-way through the project about our progress and got a positive feedback. |