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 年之前