Please enable JavaScript in your browser!
Página inicial
Explorar
Ajuda
Entrar
simon
/
SCCD
Observar
2
Favorito
2
Fork
3
Arquivos
Issues
28
Pull Requests
0
Wiki
Branch:
joeri
Branches
Tags
joeri
master
unstable
v0.9
Histórico de commits
Buscar
Autor
SHA1
Mensagem
Data
Joeri Exelmans
c8090246b7
Change SCCD's default memory protocol semantics to SMALL_STEP. Rust skips tests with non-SMALL_STEP memory protocol semantics
4 anos atrás
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 anos atrás
Joeri Exelmans
d7223ec8b7
Update code generation info file
4 anos atrás
Joeri Exelmans
950fcc1e7e
Update a couple of README's
4 anos atrás