Skip to content

Commit ff9d04b

Browse files
Merge pull request #50 from CaptainUnbrauchbar/release
Marketplace GIF fix fix
2 parents c159f33 + fe570f5 commit ff9d04b

File tree

5 files changed

+48
-4
lines changed

5 files changed

+48
-4
lines changed

.vscode/settings.json

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
{
2-
"cmake.configureOnOpen": false,
32
"prettier.printWidth": 140,
43
"prettier.tabWidth": 4,
54
"editor.defaultFormatter": "esbenp.prettier-vscode"

CHANGELOG.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,8 @@ If you want to contribute to the repository you are welcome to look at these pla
1010
- **QoL**: Adjust the webview UI colours so they work best with any selected colour theme
1111
- **Testing**: Add more Unit Tests
1212
- **Testing**: Find a way to do proper Integration Testing that works with CI/CD (currently only local and limited functionality because of the webview UI)
13+
- **Localization**: Look into localization need/techniques and translate text
14+
- **Bug**: Verify/Fix that all parameters in the ASP config.json created by this extension actually work properly and/or are still supported by clingo
1315

1416
## 1.0.0: Big Feature, Security and QoL Patch :fireworks:
1517

CONTRIBUTING.md

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
# Contributing to the Repository
2+
3+
To find features or bugs to work on, check the [CHANGELOG.md](https://github.com/CaptainUnbrauchbar/asp-language-support/blob/informaticup/CHANGELOG.md) **"Future / Planned"** section!
4+
5+
## DOs and DON'Ts
6+
7+
Please do:
8+
9+
- DO follow our coding style and use the appropiate settings (tab width 4, print width 140)!
10+
- DO give priority to the style of the project (files, structure, folders) even if its differnt from current norms.
11+
- DO start a discussion/issue before working on a larger change/feature/bugfix so we can agree on a solution.
12+
- DO test your changes locally with the included Unit and Integration Tests.
13+
- DO have fun coding and contributing! 😸
14+
15+
Please do not:
16+
17+
- DO NOT commit code that you didn't write.
18+
- DO NOT hesitate to ask questions about anything that is unclear, we love to help out!
19+
20+
## Coding Style
21+
22+
Please use JS Prettier to format your code, you can get the code formatter directly from the VSCode Marketplace: [Prettier - Code formatter](https://marketplace.visualstudio.com/items/?itemName=esbenp.prettier-vscode)
23+
24+
You can find the settings in the repository .vscode folder: [settings.json](https://github.com/CaptainUnbrauchbar/asp-language-support/blob/informaticup/.vscode/settings.json)
25+
26+
## Commit Messages
27+
28+
Feel free to use [Conventional Commits](https://marketplace.visualstudio.com/items/?itemName=vivaxy.vscode-conventional-commits) for your changes but this is not required. Keep them short and meaningful!
29+
30+
## Automated Code Review Assistance
31+
32+
We are using SEMGREP to highlight general and security issues in the repository code, feel free to integrate this in your workflow.
33+
34+
## Test Policy
35+
36+
Unit Tests are required for major features that contribute their own sections of code. In any other case feel free to open a discussion if it makes sense to introduce new tests.
37+
38+
## Thank You
39+
40+
For taking the time to improve our project and for your appreciation! :smile:

README.md

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
[![OpenSSF Scorecard](https://api.scorecard.dev/projects/github.com/CaptainUnbrauchbar/asp-language-support/badge)](https://scorecard.dev/viewer/?uri=github.com/CaptainUnbrauchbar/asp-language-support)
22
[![OpenSSF Best Practices](https://www.bestpractices.dev/projects/10389/badge)](https://www.bestpractices.dev/projects/10389)
33
[![License: MIT](https://img.shields.io/badge/License-MIT-blue.png)](/LICENSE.md)
4+
[![code style: prettier](https://img.shields.io/badge/code_style-prettier-ff69b4.svg?style=flat-square)](https://github.com/prettier/prettier)
45

56
# Answer Set Programming Language Support (for Clingo)
67

@@ -15,7 +16,7 @@ We added multi-file support with v0.4.0!
1516

1617
## Usage
1718

18-
<img src="https://github.com/CaptainUnbrauchbar/asp-language-support/blob/release/media/usage-demo.gif" height="500" alt="demo-gif"/>
19+
<img src="https://github.com/CaptainUnbrauchbar/asp-language-support/raw/informaticup/media/usage-demo.gif" height="500" alt="demo-gif"/>
1920

2021
Just right click anywhere on a logic program (.lp) file and select `Compute all Answer Sets`, `Compute the first Answer Set` or `Compute Answer Sets (config.json)`.
2122
This will display Clingo's results in a seperate ASP tab located in the panel. You can also use the buttons in the top right of this tab to run bundled or PATH clingo depending on your `ASPLanguage: Use PATH Clingo` setting.
@@ -34,7 +35,7 @@ If you want to use your own Version of Clingo from PATH with this extension, ple
3435

3536
## Customization
3637

37-
<img src="https://github.com/CaptainUnbrauchbar/asp-language-support/blob/release/media/customization-demo.gif" height="500" alt="customization-gif"/>
38+
<img src="https://github.com/CaptainUnbrauchbar/asp-language-support/raw/informaticup/media/customization-demo.gif" height="500" alt="customization-gif"/>
3839

3940
When using the bundled WASM Clingo (Choose in configuration `ASPLanguage: Use PATH Clingo`), you can easily move the panel to the sidebars or change the panel position depending on your preferences.
4041
The layout will adjust accordingly!
@@ -67,6 +68,8 @@ This extension contributes the following features:
6768
If you have any suggestions for a new feature or anything else please open an issue on GitHub: [ASP-LANGUAGE-SUPPORT](https://github.com/CaptainUnbrauchbar/asp-language-support/issues)
6869
The repository is being actively maintained and pull requests are welcome anytime. If you don't receive feedback within 48h feel free to also email one of the codeowners!
6970

71+
View the [CONTRIBUTING.md](https://github.com/CaptainUnbrauchbar/asp-language-support/blob/informaticup/CONTRIBUTING.md) for more info on **Pull Requests**.
72+
7073
## Acknowledgements
7174

7275
[Clingo](https://potassco.org/clingo/) was developed by [Potassco](https://potassco.org/).

package.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
{
22
"name": "answer-set-programming-language-support",
33
"displayName": "Answer Set Programming Language Support",
4-
"version": "1.0.2",
4+
"version": "1.0.3",
55
"description": "Language Support for Clingo ASP (developed by University of Potsdam).",
66
"publisher": "ffrankreiter",
77
"jest": {

0 commit comments

Comments
 (0)