Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / whitemech/pylogics issues and pull requests
#50 - Add support for MSO parsing and syntax
Issue -
State: open - Opened by marcofavorito over 3 years ago
Labels: enhancement
#49 - Add support for FOL semantics
Issue -
State: open - Opened by marcofavorito over 3 years ago
Labels: enhancement
#48 - Add support for FOL parsing and syntax
Issue -
State: open - Opened by marcofavorito over 3 years ago
Labels: enhancement
#47 - Implement semantics for LDL
Issue -
State: open - Opened by marcofavorito over 3 years ago
Labels: enhancement
#46 - Detect contradiction in monotone operators.
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#45 - Update poetry lock
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#44 - Make 'Not' to simplify when arg is boolean
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#43 - build(deps-dev): bump hypothesis from 6.10.0 to 6.13.1
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#42 - build(deps-dev): bump mkdocs-material from 7.1.2 to 7.1.5
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#41 - build(deps-dev): bump hypothesis from 6.10.0 to 6.13.0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#40 - build(deps-dev): bump hypothesis from 6.10.0 to 6.12.1
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#39 - build(deps-dev): bump black from 20.8b1 to 21.5b1
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#38 - build(deps-dev): bump pytest-randomly from 3.7.0 to 3.8.0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#37 - build(deps-dev): bump flake8 from 3.9.1 to 3.9.2
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#36 - build(deps-dev): bump mkdocs-material from 7.1.2 to 7.1.4
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#35 - build(deps-dev): bump hypothesis from 6.10.0 to 6.12.0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#34 - build(deps-dev): bump ipython from 7.22.0 to 7.23.1
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#33 - build(deps-dev): bump tox from 3.23.0 to 3.23.1
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#32 - build(deps-dev): bump pytest from 6.2.3 to 6.2.4
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#31 - build(deps-dev): bump black from 20.8b1 to 21.5b0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#30 - build(deps): bump lark-parser from 0.11.2 to 0.11.3
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#29 - build(deps-dev): bump ipython from 7.22.0 to 7.23.0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#28 - build(deps-dev): bump black from 20.8b1 to 21.4b2
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#27 - build(deps-dev): bump black from 20.8b1 to 21.4b1
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#26 - build(deps-dev): bump pylint from 2.7.4 to 2.8.2
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#25 - build(deps-dev): bump hypothesis from 6.10.0 to 6.10.1
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#24 - build(deps-dev): bump pylint from 2.7.4 to 2.8.1
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#23 - build(deps-dev): bump black from 20.8b1 to 21.4b0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#22 - build(deps-dev): bump mkdocs-material from 7.1.2 to 7.1.3
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#21 - Release 0.1.0a0
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#20 - Prepare for release 0.1.0.alpha0
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#19 - Add support for PLTL
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#18 - Minor updates to the core of the library
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#17 - release: prepare for release 0.1.0.dev0
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#16 - build(deps-dev): bump markdown from 3.3.3 to 3.3.4
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#15 - feat: add support for ldl
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
- 1 comment
#14 - Implement semantics for LTL
Issue -
State: open - Opened by marcofavorito over 3 years ago
Labels: enhancement
#13 - feat: add support for ltl
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
- 1 comment
#12 - fix: bump dependency versions (#3, #5, #7, #8, #9)
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
- 1 comment
#11 - Bump ipython from 7.19.0 to 7.22.0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#10 - Bump mkdocs-material from 6.2.3 to 7.1.1
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#9 - Bump mknotebooks from 0.6.2.post0.dev9 to 0.7.0.post0.dev2
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#8 - Bump flake8 from 3.8.4 to 3.9.1
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#7 - Bump tox from 3.20.1 to 3.23.0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#6 - Bump pylint from 2.6.0 to 2.7.4
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#5 - Bump mypy from 0.790 to 0.812
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#4 - Bump safety from 1.10.1 to 1.10.3
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#3 - Bump flake8-bugbear from 20.11.1 to 21.4.3
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 3 comments
Labels: dependencies
#2 - Bump pytest from 6.2.1 to 6.2.3
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#1 - feat: add support for Propositional Logic
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
- 3 comments