Skip to content
This repository was archived by the owner on Jul 28, 2023. It is now read-only.
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: pontem-network/dove
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 1.5.4
Choose a base ref
...
head repository: pontem-network/dove
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 1.5.5
Choose a head ref
  • 7 commits
  • 8 files changed
  • 2 contributors

Commits on Jan 19, 2022

  1. Project hash (#194) 

    Fix for manifest hash.
    @RIg410
    RIg410 authored Jan 19, 2022
    Configuration menu
    Copy the full SHA
    754a07e View commit details
    Browse the repository at this point in the history

  2. Update diem revision. (#195)

    @RIg410
    RIg410 authored Jan 19, 2022
    Configuration menu
    Copy the full SHA
    bb6a785 View commit details
    Browse the repository at this point in the history

  3. Update diem revision. (#196)

    @RIg410
    RIg410 authored Jan 19, 2022
    Configuration menu
    Copy the full SHA
    72462da View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2022

  1. Added reflect module declaration to the boogie. (#197)

    @RIg410
    RIg410 authored Jan 22, 2022
    Configuration menu
    Copy the full SHA
    5cfd637 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2022

  1. Fix for dove tests. (#198) 

    * Fix for dove tests.
    @RIg410
    RIg410 authored Jan 24, 2022
    Configuration menu
    Copy the full SHA
    ea7a837 View commit details
    Browse the repository at this point in the history

  2. fix tests (#199)

    @vladimirovmm
    vladimirovmm authored Jan 24, 2022
    Configuration menu
    Copy the full SHA
    cedefee View commit details
    Browse the repository at this point in the history

  3. Bump version. (#200)

    @RIg410
    RIg410 authored Jan 24, 2022
    Configuration menu
    Copy the full SHA
    a567e6b View commit details
    Browse the repository at this point in the history
Loading