-
Notifications
You must be signed in to change notification settings - Fork 41
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Semantic highlight and document symbols on slang 0.10 #523
Merged
OmarTawfik
merged 18 commits into
NomicFoundation:development
from
antico5:migrate_to_slang_0_10
Jan 9, 2024
Merged
Semantic highlight and document symbols on slang 0.10 #523
OmarTawfik
merged 18 commits into
NomicFoundation:development
from
antico5:migrate_to_slang_0_10
Jan 9, 2024
Commits on Dec 8, 2023
-
Configuration menu - View commit details
-
Copy full SHA for d8e6fdf - Browse repository at this point
Copy the full SHA d8e6fdfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6db7e3d - Browse repository at this point
Copy the full SHA 6db7e3dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 59d1055 - Browse repository at this point
Copy the full SHA 59d1055View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2305c70 - Browse repository at this point
Copy the full SHA 2305c70View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5bd248d - Browse repository at this point
Copy the full SHA 5bd248dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2677dbc - Browse repository at this point
Copy the full SHA 2677dbcView commit details -
Configuration menu - View commit details
-
Copy full SHA for fea4b12 - Browse repository at this point
Copy the full SHA fea4b12View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4fe2396 - Browse repository at this point
Copy the full SHA 4fe2396View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2d9db70 - Browse repository at this point
Copy the full SHA 2d9db70View commit details -
Configuration menu - View commit details
-
Copy full SHA for efed2df - Browse repository at this point
Copy the full SHA efed2dfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6a8dd2c - Browse repository at this point
Copy the full SHA 6a8dd2cView commit details -
Configuration menu - View commit details
-
Copy full SHA for d995a5d - Browse repository at this point
Copy the full SHA d995a5dView commit details -
Configuration menu - View commit details
-
Copy full SHA for c5dcf84 - Browse repository at this point
Copy the full SHA c5dcf84View commit details -
Configuration menu - View commit details
-
Copy full SHA for a357352 - Browse repository at this point
Copy the full SHA a357352View commit details -
Configuration menu - View commit details
-
Copy full SHA for f3095bd - Browse repository at this point
Copy the full SHA f3095bdView commit details
Commits on Dec 16, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 6d58175 - Browse repository at this point
Copy the full SHA 6d58175View commit details
Commits on Jan 6, 2024
-
Configuration menu - View commit details
-
Copy full SHA for ea7fa83 - Browse repository at this point
Copy the full SHA ea7fa83View commit details -
Configuration menu - View commit details
-
Copy full SHA for 76b210f - Browse repository at this point
Copy the full SHA 76b210fView commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.