Joeri Exelmans c8090246b7 Change SCCD's default memory protocol semantics to SMALL_STEP. Rust skips tests with non-SMALL_STEP memory protocol semantics 4 tahun lalu
..
__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 tahun lalu
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 tahun lalu
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 tahun lalu
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 tahun lalu
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 tahun lalu
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 tahun lalu
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 tahun lalu
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 tahun lalu
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 tahun lalu
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 tahun lalu
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 tahun lalu