profile
viewpoint
Tesla I. Zhang‮ ice1000 @isrc-cas China, Pennsylvania, Gensokyo https://ice1000.org Penn Stater, type theorist.

ice1000/A8Translate 115

一个无毒的Android Studio / IntelliJ IDEA 翻译插件

ice1000/algo4j 65

:horse_racing: An algorithm library using java native interface

HoshinoTented/LuoGuAPI 33

API of LuoGu

Cm-lang/Cmc 29

:space_invader: the compiler for the Cm programming language

ice1000/agda-mode 26

Accessing Agda's interaction mode via command line & external tactic for Agda.

ckx-lang/compilers-ckx 18

The general purposed programming language ckx compiler

arend-lang/tutorial-code 17

Source code & exercises in Arend's documentation

cqjjjzr/Gensokyo 16

A GUI framework based on Swing for Kotlin.

ice1000/AIAndroid 15

An Android UI framework for chatting APPs.

aya-prover/aya-prover-proto 11

┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛

issue commentcovscript/covscript-intellij

[auto-generated:-2064206662] null

  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: WebStorm
  • App Full Name: WebStorm
  • App Version name: WebStorm
  • Is EAP: false
  • App Build: WS-213.6461.79
  • App Version: 2021.3.1
  • Last Action: FindInPath
  • title: [auto-generated:-2064206662] null
ice1000

comment created time in 2 days

issue commentcovscript/covscript-intellij

[auto-generated:-2064206662] null

  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: WebStorm
  • App Full Name: WebStorm
  • App Version name: WebStorm
  • Is EAP: false
  • App Build: WS-213.6461.79
  • App Version: 2021.3.1
  • Last Action: FindInPath
  • title: [auto-generated:-2064206662] null
ice1000

comment created time in 2 days

issue commentcovscript/covscript-intellij

[auto-generated:-2064206662] null

  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: WebStorm
  • App Full Name: WebStorm
  • App Version name: WebStorm
  • Is EAP: false
  • App Build: WS-213.6461.79
  • App Version: 2021.3.1
  • Last Action: FindInPath
  • title: [auto-generated:-2064206662] null
ice1000

comment created time in 2 days

issue commentcovscript/covscript-intellij

[auto-generated:-2064206662] null

  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: WebStorm
  • App Full Name: WebStorm
  • App Version name: WebStorm
  • Is EAP: false
  • App Build: WS-213.6461.79
  • App Version: 2021.3.1
  • Last Action: FindInPath
  • title: [auto-generated:-2064206662] null
ice1000

comment created time in 2 days

issue commentcovscript/covscript-intellij

[auto-generated:-1293787113] null

  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: IDEA
  • App Full Name: IntelliJ IDEA
  • App Version name: IntelliJ IDEA
  • Is EAP: false
  • App Build: IC-213.6461.79
  • App Version: 2021.3.1
  • Last Action:
  • title: [auto-generated:-1293787113] null
ice1000

comment created time in 2 days

issue commentcovscript/covscript-intellij

[auto-generated:-1293787113] null

  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: IDEA
  • App Full Name: IntelliJ IDEA
  • App Version name: IntelliJ IDEA
  • Is EAP: false
  • App Build: IC-213.6461.79
  • App Version: 2021.3.1
  • Last Action:
  • title: [auto-generated:-1293787113] null
ice1000

comment created time in 2 days

issue commentcovscript/covscript-intellij

[auto-generated:-1293787113] null

  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: IDEA
  • App Full Name: IntelliJ IDEA
  • App Version name: IntelliJ IDEA
  • Is EAP: false
  • App Build: IC-213.6461.79
  • App Version: 2021.3.1
  • Last Action:
  • title: [auto-generated:-1293787113] null
ice1000

comment created time in 2 days

issue openedcovscript/covscript-intellij

[auto-generated:1776339738] null

<No description>


  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: IDEA
  • App Full Name: IntelliJ IDEA
  • App Version name: IntelliJ IDEA
  • Is EAP: false
  • App Build: IC-213.6461.79
  • App Version: 2021.3.1
  • Last Action:
  • title: [auto-generated:1776339738] null
