Startseite Erkunden Hilfe
Anmelden
jonathanvdc
/
modelverse
geforkt von yentl/modelverse
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien
Branch: transformations
Branches Tags

Commit Verlauf

Autor SHA1 Nachricht Datum
  Yentl Van Tendeloo 775fdfcd26 Added more difficult example of factorial test vor 8 Jahren
  Yentl Van Tendeloo 6b92cddebb Temporary commit vor 8 Jahren
  Yentl Van Tendeloo 25a3fc7f94 RAMification now generates a single model, including the schedule and vor 8 Jahren
  Yentl Van Tendeloo 49d7ad8c3e First working version of PetriNets transformation that marks transition as "executing" vor 8 Jahren
  Yentl Van Tendeloo 08d958ed7b Added language fuse operation vor 8 Jahren
  Yentl Van Tendeloo f7ca1aadbb Comment out all parts of NAC vor 8 Jahren
  Yentl Van Tendeloo 566436600d Fixed model transformations vor 8 Jahren
  Yentl Van Tendeloo 8cee0f64a5 Make both action and value function in RHS vor 8 Jahren
  Yentl Van Tendeloo a8ef463dec Working global constraints on LHS vor 8 Jahren
  Yentl Van Tendeloo f5c2aacb3d Working local constraints in LHS for model transformations vor 8 Jahren
  Yentl Van Tendeloo 506bbb9897 Working actions in RHS for transformations vor 8 Jahren
  Yentl Van Tendeloo 096d181086 More bugfixes to action in RHS vor 8 Jahren
  Yentl Van Tendeloo 22c683e3b9 Many changes to allow for actions to be executed in the RHS vor 8 Jahren
  Yentl Van Tendeloo 28938da55d Fixed adding a node during rewriting vor 8 Jahren
  Yentl Van Tendeloo f0715d01c2 Include AL MM in the ramify phase as well vor 8 Jahren
  Yentl Van Tendeloo bf71a8f624 Fixed even more bugs: matching and rewriting seems to work in with simple cases vor 8 Jahren
  Yentl Van Tendeloo 7694c10521 Working matching with some additional checks vor 8 Jahren
  Yentl Van Tendeloo 42631635bb Added yet some more "primitives" and fixed minor problems with matching function vor 8 Jahren
  Yentl Van Tendeloo 9ec586c6a6 Add meaningful error message on empty blocks in compiled HUTN files vor 8 Jahren
  Yentl Van Tendeloo f7ee380b16 Make a nicer version of the transformation engine, which calls an vor 8 Jahren
  Yentl Van Tendeloo 14aded2864 Rewrote transformation file structure to contain a match and rewrite phase vor 8 Jahren
  Yentl Van Tendeloo 62c84dbc67 Creation of simple schedule seems to work mostly vor 8 Jahren
  Yentl Van Tendeloo 55f3fcbe3b Fixed some problems with transformations schedule creation vor 8 Jahren
  Yentl Van Tendeloo a77e8c9d77 Fixed call in PN_interface to transforms vor 8 Jahren
  Yentl Van Tendeloo b9d6aeb2ae Small extension to bootstrap primitives (list_pop) and some minor changes to test to include a test for transformations vor 8 Jahren
  Yentl Van Tendeloo bf59decadf Bugfix for problems with schedule generation vor 8 Jahren
  Yentl Van Tendeloo 93b2a8612e Add initial code for transformations: make a schedule of LHS elements to visit vor 8 Jahren
  Yentl Van Tendeloo 99082e9932 Add missing file in PN_interface test vor 8 Jahren
  Yentl Van Tendeloo 8408f74062 Fixed RAMify and seems working vor 8 Jahren
  Yentl Van Tendeloo 2637ebe692 RAMification is mostly working, with many bugs fixed, but attribute resolution crashes vor 8 Jahren

Neuer Älter