issues
search
whitemech
/
LTLf2DFA
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
http://ltlf2dfa.diag.uniroma1.it/
GNU Lesser General Public License v3.0
63
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Trace satisfiability
#74
MFaisalZaki
closed
1 month ago
1
Bump black from 23.3.0 to 24.3.0
#73
dependabot[bot]
opened
7 months ago
0
Bump cryptography from 41.0.6 to 42.0.4
#72
dependabot[bot]
opened
8 months ago
0
Bump cryptography from 41.0.6 to 42.0.2
#71
dependabot[bot]
closed
8 months ago
1
Bump cryptography from 41.0.6 to 42.0.0
#70
dependabot[bot]
closed
8 months ago
1
Question: Semantics
#69
nmanginas
opened
9 months ago
4
Bump jinja2 from 3.1.2 to 3.1.3
#68
dependabot[bot]
opened
9 months ago
0
Bump gitpython from 3.1.37 to 3.1.41
#67
dependabot[bot]
opened
9 months ago
0
Add Python 3.12 to the testing
#66
cclauss
closed
2 months ago
1
Bump certifi from 2023.5.7 to 2023.7.22
#65
dependabot[bot]
closed
10 months ago
1
Bump cryptography from 41.0.1 to 41.0.6
#64
dependabot[bot]
closed
10 months ago
1
Bump jupyter-server from 2.7.2 to 2.11.2
#63
dependabot[bot]
closed
10 months ago
1
Bump tornado from 6.3.2 to 6.3.3
#62
dependabot[bot]
closed
10 months ago
1
Example on PyPI project page doesn't work
#61
dgenin
closed
10 months ago
1
Bump urllib3 from 2.0.3 to 2.0.7
#60
dependabot[bot]
closed
10 months ago
1
Bump gitpython from 3.1.31 to 3.1.37
#59
dependabot[bot]
closed
10 months ago
1
Bump urllib3 from 2.0.3 to 2.0.6
#58
dependabot[bot]
closed
1 year ago
1
Bump cryptography from 41.0.1 to 41.0.4
#57
dependabot[bot]
closed
10 months ago
2
Bump gitpython from 3.1.31 to 3.1.34
#56
dependabot[bot]
closed
1 year ago
1
Bump gitpython from 3.1.31 to 3.1.32
#55
dependabot[bot]
closed
1 year ago
1
Bump jupyter-server from 2.6.0 to 2.7.2
#54
dependabot[bot]
closed
10 months ago
2
Same syntax for multiple backends
#53
ivanDonadello
closed
1 year ago
2
Implement DFA output solutions
#52
francescofuggitti
opened
1 year ago
0
Integration with Pylogics
#51
francescofuggitti
opened
1 year ago
0
Update Zenodo
#50
francescofuggitti
opened
1 year ago
0
udpate project
#49
francescofuggitti
closed
1 year ago
0
Feat/main
#48
francescofuggitti
closed
1 year ago
0
Feat/main
#47
francescofuggitti
closed
1 year ago
0
Bug on !(G((!(request) | F(state_0))))
#46
gipsyh
opened
1 year ago
0
Bug on G((F(x) & F(!(x))))
#45
gipsyh
opened
1 year ago
2
Could not find the value .*DFA for formula with free variables:[\s]*(.*?)\n.*, in the text provided
#44
syemichel
closed
1 year ago
3
Bump wheel from 0.36.2 to 0.38.1
#43
dependabot[bot]
closed
1 year ago
1
Bump certifi from 2021.5.30 to 2022.12.7
#42
dependabot[bot]
closed
1 year ago
1
Bump nbconvert from 6.0.7 to 6.5.1
#41
dependabot[bot]
closed
1 year ago
1
Bump nbconvert from 6.0.7 to 6.3.0
#40
dependabot[bot]
closed
2 years ago
1
mona memory explosion
#39
melbrbry
closed
2 years ago
4
release 1.0.2
#38
francescofuggitti
closed
2 years ago
0
Fix/issue36
#37
francescofuggitti
closed
2 years ago
0
Bug on generating DFA for O(a) -> O(b)
#36
francescofuggitti
closed
2 years ago
0
Bump ipython from 7.24.1 to 7.31.1
#35
dependabot[bot]
closed
1 year ago
1
Bump pygments from 2.6.1 to 2.7.4
#34
dependabot[bot]
closed
3 years ago
2
Bump py from 1.9.0 to 1.10.0
#33
dependabot[bot]
closed
3 years ago
3
Bump urllib3 from 1.25.10 to 1.26.5
#32
dependabot[bot]
closed
3 years ago
1
Release 1.0.1
#31
francescofuggitti
closed
3 years ago
1
Prepare Release
#30
francescofuggitti
closed
3 years ago
1
Bump py from 1.8.1 to 1.10.0
#29
dependabot[bot]
closed
3 years ago
3
Bump pyyaml from 5.3.1 to 5.4
#28
dependabot[bot]
closed
3 years ago
1
Bump jinja2 from 2.11.2 to 2.11.3
#27
dependabot[bot]
closed
3 years ago
1
Empty traces
#26
francescofuggitti
closed
3 years ago
1
Introduction of Quantified Prefix LTLf
#25
francescofuggitti
closed
1 year ago
1
Next