Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Release 0.3.2 #101

Merged
merged 19 commits into from
Mar 22, 2020
Merged

Release 0.3.2 #101

merged 19 commits into from
Mar 22, 2020

Conversation

marcofavorito
Copy link
Member

@marcofavorito marcofavorito commented Mar 22, 2020 •
edited
Loading

Release summary

Version number: 0.3.2

Release details

  • Bug fixing and minor improvements.

Checklist

Put an x in the boxes that apply.

https://github.com/whitemech/pythomata/blob/master/CONTRIBUTING.md

  • I have read the CONTRIBUTING.md file
  • I am making a pull request against the master branch (left side), from release-<version-number>
  • I've updated the dependencies versions in Pipfile to the latest, wherever is possible.
  • Lint and unit tests pass locally
  • I built the documentation and updated it with the latest changes
  • I've added an item in HISTORY.md for this release
  • I bumped the version number in the __version__.py file.
  • I published the latest version on TestPyPI and checked that the following command work:
    pip install pythomata==<version-number> --index-url https://test.pypi.org/simple --force --no-cache-dir --no-deps
  • After merging the PR, I'll publish the build also on PyPI. Then, I'll make sure the following
    command will work:
    pip install pythomata==<version_number> --force --no-cache-dir --no-deps
  • I tagged the merge commit with v<version-number>
  • I published the docs: mkdocs gh-deploy

Further comments

N/A

@marcofavorito
Merge pull request #89 from whitemech/release-0.3.1
8105306 
Merge Release branch 0.3.1 to develop.
@marcofavorito
Merge pull request #91 from whitemech/master
c7de740 
Update develop after #90
@marcofavorito
rename 'security' with 'safety' in 'tox.ini.
df8bc47
@marcofavorito
Merge pull request #94 from whitemech/fix/tox-ini
23bce02 
Replace 'security' with 'safety' in 'tox.ini'
@marcofavorito
fix bug #95.
8cf0a4c 
The fix is trivial. The problem was that
during the last step of `SymbolicAutomaton.determinize()`
(after the greatest fixpoint procedure) the
acceptance of the (macro) initial state was ignored.
@marcofavorito
Merge pull request #96 from whitemech/fix-95
241fc42 
Fix bug #95.
@marcofavorito
bump version to 0.3.2b0
66891f1
@marcofavorito
Update issue templates
e85321c
@marcofavorito
fix minimization of symbolic dfa.
e85bc6f 
There is an issue when the automaton does not have any
accepting states, but several transitions among states.
The result is that, after the greatest-fixpoint computation,
during the building of the automaton, the algorithm tried
to add a non-deterministic transition, which make the
procedure to fail.

Fix that by normalizing the transitions before building the
automaton. "Normalize" here means to have only one guard
per edge.
@marcofavorito
Merge pull request #97 from whitemech/issue-templates
eb2f641 
Update issue templates
@marcofavorito
Merge pull request #99 from whitemech/fix/symbolic-minimization
7186046 
Fix minimization of symbolic dfa.
@marcofavorito
Merge branch 'develop' into release-0.3.2
435583b
@marcofavorito
bump version number to 0.3.2b1
e2a70e3
@marcofavorito
update MANIFEST.in
9db515a
@marcofavorito
remove 'pythomata' from MANIFEST.
feb0dbe 
the package directory is already added in sdist by default.
@marcofavorito
Merge pull request #100 from whitemech/fix/metadata
f8779c6 
update MANIFEST.in
@marcofavorito
Merge branch 'develop' into release-0.3.2
4aac29a
@marcofavorito
bump version number to 0.3.2.
f0bf335
@marcofavorito
update HISTORY.md
dbcf3ff
@marcofavorito marcofavorito merged commit 882bbd4 into master Mar 22, 2020
@marcofavorito marcofavorito deleted the release-0.3.2 branch March 22, 2020 00:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@marcofavorito