v0.8.3

github-actions released this 07 Nov 00:56

· 115 commits to main since this release

2701000

Fix

Generate init function only when needed (01f3193)
Prevent init function from having unused objectives (4b6a490)
Prevent init function from having duplicated/unused constants (05a2638)

Assets 4