com.intellij.diagnostic.PluginException: The default implementation of method 'getId' is deprecated, you need to override it in 'class org.covscript.lang.execution.CovRunConfigurationFactory'. The default implementation delegates to 'getName' which may be localized, but return value of this method must not depend on current localization. [Plugin: org.covscript]
	at com.intellij.ide.plugins.PluginManagerCore.createPluginException(PluginManagerCore.java:270)
	at com.intellij.diagnostic.PluginProblemReporterImpl.createPluginExceptionByClass(PluginProblemReporterImpl.java:12)
	at com.intellij.diagnostic.PluginException.createByClass(PluginException.java:83)
	at com.intellij.diagnostic.PluginException.reportDeprecatedDefault(PluginException.java:110)
	at com.intellij.execution.configurations.ConfigurationFactory.getId(ConfigurationFactory.java:75)
	at com.intellij.execution.impl.RunManagerImplKt.getFactoryKey(RunManagerImpl.kt:1374)
	at com.intellij.execution.impl.RunManagerImplKt.access$getFactoryKey(RunManagerImpl.kt:1)
	at com.intellij.execution.impl.RunManagerImpl.getConfigurationTemplate(RunManagerImpl.kt:333)
	at com.intellij.execution.impl.RunManagerImpl.createConfiguration(RunManagerImpl.kt:261)
	at com.intellij.execution.actions.RunConfigurationProducer.cloneTemplateConfigurationStatic(RunConfigurationProducer.java:259)
	at com.intellij.execution.actions.RunConfigurationProducer.cloneTemplateConfiguration(RunConfigurationProducer.java:249)
	at com.intellij.execution.actions.RunConfigurationProducer.createConfigurationFromContext(RunConfigurationProducer.java:98)
	at com.intellij.execution.actions.RunConfigurationProducer.findOrCreateConfigurationFromContext(RunConfigurationProducer.java:199)
	at com.intellij.execution.actions.PreferredProducerFind.doGetConfigurationsFromContext(PreferredProducerFind.java:110)
	at com.intellij.execution.actions.PreferredProducerFind.getConfigurationsFromContext(PreferredProducerFind.java:93)
	at com.intellij.execution.actions.PreferredProducerFind.findConfigurationFromContext(PreferredProducerFind.java:135)
	at com.intellij.execution.actions.PreferredProducerFind.createConfiguration(PreferredProducerFind.java:32)
	at com.intellij.execution.actions.ConfigurationContext.createConfiguration(ConfigurationContext.java:204)
	at com.intellij.execution.actions.ConfigurationContext.getConfiguration(ConfigurationContext.java:195)
	at com.intellij.execution.actions.BaseRunConfigurationAction.fullUpdate(BaseRunConfigurationAction.java:235)
	at com.intellij.execution.actions.BaseRunConfigurationAction.update(BaseRunConfigurationAction.java:198)
	at com.intellij.openapi.actionSystem.ex.ActionUtil.lambda$performDumbAwareUpdate$0(ActionUtil.java:131)
	at com.intellij.openapi.actionSystem.ex.ActionUtil.performDumbAwareUpdate(ActionUtil.java:145)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doUpdate(ActionUpdater.java:602)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$updateActionReal$7(ActionUpdater.java:126)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.callAction(ActionUpdater.java:170)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.updateActionReal(ActionUpdater.java:127)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$new$0(ActionUpdater.java:109)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.update(ActionUpdater.java:588)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandGroupChild(ActionUpdater.java:434)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$doExpandActionGroup$21(ActionUpdater.java:413)
	at com.intellij.util.containers.ContainerUtil.concat(ContainerUtil.java:1454)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doExpandActionGroup(ActionUpdater.java:413)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandGroupChild(ActionUpdater.java:489)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$doExpandActionGroup$21(ActionUpdater.java:413)
	at com.intellij.util.containers.ContainerUtil.concat(ContainerUtil.java:1454)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doExpandActionGroup(ActionUpdater.java:413)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandGroupChild(ActionUpdater.java:489)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$doExpandActionGroup$21(ActionUpdater.java:413)
	at com.intellij.util.containers.ContainerUtil.concat(ContainerUtil.java:1454)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doExpandActionGroup(ActionUpdater.java:413)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandGroupChild(ActionUpdater.java:489)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$doExpandActionGroup$21(ActionUpdater.java:413)
	at com.intellij.util.containers.ContainerUtil.concat(ContainerUtil.java:1454)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doExpandActionGroup(ActionUpdater.java:413)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandGroupChild(ActionUpdater.java:489)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$doExpandActionGroup$21(ActionUpdater.java:413)
	at com.intellij.util.containers.ContainerUtil.concat(ContainerUtil.java:1454)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doExpandActionGroup(ActionUpdater.java:413)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandGroupChild(ActionUpdater.java:489)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$doExpandActionGroup$21(ActionUpdater.java:413)
	at com.intellij.util.containers.ContainerUtil.concat(ContainerUtil.java:1454)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doExpandActionGroup(ActionUpdater.java:413)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandActionGroup(ActionUpdater.java:233)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$expandActionGroupAsync$13(ActionUpdater.java:286)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$expandActionGroupAsync$15(ActionUpdater.java:309)
	at com.intellij.openapi.application.impl.ApplicationImpl.tryRunReadAction(ApplicationImpl.java:1084)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$expandActionGroupAsync$16(ActionUpdater.java:309)
	at com.intellij.openapi.progress.util.ProgressIndicatorUtils.runActionAndCancelBeforeWrite(ProgressIndicatorUtils.java:158)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$expandActionGroupAsync$17(ActionUpdater.java:305)
	at com.intellij.openapi.progress.impl.CoreProgressManager.lambda$runProcess$2(CoreProgressManager.java:188)
	at com.intellij.openapi.progress.impl.CoreProgressManager.lambda$executeProcessUnderProgress$12(CoreProgressManager.java:624)
	at com.intellij.openapi.progress.impl.CoreProgressManager.registerIndicatorAndRun(CoreProgressManager.java:698)
	at com.intellij.openapi.progress.impl.CoreProgressManager.computeUnderProgress(CoreProgressManager.java:646)
	at com.intellij.openapi.progress.impl.CoreProgressManager.executeProcessUnderProgress(CoreProgressManager.java:623)
	at com.intellij.openapi.progress.impl.ProgressManagerImpl.executeProcessUnderProgress(ProgressManagerImpl.java:66)
	at com.intellij.openapi.progress.impl.CoreProgressManager.runProcess(CoreProgressManager.java:175)
	at com.intellij.openapi.progress.util.BackgroundTaskUtil.runUnderDisposeAwareIndicator(BackgroundTaskUtil.java:277)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$expandActionGroupAsync$18(ActionUpdater.java:304)
	at com.intellij.util.concurrency.BoundedTaskExecutor.doRun(BoundedTaskExecutor.java:246)
	at com.intellij.util.concurrency.BoundedTaskExecutor.access$200(BoundedTaskExecutor.java:32)
	at com.intellij.util.concurrency.BoundedTaskExecutor$1.execute(BoundedTaskExecutor.java:225)
	at com.intellij.util.ConcurrencyUtil.runUnderThreadName(ConcurrencyUtil.java:213)
	at com.intellij.util.concurrency.BoundedTaskExecutor$1.run(BoundedTaskExecutor.java:214)
	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
	at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1$1.run(Executors.java:668)
	at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1$1.run(Executors.java:665)
	at java.base/java.security.AccessController.doPrivileged(Native Method)
	at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1.run(Executors.java:665)
	at java.base/java.lang.Thread.run(Thread.java:829)

