0.5.0

Mainly: added loop analysis features + more insight on bounds.

What's Changed

• update demo front-end by @nkrusch in #112
• Improve contribution docs by @nkrusch in #114
• Allow empty bracket statements by @nkrusch in #116
• properly apply GPL by @nkrusch in #117
• Unary operators by @nkrusch in #118
• update docs by @nkrusch in #119
• bump workflow actions checkout v3+python v4 => v4/v5 by @nkrusch in #120
• Loop by @nkrusch in #122
• docstring linewrap fix by @nkrusch in #123
• web docs by @nkrusch in #124
• update docs by @nkrusch in #125
• capture index by @nkrusch in #126
• syntax checks by @nkrusch in #127
• Bound eq comparison by @nkrusch in #128
• small fixes by @nkrusch in #129
• choice right reduce by @nkrusch in #130
• single variable assignment by @nkrusch in #131
• choice docs by @nkrusch in #132
• choice improvement by @nkrusch in #133
• various small edits by @nkrusch in #134
• eval with scalars by @nkrusch in #135
• Choice and docs by @nkrusch in #136
• edit docs by @nkrusch in #137
• machine details by @nkrusch in #138
• cleanup utils by @nkrusch in #139
• remove --no_eval by @nkrusch in #140
• Loops by @nkrusch in #141
• variable tests by @nkrusch in #142
• syntax tests and fixes by @nkrusch in #143
• edit parser and syntax by @nkrusch in #144
• unit tests by @nkrusch in #145
• Unary operator handling edits by @nkrusch in #146
• edit workflow by @nkrusch in #147
• ignore true/false by @nkrusch in #151
• workflow and dist edits by @nkrusch in #152

Full Changelog: 0.4.2...0.5.0