search

informalsystems / verification

Specifications of the protocols and the experiments on their verification
9 stars 2 forks source link

Clear master #3

Closed ebuchman closed 4 years ago

ebuchman commented 4 years ago

Clear master branch so we can take the repo public.

All PRs should be against develop for now.

konnov commented 4 years ago

What happens to the PRs #2 and #4 if this gets approved first? Shall we manually merge them on develop?

ebuchman commented 4 years ago

Yeh let's just retarget them to develop? we can do it through the github UI no need to do anything manually really

konnov commented 4 years ago

So I have rebased #2 and #4 against develop. Merging this one.