created time in 2 days

issue openedcovscript/covscript-intellij

[auto-generated:1776339738] null

<No description>


  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: IDEA
  • App Full Name: IntelliJ IDEA
  • App Version name: IntelliJ IDEA
  • Is EAP: false
  • App Build: IC-213.6461.79
  • App Version: 2021.3.1
  • Last Action:
  • title: [auto-generated:1776339738] null
com.intellij.diagnostic.PluginException: The default implementation of method 'getId' is deprecated, you need to override it in 'class org.covscript.lang.execution.CovRunConfigurationFactory'. The default implementation delegates to 'getName' which may be localized, but return value of this method must not depend on current localization. [Plugin: org.covscript]
	at com.intellij.ide.plugins.PluginManagerCore.createPluginException(PluginManagerCore.java:270)
	at com.intellij.diagnostic.PluginProblemReporterImpl.createPluginExceptionByClass(PluginProblemReporterImpl.java:12)
	at com.intellij.diagnostic.PluginException.createByClass(PluginException.java:83)
	at com.intellij.diagnostic.PluginException.reportDeprecatedDefault(PluginException.java:110)
	at com.intellij.execution.configurations.ConfigurationFactory.getId(ConfigurationFactory.java:75)
	at com.intellij.execution.impl.RunnerAndConfigurationSettingsImpl.writeExternal(RunnerAndConfigurationSettingsImpl.kt:267)
	at com.intellij.execution.impl.RunnerAndConfigurationSettingsImpl.writeScheme(RunnerAndConfigurationSettingsImpl.kt:323)
	at com.intellij.configurationStore.LazySchemeProcessor.writeScheme(scheme-impl.kt:65)
	at com.intellij.execution.impl.RunConfigurationSchemeManager.writeScheme(RunConfigurationSchemeManager.kt:121)
	at com.intellij.execution.impl.RunConfigurationSchemeManager.writeScheme(RunConfigurationSchemeManager.kt:21)
	at com.intellij.configurationStore.schemeManager.SchemeManagerImpl.saveScheme(SchemeManagerImpl.kt:395)
	at com.intellij.configurationStore.schemeManager.SchemeManagerImpl.save(SchemeManagerImpl.kt:335)
	at com.intellij.configurationStore.Scheme_implKt.save(scheme-impl.kt:164)
	at com.intellij.execution.impl.RunManagerImpl.getState(RunManagerImpl.kt:625)
	at com.intellij.execution.impl.RunManagerImpl.getState(RunManagerImpl.kt:69)
	at com.intellij.configurationStore.ComponentStoreImpl.commitComponent(ComponentStoreImpl.kt:324)
	at com.intellij.configurationStore.ComponentStoreImpl.commitComponents$intellij_platform_configurationStore_impl(ComponentStoreImpl.kt:230)
	at com.intellij.configurationStore.ComponentStoreWithExtraComponents.commitComponents$intellij_platform_configurationStore_impl(ComponentStoreWithExtraComponents.kt:95)
	at com.intellij.configurationStore.ComponentStoreImpl$commitComponentsOnEdt$$inlined$withEdtContext$intellij_platform_configurationStore_impl$1.invokeSuspend(ComponentStoreImpl.kt:719)
	at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33)
	at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:106)
	at com.intellij.openapi.application.constraints.BaseConstrainedExecution$Companion$scheduleWithinConstraints$1.invoke(BaseConstrainedExecution.kt:68)
	at com.intellij.openapi.application.constraints.BaseConstrainedExecution$Companion.scheduleWithinConstraints(BaseConstrainedExecution.kt:71)
	at com.intellij.openapi.application.constraints.BaseConstrainedExecution.scheduleWithinConstraints(BaseConstrainedExecution.kt:38)
	at com.intellij.openapi.application.impl.BaseExpirableExecutorMixinImpl.access$scheduleWithinConstraints$s1153900543(BaseExpirableExecutorMixinImpl.kt:12)
	at com.intellij.openapi.application.impl.BaseExpirableExecutorMixinImpl$scheduleWithinConstraints$$inlined$Runnable$1.run(Runnable.kt:19)
	at com.intellij.openapi.application.TransactionGuardImpl.runWithWritingAllowed(TransactionGuardImpl.java:214)
	at com.intellij.openapi.application.TransactionGuardImpl.access$200(TransactionGuardImpl.java:21)
	at com.intellij.openapi.application.TransactionGuardImpl$2.run(TransactionGuardImpl.java:196)
	at com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:805)
	at com.intellij.openapi.application.impl.ApplicationImpl.lambda$invokeLater$4(ApplicationImpl.java:348)
	at com.intellij.openapi.application.impl.FlushQueue.doRun(FlushQueue.java:82)
	at com.intellij.openapi.application.impl.FlushQueue.runNextEvent(FlushQueue.java:131)
	at com.intellij.openapi.application.impl.FlushQueue.flushNow(FlushQueue.java:47)
	at com.intellij.openapi.application.impl.FlushQueue$FlushNow.run(FlushQueue.java:187)
	at java.desktop/java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:313)
	at java.desktop/java.awt.EventQueue.dispatchEventImpl(EventQueue.java:776)
	at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:727)
	at java.desktop/java.awt.EventQueue$4.run(EventQueue.java:721)
	at java.base/java.security.AccessController.doPrivileged(Native Method)
	at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:85)
	at java.desktop/java.awt.EventQueue.dispatchEvent(EventQueue.java:746)
	at com.intellij.ide.IdeEventQueue.defaultDispatchEvent(IdeEventQueue.java:891)
	at com.intellij.ide.IdeEventQueue._dispatchEvent(IdeEventQueue.java:760)
	at com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$6(IdeEventQueue.java:447)
	at com.intellij.openapi.progress.impl.CoreProgressManager.computePrioritized(CoreProgressManager.java:818)
	at com.intellij.ide.IdeEventQueue.lambda$dispatchEvent$7(IdeEventQueue.java:446)
	at com.intellij.openapi.application.impl.ApplicationImpl.runIntendedWriteActionOnCurrentThread(ApplicationImpl.java:805)
	at com.intellij.ide.IdeEventQueue.dispatchEvent(IdeEventQueue.java:492)
	at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:203)
	at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:124)
	at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:113)
	at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:109)
	at java.desktop/java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
	at java.desktop/java.awt.EventDispatchThread.run(EventDispatchThread.java:90)

