Joeri Exelmans c8090246b7 Change SCCD's default memory protocol semantics to SMALL_STEP. Rust skips tests with non-SMALL_STEP memory protocol semantics 4 лет назад
..
__init__.py dcd5aa6809 Rename dir 'src' to 'python'. Rust: Use conditional compilation attributes to automatically generate InEvent+OutEvent WASM bindings when compiling for wasm32. 4 лет назад
action.py 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 лет назад
concurrency.py dcd5aa6809 Rename dir 'src' to 'python'. Rust: Use conditional compilation attributes to automatically generate InEvent+OutEvent WASM bindings when compiling for wasm32. 4 лет назад
globals.py 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 лет назад
in_state.py dcd5aa6809 Rename dir 'src' to 'python'. Rust: Use conditional compilation attributes to automatically generate InEvent+OutEvent WASM bindings when compiling for wasm32. 4 лет назад
priority.py dcd5aa6809 Rename dir 'src' to 'python'. Rust: Use conditional compilation attributes to automatically generate InEvent+OutEvent WASM bindings when compiling for wasm32. 4 лет назад
semantic_configuration.py c8090246b7 Change SCCD's default memory protocol semantics to SMALL_STEP. Rust skips tests with non-SMALL_STEP memory protocol semantics 4 лет назад
state_ref.py dcd5aa6809 Rename dir 'src' to 'python'. Rust: Use conditional compilation attributes to automatically generate InEvent+OutEvent WASM bindings when compiling for wasm32. 4 лет назад
statechart.py 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 лет назад
tree.py 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 лет назад
types.py dcd5aa6809 Rename dir 'src' to 'python'. Rust: Use conditional compilation attributes to automatically generate InEvent+OutEvent WASM bindings when compiling for wasm32. 4 лет назад