diff --git a/README.md b/README.md index d1f54ef3ca18d501554bf0e44313a16e20610bb5..9ad47c1137a3726cee8aefb33030b100686ab11b 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ # Blueprint +This respository is **not** the main repository for the Blueprint project. It is only the repository that contains the Blueprint artifact from the 2023 SOSP paper. If you are interested in using Blueprint, please visit the open-source Githab implementation at https://github.com/Blueprint-uServices. + ## __Installation Instructions__ To install Blueprint, you only need a brief set of dependencies that are highlighted below. @@ -813,4 +815,4 @@ If you wish to extend the syntax of the Wiring language then please follow the f If you wish to extend the syntax of the Specification language, for e.g. to support features from future versions of Go, then please follow the following steps: 1. Update the spec parser located in the file [parser/spec.go](parser/spec.go) -2. IF adding a new type, then update the [parser/types.go](parser/types.go) \ No newline at end of file +2. IF adding a new type, then update the [parser/types.go](parser/types.go)