profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/dboulytchev/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Dmitry Boulytchev dboulytchev JetBrains St.Petersburg

dboulytchev/miniKanren-coq 16

A certified semantics for relational programming workout.

dboulytchev/microProlog 5

An implementation of a tiny logical Prolog-like language based on SLD-resolution

dboulytchev/compiler-2020 2

A public repository for spring 2020 compiler course assignments

dboulytchev/coroutine-parser-workout 1

A workout on coroutine parser combinators

dboulytchev/direct-curry-howard 1

A set of samples to utilize Curry-Howard isomorphism in a direct manner (in Coq)

push eventYaccConstructor/articles

Dmitriy Panfilyonok

commit sha 33a0180cfa29ef1ac9d9a930054f59fa1a2a65be

Add D.Panfilyonok coursework

view details

Semyon

commit sha 8b4bb9dfdfe75a00f0d6ad2737708abf51a55f7d

Merge pull request #252 from dpanfilyonok/master Upload D.Panfilyonok coursework

view details

push time in an hour

push eventJetBrains/Grammar-Kit

Gregory Shrago

commit sha 4be73ddc01bf0d8b0aeec303313491debb3c5301

generator: generic signatures fix

view details

Gregory Shrago

commit sha e13e6aa817007040d5a07dc8784237314963fa24

cleanup: array annotations

view details

push time in 3 hours

PR opened JetBrains/gradle-intellij-plugin

Use classpath normalization for the plugin directory input in tests

The plugin directory needs to be normalized as a classpath so that class timestamps and class order within the jar files are not considered when evaluating if the task is up to date. A regular binary comparison typically breaks the relocation of the cached artifacts.

Also, I added a comment explaining a previous change, in order to warn future maintaines about reverting it accidentally.

+3 -0

0 comment

1 changed file

pr created time in 3 hours

push eventYaccConstructor/Brahma.FSharp

simpleton

commit sha b8f747409d5f026c3c8a03028b10e09dca6673fc

Nested struct definitions fixed.

view details

simpleton

commit sha a37ad77678d800732991b0dec391aa4f8365d53d

StructType refactoring.

view details

simpleton

commit sha 72130d3095085ad4d31088af9c08d3eabf870c21

Type and declaration for union added.

view details

simpleton

commit sha f59a2444e9d98d17913e24e045ffd55ec0ec250a

Missed type reflection file added.

view details

simpleton

commit sha 1161f6413318dfefa6a37fa6524f09ec03c9f8c0

Added collecting discriminated unions.

view details

simpleton

commit sha a0a5da2c131b01c53451b342dfd256258c0e0ea9

Added translation for discriminated unions.

view details

simpleton

commit sha 2f54ed35d0a7432221bd9061abd00625f271a96d

Added support and tests of translation union creation.

view details

simpleton

commit sha 36a7d89bd8d0cce1ddec44df6747d01a26873b60

Added support of simple match expressions without bindings.

view details

simpleton

commit sha 0098febd60006d1fcd6ad24c9d1d31ec205c4466

Added support of match expressions with bindings.

view details

simpleton

commit sha 06dbea3abe0d9502ae9406ae916445e15bf9bd2b

Merge union_support into master.

view details

push time in 4 hours

PR opened JetBrains/intellij-community

KTIJ-8411 postfix for with()

https://youtrack.jetbrains.com/issue/KTIJ-8411

+36 -2

0 comment

8 changed files

pr created time in 4 hours

push eventJetBrains/Grammar-Kit

Gregory Shrago

commit sha c31d9b58da014efc3b0780b9e331f1ce6b774142

generator: ability to override files and warnings handling

view details

push time in 5 hours

issue commentJetBrains/gradle-grammar-kit-plugin

ImplUtil class not found

@JojOatXGME I've done some preparations and played with the processor in the "in-ide" (not gradle) mode with Perl5-IDEA plugin. And I've stumbled upon a critical problem that looks like JDK-8159770. The annotation processor is simply not invoked because PerlFormattingTokenSets extends PerlElementTypes which is not yet available. It is a number 409 error out of a total of 907 at that point. And for some reason, it is declared as non-recoverable. So JavaCompiler#processAnnotations exits without doing anything (shouldStop(CompileState.PROCESS)==true).

