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