Releases: BlockstreamResearch/SimplicityHL
Releases · BlockstreamResearch/SimplicityHL
simplicityhl-0.5.0
simplicityhl-0.5.0
simplicityhl-0.4.1
What's Changed
- fix broken fuzz target
compile_parse_treeby @lucasbalieiro in #162 - Add Simplicity LSP by @KyrylR in #165
- Add "Restart Server" command to VSCode extension by @gerau in #168
- Fix publish simplicityhl-lsp workflow by @KyrylR in #171
- Add "Install Server" button to VSCode extension by @gerau in #170
- LSP: refactor completions, add specific type cast completions by @gerau in #172
- add CONTRIBUTING.md by @apoelstra in #175
- feature(simc): flag for json output by @delta1 in #180
- Add DefaultTracker by @KyrylR in #184
- analyze_named_module: make missing modules equivalent to empty ones by @apoelstra in #187
- misc: update codeowners and auto assign for issues by @delta1 in #194
- CONTRIBUTING.md: elaborate LLM policy and add copy of LLVM's LLM policy by @apoelstra in #193
- Bug/jet trace by @topologoanatom in #198
New Contributors
- @lucasbalieiro made their first contribution in #162
- @topologoanatom made their first contribution in #198
Full Changelog: simplicityhl-0.3.0...simplicityhl-0.4.1
simplicityhl-0.4.0
simplicityhl-0.4.0
simplicityhl-0.3.0
simplicityhl-0.3.0