v1.0.8

Minor changes to config.json

The config.json remains fully backwards compatible and customArgs can still be used to specify constants
"customArgs": "--const a=3 -c x=3" will be carried over as --const a=3 -c x=3

• Addressed issue #98 reported by @matthiasknorr
• Fixed customArgs option being processed incorrectly in config.json
• Added new option to config:
  "constants": ["n=3", "x=4*3+2"] will be converted to --const n=3 --const x=4*3+2

🚢

v1.0.7

• Keybinds are now restricted to ASP Language (commit by @jariji)
• Fixed unsatisfiable results being treated as an error (reported by @Lucide)
  🚢

v1.0.6

• Maintenance Release 💮 😸

🚢

v1.0.5

• Metadata and package updates

v1.0.4

Fix: Multiple Line Block Comments Issue #72

v1.0.3 Smol Marketplace Update (Docs and GIFs)

docs: 📝 added contributing and testing policy, cleaned vscode setting…
readme gif fix

v1.0.2 QoL changes and small bug fixes

fix: 🐛 show ASP tab on command execution (QoL)
fix: 🐛 adjusted buttons and fixed webview output
fix: 🐛 fixed demo-gif
added new gif to readme

v1.0.1 Marketplace Release

1.0.0: Big Feature, Security and QoL Patch 🎆

• Switched to WASM Clingo as a bundled version and removed previously used binaries
• Added a User Interface for using the extension in a seperate tab in the lower panel (next to the terminal)
• Added various developer experience features like Unit Tests, a single Integration Test (sanity check), CI/CD to the repository
• Assessed the repository with OpenSSF Scorecard, made contributing much easier, documented and refactored the entire codebase

v1.0.0-beta

Pre-Release of new WASM integration and our custom UI! 🎆

v0.7.0

• Fixed issues #9 and #10