Please enable JavaScript in your browser!
Startsida
Utforska
Hjälp
Logga in
simon
/
SCCD
Bevaka
2
Stjärnmärk
2
Fork
3
Filer
Ärenden
28
Pull-förfrågningar
0
Wiki
Gren:
joeri
Grenar
Taggar
joeri
master
unstable
v0.9
Commit History
Sök
Upphovsman
SHA1
Meddelande
Datum
Joeri Exelmans
c8090246b7
Change SCCD's default memory protocol semantics to SMALL_STEP. Rust skips tests with non-SMALL_STEP memory protocol semantics
4 år sedan
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 år sedan
Joeri Exelmans
d7223ec8b7
Update code generation info file
4 år sedan
Joeri Exelmans
950fcc1e7e
Update a couple of README's
4 år sedan