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

68 Commits

Author SHA1 Message Date
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 98dfe30756 Resaved all models 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 e2a68b4012 Fixes necessary for compatibility with MPS 2018.2 2018-07-22 16:51:10 +02:00
Fedor Isakov a240f129c2 Name solutions and models consistently in samples (lambdacalc) 2018-07-22 11:26:12 +02:00
Fedor Isakov 0bacffb611 Move type setting operation to typechecking lang. 2018-07-22 11:09:49 +02:00
Fedor Isakov 689ae4776c Give more sensible name to a sample demo solution and model. 2018-07-21 13:49:21 +02:00
Fedor Isakov c7cc97fffb Rename reporting runtim solution. 2018-07-21 13:29:40 +02:00
Fedor Isakov ea9919f38a Bring the hierarchy of DataForm concepts in line with the runtime. 
Merge DataForm constructors into logic language.
Repackaging logic runtime.
Drop obsolete code.
 2018-07-21 13:29:22 +02:00
Fedor Isakov 814baf4bce Update readme files. 2018-07-19 15:12:34 +02:00
Fedor Isakov e29a0576e2 Rename the root project and artifacts to "coderules". 2018-07-18 15:54:52 +02:00
Fedor Isakov 0d4d61d5f9 Change the sample project name to lambdacalc. 2018-07-18 15:54:50 +02:00
Fedor Isakov 78a0601625 Include lambdacalc sample into the common build. 2018-07-18 15:54:50 +02:00
Fedor Isakov 95d836df85 Auto-update after switching to the latest plugin. 2018-07-18 15:54:49 +02:00
Fedor Isakov 7ae9c936a6 Re-save everything after switching to the newest typechecking plugin. 2018-07-18 15:54:49 +02:00
Fedor Isakov 4e669b5412 Automatically migrated to the latest typechecking plugin. Drop second stage. 2018-07-18 15:54:49 +02:00
Fedor Isakov f6121832a7 Switch to the latest typechecking plugin. Introduce Typecheck query. Drop automatic activation of "recoverAll". 2018-07-18 15:54:49 +02:00
Fedor Isakov 08beb2ce13 Drop usages of a deprecated concept, replace with custom constraint. Fix imports. 2018-07-18 15:54:49 +02:00
Fedor Isakov 67ebe51be1 Applied the migration. 2018-07-18 15:54:49 +02:00
Fedor Isakov e140342a4c Replace custom constraints with reporting operations. 2018-07-18 15:54:49 +02:00
Fedor Isakov 2e3cb6278c Migrated to the latest MPS release and typechecking plugin. 2018-07-18 15:54:49 +02:00
Fedor Isakov d0b457dc4f Migrated to the latest MPS release. 2018-07-18 15:54:49 +02:00
Fedor Isakov 2be2fbc58a Switch to the latest plugin version. Clean up the term definitions. 2018-07-18 15:54:49 +02:00
Fedor Isakov 893b130933 Migrate to the latest typechecking plugin. 
Move constraint declarations to the handlers, drop constraints root.
 2018-07-18 15:54:49 +02:00
Fedor Isakov 3a186e38f4 Drop unused code. 2018-07-18 15:54:49 +02:00
Fedor Isakov 55b9e903a1 Switch to using CopyItem instead of ad-hoc solution, drop unused Util class. 2018-07-18 15:54:49 +02:00
Fedor Isakov f8fec5c44f Update README. 2018-07-18 15:54:49 +02:00
Fedor Isakov 231f92707f Drop unused class. Drop unnecessary utility method, replace ad-hoc code with valueOf and equals predicate. 2018-07-18 15:54:49 +02:00
Fedor Isakov 791df0fe19 Replace ad-hoc logic value access with valueOf. Replace static method calls with equals constraints. Remove dead code. 2018-07-18 15:54:49 +02:00
Fedor Isakov 0d28fd939d Switch to the latest release of typechecking plugin, apply migrations, manually update the logical data types. 2018-07-18 15:54:49 +02:00
Fedor Isakov 36e6a10e20 Updated to the latest release of typechecking plugin: applied migrations, manual fix of term getter blocks. 2018-07-18 15:54:49 +02:00
Fedor Isakov 07d31d93f6 Updated to the latest version of typechecking plugin, migrated the code to work correctly. 2018-07-18 15:54:49 +02:00
Fedor Isakov 3a82312055 Fix the typing rule for if-then-else 2018-07-18 15:54:49 +02:00
Fedor Isakov cbc3c5b106 Add back the generalization of the let-bound variable type. 2018-07-18 15:54:49 +02:00
Fedor Isakov 2041873c35 Add readme file. 2018-07-18 15:54:49 +02:00
Fedor Isakov 58c4272111 Rename the language to sample.lambdacalc 2018-07-18 15:54:49 +02:00
Fedor Isakov dee0c7b8eb Fix the wrong expression (contextNode). 2018-07-18 15:54:49 +02:00
Fedor Isakov 2347d0c572 Remove unused generator. 2018-07-18 15:54:48 +02:00
Fedor Isakov 3d2be367a8 Implemented if-then-else expression. 2018-07-18 15:54:48 +02:00
Fedor Isakov ec840b0ee7 Don't generalize the type of let-bound variable. 2018-07-18 15:54:48 +02:00
Fedor Isakov 9d83b265eb Re-save all models after refactorings in the language. 2018-07-18 15:54:48 +02:00
Fedor Isakov 9a34afceaa Cleaning up the code. 2018-07-18 15:54:48 +02:00
Fedor Isakov 54153b57a6 Simplify unification, drop unifies constraint, drop trace constraint. 2018-07-18 15:54:48 +02:00
Fedor Isakov 8a932dafa6 Fix operator (general recursion) 2018-07-18 15:54:48 +02:00
Fedor Isakov de688f7cd1 Delete unused concept 2018-07-18 15:54:48 +02:00
Fedor Isakov a1a8d4934b Ensure no model check errors in the types model 2018-07-18 15:54:48 +02:00
Fedor Isakov 6f1b068a7b Re-save models to update resolve info. 2018-07-18 15:54:48 +02:00
Fedor Isakov 2b114aba55 Refactor the types model adopting to the latest language changes. Re-saved all models. 2018-07-18 15:54:48 +02:00
Fedor Isakov 68a37091ae More samples 2018-07-18 15:54:48 +02:00
Fedor Isakov cb2d735528 Introduce Forall type. Refactor the typesystem to support forall/gen/inst, get rid of varname for every type var. Better editor. 2018-07-18 15:54:48 +02:00