v0.0.4

What's Changed

• Wasm linker by @0xGeorgii in #216
• 63 implement mod hierarchy by @0xGeorgii in #226
• fix(wasm-codegen): construct array-typed struct fields (#224) by @0xGeorgii in #228
• A038, A039 by @0xGeorgii in #229
• Update book by @0xGeorgii in #233
• Book projects tooling docs by @0xGeorgii in #234
• fix(proof): lower non-deterministic blocks to provable Rocq by @0xGeorgii in #230
• Fix double file reads when parsing projects by @0xGeorgii in #236
• A041 DuplicateLocalName by @0xGeorgii in #237
• Feat/wasm opt post build by @0xGeorgii in #238

Full Changelog: v0.0.3...v0.0.4

v0.0.3

What's Changed

• Resilient parser, remove tree-sitter by @0xGeorgii in #209
• A037: ArrayIndexConstOutOfBounds by @0xGeorgii in #213
• infs build projects by @0xGeorgii in #223

Full Changelog: v0.0.2...v0.0.3

v0.0.2

What's Changed

• Add inline documentation for complex logic in type-checker (#73) by @0xGeorgii in #202
• Prohibit combined unary operators by @kaankacar in #111
• Add visibility support for spec definitions by @Godbrand0 in #105
• Typed dedup keys for type-checker errors (supersedes #115) by @0xGeorgii in #203
• Prohibit double unary operators (-- and ~~) by @od-hunter in #117
• ValidModule with specs by @yoshihiro503 in #201
• Add file discovery function @Emmyt24 in #102
• A035 forbid direct and indirect recursion (#205) by @0xGeorgii in #206
• A036 stack overflow guard via static call-graph analysis (#166) by @0xGeorgii in #208

New Contributors

• @Godbrand0 made their first contribution in #105
• @od-hunter made their first contribution in #117
• @Emmyt24 made their first contribution in #102

Full Changelog: v0.0.1...v0.0.2

v0.0.1

What's Changed

• ✨ 📝 Generate WASM Theorems by @yoshihiro503 in #181
• Switch to stable channel by @0xGeorgii in #194
• Assert codegen by @0xGeorgii in #196
• Propagate spec to v by @0xGeorgii in #197

New Contributors

• @yoshihiro503 made their first contribution in #181

Full Changelog: v0.0.1-gamma.3...v0.0.1

v0.0.1-gamma.3

What's Changed

• Add analysis crate + la_arena by @0xGeorgii in #153
• +Memory structs by @0xGeorgii in #159
• Method codegen by @0xGeorgii in #178
• Bug fixes + refactorings + tests by @0xGeorgii in #180
• 162 nested compound types codegen by @0xGeorgii in #185
• +Enums by @0xGeorgii in #187
• Fix Redundant Zero-Initialization in Array Literal Codegen by @0xGeorgii in #189
• const enforcement in type checker and analysis by @0xGeorgii in #191
• Infs toolchain resolver by @0xGeorgii in #192

Full Changelog: v0.0.1-gamma.2...v0.0.1-gamma.3

Turing completeness

This release achieves Turin completeness (and beyond) for WASM codegen

What's Changed

• Fix tech dept by @0xGeorgii in #131
• fix: logo display in README by @ProHaller in #129
• Add cov-mark coverage for type-checker error dedup by @kaankacar in #110
• Add coverage marks for error recovery testing by @0xGeorgii in #132
• Add missed numeric constant types by @0xGeorgii in #133
• Local variables by @0xGeorgii in #135
• Function calls supported by @0xGeorgii in #137
• Simplify infc interface by @0xGeorgii in #139
• binop except assign and conditionals by @0xGeorgii in #141
• bitnot op refactoring by @0xGeorgii in #143
• Conditionals by @0xGeorgii in #145
• • Assignments and mut by @0xGeorgii in #147
• Memory allocation for arrays by @0xGeorgii in #151
• +Loops by @0xGeorgii in #154

New Contributors

• @ProHaller made their first contribution in #129
• @kaankacar made their first contribution in #110

Full Changelog: v0.0.1-gamma.1...v0.0.1-gamma.2

v0.0.1-gamma.1

What's Changed

• Remove LLVM from core crates by @0xGeorgii in #125
• Remove LLVM from infs by @0xGeorgii in #128
• Update VSCode extension after removing LLVM by @0xGeorgii in #130

Full Changelog: v0.0.1-beta.3...v0.0.1-gamma.1

v0.0.1-beta.3

What's Changed

• 97 codegen architecture reorganization plan by @0xGeorgii in #122
• 17 feature add miri check by @0xGeorgii in #123
• Fix ref cycle in SymbolTable by @0xGeorgii in #124

Full Changelog: v0.0.1-beta.2...v0.0.1-beta.3

v0.0.1-beta.2

What's Changed

• 116 integrate infs to vscode extension by @0xGeorgii in #120

Full Changelog: v0.0.1-beta.1...v0.0.1-beta.2

v0.0.1-beta.1

What's Changed

• Optimize local build time and refactor workflows by @0xGeorgii in #60
• Add type-checker crate by @0xGeorgii in #54
• Remove source_code from node location by @0xGeorgii in #70
• Enhance type checker and AST builder with new operator support by @0xGeorgii in #87
• Update libLLVM download URL and clean up configuration files by @0xGeorgii in #88
• Clean up ast builder unit tests + bug fixes by @0xGeorgii in #90
• Create other component placeholder crates by @0xGeorgii in #92
• Improve MinGW installation process on Windows by @0xGeorgii in #93
• Minimal Viable VS Code Extension by @0xGeorgii in #95
• Inference Start by @0xGeorgii in #112

Full Changelog: v0.0.1-alpha...v0.0.1-beta.1