Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / whitemech/pythomata issues and pull requests

#116 - GitHub Actions: Test on Python 3.8, 3.9, 3.10, 3.11, 3.12

Pull Request - State: closed - Opened by cclauss about 1 year ago

#115 - Making accept method faster

Issue - State: open - Opened by ivanDonadello over 1 year ago

#114 - DFA equality

Issue - State: open - Opened by bennn about 2 years ago - 2 comments
Labels: good first issue

#113 - Basic example from readme does not work: ...word = "bbbac" is not accepted

Issue - State: closed - Opened by odats almost 3 years ago - 1 comment
Labels: docs

#112 - Minimized DFA not minimal

Issue - State: closed - Opened by almullay over 3 years ago - 2 comments

#111 - Implement `BddDfa`

Issue - State: open - Opened by marcofavorito over 3 years ago

#110 - Implement boolean operations over `SymbolicDFA`

Issue - State: open - Opened by marcofavorito over 3 years ago

#109 - Implement boolean operations of `SimpleDFA`

Issue - State: open - Opened by marcofavorito over 3 years ago

#108 - Permission error while saving graphs using graphvix

Issue - State: open - Opened by HideOnHeart0507 almost 4 years ago - 1 comment

#107 - Typo in example of README

Issue - State: open - Opened by marcofavorito almost 4 years ago

#106 - Generate a random DFA of size N

Issue - State: open - Opened by odats over 4 years ago - 2 comments

#103 - Fix typo in README

Pull Request - State: closed - Opened by giuseppeperelli over 4 years ago

#102 - A SimpleNFA isn't initialized by states consisting of two symbols, e. g. "s0", "s1" etc.

Issue - State: closed - Opened by vrnch over 4 years ago - 1 comment
Labels: help wanted, good first issue

#101 - Release 0.3.2

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#100 - update MANIFEST.in

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#99 - Fix minimization of symbolic dfa.

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#98 - Provide documentation for Simulator APIs

Issue - State: open - Opened by marcofavorito almost 5 years ago
Labels: docs

#97 - Update issue templates

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#96 - Fix bug #95.

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#95 - `SymbolicAutomaton.determinize()` does not work correctly when initial state is accepting.

Issue - State: closed - Opened by marcofavorito almost 5 years ago - 1 comment
Labels: bug

#94 - Replace 'security' with 'safety' in 'tox.ini'

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#93 - Add `SimpleNFA` examples in docs.

Issue - State: open - Opened by marcofavorito almost 5 years ago
Labels: docs

#92 - Add SymbolicAutomata examples in docs.

Issue - State: open - Opened by marcofavorito almost 5 years ago
Labels: docs

#91 - Update develop after #90

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#90 - Fix several issues in docs

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#89 - Merge Release branch 0.3.1 to develop.

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#88 - Release 0.3.1

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#87 - Update docs.

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#86 - Support translation from/to regular expressions.

Issue - State: open - Opened by marcofavorito almost 5 years ago
Labels: enhancement

#85 - update tests and CI pipeline.

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#84 - Bump bleach from 3.1.0 to 3.1.1

Pull Request - State: closed - Opened by dependabot[bot] almost 5 years ago - 1 comment
Labels: dependencies

#83 - prepare repo for release 0.3.0.

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#82 - Release 0.3.0

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#81 - update README.

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#80 - do refactoring.

Pull Request - State: closed - Opened by marcofavorito almost 5 years ago

#79 - Release 0.3.0a0

Pull Request - State: closed - Opened by marcofavorito about 5 years ago

#78 - Update metafiles

Pull Request - State: closed - Opened by marcofavorito about 5 years ago

#77 - Update simulator APIs

Pull Request - State: closed - Opened by marcofavorito about 5 years ago

#76 - Add rendering interface. Add set/get state/transition attributes

Pull Request - State: closed - Opened by marcofavorito about 5 years ago

#75 - simplify guard in add_transition

Pull Request - State: closed - Opened by marcofavorito about 5 years ago

#74 - Update `.travis.yml`

Pull Request - State: closed - Opened by marcofavorito about 5 years ago

#73 - Update documentation after #72

Issue - State: closed - Opened by marcofavorito about 5 years ago

#72 - [wip] API Refactoring

Pull Request - State: closed - Opened by marcofavorito about 5 years ago - 1 comment