created time in 2 days

issue openedcovscript/covscript-intellij

[auto-generated:1776339738] null

opening a prjoect


  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: IDEA
  • App Full Name: IntelliJ IDEA
  • App Version name: IntelliJ IDEA
  • Is EAP: false
  • App Build: IC-213.6461.79
  • App Version: 2021.3.1
  • Last Action:
  • title: [auto-generated:1776339738] null
com.intellij.diagnostic.PluginException: The default implementation of method 'getId' is deprecated, you need to override it in 'class org.covscript.lang.execution.CovRunConfigurationFactory'. The default implementation delegates to 'getName' which may be localized, but return value of this method must not depend on current localization. [Plugin: org.covscript]
	at com.intellij.ide.plugins.PluginManagerCore.createPluginException(PluginManagerCore.java:270)
	at com.intellij.diagnostic.PluginProblemReporterImpl.createPluginExceptionByClass(PluginProblemReporterImpl.java:12)
	at com.intellij.diagnostic.PluginException.createByClass(PluginException.java:83)
	at com.intellij.diagnostic.PluginException.reportDeprecatedDefault(PluginException.java:110)
	at com.intellij.execution.configurations.ConfigurationFactory.getId(ConfigurationFactory.java:75)
	at com.intellij.execution.impl.RunManagerImplKt.getFactoryKey(RunManagerImpl.kt:1374)
	at com.intellij.execution.impl.RunManagerImplKt.access$getFactoryKey(RunManagerImpl.kt:1)
	at com.intellij.execution.impl.RunManagerImpl.getConfigurationTemplate(RunManagerImpl.kt:333)
	at com.intellij.execution.impl.RunManagerImpl.createConfiguration(RunManagerImpl.kt:261)
	at com.intellij.execution.actions.RunConfigurationProducer.cloneTemplateConfigurationStatic(RunConfigurationProducer.java:259)
	at com.intellij.execution.actions.RunConfigurationProducer.cloneTemplateConfiguration(RunConfigurationProducer.java:249)
	at com.intellij.execution.actions.RunConfigurationProducer.createConfigurationFromContext(RunConfigurationProducer.java:98)
	at com.intellij.execution.actions.RunConfigurationProducer.findOrCreateConfigurationFromContext(RunConfigurationProducer.java:199)
	at com.intellij.execution.actions.PreferredProducerFind.doGetConfigurationsFromContext(PreferredProducerFind.java:110)
	at com.intellij.execution.actions.PreferredProducerFind.getConfigurationsFromContext(PreferredProducerFind.java:93)
	at com.intellij.execution.actions.ConfigurationContext.getConfigurationsFromContext(ConfigurationContext.java:414)
	at com.intellij.execution.actions.ConfigurationContext.findPreferredConfiguration(ConfigurationContext.java:292)
	at com.intellij.execution.actions.ConfigurationContext.findExisting(ConfigurationContext.java:285)
	at com.intellij.execution.actions.BaseRunConfigurationAction.findExisting(BaseRunConfigurationAction.java:62)
	at com.intellij.execution.actions.BaseRunConfigurationAction.fullUpdate(BaseRunConfigurationAction.java:232)
	at com.intellij.execution.actions.BaseRunConfigurationAction.update(BaseRunConfigurationAction.java:198)
	at com.intellij.openapi.actionSystem.ex.ActionUtil.lambda$performDumbAwareUpdate$0(ActionUtil.java:131)
	at com.intellij.openapi.actionSystem.ex.ActionUtil.performDumbAwareUpdate(ActionUtil.java:145)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doUpdate(ActionUpdater.java:602)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$updateActionReal$7(ActionUpdater.java:126)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.callAction(ActionUpdater.java:170)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.updateActionReal(ActionUpdater.java:127)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$new$0(ActionUpdater.java:109)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.update(ActionUpdater.java:588)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandGroupChild(ActionUpdater.java:434)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$doExpandActionGroup$21(ActionUpdater.java:413)
	at com.intellij.util.containers.ContainerUtil.concat(ContainerUtil.java:1454)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doExpandActionGroup(ActionUpdater.java:413)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandGroupChild(ActionUpdater.java:489)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$doExpandActionGroup$21(ActionUpdater.java:413)
	at com.intellij.util.containers.ContainerUtil.concat(ContainerUtil.java:1454)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doExpandActionGroup(ActionUpdater.java:413)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandGroupChild(ActionUpdater.java:489)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$doExpandActionGroup$21(ActionUpdater.java:413)
	at com.intellij.util.containers.ContainerUtil.concat(ContainerUtil.java:1454)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doExpandActionGroup(ActionUpdater.java:413)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandGroupChild(ActionUpdater.java:489)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$doExpandActionGroup$21(ActionUpdater.java:413)
	at com.intellij.util.containers.ContainerUtil.concat(ContainerUtil.java:1454)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doExpandActionGroup(ActionUpdater.java:413)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandGroupChild(ActionUpdater.java:489)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$doExpandActionGroup$21(ActionUpdater.java:413)
	at com.intellij.util.containers.ContainerUtil.concat(ContainerUtil.java:1454)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doExpandActionGroup(ActionUpdater.java:413)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandGroupChild(ActionUpdater.java:489)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$doExpandActionGroup$21(ActionUpdater.java:413)
	at com.intellij.util.containers.ContainerUtil.concat(ContainerUtil.java:1454)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.doExpandActionGroup(ActionUpdater.java:413)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.expandActionGroup(ActionUpdater.java:233)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$expandActionGroupAsync$13(ActionUpdater.java:286)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$expandActionGroupAsync$15(ActionUpdater.java:309)
	at com.intellij.openapi.application.impl.ApplicationImpl.tryRunReadAction(ApplicationImpl.java:1084)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$expandActionGroupAsync$16(ActionUpdater.java:309)
	at com.intellij.openapi.progress.util.ProgressIndicatorUtils.runActionAndCancelBeforeWrite(ProgressIndicatorUtils.java:158)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$expandActionGroupAsync$17(ActionUpdater.java:305)
	at com.intellij.openapi.progress.impl.CoreProgressManager.lambda$runProcess$2(CoreProgressManager.java:188)
	at com.intellij.openapi.progress.impl.CoreProgressManager.lambda$executeProcessUnderProgress$12(CoreProgressManager.java:624)
	at com.intellij.openapi.progress.impl.CoreProgressManager.registerIndicatorAndRun(CoreProgressManager.java:698)
	at com.intellij.openapi.progress.impl.CoreProgressManager.computeUnderProgress(CoreProgressManager.java:646)
	at com.intellij.openapi.progress.impl.CoreProgressManager.executeProcessUnderProgress(CoreProgressManager.java:623)
	at com.intellij.openapi.progress.impl.ProgressManagerImpl.executeProcessUnderProgress(ProgressManagerImpl.java:66)
	at com.intellij.openapi.progress.impl.CoreProgressManager.runProcess(CoreProgressManager.java:175)
	at com.intellij.openapi.progress.util.BackgroundTaskUtil.runUnderDisposeAwareIndicator(BackgroundTaskUtil.java:277)
	at com.intellij.openapi.actionSystem.impl.ActionUpdater.lambda$expandActionGroupAsync$18(ActionUpdater.java:304)
	at com.intellij.util.concurrency.BoundedTaskExecutor.doRun(BoundedTaskExecutor.java:246)
	at com.intellij.util.concurrency.BoundedTaskExecutor.access$200(BoundedTaskExecutor.java:32)
	at com.intellij.util.concurrency.BoundedTaskExecutor$1.execute(BoundedTaskExecutor.java:225)
	at com.intellij.util.ConcurrencyUtil.runUnderThreadName(ConcurrencyUtil.java:213)
	at com.intellij.util.concurrency.BoundedTaskExecutor$1.run(BoundedTaskExecutor.java:214)
	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
	at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1$1.run(Executors.java:668)
	at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1$1.run(Executors.java:665)
	at java.base/java.security.AccessController.doPrivileged(Native Method)
	at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1.run(Executors.java:665)
	at java.base/java.lang.Thread.run(Thread.java:829)

