Commit Verlauf

Autor SHA1 Nachricht Datum
  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 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 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 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 14aded2864 Rewrote transformation file structure to contain a match and rewrite phase 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 99082e9932 Add missing file in PN_interface test vor 8 Jahren
  Yentl Van Tendeloo 095a7eb8fe Fixed faulty test in PN_interface, which seemingly caused differences vor 8 Jahren
  Yentl Van Tendeloo 24d22363dd Fixed syntax errors in test vor 8 Jahren
  Yentl Van Tendeloo ae85a354ed Removed manual json serialization in most code generators and in tests vor 8 Jahren
  Yentl Van Tendeloo 65bc1c06ee Split the petri nets operational semantics from the pn_interface vor 9 Jahren
  Yentl Van Tendeloo 4858bb78d3 Fixed another expected outcome of the test vor 9 Jahren
  Yentl Van Tendeloo 36168880cc Make expected test output more precise vor 9 Jahren
  Yentl Van Tendeloo b597ef4758 Add missing object for PN interface tests vor 9 Jahren
  Yentl Van Tendeloo 8ab906c727 Add two library functions and add constraints on all sides of the Tile vor 9 Jahren
  Yentl Van Tendeloo 24116c1542 Added an RPGame model vor 9 Jahren
  Yentl Van Tendeloo 30a5399241 Fixed RPGame test: metamodel is now valid! vor 9 Jahren
  Yentl Van Tendeloo afbd9ca2ee Some migrations to allow for compiled constructors vor 9 Jahren
  Yentl Van Tendeloo 4feb5b7f36 Modified testing framework to always use the same format of input list vor 9 Jahren
  Yentl Van Tendeloo 4fac2751ef Add missing files to link vor 9 Jahren