IsaacTell
|
e48e7e333b
|
doc: change PR branch to develop (#3192)
|
2021-12-14 20:56:28 +03:00 |
|
Dmitry Bushev
|
7467efda59
|
Update CONTRIBUTING (#3189)
|
2021-12-13 13:45:07 +03:00 |
|
Dmitry Bushev
|
607330712a
|
Add support for conversions in Language Server (#3175)
|
2021-12-03 11:31:44 +03:00 |
|
Radosław Waśko
|
46c31bb9a5
|
Preinstalling With Dependencies (#1981)
|
2021-11-23 11:51:17 +03:00 |
|
Michał Wawrzyniec Urbańczyk
|
76553dd217
|
Post-merge fixes (#3130)
Add GUI codeowners. Require jobs from GUI CI as part of PR. Keep prettier under control.
|
2021-11-01 20:44:15 +01:00 |
|
Michał W. Urbańczyk
|
99053decd8
|
various default branch switch - related updates
|
2021-11-01 01:37:30 +01:00 |
|
Michał W. Urbańczyk
|
8568e7a3b4
|
move flexer docs
|
2021-10-30 14:50:06 +02:00 |
|
Ara Adkins
|
a924e16618
|
Update some documentation for clarity (#2005)
|
2021-10-01 14:13:20 +01:00 |
|
Ara Adkins
|
1cd2706ba8
|
Load IR Caches from Disk (#1996)
|
2021-09-18 13:48:13 +01:00 |
|
Dmitry Bushev
|
5f491b612a
|
Update modifyVisualization docs (#1966)
|
2021-08-20 12:53:58 +01:00 |
|
Radosław Waśko
|
8cef409db2
|
Getting and Setting Library Metadata (#1967)
|
2021-08-20 10:23:05 +02:00 |
|
Radosław Waśko
|
63819526d7
|
Update the editions/listDefinedLibraries Endpoint (#1964)
|
2021-08-19 17:21:31 +02:00 |
|
Radosław Waśko
|
0a60e5180a
|
Update Simple Library Server (#1952)
|
2021-08-18 10:01:28 +02:00 |
|
Radosław Waśko
|
be6e60509a
|
Tool To Bump Stdlib Version (#1947)
|
2021-08-13 18:14:20 +02:00 |
|
Dmitry Bushev
|
de1a0ced60
|
Execution complete notification (#1945)
Add executionContext/executionComplete notification
|
2021-08-12 19:26:44 +03:00 |
|
Dmitry Bushev
|
63a44e198c
|
Reset idle time (#1938)
Add _idle/reset HTTP endpoint that
resets the idle time counter
|
2021-08-11 16:39:39 +03:00 |
|
Radosław Waśko
|
31167fd6ae
|
Revert "Revert "Library Publishing MVP (#1898)"" (#1933)
|
2021-08-09 16:00:04 +02:00 |
|
Ara Adkins
|
a1116995d8
|
Fix a bad heuristic for identifying module docs (#1919)
|
2021-08-03 13:19:22 +01:00 |
|
Dmitry Bushev
|
6af2338ad4
|
Return Project Name when Creating a Project (#1908)
Add projectName field to the project/create result
|
2021-07-29 11:02:53 +03:00 |
|
Dmitry Bushev
|
8336a97931
|
Add Support for Project Templates (#1902)
Add an ability to create a project from a template
|
2021-07-27 19:13:14 +03:00 |
|
Ara Adkins
|
bc96f0e05c
|
Add support for documenting modules (#1900)
|
2021-07-26 13:26:41 +01:00 |
|
Ara Adkins
|
a7478bc573
|
Revert "Library Publishing MVP (#1898)"
This reverts commit 1bd4e5824e.
|
2021-07-26 10:32:19 +01:00 |
|
Radosław Waśko
|
1bd4e5824e
|
Library Publishing MVP (#1898)
|
2021-07-23 18:16:34 +02:00 |
|
Ara Adkins
|
8f34f7fcbd
|
Add support for the ALIAS tag in docs (#1896)
|
2021-07-22 15:48:44 +01:00 |
|
Radosław Waśko
|
d84891d29d
|
Update Codeowners And Release Policy (#1893)
|
2021-07-22 11:07:23 +02:00 |
|
Dmitry Bushev
|
980ba8cb65
|
Add Reexport Field to Suggestions (#1793)
Add the reexport field to suggestions
|
2021-07-20 19:10:53 +03:00 |
|
Radosław Waśko
|
86fcd86055
|
New Language Server API Implementations / Mocks (#1875)
|
2021-07-17 16:49:51 +02:00 |
|
Ara Adkins
|
297a8012d1
|
Design the support for IR serialization (#1868)
|
2021-07-15 13:14:32 +01:00 |
|
Radosław Waśko
|
3a9f0aa42b
|
[release: nightly] Fix project/list failing if edition resolution failed for a single project (#1858)
|
2021-07-14 10:49:57 +01:00 |
|
Radosław Waśko
|
8f57d67bc6
|
Update Language Server API for Libraries (#1853)
|
2021-07-13 16:00:55 +02:00 |
|
Dmitry Bushev
|
b3badf1b80
|
Add Idleness Http Endpoint (#1847)
Implement `GET / _idle` request
|
2021-07-12 16:53:44 +03:00 |
|
Radosław Waśko
|
399fa5edfe
|
Update Dockerfile for Integrating Editions with Cloud (#1848)
|
2021-07-12 13:58:13 +02:00 |
|
Radosław Waśko
|
042a0f81f1
|
Fix Nightly Workflows and Update Release Policy (#1845)
|
2021-07-10 01:10:31 +02:00 |
|
Radosław Waśko
|
b58e895b18
|
Editions Integration (#1832)
|
2021-07-08 15:38:20 +02:00 |
|
Radosław Waśko
|
e58b5eb81d
|
Dynamically Loading Libraries (#1826)
|
2021-07-06 00:27:14 +02:00 |
|
Radosław Waśko
|
8d71145d57
|
Add File System Path to the Content Roots (#1827)
|
2021-07-05 11:23:29 +02:00 |
|
Radosław Waśko
|
0b347d7443
|
Support for Multiple Content Roots (#1821)
|
2021-06-29 18:52:26 +02:00 |
|
Ara Adkins
|
e4a044df9f
|
Document the process for avoiding release breakage (#1819)
|
2021-06-25 12:59:23 +01:00 |
|
Marcin Kostrzewa
|
faf4214b29
|
Include namespace in the project manager messages (#1820)
|
2021-06-25 13:09:40 +02:00 |
|
Marcin Kostrzewa
|
334a022ffd
|
Import syntax including namespace (#1806)
|
2021-06-24 12:42:24 +02:00 |
|
Maciej Mikołajek
|
4173dd810f
|
Documentation in the Suggestions Database (#1791)
|
2021-06-22 14:44:48 +02:00 |
|
Radosław Waśko
|
1d124d7770
|
Libraries Repository (#1804)
|
2021-06-22 13:35:15 +02:00 |
|
Ara Adkins
|
57f1913f19
|
Fix a missing change in the LS protocol spec (#1807)
|
2021-06-21 10:46:19 +01:00 |
|
Radosław Waśko
|
241a1e7d74
|
Define Editions (#1797)
|
2021-06-18 16:39:45 +02:00 |
|
Dmitry Bushev
|
8a3cb14937
|
Document running the IDE with a development LS (#1803)
|
2021-06-17 11:40:27 +01:00 |
|
Ara Adkins
|
af4558a93c
|
Refactor the LS to support multiple content roots (#1800)
|
2021-06-16 11:00:42 +01:00 |
|
Ara Adkins
|
90c020d666
|
Implement byte-based file operations (#1795)
|
2021-06-11 14:48:28 +01:00 |
|
Dmitry Bushev
|
d67f7a2b31
|
Add HTML Documentation API (#1758)
Add support for the HTML documentation chunks
|
2021-06-01 15:43:22 +03:00 |
|
Ara Adkins
|
1661832c95
|
Update the FlatBuffers schemas (#1763)
|
2021-05-28 13:27:41 +01:00 |
|
Ara Adkins
|
a981e72fdf
|
Provide API access to the project name (#1759)
|
2021-05-27 16:13:52 +01:00 |
|