Skip to content
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: SRI-CSL/solidity
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 7e0f6fb
Choose a base ref
...
head repository: SRI-CSL/solidity
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: c78bfa3
Choose a head ref
  • 7 commits
  • 12 files changed
  • 2 contributors

Commits on Aug 6, 2020

  1. Add simple example on quantifiers

    @hajduakos
    hajduakos committed Aug 6, 2020
    Configuration menu
    Copy the full SHA
    298d89b View commit details
    Browse the repository at this point in the history

  2. Some updates on docs

    @hajduakos
    hajduakos committed Aug 6, 2020
    Configuration menu
    Copy the full SHA
    d2ca1ca View commit details
    Browse the repository at this point in the history

  3. Bump Boogie version in CircleCI

    @hajduakos
    hajduakos committed Aug 6, 2020
    Configuration menu
    Copy the full SHA
    7ffe525 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2020

  1. Fix getter when conversion is needed

    @hajduakos
    hajduakos committed Oct 16, 2020
    Configuration menu
    Copy the full SHA
    bc1465b View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2020

  1. fix build (broken by new compilers)

    Dejan Jovanovic committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    8688567 View commit details
    Browse the repository at this point in the history

  2. [0.7] fix for #166

    Dejan Jovanovic committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    c703f8c View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2021

  1. Move publications to wiki

    @hajduakos
    hajduakos committed Jan 11, 2021
    Configuration menu
    Copy the full SHA
    c78bfa3 View commit details
    Browse the repository at this point in the history
Loading