From b5210ea9f90214fc6fbfb38e1ef975212bc8b96e Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sat, 25 Aug 2018 16:06:27 +0200 Subject: [PATCH] Update contacts and readme --- README.md | 14 +++++++++++--- docs/content/contacts.md | 4 ++-- 2 files changed, 13 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 26a73d0a..7095008d 100644 --- a/README.md +++ b/README.md @@ -1,15 +1,23 @@ -![](mps-full.svg) - -# Code Rules +# MPS Code Rules An experimental feature of [JetBrains MPS](https://jetbrains.com/mps). Code rules allow to create various code analyses employing constraints handling. The examples are provided, including type checking and control flow analysis of code written using MPS’s baseLanguage. +## Documentation + +**NEW!** The documentation [website](http://fisakov.github.io/mps-coderules/) has been created. + ## Status [![Build Status](https://travis-ci.org/fisakov/mps-coderules.svg?branch=master)](https://travis-ci.org/fisakov/mps-coderules) The status of this project is **pre-release**. Don’t rely on any of the language features or the API to be stable. The purpose of this project is to show the new technology and collect early feedback. +Latest release can be found [here](https://github.com/fisakov/mps-coderules/releases). + +The author can be reached by email `fedor.isakov` (AT) `jetbrains.com` or by [Twitter](https://twitter.com/fisakov). + +[JetBrains MPS](https://www.jetbrains.com/mps/) is a project developed by [JetBrains](http://www.jetbrains.com/?fromFooter) and is available via [web](https://www.jetbrains.com/mps/) and [Twitter](http://twitter.com/jetbrains_mps). + ## Overview This project is the result of ongoing research done within MPS team in the area of code analysis using constraints handling, in particular [CHR](http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/constraint-handling-rules-book.html). diff --git a/docs/content/contacts.md b/docs/content/contacts.md index bf992030..8b88354b 100644 --- a/docs/content/contacts.md +++ b/docs/content/contacts.md @@ -7,12 +7,12 @@ weight: 800 # Contacts -[JetBrains MPS](https://www.jetbrains.com/mps/) is a project developed by [JetBrains](http://www.jetbrains.com/?fromFooter) and is available via [web](https://www.jetbrains.com/mps/) and [Twitter](http://twitter.com/jetbrains_mps). - The project is hosted on [GitHub](https://github.com/fisakov/mps-coderules), latest release can be found [here](https://github.com/fisakov/mps-coderules/releases). The author can be reached by email `fedor.isakov` (AT) `jetbrains.com` or by [Twitter](https://twitter.com/fisakov). +[JetBrains MPS](https://www.jetbrains.com/mps/) is a project developed by [JetBrains](http://www.jetbrains.com/?fromFooter) and is available via [web](https://www.jetbrains.com/mps/) and [Twitter](http://twitter.com/jetbrains_mps). + ## Copyright All contents is copyright © JetBrains s.r.o. 2018. All rights reserved.