صفحهٔ اصلی گشت‌و‌گذار راهنما
ورود
simon
/
SCCD
دنبال کردن 2
ستاره دار 2
انشعاب 3
پرونده‌ها مشکلات 28 درخواست واکشی 0 ویکی
درخت: ec39dd73ea
شاخه‌ها تگ‌ها

تاریخچه Commit ها

نویسنده SHA1 پیام تاریخ
  Joeri Exelmans 490196c118 Add script that checks if "semantic oracle" statechart correctly infers semantics under all circumstances. Small 'refactor' to how combo-step maximality option is represented in abstract syntax (now the same as big-step maximality). 5 سال پیش