created time in 2 days

PR opened aya-prover/aya-dev

NBE WIP
+692 -0

0 comment

10 changed files

pr created time in 4 days

created tagaya-prover/aya-dev

tagv0.15

~ Who's generalizing definitional equalities?

created time in 5 days

create barnchaya-prover/aya-dev

branch : levels

created branch time in 5 days

push eventaya-prover/aya-dev

ㄗㄠˋ ㄑㄧˊ

commit sha a94ed101708567a13dd695a5c7d24e4520a25e85

DOCS: changelog

view details

ice1000

commit sha 7811436475ee977666aa7767515f9e6b86cf5943

DOCS: improve changelog

view details

ice1000

commit sha 0903e455fa276bdb54c51f606ac724dc8fd291bf

RELEASE: bump versions

view details

bors[bot]

commit sha 1077b411d1c7fbd6706c0eaaaf279e49c361e6f0

MERGE: #317 317: Changelog r=owo-bot a=owo-bot As title Co-authored-by: ㄗㄠˋ ㄑㄧˊ <tsao-chi@the-lingo.org> Co-authored-by: ice1000 <ice1000kotlin@foxmail.com>

view details

Shuxian Wang

commit sha 1da8e24db7aa3fcdde5e71ac76574bbe34afa358

HOAS: Ongoing HOAS refactoring

