What's Changed
- Fix capability passing for extern definitions by @dvdvgt in #633
- Fix SBT installation by @marvinborner in #637
- Add missing sbt setups by @marvinborner in #643
- Js cps backend by @b-studios in #619
- Fix scheduler case study title by @jiribenes in #649
Full Changelog: v0.5.0...v0.6.0
Contributors
b-studios, jiribenes, and 2 other contributors