 Yentl Van Tendeloo
|
2a15d5d502
Fixed everything
|
пре 8 година |
|
Yentl Van Tendeloo
|
58a84051ad
Fixed state selection
|
пре 8 година |
|
Yentl Van Tendeloo
|
22634df961
Fixed FSA semantics
|
пре 8 година |
|
Yentl Van Tendeloo
|
e8aa06b2d1
Fixed protocol mismatch
|
пре 8 година |
|
Yentl Van Tendeloo
|
762a81c7a7
Fixed problems in formalism
|
пре 8 година |
|
Yentl Van Tendeloo
|
fd909d28ad
Fixed getAttributeList library function and GUI for FSAs
|
пре 8 година |
|
Yentl Van Tendeloo
|
170dce8745
Fixed most bugs: something starts working
|
пре 8 година |
|
Yentl Van Tendeloo
|
a6c5a5e377
Fixed many more bugs
|
пре 8 година |
|
Yentl Van Tendeloo
|
4a0e64447f
Debugging FSA semantics
|
пре 8 година |
|
Yentl Van Tendeloo
|
8f74dccf7c
Fixed UI for initial state and added some new buttons and keybindings
|
пре 8 година |
|
Yentl Van Tendeloo
|
b3e63c1978
Updated FSA semantics
|
пре 8 година |
|
Yentl Van Tendeloo
|
fbcc7ffcf4
First part of code for FSA semantics implementation
|
пре 8 година |
|
Yentl Van Tendeloo
|
46fbc7a1c5
Changes to interface
|
пре 8 година |
|
Yentl Van Tendeloo
|
df71193704
Updated first version of FSA semantics; still not fixed
|
пре 8 година |
