 Yentl Van Tendeloo
|
53c4c2afd0
More bugfixes to action in RHS
|
9 년 전 |
|
Yentl Van Tendeloo
|
a9805fd07c
Many changes to allow for actions to be executed in the RHS
|
9 년 전 |
|
Yentl Van Tendeloo
|
75c6b62488
Fixed adding a node during rewriting
|
9 년 전 |
|
Yentl Van Tendeloo
|
2a9fcc5faf
Include AL MM in the ramify phase as well
|
9 년 전 |
|
Yentl Van Tendeloo
|
de1e9decf4
Fixed even more bugs: matching and rewriting seems to work in with simple cases
|
9 년 전 |
|
Yentl Van Tendeloo
|
f066108845
Working matching with some additional checks
|
9 년 전 |
|
Yentl Van Tendeloo
|
2e2ddb31b7
Added yet some more "primitives" and fixed minor problems with matching function
|
9 년 전 |
|
Yentl Van Tendeloo
|
fbfd65de20
Add meaningful error message on empty blocks in compiled HUTN files
|
9 년 전 |
|
Yentl Van Tendeloo
|
b73bdfbdf0
Make a nicer version of the transformation engine, which calls an
|
9 년 전 |
|
Yentl Van Tendeloo
|
a045b60f16
Rewrote transformation file structure to contain a match and rewrite phase
|
9 년 전 |
|
Yentl Van Tendeloo
|
70221cf4e0
Creation of simple schedule seems to work mostly
|
9 년 전 |
|
Yentl Van Tendeloo
|
7ace4057c7
Fixed some problems with transformations schedule creation
|
9 년 전 |
|
Yentl Van Tendeloo
|
76ea7e971f
Fixed call in PN_interface to transforms
|
9 년 전 |
|
Yentl Van Tendeloo
|
45b6b74a7f
Small extension to bootstrap primitives (list_pop) and some minor changes to test to include a test for transformations
|
9 년 전 |
|
Yentl Van Tendeloo
|
5589a6a606
Bugfix for problems with schedule generation
|
9 년 전 |
|
Yentl Van Tendeloo
|
2ef0b432e7
Add initial code for transformations: make a schedule of LHS elements to visit
|
9 년 전 |
|
Yentl Van Tendeloo
|
af06229034
Add missing file in PN_interface test
|
9 년 전 |
|
Yentl Van Tendeloo
|
88623c043c
Fixed RAMify and seems working
|
9 년 전 |
|
Yentl Van Tendeloo
|
f4df96872d
RAMification is mostly working, with many bugs fixed, but attribute resolution crashes
|
9 년 전 |
|
Yentl Van Tendeloo
|
1b2817168d
Fixed some problems (and removed some difficult parts for now)
|
9 년 전 |
|
Yentl Van Tendeloo
|
bc0eec26a5
RAMification is compiling
|
9 년 전 |
|
Yentl Van Tendeloo
|
228c643840
Basic RAMification algorithm (untested and not compiling)
|
9 년 전 |
|
Yentl Van Tendeloo
|
96c3678c74
Fixed problem in bootstrap
|
9 년 전 |
|
Yentl Van Tendeloo
|
58a84051ad
Fixed state selection
|
9 년 전 |
|
Yentl Van Tendeloo
|
3c19b8c244
Working simulation of FSA
|
9 년 전 |
|
Yentl Van Tendeloo
|
22634df961
Fixed FSA semantics
|
9 년 전 |
|
Yentl Van Tendeloo
|
e8aa06b2d1
Fixed protocol mismatch
|
9 년 전 |
|
Yentl Van Tendeloo
|
762a81c7a7
Fixed problems in formalism
|
9 년 전 |
|
Yentl Van Tendeloo
|
fd909d28ad
Fixed getAttributeList library function and GUI for FSAs
|
9 년 전 |
|
Yentl Van Tendeloo
|
170dce8745
Fixed most bugs: something starts working
|
9 년 전 |
