Search results

Add <code>--on-hang-script</code> option to <code>tester-run</code>

Status: Closed (abandoned).

AdaCore/ada_language_servernumber 1120

#1120 In AdaCore/ada_language_server;

· by reznikmm was closed on Apr 4, 2023

Try to check the global lock after each request.

Status: Closed (abandoned).

AdaCore/ada_language_servernumber 1116

#1116 In AdaCore/ada_language_server;

· by reznikmm was closed on Mar 22, 2023

VB30-016 Read initial configuration

Status: Merged (completed).

AdaCore/ada_language_servernumber 1104

#1104 In AdaCore/ada_language_server;

· by reznikmm was closed on Jan 13, 2023

Add <code>-fstack-protector</code> switch on Windows

Status: Merged (completed).

AdaCore/ada_language_servernumber 1101

#1101 In AdaCore/ada_language_server;

· by reznikmm was closed on Dec 28, 2022

Update ALS after changes in Spawn.

Status: Merged (completed).

AdaCore/ada_language_servernumber 1100

#1100 In AdaCore/ada_language_server;

· by reznikmm was closed on Dec 26, 2022

Drop development builds and releases.

Status: Merged (completed).

AdaCore/ada_language_servernumber 1099

#1099 In AdaCore/ada_language_server;

· by reznikmm was closed on Dec 23, 2022

Fix some tests.

Status: Merged (completed).

AdaCore/ada_language_servernumber 1098

#1098 In AdaCore/ada_language_server;

· by reznikmm was closed on Dec 26, 2022

VB28-039 Update Ubuntu and Mac OS X on GitHub CI

Status: Merged (completed).

AdaCore/ada_language_servernumber 1085

#1085 In AdaCore/ada_language_server;

· by reznikmm was closed on Nov 30, 2022

Topic/reload

Status: Merged (completed).

AdaCore/ada_language_servernumber 1083

#1083 In AdaCore/ada_language_server;

· by reznikmm was closed on Nov 30, 2022

Fix semanticTokens request

Status: Merged (completed).

AdaCore/ada_language_servernumber 1071

#1071 In AdaCore/ada_language_server;

· by reznikmm was closed on Nov 8, 2022

U608-011 Highlight gnatdoc tags

Status: Merged (completed).

AdaCore/ada_language_servernumber 1066

#1066 In AdaCore/ada_language_server;

· by reznikmm was closed on Nov 2, 2022

Add a walkthrough

Status: Merged (completed).

AdaCore/ada_language_servernumber 1048

#1048 In AdaCore/ada_language_server;

· by reznikmm was closed on Sep 19, 2022