#71 - Update owner and authors

Pull Request - State: closed - Opened by marcofavorito about 5 years ago

#70 - Implement symbolic transitions.

Issue - State: closed - Opened by marcofavorito about 5 years ago - 1 comment

#69 - Make `Simulator.step` use the sink state if a bad symbol is provided.

Issue - State: closed - Opened by marcofavorito about 5 years ago - 1 comment

#68 - Release 0.2.0

Pull Request - State: closed - Opened by marcofavorito over 5 years ago

#67 - Use pipenv to build the tox test environments.

Pull Request - State: closed - Opened by marcofavorito over 5 years ago

#66 - decrease version number to 0.2.0

Pull Request - State: closed - Opened by marcofavorito over 5 years ago

#65 - Fix/code style

Pull Request - State: closed - Opened by marcofavorito over 5 years ago

#64 - Release 1.1.0

Pull Request - State: closed - Opened by marcofavorito over 5 years ago

#63 - Fix/docs

Pull Request - State: closed - Opened by marcofavorito over 5 years ago

#62 - Feat/mypy

Pull Request - State: closed - Opened by marcofavorito over 5 years ago

#61 - Fix/code style

Pull Request - State: closed - Opened by marcofavorito over 5 years ago

#60 - Set up Continuous Integration with Travis

Pull Request - State: closed - Opened by marcofavorito over 5 years ago

#59 - Problems in `levels_to_accepting_states()`

Issue - State: closed - Opened by marcofavorito over 6 years ago - 1 comment

#58 - Update certifi to 2018.8.13

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#57 - Update requests to 2.19.1

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#56 - Update idna to 2.7

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#55 - Update sphinx to 1.7.6

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#54 - Update tox to 3.2.1

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#53 - Update wheel to 0.31.1

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#52 - Update pip to 18.0

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#51 - Update graphviz to 0.8.4

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#50 - Update sphinx to 1.7.6

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#49 - Update setuptools to 40.0.0

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#48 - Update requests to 2.19.1

Pull Request - State: closed - Opened by pyup-bot over 6 years ago

#47 - Update idna to 2.7

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#46 - Update wheel to 0.31.1

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#45 - Update graphviz to 0.8.4

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#44 - Update tox to 3.1.3

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#43 - Update pip to 18.0

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#42 - Update sphinx to 1.7.6

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#41 - Update setuptools to 40.0.0

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#40 - Update requests to 2.19.1

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#39 - Update idna to 2.7

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#38 - Update wheel to 0.31.1

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#37 - Update tox to 3.1.3

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#36 - Update pip to 18.0

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#35 - Update sphinx to 1.7.6

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#34 - Update tox to 3.1.2

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 2 comments

#33 - Update tox to 3.1.1

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 2 comments

#32 - Update setuptools to 40.0.0

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#31 - Update graphviz to 0.8.4

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#30 - Update requests to 2.19.1

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#29 - Update requests to 2.19.0

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 2 comments

#28 - Update idna to 2.7

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#27 - Update sphinx to 1.7.5

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 2 comments

#26 - Update setuptools to 39.2.0

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 2 comments

#25 - Update wheel to 0.31.1

Pull Request - State: closed - Opened by pyup-bot over 6 years ago - 1 comment

#24 - Update graphviz to 0.8.3

Pull Request - State: closed - Opened by pyup-bot almost 7 years ago - 2 comments

#23 - Update setuptools to 39.1.0

Pull Request - State: closed - Opened by pyup-bot almost 7 years ago - 2 comments

#22 - Update sphinx to 1.7.4

Pull Request - State: closed - Opened by pyup-bot almost 7 years ago - 2 comments

#21 - Update sphinx to 1.7.3

Pull Request - State: closed - Opened by pyup-bot almost 7 years ago - 2 comments

#20 - Update pip to 10.0.1

Pull Request - State: closed - Opened by pyup-bot almost 7 years ago - 2 comments

#19 - Update certifi to 2018.4.16

Pull Request - State: closed - Opened by pyup-bot almost 7 years ago - 1 comment

#18 - Pin pydot to latest version 1.2.4

Pull Request - State: closed - Opened by pyup-bot almost 7 years ago

#17 - Pin graphviz to latest version 0.8.2

Pull Request - State: closed - Opened by pyup-bot almost 7 years ago - 1 comment