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

#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

#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