Xenolect v0.5.0

What's Changed

• Publish Xenolect v0.5.0 by @byte271 in #7

Full Changelog: v0.4.0...v0.5.0

Xenolect v0.4.0

What's Changed

• v0.4 research: oracle-free diagnostic protocol synthesis by @byte271 in #5
• Publish Xenolect v0.4.0 by @byte271 in #6

Full Changelog: v0.3.0...v0.4.0

Xenolect v0.3.0

What's Changed

• Add obligation-directed active protocol synthesis by @byte271 in #2
• Release Xenolect v0.3.0 with active discriminating synthesis by @byte271 in #3
• Publish Xenolect v0.3.0 by @byte271 in #4

Full Changelog: v0.2.0...v0.3.0

v0.2.0

Release Xenolect v0.2.0

Add the composable Driver IR foundation and bounded response-parser synthesis, preserve v0.1 Driver identity, update all v0.2.0 package and documentation surfaces, and retain the existing compilation and certification budgets.