62mkv

comment created time in 5 hours

push eventJetBrains/intellij-community

Mikhail Mazurkevich

commit sha bb655361dfbee9e969cff7086eac5894d97beafe

[workspace model] IDEA-269975 Remove unused `ModuleRootManagerImpl` and old order entries GitOrigin-RevId: 542bef4749cb556eb1874f2f35dfbde86c0b386d

view details

push time in 8 hours

push eventJetBrains/Grammar-Kit

Gregory Shrago

commit sha c819b3a9f546f9c14ef997c1c6353c2e30708558

cleanup: annotations, generics, final

view details

push time in 8 hours

push eventJetBrains/intellij-plugins

Vladimir Panimaskin

commit sha 7562a26672b9de93286df1a7be500b42749b061f

WEB-50015: webpack paths for wsl GitOrigin-RevId: 2c0709c2267b31254cf074f65213cf428c611c7b

view details

push time in 10 hours

push eventJetBrains/intellij-community

Aleksandra Zolushkina

commit sha 931e8025f5769e62849537eb199419df4fa3aad4

Proofread Java inspections descriptions GitOrigin-RevId: ea1cb3876dafcd8c5c9676eda748c6c37802603f

view details

Aleksandra Zolushkina

commit sha 1c7837265308e10f7b9695950679d9b2cc6ce073

Proofread Java inspections descriptions GitOrigin-RevId: 7baa36c11faf372958fa2a9473ba7a7c8dbf3208

view details

push time in 10 hours

CommitCommentEvent

push eventJetBrains/Grammar-Kit

Gregory Shrago

commit sha 86110b00c5dd1410805f1845bc3384f1c7786165

switch to the latest intellij annotations

view details

Gregory Shrago

commit sha 4d1434a81aeb6263ff4a7cf0f67a242b2ba4bc87

cleanup: annotations, generics, final

view details

push time in 10 hours

push eventJetBrains/jediterm

Sergey Simonchik

commit sha d3b3c4d7a092c5b0809fc13f5be2e5f3bc2d05a7

cleanup

view details

push time in 12 hours

push eventJetBrains/intellij-community

Maria Filipanova

commit sha 0289a0924c4982dfe31a78136ad04af6150915f3

CWM-2150: use editor action instead of CodeInsightAction for template parameter traversal (cherry picked from commit e16e6b36278c602dc6f075ee6c9eda3bc3d195bc) IJ-CR-10389 GitOrigin-RevId: 366abf25cf988c348daa24790ca4b4f25689de42

view details

push time in 14 hours

push eventJetBrains/intellij-community

Andrew Kozlov

commit sha c03349cca1c86593e7f81e2a1632a797a9c113e7

