Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / whitemech/LTLf2DFA issues and pull requests
#74 - Trace satisfiability
Issue -
State: closed - Opened by MFaisalZaki 3 months ago
- 1 comment
#73 - Bump black from 23.3.0 to 24.3.0
Pull Request -
State: open - Opened by dependabot[bot] 8 months ago
Labels: dependencies
#72 - Bump cryptography from 41.0.6 to 42.0.4
Pull Request -
State: open - Opened by dependabot[bot] 9 months ago
Labels: dependencies
#71 - Bump cryptography from 41.0.6 to 42.0.2
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#70 - Bump cryptography from 41.0.6 to 42.0.0
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
- 1 comment
Labels: dependencies
#69 - Question: Semantics
Issue -
State: open - Opened by nmanginas 11 months ago
- 4 comments
Labels: bug, help wanted
#68 - Bump jinja2 from 3.1.2 to 3.1.3
Pull Request -
State: open - Opened by dependabot[bot] 11 months ago
Labels: dependencies
#67 - Bump gitpython from 3.1.37 to 3.1.41
Pull Request -
State: open - Opened by dependabot[bot] 11 months ago
Labels: dependencies
#66 - Add Python 3.12 to the testing
Pull Request -
State: closed - Opened by cclauss 11 months ago
- 1 comment
#65 - Bump certifi from 2023.5.7 to 2023.7.22
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 1 comment
Labels: dependencies
#64 - Bump cryptography from 41.0.1 to 41.0.6
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 1 comment
Labels: dependencies
#63 - Bump jupyter-server from 2.7.2 to 2.11.2
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 1 comment
Labels: dependencies
#62 - Bump tornado from 6.3.2 to 6.3.3
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 1 comment
Labels: dependencies
#61 - Example on PyPI project page doesn't work
Issue -
State: closed - Opened by dgenin 12 months ago
- 1 comment
#60 - Bump urllib3 from 2.0.3 to 2.0.7
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#59 - Bump gitpython from 3.1.31 to 3.1.37
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#58 - Bump urllib3 from 2.0.3 to 2.0.6
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#57 - Bump cryptography from 41.0.1 to 41.0.4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 2 comments
Labels: dependencies
#56 - Bump gitpython from 3.1.31 to 3.1.34
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies
#55 - Bump gitpython from 3.1.31 to 3.1.32
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies
#54 - Bump jupyter-server from 2.6.0 to 2.7.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies
#53 - Same syntax for multiple backends
Issue -
State: closed - Opened by ivanDonadello over 1 year ago
- 2 comments
#52 - Implement DFA output solutions
Issue -
State: open - Opened by francescofuggitti over 1 year ago
Labels: enhancement
#51 - Integration with Pylogics
Issue -
State: open - Opened by francescofuggitti over 1 year ago
Labels: enhancement
#50 - Update Zenodo
Issue -
State: open - Opened by francescofuggitti over 1 year ago
#49 - udpate project
Pull Request -
State: closed - Opened by francescofuggitti over 1 year ago
#48 - Feat/main
Pull Request -
State: closed - Opened by francescofuggitti over 1 year ago
#47 - Feat/main
Pull Request -
State: closed - Opened by francescofuggitti over 1 year ago
#46 - Bug on !(G((!(request) | F(state_0))))
Issue -
State: open - Opened by gipsyh over 1 year ago
Labels: bug, help wanted
#45 - Bug on G((F(x) & F(!(x))))
Issue -
State: open - Opened by gipsyh over 1 year ago
- 2 comments
Labels: bug, help wanted
#44 - Could not find the value .*DFA for formula with free variables:[\s]*(.*?)\n.*, in the text provided
Issue -
State: closed - Opened by syemichel almost 2 years ago
- 3 comments
#43 - Bump wheel from 0.36.2 to 0.38.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#42 - Bump certifi from 2021.5.30 to 2022.12.7
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#41 - Bump nbconvert from 6.0.7 to 6.5.1
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#40 - Bump nbconvert from 6.0.7 to 6.3.0
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#39 - mona memory explosion
Issue -
State: closed - Opened by melbrbry over 2 years ago
- 4 comments
#38 - release 1.0.2
Pull Request -
State: closed - Opened by francescofuggitti almost 3 years ago
#37 - Fix/issue36
Pull Request -
State: closed - Opened by francescofuggitti almost 3 years ago
#36 - Bug on generating DFA for O(a) -> O(b)
Issue -
State: closed - Opened by francescofuggitti almost 3 years ago
#35 - Bump ipython from 7.24.1 to 7.31.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 3 years ago
- 1 comment
Labels: dependencies
#34 - Bump pygments from 2.6.1 to 2.7.4
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 2 comments
Labels: dependencies
#33 - Bump py from 1.9.0 to 1.10.0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 3 comments
Labels: dependencies
#32 - Bump urllib3 from 1.25.10 to 1.26.5
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#31 - Release 1.0.1
Pull Request -
State: closed - Opened by francescofuggitti over 3 years ago
- 1 comment
#30 - Prepare Release
Pull Request -
State: closed - Opened by francescofuggitti over 3 years ago
- 1 comment
#29 - Bump py from 1.8.1 to 1.10.0
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 3 comments
Labels: dependencies
#28 - Bump pyyaml from 5.3.1 to 5.4
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#27 - Bump jinja2 from 2.11.2 to 2.11.3
Pull Request -
State: closed - Opened by dependabot[bot] over 3 years ago
- 1 comment
Labels: dependencies
#26 - Empty traces
Pull Request -
State: closed - Opened by francescofuggitti about 4 years ago
- 1 comment
#25 - Introduction of Quantified Prefix LTLf
Pull Request -
State: closed - Opened by francescofuggitti about 4 years ago
- 1 comment
#24 - MONA translation of weak next
Issue -
State: closed - Opened by insmdl00 about 4 years ago
- 3 comments
#23 - MONA translation of Weak Next
Issue -
State: closed - Opened by insmdl00 about 4 years ago
- 1 comment
#22 - Fix/mona flags
Pull Request -
State: closed - Opened by francescofuggitti about 4 years ago
- 1 comment
#21 - Fix PLTLf Atomic formulas translation
Pull Request -
State: closed - Opened by francescofuggitti about 4 years ago
- 1 comment
#20 - Fix/readme
Pull Request -
State: closed - Opened by francescofuggitti over 4 years ago
- 1 comment
#19 - Fix/find labels
Pull Request -
State: closed - Opened by francescofuggitti over 4 years ago
- 1 comment
#18 - small fix on sympy guards
Pull Request -
State: closed - Opened by francescofuggitti over 4 years ago
- 1 comment
#17 - Hotfix/weak next translation
Pull Request -
State: closed - Opened by francescofuggitti over 4 years ago
- 1 comment
#16 - Feature/mona output
Pull Request -
State: closed - Opened by francescofuggitti over 4 years ago
- 1 comment
#15 - MONA error: Could not find the value .*DFA for formula with free variables:[\s]*(.*?)\n.*, in the text provided
Issue -
State: closed - Opened by ghost over 4 years ago
- 3 comments
#14 - Major changes
Pull Request -
State: closed - Opened by francescofuggitti over 4 years ago
- 1 comment
#13 - update docs
Pull Request -
State: closed - Opened by francescofuggitti over 4 years ago
#12 - add tests
Pull Request -
State: closed - Opened by francescofuggitti over 4 years ago
#11 - update README.md, coverage, badges, and introduce CI
Pull Request -
State: closed - Opened by francescofuggitti over 4 years ago
#10 - update information and docs
Issue -
State: closed - Opened by francescofuggitti over 4 years ago
#9 - rethink core translation feature
Pull Request -
State: closed - Opened by francescofuggitti over 4 years ago
#8 - change translation
Issue -
State: closed - Opened by francescofuggitti over 4 years ago
Labels: enhancement
#7 - change parser
Issue -
State: closed - Opened by francescofuggitti over 4 years ago
Labels: enhancement
#6 - add lark-parser
Pull Request -
State: closed - Opened by francescofuggitti over 4 years ago
Labels: enhancement
#5 - Refactoring
Pull Request -
State: closed - Opened by francescofuggitti almost 5 years ago
#4 - distribution version
Pull Request -
State: closed - Opened by francescofuggitti over 6 years ago
#3 - Improving performances
Pull Request -
State: closed - Opened by francescofuggitti over 6 years ago
#2 - mona Error executing main.py (cannot open shared object file)
Issue -
State: closed - Opened by digitalw over 6 years ago
- 1 comment
#1 - Review
Pull Request -
State: closed - Opened by francescofuggitti over 6 years ago