Historique des commits

Auteur SHA1 Message Date
  Joeri Exelmans 70c53a9aef rename branch il y a 6 mois
  Joeri Exelmans 7f5c2f39fc update readme il y a 6 mois
  Joeri Exelmans 1d03337a61 update readme il y a 6 mois
  Joeri Exelmans 200f2a3ede add jinja2-based renderer for object diagrams il y a 8 mois
  Joeri Exelmans 26d8655147 add Jinja2-based tapaal exporter il y a 8 mois
  Joeri Exelmans 6aa5302e36 rewriter: extra check to see if produced names are valid (meaning: serializable/parseable) il y a 8 mois
  Joeri Exelmans 7914f01006 make sure no one deletes elements that were matched in the RHS with a RHS-condition... il y a 8 mois
  Joeri Exelmans 6314506ac0 parser prints line numbers AND gives an error if you use anonymous objects/links in LHS of a rule il y a 8 mois
  Joeri Exelmans c7288635f8 fix runner_exec_pn il y a 8 mois
  Joeri Exelmans 9e74075066 can call custom functions from condition code while pattern matching / rewriting + added example to runner_translate.py il y a 8 mois
  Joeri Exelmans fd8bc3bc40 improve (Port + Petri Net + traceability)-renderer il y a 8 mois
  Joeri Exelmans bd1588d809 forgot to remove debug output il y a 8 mois
  Joeri Exelmans 3ddfc96532 add renderer for Port + Petri Net + traceability il y a 8 mois
  Joeri Exelmans e4c12b7349 let's not spam the console output too much il y a 8 mois
  Joeri Exelmans bef233a854 Petri net: forgot to render inhibitor arcs (thanks Jason) il y a 8 mois
  Joeri Exelmans da5856b33b Merge branch 'optimize-matcher' (not yet seeing the performance enhancement i was hoping for...) il y a 8 mois
  Joeri Exelmans abe9b5705c 3-6x faster matching! il y a 8 mois
  Joeri Exelmans 54845b2a4a forgot to include WorkerSet in Port-model il y a 8 mois
  Joeri Exelmans 838bb18630 extend concrete syntax: edge can be defined as (src -> tgt) OR (tgt <- src) il y a 8 mois
  Joeri Exelmans 5c3026d1f6 mention which model is non-conform il y a 8 mois
  Joeri Exelmans 77ea19fcd6 fix bug in rewriter when deleting elements il y a 8 mois
  Joeri Exelmans 503d4b828a add simpler Port models for testing petri net translation il y a 8 mois
  Joeri Exelmans f77ae21e70 Finish starting point for assignment 6 il y a 8 mois
  Joeri Exelmans 7391d7d9a6 add files for assignment 6 il y a 8 mois
  Joeri Exelmans 6571d8556c petri net formalism: add inhibitor arc il y a 8 mois
  Joeri Exelmans da4f1718ce RAMification adds 'name' attribute, giving control over the names of created objects il y a 8 mois
  Joeri Exelmans 7c01b126c2 parser: a comment does not need to include a newline character il y a 8 mois
  Joeri Exelmans 5633bf17a9 i seem to have made some changes to the petrinet formalism il y a 8 mois
  Joeri Exelmans 9883e09ac2 merging (meta-)models works (but it's dirty!) il y a 8 mois
  Joeri Exelmans c31c8bf3ea and now it's even better il y a 8 mois