 Yentl Van Tendeloo
|
45b6b74a7f
Small extension to bootstrap primitives (list_pop) and some minor changes to test to include a test for transformations
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
5589a6a606
Bugfix for problems with schedule generation
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
2ef0b432e7
Add initial code for transformations: make a schedule of LHS elements to visit
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
af06229034
Add missing file in PN_interface test
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
88623c043c
Fixed RAMify and seems working
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
f4df96872d
RAMification is mostly working, with many bugs fixed, but attribute resolution crashes
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
1b2817168d
Fixed some problems (and removed some difficult parts for now)
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
bc0eec26a5
RAMification is compiling
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
228c643840
Basic RAMification algorithm (untested and not compiling)
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
96c3678c74
Fixed problem in bootstrap
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
58a84051ad
Fixed state selection
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
3c19b8c244
Working simulation of FSA
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
22634df961
Fixed FSA semantics
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
e8aa06b2d1
Fixed protocol mismatch
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
762a81c7a7
Fixed problems in formalism
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
fd909d28ad
Fixed getAttributeList library function and GUI for FSAs
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
170dce8745
Fixed most bugs: something starts working
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
a6c5a5e377
Fixed many more bugs
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
4a0e64447f
Debugging FSA semantics
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
ad7f93cba3
Fixed reference causing exception
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
8f74dccf7c
Fixed UI for initial state and added some new buttons and keybindings
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
b3e63c1978
Updated FSA semantics
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
fbcc7ffcf4
First part of code for FSA semantics implementation
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
46fbc7a1c5
Changes to interface
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
df71193704
Updated first version of FSA semantics; still not fixed
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
11cb8e8568
Added FSA metamodels
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
9796cf81ac
Fixed FSA interface to show X, S and Y
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
9b92c6fe67
Added place to store the text on labels
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
54bc20f129
Removed debugging prints
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
3c67ebb0f9
Added code to send event to Mv
|
il y a 8 ans |
