Commit History

Author SHA1 Message Date
  Yentl Van Tendeloo e33ebc33cd More cleanup of code mess (+ included debug output) 8 years ago
  Yentl Van Tendeloo 70a05c0dab Prepend the name of the entry in the port 8 years ago
  Yentl Van Tendeloo bc0f2e2118 Removed unnecessary links in plant2EPN 8 years ago
  Yentl Van Tendeloo 830846067d Fixed some problems with transformations which break up the reachability 8 years ago
  Yentl Van Tendeloo e49072b57b Fixes to the combine_EPN 8 years ago
  Yentl Van Tendeloo 4925efefdd Make initial state configurable for controller to EPN transformation 8 years ago
  Yentl Van Tendeloo 8ded411292 Various bugfixes to transformations and internals 8 years ago
  Yentl Van Tendeloo 3ea339e496 Add tracability links for the transitions as well for plant 8 years ago
  Yentl Van Tendeloo eb7be888fe Fixed bug in transformation: check if association source/destination is actually typed by required type 8 years ago
  Yentl Van Tendeloo 86eeb372f2 Fixed another problem with transformation 8 years ago
  Yentl Van Tendeloo 75a49fb0c1 Fixes to transformations and core 8 years ago
  Yentl Van Tendeloo f516e23eba Fixed models 8 years ago
  Yentl Van Tendeloo cf211a3b73 Updated rules and their integration 8 years ago
  Yentl Van Tendeloo 1ab9dd9529 Putting things together in the PM 8 years ago
  Yentl Van Tendeloo 9ea44ba6e6 Fixed many compilation/syntax errors 8 years ago
  Yentl Van Tendeloo 4e1e7efa27 Added draft of plant_to_EPN 8 years ago
  Yentl Van Tendeloo 9d5e57128c Added outline of the plant_to_EPN transformation 8 years ago
  Yentl Van Tendeloo 6b5f486a84 Many cleanups to shift to the much simplified model 8 years ago
  Yentl Van Tendeloo f18db38b71 Test passes 8 years ago
  Yentl Van Tendeloo 799e34e55a Various fixes to plant2EPN 8 years ago
  Yentl Van Tendeloo 619b464a42 Finished R_sensor as well 8 years ago
  Yentl Van Tendeloo 417a148140 Finished no_sensor rule of PW_to_EPN 8 years ago
  Yentl Van Tendeloo 35dbdf7fe1 First iteration of plant_to_EPN (no P2T and T2P links yet) 8 years ago