natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
1,371 Commits 26 Branches 0 Tags 127 MiB
Commit Graph

1371 Commits

Author SHA1 Message Date
Fedor Isakov 3b509a60e5 New logo for docs website. Using less constrasting colors. Smaller welcome splash 2018-09-06 18:28:46 +02:00
Fedor Isakov 56bed6d03d Some more minor optimisations 2018-09-06 18:28:45 +02:00
Fedor Isakov 694d3d90b5 Add sitemap to docs site 2018-09-05 18:31:51 +02:00
Fedor Isakov c03a4d97ca Update wording and fix typos 2018-09-05 17:42:01 +02:00
Fedor Isakov 59a0d958d7 Minor optimisations and code cleanup 2018-09-05 17:14:24 +02:00
Fedor Isakov bd876c3e25 Restore MPS logo without the decoration 2018-09-05 15:46:47 +02:00
Fedor Isakov 7572ed73ac Fix path to Travis-CI project 2018-09-04 14:46:33 +02:00
Fedor Isakov b5ff5997f3 Update URLs after repo ownership change 2018-09-04 14:34:45 +02:00
Fedor Isakov dceffeacbe Minor update of docs. Minor fixes and amendments. 2018-09-04 11:52:22 +02:00
Fedor Isakov 51339ff938 Doc's site date 2018-09-03 16:24:55 +02:00
Fedor Isakov da30b36c20 More docs content. Some areas reworked for clarity. 2018-09-03 16:20:51 +02:00
Fedor Isakov bceb1c3b21 More docs fixes. Fix quotes. Fix spellings. 2018-09-01 10:39:27 +02:00
Fedor Isakov 9cd2d67056 Fix docs wording and cleanup typos. Amend content 2018-08-31 11:47:13 +02:00
Fedor Isakov e88003f95e Update the date of docs site 2018-08-30 17:54:38 +02:00
Fedor Isakov 6b42c5cf59 Update docs content 2018-08-30 17:16:32 +02:00
Fedor Isakov a63d1905c4 Ensure snapshots are displayed nicely. Minor fixes in CSS 2018-08-30 17:16:24 +02:00
Fedor Isakov 341ac0208e Fix docs wording. Cleaning up the text 2018-08-27 12:18:46 +02:00
Fedor Isakov b5210ea9f9 Update contacts and readme 2018-08-25 16:06:27 +02:00
Fedor Isakov cfa3367b67 More examples for docs 2018-08-25 15:34:29 +02:00
Fedor Isakov 58a50f5fae Replace splash image with smaller variant 2018-08-24 21:01:26 +02:00
Fedor Isakov 58ab1a126c Fix the path to project on TravisCI 2018-08-24 20:26:28 +02:00
Fedor Isakov 8281e037a4 Fix the wording of docs. More docs content. Drop obsolete stuff. 2018-08-24 20:20:29 +02:00
Fedor Isakov 427ec8f4ef Cleanup and reorder docs for printing all pages. Metadata 2018-08-24 20:20:29 +02:00
Fedor Isakov dc213188c7 Print layout for the docs site 2018-08-24 20:20:29 +02:00
Fedor Isakov 6085481ede More screenshots for docs 2018-08-24 20:20:20 +02:00
Fedor Isakov 4fc5c0e12a Style screenshots to fill the width of page. Style strong+em as TODO. 2018-08-23 12:28:23 +02:00
Fedor Isakov 6129de983b Update documentation on typechecking; screenshots 2018-08-22 22:38:06 +02:00
Fedor Isakov 7f471aae47 Add Google analytics to github.io page 2018-08-19 19:01:04 +02:00
Fedor Isakov 5fd7ba4d06 Rename paths in docs website after reporsitory rename 2018-08-19 17:43:02 +02:00
Fedor Isakov 0819ef0a40 Add a reference to the article on typechecking STLC to readme 2018-08-19 17:32:59 +02:00
Fedor Isakov 27becb70a1 Fix the wording in fitch sample README 2018-08-19 17:32:59 +02:00
Fedor Isakov d26b7197fd Fix a bug in new matching algorithm that prevented correct matching of ref-ed metalogicals with terms. 2018-08-19 17:32:59 +02:00
Fedor Isakov ec38be682e Delete obsolete artefacts 2018-08-19 17:32:59 +02:00
Fedor Isakov b50ec9375e More docs content: STLC and Logic examples documentation 2018-08-19 17:32:58 +02:00
Fedor Isakov f49feb03bc Docs content 2018-08-19 17:32:58 +02:00
Fedor Isakov 2d6adc9b8e Jekyll site for docs 2018-08-19 17:32:58 +02:00
Fedor Isakov 8b1788354f Move docs content in a subdir. Annotate all .md files with front matter meta data. 2018-08-14 12:24:14 +02:00
Fedor Isakov 480a45c853 Break down docs into sections. More docs content. 2018-08-11 14:37:22 +02:00
Fedor Isakov 3a8b014243 Started Code Rules documentation 2018-08-08 14:01:18 +02:00
Fedor Isakov babc12eee6 Use MPS 2018.2 final release 2018-08-08 13:57:23 +02:00
Fedor Isakov 5dcff490a1 Update readme to show full MPS icon 2018-08-07 13:32:05 +02:00
Fedor Isakov 8cacd9c326 Ensure terms are copied "properly" without breaking Path's contract. Pending optimization. 2018-08-07 11:50:05 +02:00
Fedor Isakov faaa9f12d6 Cleanup reactor code, drop obsolete code: 
old matching algorithm implementation,
store occurrences indexing,
propagation history.
 2018-08-04 16:10:35 +02:00
Fedor Isakov 75c6dff551 Optimizing new matching algorithm. Keep an index of occurrence slots for each rule. 2018-08-04 16:10:35 +02:00
Fedor Isakov d8c2310f98 Deprecate primary symbols in handler. All usages are safe to be dropped. 2018-08-04 16:10:35 +02:00
Fedor Isakov c8e0464739 Keep test_gen directory to avoid failed builds 2018-08-03 11:48:36 +02:00
Fedor Isakov 98dfe30756 Resaved all models 2018-08-03 11:48:36 +02:00
Fedor Isakov 78764af3dc Ensure all rule builders within a single rule template have unique tags 2018-08-03 11:48:36 +02:00
Fedor Isakov d26805db7d Switch to the latest version of reactor lib 0.9.1 2018-08-03 11:48:36 +02:00
Fedor Isakov d023cf8466 Change reactor library version to 0.9.1 (new matching algo) 2018-08-03 11:48:35 +02:00