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
#150 - build(deps-dev): bump vulture from 2.7 to 2.10
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#149 - build(deps): bump lark from 1.1.5 to 1.1.8
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#148 - build(deps-dev): bump tox from 4.4.12 to 4.11.4
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#147 - build(deps-dev): bump packaging from 23.0 to 23.2
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#146 - build(deps-dev): bump mistune from 2.0.5 to 3.0.2
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#145 - build(deps-dev): bump flake8-isort from 6.0.0 to 6.1.1
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#144 - build(deps-dev): bump mypy from 1.3.0 to 1.8.0
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#143 - build(deps-dev): bump mkdocs from 1.4.3 to 1.5.3
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#142 - build(deps-dev): bump mknotebooks from 0.7.1 to 0.8.0
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#141 - build(deps-dev): bump black from 23.3.0 to 23.12.1
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies
#140 - Add preliminary support for First-Order Logic
Pull Request -
State: closed - Opened by marcofavorito 11 months ago
- 2 comments
#139 - update LICENSE to MIT
Pull Request -
State: closed - Opened by marcofavorito 11 months ago
#138 - build(deps-dev): bump pytest from 7.3.1 to 7.4.2
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#137 - build(deps-dev): bump hypothesis from 6.76.0 to 6.84.2
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#136 - build(deps-dev): bump types-setuptools from 67.8.0.0 to 68.2.0.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#135 - build(deps-dev): bump hypothesis from 6.76.0 to 6.84.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#134 - build(deps-dev): bump mkdocs-material from 9.1.15 to 9.2.8
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#133 - build(deps-dev): bump hypothesis from 6.76.0 to 6.84.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#132 - build(deps-dev): bump pytest from 7.3.1 to 7.4.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#131 - build(deps-dev): bump mkdocs-material from 9.1.15 to 9.2.7
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#130 - build(deps-dev): bump hypothesis from 6.76.0 to 6.83.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#129 - build(deps-dev): bump pymdown-extensions from 10.0.1 to 10.3
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#128 - build(deps-dev): bump mkdocs-material from 9.1.15 to 9.2.6
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#127 - build(deps-dev): bump pymdown-extensions from 10.0.1 to 10.2.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#126 - build(deps-dev): bump types-setuptools from 67.8.0.0 to 68.1.0.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#125 - build(deps-dev): bump hypothesis from 6.76.0 to 6.82.7
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#124 - build(deps-dev): bump pymdown-extensions from 10.0.1 to 10.2
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#123 - build(deps-dev): bump mkdocs-material from 9.1.15 to 9.2.5
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#122 - build(deps-dev): bump mkdocs-material from 9.1.15 to 9.2.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#121 - build(deps-dev): bump mkdocs-material from 9.1.15 to 9.2.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#120 - build(deps-dev): bump hypothesis from 6.76.0 to 6.82.6
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#119 - build(deps-dev): bump mypy from 1.3.0 to 1.5.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#118 - build(deps-dev): bump types-setuptools from 67.8.0.0 to 68.1.0.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#117 - build(deps-dev): bump pytest-randomly from 3.12.0 to 3.15.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#116 - build(deps-dev): bump hypothesis from 6.76.0 to 6.82.4
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#115 - build(deps-dev): bump mypy from 1.3.0 to 1.5.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#114 - build(deps-dev): bump hypothesis from 6.76.0 to 6.82.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#113 - build(deps-dev): bump hypothesis from 6.76.0 to 6.82.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#112 - build(deps-dev): bump mkdocs-material from 9.1.15 to 9.1.21
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#111 - build(deps): bump lark from 1.1.5 to 1.1.7
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#110 - build(deps-dev): bump types-setuptools from 67.8.0.0 to 68.0.0.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#109 - build(deps-dev): bump hypothesis from 6.76.0 to 6.82.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#108 - build(deps-dev): bump mkdocs-material from 9.1.15 to 9.1.19
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#107 - build(deps): bump lark from 1.1.5 to 1.1.6
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#106 - build(deps-dev): bump hypothesis from 6.76.0 to 6.81.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#105 - build(deps-dev): bump types-setuptools from 67.8.0.0 to 68.0.0.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#104 - build(deps-dev): bump pymdown-extensions from 10.0.1 to 10.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#103 - build(deps-dev): bump pytest-randomly from 3.12.0 to 3.13.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#102 - build(deps-dev): bump hypothesis from 6.76.0 to 6.81.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#101 - build(deps-dev): bump black from 23.3.0 to 23.7.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#100 - build(deps-dev): bump hypothesis from 6.76.0 to 6.80.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#99 - build(deps-dev): bump types-setuptools from 67.8.0.0 to 68.0.0.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#98 - build(deps-dev): bump mkdocs-material from 9.1.15 to 9.1.18
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#97 - build(deps-dev): bump hypothesis from 6.76.0 to 6.80.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#96 - build(deps-dev): bump mkdocs-material from 9.1.15 to 9.1.17
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#95 - build(deps-dev): bump hypothesis from 6.76.0 to 6.79.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#94 - build(deps-dev): bump mypy from 1.3.0 to 1.4.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#93 - build(deps-dev): bump pytest from 7.3.1 to 7.4.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#92 - build(deps-dev): bump hypothesis from 6.76.0 to 6.79.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#91 - build(deps-dev): bump types-setuptools from 67.8.0.0 to 68.0.0.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#90 - build(deps-dev): bump mypy from 1.3.0 to 1.4.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#89 - build(deps-dev): bump mistune from 2.0.5 to 3.0.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#88 - build(deps-dev): bump hypothesis from 6.76.0 to 6.79.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#87 - build(deps-dev): bump hypothesis from 6.76.0 to 6.78.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#86 - build(deps-dev): bump mkdocs-material from 9.1.15 to 9.1.16
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#85 - build(deps-dev): bump hypothesis from 6.76.0 to 6.78.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#84 - build(deps-dev): bump hypothesis from 6.76.0 to 6.78.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#83 - build(deps-dev): bump pytest from 7.3.1 to 7.3.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#82 - chore: bump Python version, update poetry, update deps, fix tests
Pull Request -
State: closed - Opened by francescofuggitti over 1 year ago
- 1 comment
#81 - Wip/grammar
Pull Request -
State: closed - Opened by francescofuggitti over 1 year ago
#80 - chore(deps-dev): bump mistune from 2.0.0rc1 to 2.0.5
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#79 - chore(deps-dev): bump mistune from 2.0.0rc1 to 2.0.4
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#78 - Prepare for release `0.1.1`
Pull Request -
State: closed - Opened by marcofavorito about 3 years ago
#77 - Release 0.1.1
Pull Request -
State: closed - Opened by marcofavorito about 3 years ago
#76 - Bugfix in LDLf test parser
Pull Request -
State: closed - Opened by cipollone about 3 years ago
- 1 comment
#75 - Allow quoting symbols with apostrophe "'"
Issue -
State: open - Opened by marcofavorito over 3 years ago
#74 - replace 'marcofavorito' with 'whitemech'
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#73 - fix: remove LDL boolean classes
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#72 - Prepare for release 0.1.0
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#71 - Release 0.1.0
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#70 - build(deps-dev): bump hypothesis from 6.10.0 to 6.13.14
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#69 - build(deps-dev): bump pytest-cov from 2.11.1 to 2.12.1
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#68 - build(deps-dev): bump mkdocs-material from 7.1.2 to 7.1.7
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#67 - fix: update syntax
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#66 - Add tests for documentation
Pull Request -
State: closed - Opened by marcofavorito over 3 years ago
#65 - build(deps-dev): bump hypothesis from 6.10.0 to 6.13.13
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#64 - build(deps-dev): bump hypothesis from 6.10.0 to 6.13.11
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#63 - build(deps-dev): bump ipython from 7.22.0 to 7.24.1
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#62 - build(deps-dev): bump pylint from 2.7.4 to 2.8.3
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#61 - build(deps-dev): bump black from 20.8b1 to 21.5b2
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#60 - build(deps-dev): bump mkdocs-material from 7.1.2 to 7.1.6
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#59 - build(deps-dev): bump ipython from 7.22.0 to 7.24.0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#58 - build(deps-dev): bump hypothesis from 6.10.0 to 6.13.10
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#57 - build(deps-dev): bump hypothesis from 6.10.0 to 6.13.7
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#56 - build(deps-dev): bump hypothesis from 6.10.0 to 6.13.6
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#55 - build(deps-dev): bump hypothesis from 6.10.0 to 6.13.5
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#54 - build(deps-dev): bump hypothesis from 6.10.0 to 6.13.4
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#53 - Implement semantics for PLTL
Issue -
State: open - Opened by marcofavorito over 3 years ago
Labels: enhancement
#52 - Add support for PLDL parsing and syntax
Issue -
State: open - Opened by marcofavorito over 3 years ago
Labels: enhancement
#51 - Add support for PLTL parsing and syntax
Issue -
State: closed - Opened by marcofavorito over 3 years ago
- 1 comment
Labels: enhancement