runway-compiler

runway-compiler copied to clipboard

It doesn't seem to fill up the vector all the way.

ongardie-sfdc

Add `network` basic type to language?

4

Most people modelling distributed systems are going to want to have some sort of communication channel. Already in the raft and bookkeeper specification, there's a `network` set, with the `sendMessage`...

dgryski

clarify Set range

1

I think this example is underspecified: - Is the size of the set 4 (22 - 25 inclusive)? - If I push 5 distinct items, what happens? - Why would...

joelburget

Add negative numbers (and ranges).

3

I also added a radix to `parseInt` -- best practice, especially when using it as a callback to `map`. Test plan: `npm test` runs successfully. However, I'm not especially confident...

joelburget

Running REPL Fails

1

Hi, Running the REPL as described in the README seems to fail... Command history: ``` 504 git clone https://github.com/salesforce/runway-compiler.git ... 506 cd runway-compiler/ ... 509 npm install ... 513 node...

sdiemert

Add an `Integer` primitive.

3

It's sometimes convenient to specify something as an integer, rather than supplying a possible range. This implementation is probably not robust enough and should be backed by bignum, but I'm...

joelburget

random numbers in rules cause trouble

2

@vidbina ran into an issue where using `urandomRange()` in a rule got the simulator confused about which rules were active vs inactive. See this conversation on Twitter: https://twitter.com/ongardie/status/735474014798413825. I suggested...

ongardie

Currently, the model checker only provides the very last step taken before an assert() failed. The full state trace is very useful to have when debugging spec bugs, and could...

ahelwer

bin/main.js check should default to async

1

see ongardie/runway-model-raft#2

ongardie-sfdc

Upon encountering an assertion failure, we have a list of transitions that is potentially very long including lots of extra noise. An algorithm such as ddmin ( https://www.st.cs.uni-saarland.de/papers/tse2002/tse2002.pdf , my...

dgryski