Groups

runway-dev

Contact owners and managers

1–16 of 16

Discussion around the creation of Runway models and the use and development of Runway itself. Runway is a tool for specifying, simulating, model checking, and visualizing distributed and concurrent systems. https://github.com/SalesforceEng/runway-browser

0 selected

Andrew Helwer, Diego Ongaro2

4/24/17

Introductory guide to creating a view?

Hey Andrew, Unfortunately, I don't think anything like that exists. For D3, you'll need to

unread,

Introductory guide to creating a view?

Hey Andrew, Unfortunately, I don't think anything like that exists. For D3, you'll need to

4/24/17

12/3/16

Timeouts never being set to >0

Nvm, I figured it out. I had to declare clock = "ms" in package.json. On Saturday, 3

unread,

Timeouts never being set to >0

Nvm, I figured it out. I had to declare clock = "ms" in package.json. On Saturday, 3

12/3/16

Akhil Dixit, Diego Ongaro4

11/29/16

Any resources for writing a model in runway specification language and a view?

Hey Akhil, Glad you're getting the hang of Runway, and sorry the language guide wasn't very

unread,

Any resources for writing a model in runway specification language and a view?

Hey Akhil, Glad you're getting the hang of Runway, and sorry the language guide wasn't very

11/29/16

Akhil Dixit, Diego Ongaro2

11/28/16

Rule MUST change the state?

Hi Akhil, That should be allowed, and by assigning something different back to the variable '

unread,

Rule MUST change the state?

Hi Akhil, That should be allowed, and by assigning something different back to the variable '

11/28/16

11/28/16

Re: [runway-dev] How to compute power of a number in the specification language?

Hi Akhil, There's a built-in function pow(base, exp) for this. For example: > var m : 0..7 = 3

unread,

Re: [runway-dev] How to compute power of a number in the specification language?

Hi Akhil, There's a built-in function pow(base, exp) for this. For example: > var m : 0..7 = 3

11/28/16

yn...@ucsc.edu, Diego Ongaro2

11/28/16

An error when using model checker on raft model

Hey and sorry for the delay, That certainly shows the model checker running out of memory, and

unread,

An error when using model checker on raft model

Hey and sorry for the delay, That certainly shows the model checker running out of memory, and

11/28/16

yn...@ucsc.edu, Diego Ongaro4

10/31/16

Questions about runway modeling check

Are you perhaps running the version of the model where the people post a note on the house to prevent

unread,

Questions about runway modeling check

Are you perhaps running the version of the model where the people post a note on the house to prevent

10/31/16

10/29/16

Stanford Talk Announcement

Stanford EE Computer Systems Colloquium 4:30 PM, Wednesday, November 2, 2016 NEC Auditorium, Gates

unread,

Stanford Talk Announcement

Stanford EE Computer Systems Colloquium 4:30 PM, Wednesday, November 2, 2016 NEC Auditorium, Gates

10/29/16

ccl...@dieselpoint.com, Diego Ongaro2

10/3/16

broken raft model

Thanks for letting me know, and sorry for the delay--I was on vacation. It should be fixed now. The

unread,

broken raft model

Thanks for letting me know, and sorry for the delay--I was on vacation. It should be fixed now. The

10/3/16

punt, Diego Ongaro2

9/27/16

error while running npm install

Hey, Thanks for your interest. I think your versions of node/npm are probably too old. I have the

unread,

error while running npm install

Hey, Thanks for your interest. I think your versions of node/npm are probably too old. I have the

9/27/16

Andrew Helwer, Diego Ongaro2

7/5/16

An analysis of Runway from a TLA+ perspective

Hey Andrew, Thanks a lot for taking the time to share that. You were perhaps too generous with

unread,

An analysis of Runway from a TLA+ perspective

Hey Andrew, Thanks a lot for taking the time to share that. You were perhaps too generous with

7/5/16

Andrew Helwer, … Diego Ongaro4

7/5/16

Does urandom function nondeterministically in modelchecking mode?

On Mon, Jul 4, 2016 at 4:47 AM, Damian Gryski <dgr...@gmail.com> wrote: On Monday, July 4,

unread,

Does urandom function nondeterministically in modelchecking mode?

On Mon, Jul 4, 2016 at 4:47 AM, Damian Gryski <dgr...@gmail.com> wrote: On Monday, July 4,

7/5/16

Andrew Helwer, Diego Ongaro3

6/27/16

Get model checker to spit out full state trace on failed assertion?

Done! https://github.com/salesforce/runway-compiler/issues/7 On Monday, June 27, 2016 at 10:32:40 AM

unread,

Get model checker to spit out full state trace on failed assertion?

Done! https://github.com/salesforce/runway-compiler/issues/7 On Monday, June 27, 2016 at 10:32:40 AM

6/27/16

Andrew Helwer, … Diego Ongaro5

6/27/16

Trouble getting REPL to work from runway-compiler repo

Thanks, Dan. And I just fixed the Travis CI test along with bad parser line numbers in 29d814d. That

unread,

Trouble getting REPL to work from runway-compiler repo

Thanks, Dan. And I just fixed the Travis CI test along with bad parser line numbers in 29d814d. That

6/27/16

Andrew Helwer, Diego Ongaro2

6/20/16

How does the past() function work?

Hey Andrew, Yes, past() is a conditional way of accessing the global clock in simulations. You can

unread,

How does the past() function work?

Hey Andrew, Yes, past() is a conditional way of accessing the global clock in simulations. You can

6/20/16

6/3/16

Introducing Runway, a new tool for distributed systems design

Hi all, Thanks for your interest in Runway and for joining this discussion group. Some of you are

unread,

Introducing Runway, a new tool for distributed systems design

Hi all, Thanks for your interest in Runway and for joining this discussion group. Some of you are

6/3/16

Search

Clear search

Close search

Google apps

Main menu