A certified semantics for relational programming workout.
An implementation of a tiny logical Prolog-like language based on SLD-resolution
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
commit sha 33a0180cfa29ef1ac9d9a930054f59fa1a2a65be
Add D.Panfilyonok coursework
commit sha 8b4bb9dfdfe75a00f0d6ad2737708abf51a55f7d
Merge pull request #252 from dpanfilyonok/master Upload D.Panfilyonok coursework
push time in an hour
push eventJetBrains/Grammar-Kit
commit sha 4be73ddc01bf0d8b0aeec303313491debb3c5301
generator: generic signatures fix
commit sha e13e6aa817007040d5a07dc8784237314963fa24
cleanup: array annotations
push time in 3 hours
PR opened JetBrains/gradle-intellij-plugin
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.
pr created time in 3 hours
push eventYaccConstructor/Brahma.FSharp
commit sha b8f747409d5f026c3c8a03028b10e09dca6673fc
Nested struct definitions fixed.
commit sha a37ad77678d800732991b0dec391aa4f8365d53d
StructType refactoring.
commit sha 72130d3095085ad4d31088af9c08d3eabf870c21
Type and declaration for union added.
commit sha f59a2444e9d98d17913e24e045ffd55ec0ec250a
Missed type reflection file added.
commit sha 1161f6413318dfefa6a37fa6524f09ec03c9f8c0
Added collecting discriminated unions.
commit sha a0a5da2c131b01c53451b342dfd256258c0e0ea9
Added translation for discriminated unions.
commit sha 2f54ed35d0a7432221bd9061abd00625f271a96d
Added support and tests of translation union creation.
commit sha 36a7d89bd8d0cce1ddec44df6747d01a26873b60
Added support of simple match expressions without bindings.
commit sha 0098febd60006d1fcd6ad24c9d1d31ec205c4466
Added support of match expressions with bindings.
commit sha 06dbea3abe0d9502ae9406ae916445e15bf9bd2b
Merge union_support into master.
push time in 4 hours
PR merged YaccConstructor/Brahma.FSharp
pr closed time in 4 hours
PR opened JetBrains/intellij-community
https://youtrack.jetbrains.com/issue/KTIJ-8411
pr created time in 4 hours
push eventJetBrains/Grammar-Kit
commit sha c31d9b58da014efc3b0780b9e331f1ce6b774142
generator: ability to override files and warnings handling
push time in 5 hours
issue commentJetBrains/gradle-grammar-kit-plugin
@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).
comment created time in 5 hours
push eventJetBrains/intellij-community
commit sha bb655361dfbee9e969cff7086eac5894d97beafe
[workspace model] IDEA-269975 Remove unused `ModuleRootManagerImpl` and old order entries GitOrigin-RevId: 542bef4749cb556eb1874f2f35dfbde86c0b386d
push time in 8 hours
push eventJetBrains/Grammar-Kit
commit sha c819b3a9f546f9c14ef997c1c6353c2e30708558
cleanup: annotations, generics, final
push time in 8 hours
push eventJetBrains/intellij-plugins
commit sha 7562a26672b9de93286df1a7be500b42749b061f
WEB-50015: webpack paths for wsl GitOrigin-RevId: 2c0709c2267b31254cf074f65213cf428c611c7b
push time in 10 hours
push eventJetBrains/intellij-community
commit sha 931e8025f5769e62849537eb199419df4fa3aad4
Proofread Java inspections descriptions GitOrigin-RevId: ea1cb3876dafcd8c5c9676eda748c6c37802603f
commit sha 1c7837265308e10f7b9695950679d9b2cc6ce073
Proofread Java inspections descriptions GitOrigin-RevId: 7baa36c11faf372958fa2a9473ba7a7c8dbf3208
push time in 10 hours
push eventJetBrains/Grammar-Kit
commit sha 86110b00c5dd1410805f1845bc3384f1c7786165
switch to the latest intellij annotations
commit sha 4d1434a81aeb6263ff4a7cf0f67a242b2ba4bc87
cleanup: annotations, generics, final
push time in 10 hours
push eventJetBrains/jediterm
commit sha d3b3c4d7a092c5b0809fc13f5be2e5f3bc2d05a7
cleanup
push time in 12 hours
push eventJetBrains/intellij-community
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
push time in 14 hours
push eventJetBrains/intellij-community
commit sha c03349cca1c86593e7f81e2a1632a797a9c113e7
[plugins] UninstallAction is not applicable to PluginNodes (#EA-254400, #EA-250545) fixed GitOrigin-RevId: 5eeab6c60265077d524ae666f1f5efd6bc1cc835
commit sha e49b69fae444eef35909f8925b7f17ea0451ee0e
[plugins] url might be nullable #EA-296454 fixed GitOrigin-RevId: a0882a76bbfac97baf89627b1b2730265b288137
commit sha e38df7bd0882729fd40590387b1f3234ea372b8d
web browsers: change Edge family to Chrome WEB-45326, WEB-51150 GitOrigin-RevId: 69bfcd710ec36d1915c9756a29f32276fbfb5f9d
push time in 14 hours
push eventJetBrains-Research/GT
commit sha 4339ef13e705087648027bfbf36cb46cd20543df
deploy: ddcee290ba4a3ae396eb85be8617f52efec9c406
push time in 14 hours
push eventJetBrains-Research/GT
commit sha ce1ed557e9efd8681f798593c2708ee6a85e66bf
WIP on all plugins together
commit sha ddcee290ba4a3ae396eb85be8617f52efec9c406
Repair ppx_all Signed-off-by: Kakadu <[email protected]>
push time in 14 hours
pull request commentJetBrains/intellij-scala
@jastice not yet, but looks like it's time to https://youtrack.jetbrains.com/issue/SCL-18944
comment created time in 16 hours
push eventJetBrains/intellij-community
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
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
commit sha ebace07a1cc5a3b0d714d781a16ca9e23f0f6954
[maven] remove unfinished quick fix GitOrigin-RevId: 76e967e218e950d4d6bc02e2fff636e90bbc1801
push time in 18 hours
pull request commentJetBrains/intellij-community
KTIJ-11643 Add remaining branches for `when` statement automatically for postfix completion
cc @nikitabobko
comment created time in 18 hours
push eventJetBrains/jediterm
commit sha f0c5e3aea7d774fead40f11bdf5ccd4da8129a38
target Java 11
push time in 19 hours
push eventJetBrains/intellij-community
commit sha e6a98be797b19b5bf47a084d389ae9c9ca56d375
Updating versions of project dependencies: jdkBuild->11_0_10b1145.115 Vitaly Provodin GitOrigin-RevId: 093fea648065dd19b84ff6c81e6bf5413854d4c1
push time in 20 hours
push eventJetBrains/intellij-plugins
commit sha c4cd328c70634b73239048b56dc164843c6eba98
sort semicolon-separated extensions within "extensions" attribute of <fileType> in plugin.xml to ease the maintenance GitOrigin-RevId: 06b3061fdb7bfed840a7bb58e4725e3351b37b40
push time in a day
push eventJetBrains/intellij-plugins
commit sha a9fe0d9c6c21f7f60b00218faf068a1d71e7a47c
Web-types/Vue: migrate support for v-model (cherry picked from commit a2e9571c5e07b8566633fa4222ec59de905e1bee) GitOrigin-RevId: 4226ca5c18bc9c6dfed72e58b61c0ad33d1e87b6
commit sha e4c690b6a6da42e3270a4b15a9aeeeee7942dfc0
Web-types: cleanup priority handling logic (cherry picked from commit b00c6e5f2b2a61f23c8bdc42176aaeef940cb325) GitOrigin-RevId: 56e8535d1e37f8aef58a1eb33ad253396b9ba400
commit sha 9d8cdf932d6bee4c55d266e58bb0488a9fa86b5c
Web-types/Vue: decorate lookup items and restore components priority. (cherry picked from commit c79be18b0cfac537f919662fd84138fcaa7377a8) GitOrigin-RevId: 3caae117b7891b1bdb0247f9c4eaa48fa67af479
commit sha a6c818b6719bd33a5e5bb7c0f919b0a89d2402e8
WEB-51329 No documentation & resolve for the 'template' tag in .vue GitOrigin-RevId: 2d8a60afe956c807a6b0636de713cb46493583b4
commit sha a89e9e5043971042ecc05620bbb3f208ede5890e
Web-types: docs fixes GitOrigin-RevId: 509376068af68915d591169f79d8dc264c90a227
commit sha d5fe83eb4278042987d34e7a610a305a640eb3dd
MDN: fix test data with updated protocol name GitOrigin-RevId: e9dca507d72168c177d7f497f363122035005b3d
push time in a day
push eventJetBrains/intellij-community
commit sha aa0f309a8c285900e0a02a017a255e6aafeefcd5
WEB-51329 No documentation & resolve for the 'template' tag in .vue GitOrigin-RevId: 2d8a60afe956c807a6b0636de713cb46493583b4
commit sha 8255c07236dad8e841fba6ee2c2b3acd889792d0
MDN: fix test data with updated protocol name GitOrigin-RevId: e9dca507d72168c177d7f497f363122035005b3d
push time in a day
push eventJetBrains/intellij-community
commit sha 2170b5c355e85a64e9bcde157be8f651e4e3daaa
[global inspections] avoid CCE for anonymous classes in enum constants GitOrigin-RevId: 7083ee1a97d43467d98ee5b15b122304397da0f4
commit sha b1a1d7fd237cfd006a558de652c711001c601972
[global inspections] logging GitOrigin-RevId: fa04963011f37154310b56dcce94d3033dd2aa61
commit sha 5de14cb0cad09f0f32670e266eb46070f49ff7ea
[global inspections] [kotlin] cope with method/property inheritance GitOrigin-RevId: c686738495b77d1d045f8932f7ce0c8d2462c9cb
commit sha 45a689d2f1d22d0203560a0600a3b33229658ed6
[global inspections] check sdk configurations under progress avoid index access from EDT GitOrigin-RevId: 63a7a4ef90435465d4a7d2fd707a8800d6d6e8b9
commit sha 30d955f1149508f60496b33792fb7d9704fb088b
[global inspections] [kotlin] cope with primary constructors GitOrigin-RevId: 23428b26b42c38c910bdddd8dc870501aed0e992
commit sha 4a65e6dd3f70c2502fb0d29837e7b4a65f91e001
[cwm] fix noLobby starter after projector merge GitOrigin-RevId: da8bb7c317a7e096c7a98ed4b975277fafc3bbb7
commit sha d98157b9995b6b1a6dd0865d4049d754bd35ea1d
move testExcludePerformance to FileTypesUltimateTest to be able to run it under ultimate classpath GitOrigin-RevId: 9d5c14da5a49e8925e8b48950bec4f38b583805d
commit sha f529b9d713f30693d41507100efea5a86ae26323
remove excessive visibility caused by Upsource but not needed anymore GitOrigin-RevId: fdc4dda89c3d991d6824d6f22726b2aa4af3ebb6
commit sha a08e5d62dd2921b8d510c7bfd6bf03a36904fec8
remove useless trailing semicolon from XML GitOrigin-RevId: 6449d1e50c931a16defc3badc443a0b969eb5a2c
commit sha da927e7803f85b0e99520972e0ad53d2b7b7d211
cleanup GitOrigin-RevId: ad1122b3a1518593b52de8d697dc787190ebd9cc
commit sha 3e50d9d2c468c4e89d09668a24bcd90c443179e8
sort semicolon-separated extensions within "extensions" attribute of <fileType> in plugin.xml to ease the maintenance GitOrigin-RevId: 06b3061fdb7bfed840a7bb58e4725e3351b37b40
commit sha 0ad436c0bfb973dd567dd451f6f158845285d86e
[plugins] MyPluginModel::getCustomUnloadOptions removed GitOrigin-RevId: 067a83f8bf14e92c1870799bdf1e28224bf3ad75
commit sha d6a0e52dbc3b76799de724fa1480ba56d55b5dac
[performancePlugin] command supports implementation detail plugins GitOrigin-RevId: 8d517e26d8bc23223f608f46b3dbb94d54474b0a
push time in a day