view details

Shuxian Wang

commit sha 2e3b31de2a5bda57e1b95a47307bde2eb4e43397

HOAS: Evaluate Pi & Sig terms

view details

Shuxian Wang

commit sha 43674a9bbc141c3feca5729618f154f75a9119d5

HOAS: Evaluate functions defined by pattern matching

view details

ice1000

commit sha c3178ff8b73a2a0c5eaab48f5689ddf31b8c9c7a

REVIEW: Kala tutorial

view details

ice1000

commit sha b0c97571043634885f39a30ccbd2d17bdbb09fc9

REVIEW: improve code

view details

Shuxian Wang

commit sha fc11418f56a1e9fa2accdcc58e8e32e49e2c9b97

HOAS: Quoting back Pi & Sigma terms

view details

Shuxian Wang

commit sha 96811957a9aa44d638bdc63c9f746f4228ae8fa8

KALA: Rename `Buffer` to `DynamicSeq`

view details

Shuxian Wang

commit sha 3d712925d0416bd77f4ff260d8abdf307e0fd88a

NBE: Evaluation of records and inductive data types

view details

Shuxian Wang

commit sha 0666e31a0fbdaabfa16a09eeacc5011522fe5628

NBE: [WIP] Elaboration...

view details

ice1000

commit sha cb0e6eb91a215bcd21d5d03bcd1998b66b136507

