Change Log

[v0.4.0] - 2024-11-20

Added typo validation in limboole by @azaddima

[v0.3.1] - 2024-10-06

Added generated AST and grammar

[0.3.0] - 2024-10-06

Added support for language server protocol with Langium
Removed Xtext support
No need for Java runtime anymore

[0.2.0] - 2024-09-20

Added bacic support for language server protocol

[0.1.2] - 2024-09-15

Added limboole executables

[0.1.0] - 2024-09-15

Initial release
Added support for checking satisfiability and validity of the formula
Added support for CNF translation
Added support for running Limboole from command palette
Added support for setting path to Limboole executable in settings