Franklyn Dsouza

Skew join optimizer

9

## Overview This PR introduces a new optimization rule to handle joins where keys have a skewed distribution (some keys are much more frequent than others) using the salted join...

### What happened? We are attempting to use the STORAGE_WRITE_API with exactly-once guarantees in our pipelines running on Runner V2. Our configuration uses dynamic destinations and auto sharding, as detailed...

How to model crash transitions ?

6

I want to model a serial action which can crash. Heres an example ``` fair action DoWork: if current_state == State.Start: lock_service.acquire_lock() do_something do_another_thing lock_service.release_lock() ``` it is ok to...

Currently if we try to make multiple assignments of roles single line we get an error. ``` action Init: accounts = [Account(name=customer), Account(name="Bob")] > panic: Creating multiple roles in single...