Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / marcusm117/mctk issues and pull requests
#34 - Bump codecov/codecov-action from 3 to 4
Pull Request -
State: open - Opened by dependabot[bot] 8 months ago
Labels: dependencies
#33 - Bump actions/upload-artifact from 3 to 4
Pull Request -
State: open - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#32 - Bump actions/setup-python from 4 to 5
Pull Request -
State: open - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#31 - MCTK-15
Pull Request -
State: open - Opened by marcusm117 12 months ago
- 1 comment
Labels: enhancement
#30 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 2 comments
Labels: dependencies
#29 - MCTK-14
Pull Request -
State: closed - Opened by marcusm117 about 1 year ago
- 1 comment
Labels: enhancement
#28 - MCTK-14: bump version to 0.1.1
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
- 1 comment
Labels: enhancement
#27 - implement Symbolic Model Checking with BDD
Issue -
State: open - Opened by marcusm117 over 1 year ago
Labels: enhancement, backlog
#26 - MCTK-13: improve UX for adding states to KripkeStruct
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
- 1 comment
Labels: enhancement
#25 - MCTK-12: improve efficiency of functions in checking.py
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
- 1 comment
Labels: enhancement
#24 - MCTK-11: enhance code robustness
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
- 1 comment
Labels: enhancement
#23 - increase efficiency of ESMC functions
Issue -
State: closed - Opened by marcusm117 over 1 year ago
Labels: enhancement, backlog
#22 - Bump actions/setup-python from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies
#21 - better UX for assigning label to a state
Issue -
State: closed - Opened by marcusm117 over 1 year ago
Labels: enhancement, backlog
#20 - MCTK-10: add examples to docs
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
Labels: documentation
#19 - MCTK-9: bump version to 0.1.0
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
#18 - MCTK-8: set up Sphinx docs & CI
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
- 1 comment
Labels: documentation, enhancement
#17 - enhance code robustness in Class KripkeStruct
Issue -
State: closed - Opened by marcusm117 over 1 year ago
Labels: enhancement, backlog
#16 - MCTK-7: added Explicit State Model Checking in checking.py
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
- 1 comment
Labels: documentation, enhancement
#15 - MCTK-6: added PyPI badge to README.md
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
- 1 comment
Labels: documentation
#14 - add Explicit State Checker (for Kripke Structure)
Issue -
State: closed - Opened by marcusm117 over 1 year ago
Labels: enhancement, backlog
#13 - MCTK-5: enhanced README.md & CONTRIBUTING.md, added doc strings for models.py
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
- 1 comment
Labels: documentation, enhancement
#12 - MCTK-4: set up CI
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
- 1 comment
Labels: enhancement, testing
#11 - MCTK-3: set up Testing & Linting, hit 100% Coverage, updated README.md (#9)
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
#10 - add doc strings to Module models.py
Issue -
State: closed - Opened by marcusm117 over 1 year ago
Labels: documentation, enhancement, backlog
#9 - MCTK-3: set up Testing & Linting, hit 100% Coverage, updated README.md
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
Labels: documentation, enhancement, testing
#8 - MCTK-2: added Class KripkeStruct, added Testing Script es_checker_test.py
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
Labels: enhancement, testing
#7 - add parser for CTL statements
Issue -
State: open - Opened by marcusm117 over 1 year ago
Labels: enhancement, backlog
#6 - MCTK-1: created issue badge in READEME.md
Pull Request -
State: closed - Opened by marcusm117 over 1 year ago
Labels: documentation
#5 - deploy docs with GitHub pages
Issue -
State: closed - Opened by marcusm117 over 1 year ago
Labels: documentation, enhancement, backlog
#4 - do first deploy
Issue -
State: closed - Opened by marcusm117 over 1 year ago
Labels: enhancement, backlog
#3 - do first release
Issue -
State: closed - Opened by marcusm117 over 1 year ago
Labels: enhancement, backlog
#2 - add CI
Issue -
State: closed - Opened by marcusm117 over 1 year ago
Labels: enhancement, backlog, testing
#1 - setup testing
Issue -
State: closed - Opened by marcusm117 over 1 year ago
Labels: enhancement, backlog, testing