Recent Releases of pymwp
pymwp - 0.5.0
Mainly: added loop analysis features + more insight on bounds.
What's Changed
- update demo front-end by @nkrusch in https://github.com/statycc/pymwp/pull/112
- Improve contribution docs by @nkrusch in https://github.com/statycc/pymwp/pull/114
- Allow empty bracket statements by @nkrusch in https://github.com/statycc/pymwp/pull/116
- properly apply GPL by @nkrusch in https://github.com/statycc/pymwp/pull/117
- Unary operators by @nkrusch in https://github.com/statycc/pymwp/pull/118
- update docs by @nkrusch in https://github.com/statycc/pymwp/pull/119
- bump workflow actions checkout v3+python v4 => v4/v5 by @nkrusch in https://github.com/statycc/pymwp/pull/120
- Loop by @nkrusch in https://github.com/statycc/pymwp/pull/122
- docstring linewrap fix by @nkrusch in https://github.com/statycc/pymwp/pull/123
- web docs by @nkrusch in https://github.com/statycc/pymwp/pull/124
- update docs by @nkrusch in https://github.com/statycc/pymwp/pull/125
- capture index by @nkrusch in https://github.com/statycc/pymwp/pull/126
- syntax checks by @nkrusch in https://github.com/statycc/pymwp/pull/127
- Bound eq comparison by @nkrusch in https://github.com/statycc/pymwp/pull/128
- small fixes by @nkrusch in https://github.com/statycc/pymwp/pull/129
- choice right reduce by @nkrusch in https://github.com/statycc/pymwp/pull/130
- single variable assignment by @nkrusch in https://github.com/statycc/pymwp/pull/131
- choice docs by @nkrusch in https://github.com/statycc/pymwp/pull/132
- choice improvement by @nkrusch in https://github.com/statycc/pymwp/pull/133
- various small edits by @nkrusch in https://github.com/statycc/pymwp/pull/134
- eval with scalars by @nkrusch in https://github.com/statycc/pymwp/pull/135
- Choice and docs by @nkrusch in https://github.com/statycc/pymwp/pull/136
- edit docs by @nkrusch in https://github.com/statycc/pymwp/pull/137
- machine details by @nkrusch in https://github.com/statycc/pymwp/pull/138
- cleanup utils by @nkrusch in https://github.com/statycc/pymwp/pull/139
- remove
--no_evalby @nkrusch in https://github.com/statycc/pymwp/pull/140 - Loops by @nkrusch in https://github.com/statycc/pymwp/pull/141
- variable tests by @nkrusch in https://github.com/statycc/pymwp/pull/142
- syntax tests and fixes by @nkrusch in https://github.com/statycc/pymwp/pull/143
- edit parser and syntax by @nkrusch in https://github.com/statycc/pymwp/pull/144
- unit tests by @nkrusch in https://github.com/statycc/pymwp/pull/145
- Unary operator handling edits by @nkrusch in https://github.com/statycc/pymwp/pull/146
- edit workflow by @nkrusch in https://github.com/statycc/pymwp/pull/147
- ignore true/false by @nkrusch in https://github.com/statycc/pymwp/pull/151
- workflow and dist edits by @nkrusch in https://github.com/statycc/pymwp/pull/152
Full Changelog: https://github.com/statycc/pymwp/compare/0.4.2...0.5.0
- Python
Published by github-actions[bot] over 1 year ago
pymwp - 0.4.2 (ATVA 2023)
What's Changed
- Update docs by @nkrusch in https://github.com/statycc/pymwp/pull/107
- Tool Examples by @nkrusch in https://github.com/statycc/pymwp/pull/108
- update examples by @nkrusch in https://github.com/statycc/pymwp/pull/109
- one more ex by @nkrusch in https://github.com/statycc/pymwp/pull/110
- patch version++ by @nkrusch in https://github.com/statycc/pymwp/pull/111
Full Changelog: https://github.com/statycc/pymwp/compare/0.4.1...0.4.2
Tool User guide: statycc.github.io/.github/pymwp
- Python
Published by github-actions[bot] about 3 years ago
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 https://github.com/statycc/pymwp/pull/105
- version bump by @nkrusch in https://github.com/statycc/pymwp/pull/106
Full Changelog: https://github.com/statycc/pymwp/compare/0.4.0...0.4.1
- Python
Published by github-actions[bot] about 3 years ago
pymwp - profile-latest
Commits
- 18f88c2: version bump (#106) (Neea Rusch) #106
- Python
Published by github-actions[bot] about 3 years ago
pymwp - 0.4.0
What's Changed
- Edit license in cite metadata by @nkrusch in https://github.com/statycc/pymwp/pull/91
- Compute mwp bound by @nkrusch in https://github.com/statycc/pymwp/pull/93
- A few more (new!) command line options by @nkrusch in https://github.com/statycc/pymwp/pull/94
- Fail details by @nkrusch in https://github.com/statycc/pymwp/pull/95
- Refactor by @nkrusch in https://github.com/statycc/pymwp/pull/96
- Polynomial init changes by @nkrusch in https://github.com/statycc/pymwp/pull/97
- Evaluation by @nkrusch in https://github.com/statycc/pymwp/pull/98
- Add bounds counter by @nkrusch in https://github.com/statycc/pymwp/pull/99
- Plot utils by @nkrusch in https://github.com/statycc/pymwp/pull/100
- Small dependency reorg by @nkrusch in https://github.com/statycc/pymwp/pull/102
- Release by @nkrusch in https://github.com/statycc/pymwp/pull/103
Full Changelog: https://github.com/statycc/pymwp/compare/0.3.0...0.4.0
- Python
Published by github-actions[bot] about 3 years ago
pymwp - 0.3.0
What's Changed
- Various maintenance tasks by @nkrusch in https://github.com/statycc/pymwp/pull/88
- License by @nkrusch in https://github.com/statycc/pymwp/pull/89
Full Changelog: https://github.com/statycc/pymwp/compare/0.2.1...0.3.0
- Python
Published by github-actions[bot] about 3 years ago
pymwp - 0.2.1
What's Changed
- Changes to eval and choice representation by @nkrusch in https://github.com/statycc/pymwp/pull/78
- Add support for custom C headers by @nkrusch in https://github.com/statycc/pymwp/pull/79
- Option to compute matrix on failure by @nkrusch in https://github.com/statycc/pymwp/pull/86
- fix: example names to match paper by @nkrusch in https://github.com/statycc/pymwp/pull/87
Full Changelog: https://github.com/statycc/pymwp/compare/0.1.6...0.2.1
- Python
Published by github-actions[bot] over 3 years ago
pymwp - FSCD 2022
pymwp at the time of FSCD 2022 paper.
- Python
Published by nkrusch almost 4 years ago
pymwp - 0.1.6
What's Changed
- Added gcd example by @nkrusch in https://github.com/statycc/pymwp/pull/73
- Fix: change binary add vector to
p p wby @nkrusch in https://github.com/statycc/pymwp/pull/75
Dependency upgrades
- Python 3.10
- pycparser 2.21
Full Changelog: https://github.com/statycc/pymwp/compare/0.1.5...0.1.6
- Python
Published by github-actions[bot] over 4 years ago
pymwp - 0.1.5
What's Changed
- infinity bug fix by @nkrusch in https://github.com/statycc/pymwp/pull/67
- save result of all analyzed functions by @nkrusch in https://github.com/statycc/pymwp/pull/68
- add command line flag to skip evaluation by @nkrusch in https://github.com/statycc/pymwp/pull/69
Full Changelog: https://github.com/statycc/pymwp/compare/0.1.4...0.1.5
- Python
Published by github-actions[bot] over 4 years ago
pymwp - 0.1.4
What's Changed
- refactor and simplify analysis methods by @nkrusch in https://github.com/statycc/pymwp/pull/61
- example 3: Change scalar order to better match paper by @nkrusch in https://github.com/statycc/pymwp/pull/62
- update mkdocs config by @nkrusch in https://github.com/statycc/pymwp/pull/64
- rework example 5 / function call by @nkrusch in https://github.com/statycc/pymwp/pull/63
- refactor monomial.list by @nkrusch in https://github.com/statycc/pymwp/pull/65
Full Changelog: https://github.com/statycc/pymwp/compare/0.1.3...0.1.4
- Python
Published by github-actions[bot] over 4 years ago