natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update URLs after repo ownership change

This commit is contained in:
Fedor Isakov 2018-09-04 14:34:45 +02:00
parent dceffeacbe
commit b5ff5997f3
2 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
README.md
View File

@ -4,15 +4,15 @@ An experimental feature of [JetBrains MPS](https://jetbrains.com/mps). Code rule
## Documentation
**NEW!** The documentation [website](http://fisakov.github.io/mps-coderules/) has been created.
**NEW!** The documentation [website](http://jetbrains.github.io/mps-coderules/) is available.
## Status
[![Build Status](https://travis-ci.org/fisakov/mps-coderules.svg?branch=master)](https://travis-ci.org/fisakov/mps-coderules)
[![Build Status](https://travis-ci.org/jetbrains/mps-coderules.svg?branch=master)](https://travis-ci.org/jetbrains/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).
Latest release can be found [here](https://github.com/jetbrains/mps-coderules/releases).
The author can be reached by email `fedor.isakov` (AT) `jetbrains.com` or by [Twitter](https://twitter.com/fisakov).
@ -24,13 +24,13 @@ This project is the result of ongoing research done within MPS team in the area
Code rules serve as templates that produce constraint rules. Both transformation to constraint rules and evaluating is done in-memory at the time analysis is launched. Constraint rules are processed by the embedded [engine](reactor).
Samples included with this project demonstrate how *coderules* can be used for solving concrete tasks connected with source code analysis.
Samples included with this project demonstrate how *coderules* can be used for solving concrete tasks connected with source code analysis.
- [Type checking of lambda calculus](samples/lambdacalc) shows the implementation of standard type checking algorithm.
- [Proof validation](samples/fitch) using Fitch system demonstrates how logical inference can be done.
- [Proof validation](samples/fitch) using Fitch system demonstrates how logical inference can be done.
- [Type checking and control flow analysis](samples/mpscore) for core MPS languages.
*Coderules* allow for extensions to be provided by derived languages. Extensions have higher priority, so it’s easy to override the built-in behaviour.
*Coderules* allow for extensions to be provided by derived languages. Extensions have higher priority, so it’s easy to override the built-in behaviour.
The semantics of constraints handling is compatible with regular Java semantics, so *coderules* can be safely embedded into the user code. There also exists support for launching arbitrary code from when processing constraints.

8
docs/_config.yml
View File

@ -5,18 +5,18 @@ description: >- # this means to ignore newlines until "baseurl:"
Code Rules is a language framework and runtime for running logical
inference in JetBrains MPS.
baseurl: "/mps-coderules" # the subpath of your site, e.g. /blog
url: "https://fisakov.github.io" # the base hostname & protocol for your site, e.g. http://example.com
url: "https://jetbrains.github.io" # the base hostname & protocol for your site, e.g. http://example.com
twitter_username: jetbrains_mps
github_username: fisakov
github_username: jetbrains
time: 2018-09-04
revision: 0.5.0
copyright: JetBrains s.r.o.
copyright_url: "https://jetbrains.com"
homepage: "https://jetbrains.com/mps"
homepage_title: "JetBrains MPS"
github-project: fisakov/mps-coderules
github-project: jetbrains/mps-coderules
# Google Analytics
google_analytics: UA-124237176-1
google_analytics: UA-124630631-1
# Build settings
markdown: kramdown