[plugins] UninstallAction is not applicable to PluginNodes (#EA-254400, #EA-250545) fixed GitOrigin-RevId: 5eeab6c60265077d524ae666f1f5efd6bc1cc835

view details

Andrew Kozlov

commit sha e49b69fae444eef35909f8925b7f17ea0451ee0e

[plugins] url might be nullable #EA-296454 fixed GitOrigin-RevId: a0882a76bbfac97baf89627b1b2730265b288137

view details

Viktor Shatrov

commit sha e38df7bd0882729fd40590387b1f3234ea372b8d

web browsers: change Edge family to Chrome WEB-45326, WEB-51150 GitOrigin-RevId: 69bfcd710ec36d1915c9756a29f32276fbfb5f9d

view details

push time in 14 hours

push eventJetBrains-Research/GT

Kakadu

commit sha 4339ef13e705087648027bfbf36cb46cd20543df

deploy: ddcee290ba4a3ae396eb85be8617f52efec9c406

view details

push time in 14 hours

push eventJetBrains-Research/GT

kakadu

commit sha ce1ed557e9efd8681f798593c2708ee6a85e66bf

WIP on all plugins together

view details

Kakadu

commit sha ddcee290ba4a3ae396eb85be8617f52efec9c406

Repair ppx_all Signed-off-by: Kakadu <Kakadu@pm.me>

view details

push time in 14 hours

pull request commentJetBrains/intellij-scala

Upgrading to sbt 1.5.x

@jastice not yet, but looks like it's time to https://youtrack.jetbrains.com/issue/SCL-18944

hmemcpy

comment created time in 16 hours

push eventJetBrains/intellij-community

Grigoriy Myasoedov

commit sha 6b621f5c22cfaa43a5068ca610e55fd9e3084aa4

[maven] IJ-CR-9860 IDEA-203589 Provide quick fix when build fails due to "Invalid source release" update possible solutions GitOrigin-RevId: 8ac975a1f1ee7509f6402b0325bfc2694f7ef431

view details

Artemiy Sartakov

commit sha 3a1d5cbeb59e0a1597898bb5dc3034bc2e99b480

SourceToSinkFlowInspection: cr fixes(IJ-CR-10092): 1. moved SourceToSinkFlowInspection to jvm-analysis-impl 2. resused annos names from UntaintedAnnotationProvider 3. javadoc for public methods 4. renamed inspection to "Unsafe string is passed to safe method" 5. do not suggest to annotate element if it is already annotated with @PolyTainted GitOrigin-RevId: 6121aa41cf72d1fe258a8ced0752d22370d18c54

view details

Grigoriy Myasoedov

commit sha ebace07a1cc5a3b0d714d781a16ca9e23f0f6954

[maven] remove unfinished quick fix GitOrigin-RevId: 76e967e218e950d4d6bc02e2fff636e90bbc1801

view details

push time in 18 hours

push eventJetBrains/jediterm

Sergey Simonchik

commit sha f0c5e3aea7d774fead40f11bdf5ccd4da8129a38

target Java 11

view details

push time in 19 hours

push eventJetBrains/intellij-community

Vitaly Provodin

commit sha e6a98be797b19b5bf47a084d389ae9c9ca56d375

Updating versions of project dependencies: jdkBuild->11_0_10b1145.115 Vitaly Provodin GitOrigin-RevId: 093fea648065dd19b84ff6c81e6bf5413854d4c1

view details

push time in 20 hours

create barnchJetBrains/gradle-intellij-plugin

branch : gradle-7.1

created branch time in 21 hours

push eventJetBrains/intellij-plugins

Alexey Kudravtsev

commit sha c4cd328c70634b73239048b56dc164843c6eba98

sort semicolon-separated extensions within "extensions" attribute of <fileType> in plugin.xml to ease the maintenance GitOrigin-RevId: 06b3061fdb7bfed840a7bb58e4725e3351b37b40

view details

push time in a day

push eventJetBrains/intellij-plugins

Piotr Tomiak

commit sha a9fe0d9c6c21f7f60b00218faf068a1d71e7a47c

Web-types/Vue: migrate support for v-model (cherry picked from commit a2e9571c5e07b8566633fa4222ec59de905e1bee) GitOrigin-RevId: 4226ca5c18bc9c6dfed72e58b61c0ad33d1e87b6

view details

Piotr Tomiak

commit sha e4c690b6a6da42e3270a4b15a9aeeeee7942dfc0

Web-types: cleanup priority handling logic (cherry picked from commit b00c6e5f2b2a61f23c8bdc42176aaeef940cb325) GitOrigin-RevId: 56e8535d1e37f8aef58a1eb33ad253396b9ba400

view details

Piotr Tomiak

commit sha 9d8cdf932d6bee4c55d266e58bb0488a9fa86b5c

Web-types/Vue: decorate lookup items and restore components priority. (cherry picked from commit c79be18b0cfac537f919662fd84138fcaa7377a8) GitOrigin-RevId: 3caae117b7891b1bdb0247f9c4eaa48fa67af479

view details

Piotr Tomiak

commit sha a6c818b6719bd33a5e5bb7c0f919b0a89d2402e8

WEB-51329 No documentation & resolve for the 'template' tag in .vue GitOrigin-RevId: 2d8a60afe956c807a6b0636de713cb46493583b4

view details

Piotr Tomiak

commit sha a89e9e5043971042ecc05620bbb3f208ede5890e

Web-types: docs fixes GitOrigin-RevId: 509376068af68915d591169f79d8dc264c90a227

view details

Piotr Tomiak

commit sha d5fe83eb4278042987d34e7a610a305a640eb3dd

MDN: fix test data with updated protocol name GitOrigin-RevId: e9dca507d72168c177d7f497f363122035005b3d

view details

push time in a day

push eventJetBrains/intellij-community

Piotr Tomiak

commit sha aa0f309a8c285900e0a02a017a255e6aafeefcd5

WEB-51329 No documentation & resolve for the 'template' tag in .vue GitOrigin-RevId: 2d8a60afe956c807a6b0636de713cb46493583b4

view details

Piotr Tomiak

commit sha 8255c07236dad8e841fba6ee2c2b3acd889792d0

MDN: fix test data with updated protocol name GitOrigin-RevId: e9dca507d72168c177d7f497f363122035005b3d

view details

push time in a day

push eventJetBrains/intellij-community

Anna Kozlova

commit sha 2170b5c355e85a64e9bcde157be8f651e4e3daaa

[global inspections] avoid CCE for anonymous classes in enum constants GitOrigin-RevId: 7083ee1a97d43467d98ee5b15b122304397da0f4

view details

Anna Kozlova

commit sha b1a1d7fd237cfd006a558de652c711001c601972

[global inspections] logging GitOrigin-RevId: fa04963011f37154310b56dcce94d3033dd2aa61

view details

Anna Kozlova

commit sha 5de14cb0cad09f0f32670e266eb46070f49ff7ea

[global inspections] [kotlin] cope with method/property inheritance GitOrigin-RevId: c686738495b77d1d045f8932f7ce0c8d2462c9cb

view details

Anna Kozlova

commit sha 45a689d2f1d22d0203560a0600a3b33229658ed6

[global inspections] check sdk configurations under progress avoid index access from EDT GitOrigin-RevId: 63a7a4ef90435465d4a7d2fd707a8800d6d6e8b9

view details

Anna Kozlova

commit sha 30d955f1149508f60496b33792fb7d9704fb088b

[global inspections] [kotlin] cope with primary constructors GitOrigin-RevId: 23428b26b42c38c910bdddd8dc870501aed0e992

view details

Vladislav Ertel

commit sha 4a65e6dd3f70c2502fb0d29837e7b4a65f91e001

[cwm] fix noLobby starter after projector merge GitOrigin-RevId: da8bb7c317a7e096c7a98ed4b975277fafc3bbb7

view details

Alexey Kudravtsev

commit sha d98157b9995b6b1a6dd0865d4049d754bd35ea1d

move testExcludePerformance to FileTypesUltimateTest to be able to run it under ultimate classpath GitOrigin-RevId: 9d5c14da5a49e8925e8b48950bec4f38b583805d

view details

Alexey Kudravtsev

commit sha f529b9d713f30693d41507100efea5a86ae26323

remove excessive visibility caused by Upsource but not needed anymore GitOrigin-RevId: fdc4dda89c3d991d6824d6f22726b2aa4af3ebb6

view details

Alexey Kudravtsev

commit sha a08e5d62dd2921b8d510c7bfd6bf03a36904fec8

remove useless trailing semicolon from XML GitOrigin-RevId: 6449d1e50c931a16defc3badc443a0b969eb5a2c

view details

Alexey Kudravtsev

commit sha da927e7803f85b0e99520972e0ad53d2b7b7d211

cleanup GitOrigin-RevId: ad1122b3a1518593b52de8d697dc787190ebd9cc

view details

Alexey Kudravtsev

commit sha 3e50d9d2c468c4e89d09668a24bcd90c443179e8

sort semicolon-separated extensions within "extensions" attribute of <fileType> in plugin.xml to ease the maintenance GitOrigin-RevId: 06b3061fdb7bfed840a7bb58e4725e3351b37b40

view details

Andrew Kozlov

commit sha 0ad436c0bfb973dd567dd451f6f158845285d86e

[plugins] MyPluginModel::getCustomUnloadOptions removed GitOrigin-RevId: 067a83f8bf14e92c1870799bdf1e28224bf3ad75

view details

Andrew Kozlov

commit sha d6a0e52dbc3b76799de724fa1480ba56d55b5dac

[performancePlugin] command supports implementation detail plugins GitOrigin-RevId: 8d517e26d8bc23223f608f46b3dbb94d54474b0a

view details

push time in a day