Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Prepare for 0.5.1 release #754

Merged
merged 1 commit into from
Jan 15, 2020
Merged

Prepare for 0.5.1 release #754

merged 1 commit into from
Jan 15, 2020

Conversation

vaivaswatha
Copy link
Contributor

@vaivaswatha vaivaswatha commented Jan 15, 2020

@vaivaswatha vaivaswatha merged commit f41030a into master Jan 15, 2020
@vaivaswatha vaivaswatha deleted the prerel-v0.5.1 branch January 15, 2020 10:51
vyorkin added a commit to vyorkin/scilla that referenced this pull request Jan 20, 2020
* master:
  Run `dune build @fmt` in Travis. On a diff, it'll fail (Zilliqa#761)
  Conform entire source base to ocamlformat (Zilliqa#760)
  Add an ocamlformat Makefile target. (Zilliqa#759)
  Warnings and gas output must not always be in JSON format (Zilliqa#757)
  Tweaks to build system (Zilliqa#755)
  Prepare for 0.5.1 release (Zilliqa#754)
  Fix opam build by making libff a git submodule (Zilliqa#753)
  Test/libtest (Zilliqa#751)
vyorkin added a commit that referenced this pull request Jan 21, 2020
* master:
  Run `dune build @fmt` in Travis. On a diff, it'll fail (#761)
  Conform entire source base to ocamlformat (#760)
  Add an ocamlformat Makefile target. (#759)
  Warnings and gas output must not always be in JSON format (#757)
  Tweaks to build system (#755)
  Prepare for 0.5.1 release (#754)
  Fix opam build by making libff a git submodule (#753)
  Test/libtest (#751)
  Fix bug/typo to check patterns in transitions (#752)
  Scilla runner refactoring + a small bug fix (#749)
  Fix Schnorr (#746)
  Fix init JSON validation checks for libraries (#748)
  Rearranging lib test files (#747)
  INSTALL.md formatting: add foldable sections (#744)
  Remove unused tests (#741)
  Disallow duplicate _extlib entries and updates to library import tests (#743)
  Use domt4 homebrew tap (#742)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants