Commit History

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