ELAB: follow-up main branch changes

view details

push time in 5 days

delete branch ice1k/intellij-arend

delete branch : 2021.3

delete time in 6 days

issue commentJuliaEditorSupport/julia-intellij

IDE error after Julia plugin installation

I see, I am sorry that you had to go through this and that this repository has caused you significant stress. Would it be possible if I made one small PR with this notice in the README?

Sure

ML-Data-Science-cloud

comment created time in 7 days

issue commentJuliaEditorSupport/julia-intellij

IDE error after Julia plugin installation

@ice1000, that's OK, after all, it's a lot of work. But to potentially let other users aware of this could you please mark the project as non-maintained then?

I don't even want to create a commit :( that's how much I don't want to touch this repository.

ML-Data-Science-cloud

comment created time in 8 days

issue commentJuliaEditorSupport/julia-intellij

IDE error after Julia plugin installation

Yes you simply override the method and that'll fix it. I don't have time maintaining this project and I'm no longer interested in intellij plugin development

ML-Data-Science-cloud

comment created time in 10 days

pull request commentice1000/intellij-zig

Diff with base repository

Why not object ZigLanguage : Language?

babanin

comment created time in 10 days

issue commentcovscript/covscript-intellij

[auto-generated:-2064206662] null

  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: IDEA
  • App Full Name: IntelliJ IDEA
  • App Version name: IntelliJ IDEA
  • Is EAP: false
  • App Build: IC-213.6461.79
  • App Version: 2021.3.1
  • Last Action: EditorBackSpace
  • title: [auto-generated:-2064206662] null
