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

Release 0.3.2 #101

Merged
merged 19 commits into from
Mar 22, 2020
Merged

Release 0.3.2 #101

Changes from 2 commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
8105306
Merge pull request #89 from whitemech/release-0.3.1
marcofavorito Feb 28, 2020
c7de740
Merge pull request #91 from whitemech/master
marcofavorito Feb 28, 2020
df8bc47
rename 'security' with 'safety' in 'tox.ini.
marcofavorito Feb 28, 2020
23bce02
Merge pull request #94 from whitemech/fix/tox-ini
marcofavorito Feb 28, 2020
8cf0a4c
fix bug #95.
marcofavorito Feb 29, 2020
241fc42
Merge pull request #96 from whitemech/fix-95
marcofavorito Feb 29, 2020
66891f1
bump version to 0.3.2b0
marcofavorito Feb 29, 2020
e85321c
Update issue templates
marcofavorito Feb 29, 2020
e85bc6f
fix minimization of symbolic dfa.
marcofavorito Feb 29, 2020
eb2f641
Merge pull request #97 from whitemech/issue-templates
marcofavorito Feb 29, 2020
7186046
Merge pull request #99 from whitemech/fix/symbolic-minimization
marcofavorito Feb 29, 2020
435583b
Merge branch 'develop' into release-0.3.2
marcofavorito Feb 29, 2020
e2a70e3
bump version number to 0.3.2b1
marcofavorito Feb 29, 2020
9db515a
update MANIFEST.in
marcofavorito Feb 29, 2020
feb0dbe
remove 'pythomata' from MANIFEST.
marcofavorito Feb 29, 2020
f8779c6
Merge pull request #100 from whitemech/fix/metadata
marcofavorito Mar 20, 2020
4aac29a
Merge branch 'develop' into release-0.3.2
marcofavorito Mar 21, 2020
f0bf335
bump version number to 0.3.2.
marcofavorito Mar 20, 2020
dbcf3ff
update HISTORY.md
marcofavorito Mar 22, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
38 changes: 38 additions & 0 deletions .github/ISSUE_TEMPLATE/bug_report.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
---
name: Bug report
about: Create a report to help us improve
title: ''
labels: ''
assignees: ''

---

**Describe the bug**
A clear and concise description of what the bug is.

**To Reproduce**
Steps to reproduce the behavior:
1. Go to '...'
2. Click on '....'
3. Scroll down to '....'
4. See error

**Expected behavior**
A clear and concise description of what you expected to happen.

**Screenshots**
If applicable, add screenshots to help explain your problem.

**Desktop (please complete the following information):**
- OS: [e.g. iOS]
- Browser [e.g. chrome, safari]
- Version [e.g. 22]

**Smartphone (please complete the following information):**
- Device: [e.g. iPhone6]
- OS: [e.g. iOS8.1]
- Browser [e.g. stock browser, safari]
- Version [e.g. 22]

**Additional context**
Add any other context about the problem here.