Home Explore Help
Sign In
simon
/
SCCD
Watch 2
Star 2
Fork 3
Files Issues 28 Pull Requests 0 Wiki
Branch: joeri
Branches Tags

Commit History

Author SHA1 Message Date
  Joeri Exelmans c8090246b7 Change SCCD's default memory protocol semantics to SMALL_STEP. Rust skips tests with non-SMALL_STEP memory protocol semantics 4 years ago
  Joeri Exelmans 91a048eedb Declare event parameters for in/out events in statechart interface. Simplify interpreter: Events no longer have integer ID's, use string compare instead. Implemented event parameters in Rust. 4 years ago
  Joeri Exelmans d7223ec8b7 Update code generation info file 4 years ago
  Joeri Exelmans 950fcc1e7e Update a couple of README's 4 years ago