ice1000

comment created time in 10 days

issue commentcovscript/covscript-intellij

[auto-generated:-2064206662] null

  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: IDEA
  • App Full Name: IntelliJ IDEA
  • App Version name: IntelliJ IDEA
  • Is EAP: false
  • App Build: IC-213.6461.79
  • App Version: 2021.3.1
  • Last Action:
  • title: [auto-generated:-2064206662] null
ice1000

comment created time in 11 days

pull request commentagda/cubical

Terminal algebra

Yaaas!

felixwellen

comment created time in 11 days

delete branch agda/cubical

delete branch : QAQ

delete time in 11 days

issue commentcovscript/covscript-intellij

[auto-generated:-2064206662] null

  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: IDEA
  • App Full Name: IntelliJ IDEA
  • App Version name: IntelliJ IDEA
  • Is EAP: false
  • App Build: IC-213.6461.79
  • App Version: 2021.3.1
  • Last Action:
  • title: [auto-generated:-2064206662] null
ice1000

comment created time in 11 days

issue commentcovscript/covscript-intellij

[auto-generated:-2064206662] null

  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: IDEA
  • App Full Name: IntelliJ IDEA
  • App Version name: IntelliJ IDEA
  • Is EAP: false
  • App Build: IC-213.6461.79
  • App Version: 2021.3.1
  • Last Action: EditorBackSpace
  • title: [auto-generated:-2064206662] null
ice1000

comment created time in 11 days

issue commentcovscript/covscript-intellij

[auto-generated:-2064206662] null

  • CovScript Version:
  • Plugin Name: CovScript
  • Plugin Version: 2.0.2
  • OS Name: Windows 10
  • Java Version: 11.0.13
  • App Name: PyCharm
  • App Full Name: PyCharm
  • App Version name: PyCharm
  • Is EAP: false
  • App Build: PY-213.5744.248
  • App Version: 2021.3
  • Last Action:
  • title: [auto-generated:-2064206662] null
ice1000

comment created time in 11 days

pull request commentagda/cubical

Terminal algebra

The CI problem, if I'm right, should be fixed by #690

felixwellen

comment created time in 11 days

PR opened agda/cubical

Only htmlize on master branch

Also promote the rendered version in README w/ some adjectives (glorious, clickable) stolen from the stdlib.

Special thanks to @brendanzab

+4 -1

0 comment

2 changed files

pr created time in 11 days

create barnchagda/cubical

branch : QAQ

created branch time in 11 days

pull request commentagda/cubical

Html in gh-pages

My guess is that the workflow relies on the pusher's access towards the repo, so @brendanzab 's suggestion should fix it if I'm right

ice1000

comment created time in 12 days

more