issues
search
adl
/
hoaf
Hanoi Omega-Automata Format
14
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Conversion to BA format?
#73
JakeGinesin
closed
2 months ago
8
Fixed some spelling issues
#72
tobias-wilfert
closed
1 year ago
1
add "controllable-AP" header
#71
strejcek
opened
4 years ago
0
No clear way to specify dead-end states
#70
vkhomenko
closed
5 years ago
1
Not clear whether acceptance sets can be specified both on a set and some of its exit arcs
#69
vkhomenko
closed
5 years ago
3
transition-based acceptance marks in alternating automata
#68
adl
opened
7 years ago
3
Figures referenced from examples in README.md are not working
#67
ondrik
closed
7 years ago
2
reverse Streett and introduce generalized-Streett
#66
adl
closed
7 years ago
1
proposed wording for #63
#65
adl
closed
7 years ago
0
adjust wording as discussed in #56
#64
adl
closed
7 years ago
0
fixing the semantic of the deterministic property
#63
adl
closed
7 years ago
1
generalized Streett?
#62
adl
opened
7 years ago
4
ε-labelled transitions
#61
sickert
opened
8 years ago
13
edge -> transition
#60
strejcek
closed
8 years ago
0
Fix of negated properties
#59
strejcek
closed
8 years ago
0
complete automata should have at least one initial state
#58
adl
closed
8 years ago
0
Edges or transitions?
#57
strejcek
closed
8 years ago
4
Formalize the semantics of the version number
#56
adl
closed
7 years ago
19
Properties: Add syntactic support (or convention) for negation of properties
#55
kleinj
closed
8 years ago
5
Add Alphabet header for specifying an alphabet not based on atomic propositions
#54
kleinj
closed
8 years ago
6
Support for non-AP alphabets
#53
Heizmann
closed
8 years ago
4
add "semi-deterministic" property
#52
strejcek
opened
8 years ago
25
HOA logo
#51
adl
closed
8 years ago
9
Move F outside the definition and fixes "run". Fixes #48. Replaces #49.
#50
strejcek
closed
9 years ago
1
Declare F as a list, not a set. Fixes #48.
#49
adl
closed
9 years ago
5
the definition of F as a set of sets sounds incorrect
#48
adl
closed
9 years ago
2
cleaner parity acceptance
#47
adl
closed
9 years ago
3
on the semantics of parity acceptance
#46
adl
closed
9 years ago
10
linear encoding for parity acceptance
#45
adl
closed
9 years ago
0
constraints between acc-name and Acceptance
#44
adl
closed
9 years ago
6
changes for #42
#43
adl
closed
9 years ago
0
better encoding for parity acceptance
#42
adl
closed
9 years ago
6
Better wording in case of missing States: header
#41
adl
closed
9 years ago
0
38-2 seems to be mature enough
#40
strejcek
closed
9 years ago
0
better wording in case States: is not given
#39
adl
closed
9 years ago
8
multiple transitions with same source/label/destination, but different acceptance
#38
adl
closed
9 years ago
9
HEADERNAME may not start with '-'.
#37
adl
closed
9 years ago
1
using more acceptance sets than needed by the acceptance condition
#36
adl
closed
9 years ago
4
support for additional state/transition properties
#35
adl
opened
9 years ago
2
Automata extraction from README.md (issue #33)
#34
kleinj
closed
10 years ago
3
examples / test cases
#33
adl
closed
10 years ago
4
Lexical analysis / tokenizer
#32
kleinj
closed
10 years ago
7
generalized-Rabin syntax
#31
adl
closed
10 years ago
1
Should `States:` be mandatory?
#30
adl
closed
10 years ago
2
multiple `property:` lines
#29
adl
closed
10 years ago
1
stutter-invariant property
#28
adl
closed
10 years ago
1
structural vs. language-dependent properties
#27
adl
opened
10 years ago
4
weak alternating
#26
adl
closed
9 years ago
0
byte-order-mark
#25
adl
closed
9 years ago
2
terminal property
#24
adl
closed
9 years ago
2
Next