0.5.2

What's Changed

• add counters of functions and loops by @nkrusch in #154

Full Changelog: 0.5.1...0.5.2

0.5.1

What's Changed

• include loop guard in variables by @nkrusch in #153

Full Changelog: 0.5.0...0.5.1

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

0.4.2 (ATVA 2023)

What's Changed

• Update docs by @nkrusch in #107
• Tool Examples by @nkrusch in #108
• update examples by @nkrusch in #109
• one more ex by @nkrusch in #110
• patch version++ by @nkrusch in #111

Full Changelog: 0.4.1...0.4.2

Tool User guide: statycc.github.io/.github/pymwp

0.4.1

Updates to zenodo and citation meta data. This repository syncs releases with Zenodo.

What's Changed

• Update meta data by @nkrusch in #105
• version bump by @nkrusch in #106

Full Changelog: 0.4.0...0.4.1

profile-latest

Commits

• 18f88c2: version bump (#106) (Neea Rusch) #106

0.4.0

What's Changed

• Edit license in cite metadata by @nkrusch in #91
• Compute mwp bound by @nkrusch in #93
• A few more (new!) command line options by @nkrusch in #94
• Fail details by @nkrusch in #95
• Refactor by @nkrusch in #96
• Polynomial init changes by @nkrusch in #97
• Evaluation by @nkrusch in #98
• Add bounds counter by @nkrusch in #99
• Plot utils by @nkrusch in #100
• Small dependency reorg by @nkrusch in #102
• Release by @nkrusch in #103

Full Changelog: 0.3.0...0.4.0