Commit Graph

  • 0fcb804c42 Avoid boxing prim types when converting Fedor Isakov 2023-05-03 10:30:51 +0200
  • d262277d59 Update build script Fedor Isakov 2023-05-02 18:07:51 +0200
  • 4fd280f06e Fix closure type inference: infer result type Fedor Isakov 2023-05-02 18:05:50 +0200
  • 1c307e42c5 Fix UI action broken after options redesign Fedor Isakov 2023-05-02 15:18:18 +0200
  • 6d4001e175 Auto-updated files in IDEA project Fedor Isakov 2023-05-02 15:16:51 +0200
  • 0e417646c2 Fix Logical union not merging value observers correctly Fedor Isakov 2023-05-02 15:16:21 +0200
  • 8401363109 Fix recovery of raw types: clear parameter list Fedor Isakov 2023-04-28 16:34:02 +0200
  • 985f6af842 Drop watching flag: always run typechecking in incremental mode Fedor Isakov 2023-04-28 15:04:34 +0200
  • 4900f13609 Fix weird type hidden under SCPD Fedor Isakov 2023-04-28 14:54:05 +0200
  • 8cb0ddc049 Simplifying TypecheckingOptions API Fedor Isakov 2023-04-27 16:45:57 +0200
  • 6ea8c0e69d Fix smodel types Fedor Isakov 2023-04-14 12:06:35 +0200
  • 39dedccd02 KotlinRefs types: fix kt constructor type Fedor Isakov 2023-04-10 17:50:51 +0200
  • b074647d12 Fix unresolved reference Fedor Isakov 2023-04-10 16:43:04 +0200
  • 0f1bff3a03
    Merge 82462472d5 into 2d9027d431 #3 alveranuno 2023-04-07 12:14:49 +0300
  • 82462472d5 Bug bounty test - please ignore.... (yujhux) #3 alveranuno 2023-04-07 09:14:47 +0000
  • 24944eef5a Fix issues with ideaplugin module in source project Fedor Isakov 2023-03-29 13:00:09 +0200
  • 2d9027d431 Rebuild project Fedor Isakov 2023-03-27 17:22:51 +0200
  • 425e125ba8 Migrate to JUnit5 and temporarily disable "check project modules" test Fedor Isakov 2023-03-03 17:10:05 +0100
  • 75287824ec BL Types: construct raw type for erasedType's bound; avoid recursion. MPSCR-129 Fedor Isakov 2023-03-03 17:08:59 +0100
  • 7daccbe1ad Fix dangling reference Fedor Isakov 2023-03-03 17:07:24 +0100
  • 6d267a33af Fix an error in log Fedor Isakov 2023-03-03 17:07:05 +0100
  • 3b72aef45b Use the new MPS 2023.1 EAP artifacts for local build Fedor Isakov 2023-03-03 17:06:08 +0100
  • 40f8d69896 Rebuild project with latest MPS 2023.1 EAP Fedor Isakov 2023-03-02 17:03:01 +0100
  • 08733317ef Null guard. MPSCR-126 Fedor Isakov 2023-02-23 17:29:02 +0100
  • ae586b665e Use 'Messages' as tool window ID for baloon. MPSCR-127 Fedor Isakov 2023-02-23 17:09:41 +0100
  • 94ceb7614f Fix config option provider Fedor Isakov 2023-02-23 16:43:50 +0100
  • 03161ea3eb Fix recursive call when gathering classifiers hierrarchy Fedor Isakov 2023-02-23 16:32:23 +0100
  • 5fbcb991f0 Fix trove library jar location in plugin Fedor Isakov 2023-02-23 16:28:05 +0100
  • 6ebc8782b9 Avoid issues when opening root project Fedor Isakov 2023-02-23 11:43:30 +0100
  • 3b9dc266a1 Use the new MPS EAP artifacts for local build Fedor Isakov 2023-02-22 14:09:17 +0100
  • d531c6a5ad Run Migration Assistant Fedor Isakov 2023-02-22 13:52:02 +0100
  • 4db818637f Rebuild project MPS222 Fedor Isakov 2023-02-22 13:51:02 +0100
  • 895be0c925 Update INSTALL.txt with info on dependencies Fedor Isakov 2023-02-22 13:40:53 +0100
  • c5b7db1499 Enable git integration in IDE Fedor Isakov 2023-02-22 13:40:34 +0100
  • 430466c1c9 Fix code incompatible with latest platform Fedor Isakov 2023-02-17 11:35:21 +0100
  • 4c847f4d3b Temporarily disable a test that produces too much noise Fedor Isakov 2022-11-23 13:53:04 +0100
  • 13da45a973 Fix subtle issues with type inference, introduce more Fedor Isakov 2022-11-23 13:52:42 +0100
  • 34452407f4 Ignore runtime error type in a test Fedor Isakov 2022-11-22 13:29:09 +0100
  • 5d5cea10e6 Update error in test data model to reflect actually reported error Fedor Isakov 2022-11-21 16:05:28 +0100
  • 25b82ebfb1 Redo fix of closure param type inference, drop typeScheme/2 Fedor Isakov 2022-11-21 16:05:02 +0100
  • e5c56fbb40 Ensure nothing() is contained in any type Fedor Isakov 2022-11-21 15:56:26 +0100
  • d2a68e8fc7 Apply migrations to mpscore sub-project Fedor Isakov 2022-11-21 12:08:05 +0100
  • ad3ea9d63d Apply all migrations from 2022.2 Fedor Isakov 2022-11-21 11:23:34 +0100
  • d9cda646de Bump up plugin versions Fedor Isakov 2022-11-21 11:23:17 +0100
  • 73ab26eddc Switch to release MPS version for local build Fedor Isakov 2022-11-21 10:24:55 +0100
  • 071efca420 Update build script Fedor Isakov 2022-11-16 18:17:01 +0100
  • 847aa0d925 Update tests to ignore certain errors, avoid failure on correct code Fedor Isakov 2022-11-16 18:15:57 +0100
  • fecabe840d Fix closure's parameter type inference, drop hacks Fedor Isakov 2022-11-16 18:04:06 +0100
  • b5de53e27f Fix type inference for untyped parameters; minor refactorings Fedor Isakov 2022-11-16 17:33:46 +0100
  • 876cf75302 Types for j.m.l.kotlinRefs languange Fedor Isakov 2022-11-04 11:45:46 +0100
  • 83976afa9d Update and generate build script Fedor Isakov 2022-11-04 13:44:57 +0100
  • d33e3148d9 Update virtual folders Fedor Isakov 2022-11-04 13:10:01 +0100
  • 4086236afe Introduce recursion guard for typechecking provider Fedor Isakov 2022-11-04 13:08:58 +0100
  • 2a6d60133b Fix closure's parameter type inference; properly lift function type Fedor Isakov 2022-11-04 12:58:14 +0100
  • 497691e9af Fix type inference of expressions in BL, plus few minor issues Fedor Isakov 2022-11-04 12:15:22 +0100
  • f1efac2c11 Fix typechecking of function type: varargs and type inference Fedor Isakov 2022-11-04 12:13:10 +0100
  • 22fb818142 Simplify typechecking of SNodeTypeCastExpression, drop deprecated stuff Fedor Isakov 2022-11-04 12:09:47 +0100
  • 5abf1dbce7 Ensure types extend BL's Type term Fedor Isakov 2022-11-04 12:03:51 +0100
  • 9b341c2e2d Ensure types extend BL's Type term Fedor Isakov 2022-11-04 12:01:36 +0100
  • 3f722f6fbd Drop creating abstract concept for open type Fedor Isakov 2022-11-04 12:00:51 +0100
  • 8c0771769a Update modules.xml for all recently added modules Fedor Isakov 2022-11-04 11:49:14 +0100
  • 816dcc5f00 Types for j.m.l.methodReferences languange Fedor Isakov 2022-11-04 11:42:30 +0100
  • 0e6a1103c7 Types for j.m.l.extension languange Fedor Isakov 2022-11-04 11:36:51 +0100
  • ec0167feba Types for j.m.l.sharedConcepts languange Fedor Isakov 2022-11-04 11:36:25 +0100
  • ff1d53a7ab Fix sequence type construction (passing correct unifier) Fedor Isakov 2022-09-30 12:39:01 +0200
  • cb4d0f974a
    Fix link to the EAP version in readme Fedor Isakov 2022-09-27 09:15:47 +0200
  • 0cdad6687c Introduce nothing() term, ensure it is assigned by default instead of type() Fedor Isakov 2022-09-08 14:06:25 +0200
  • 8c9f3c8afa Fix closure type inference Fedor Isakov 2022-09-08 14:05:29 +0200
  • 8f42a025bc Rewrite topo sorting of macro tables Fedor Isakov 2022-09-08 13:55:00 +0200
  • 14f4561b29 Ensure AspectClique contains all necessary languages Fedor Isakov 2022-09-08 13:54:41 +0200
  • 4aaf66d4cb Support for LocalPropertyReference Fedor Isakov 2022-09-06 14:25:34 +0200
  • 35288dc3e5 Fix conversion in smodel lang Fedor Isakov 2022-09-06 14:09:18 +0200
  • 7c3c6968b0 Fix type recovery in logic lang Fedor Isakov 2022-09-06 14:08:36 +0200
  • 0ae9743026 Fix tests Fedor Isakov 2022-09-02 18:01:29 +0200
  • ce71b0f987 Rebuild build scripts Fedor Isakov 2022-09-02 16:41:58 +0200
  • f8b17e4de7 Fix compilation Fedor Isakov 2022-09-02 16:28:18 +0200
  • 4070194d01 Bump up plugin versions Fedor Isakov 2022-09-02 16:10:49 +0200
  • e881bccfca Switch to Kotlin 1.7.0 Fedor Isakov 2022-09-02 16:07:57 +0200
  • 2730c02f4c Update JDK in conreactor Fedor Isakov 2022-09-02 15:48:38 +0200
  • 6030332107 Introduce profiling into program produce/evaluation steps Fedor Isakov 2022-09-02 15:46:52 +0200
  • 34bb26f0fc Redesign coderules trace view to display profiling data Fedor Isakov 2022-09-02 15:45:26 +0200
  • 04cfbe0c30 Add an option to enable/disable profiling Fedor Isakov 2022-09-02 15:42:48 +0200
  • 1b550cbd32 Change how profiler data is transferred from constraints reactor Fedor Isakov 2022-09-02 15:34:09 +0200
  • 83e273da73 Fix tests by caching Config instance Fedor Isakov 2022-08-27 19:39:05 +0200
  • 5affa9af14 Ensure directory is created before build process Fedor Isakov 2022-08-26 16:15:12 +0200
  • ec8ab9eb14 Fix generating with build script Fedor Isakov 2022-08-26 15:50:54 +0200
  • de5fa8e543 Fix server build by turning compilation in MPS off Fedor Isakov 2022-08-26 15:29:05 +0200
  • 78f847747b Drop unstable hacks, simplify code Fedor Isakov 2022-08-26 13:58:07 +0200
  • 71983ca9a3 Optimize .gitignore Fedor Isakov 2022-08-26 11:23:02 +0200
  • 0a9f4445d3 Drop obsolete artefact Fedor Isakov 2022-08-26 11:21:15 +0200
  • a40d74c600 Fix project build and loading scheme Fedor Isakov 2022-08-26 10:39:01 +0200
  • 5e344cd544 Bump up the version in gradle build script Fedor Isakov 2022-08-25 13:06:35 +0200
  • 299d9a4fd8 Update build scripts to fix tests launching Fedor Isakov 2022-08-25 12:42:57 +0200
  • d2ca45aa02 Extract bootstrap code to idea plugin; CR options to become app-level Fedor Isakov 2022-08-24 18:01:58 +0200
  • 71b19aecad Switch to gradle 7.5.1 Fedor Isakov 2022-08-24 17:58:48 +0200
  • 245c7c9954 Use the latest MPS EAP for standalone build Fedor Isakov 2022-08-24 17:58:35 +0200
  • bb47403b0c Fix generating of synth recover terms table Fedor Isakov 2022-08-22 11:19:45 +0200
  • fe3a38d90f Rebuild project Fedor Isakov 2022-08-17 11:40:48 +0200
  • c4a157bf4d Bump up plugin versions Fedor Isakov 2022-08-16 18:11:35 +0200
  • f96612258d Use latest MPS EAP for local build Fedor Isakov 2022-08-16 17:49:30 +0200