提交歷史

作者 SHA1 備註 提交日期
  Joeri Exelmans ad6fcd7a24 add type check when overwriting slot value 6 月之前
  Joeri Exelmans 3ddfc96532 add renderer for Port + Petri Net + traceability 8 月之前
  Joeri Exelmans 9883e09ac2 merging (meta-)models works (but it's dirty!) 8 月之前
  Joeri Exelmans c31c8bf3ea and now it's even better 8 月之前
  Joeri Exelmans d14d72b8e7 use precomputed mappings for get_name-function in ODAPI (faster) 8 月之前
  Joeri Exelmans abbc854a50 fix bug 9 月之前
  Joeri Exelmans ad3752cd61 Rewrite the 'rewriter' + Added transformation schedule to CBD example, simplifying the rules 9 月之前
  Joeri Exelmans 9c68b288c1 Make OD-API for consistent for constraints, LHS patterns, RHS actions. 9 月之前
  Joeri Exelmans 1eb8a84553 (WIP) implementing CBD language... Meta-meta-model: Association inherits from Class. Matcher accepts pivot. Add generic graphviz renderer. 9 月之前
  Joeri Exelmans a26ceef10f Conformance checker relies much more on ODAPI rather than duplicating its logic + Fix error in bootstrap of primitive types 9 月之前
  Joeri Exelmans 75d938d2be OD parser: use ODAPI instead of 'OD' service + support ActionCode-typed attributes 9 月之前
  Joeri Exelmans 43080f88fe ODAPI: fix bug + add function 'has_slot' 9 月之前
  Joeri Exelmans 7338a6675d Clearer error when getting non-existing slot 9 月之前
  Joeri Exelmans 590ce0b0b9 Fix bug in ODAPI 9 月之前
  Joeri Exelmans cd26a401fe Add example of 'woods' operational semantics. Clearer error messages. Implement full OD-API. Small refactoring of Conformance class. 9 月之前