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: gsdlab/claferIG
base: 0.4.2
Choose a base ref
...
head repository: gsdlab/claferIG
compare: 0.4.2.1
Choose a head ref
  • 5 commits
  • 11 files changed
  • 1 contributor

Commits on Oct 17, 2015

  1. removed 'tools/' prefix from manifest

    @mantkiew
    mantkiew committed Oct 17, 2015
    Copy the full SHA
    7a23e52 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of http://github.com/gsdlab/claferIG

    @mantkiew
    mantkiew committed Oct 17, 2015
    Copy the full SHA
    0f65329 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2015

  1. added minisatprover libs for mac/linux/win

    @mantkiew
    mantkiew committed Oct 20, 2015
    Copy the full SHA
    50846b5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/gsdlab/claferIG

    @mantkiew
    mantkiew committed Oct 20, 2015
    Copy the full SHA
    8f96e9b View commit details
    Browse the repository at this point in the history

  3. Release 0.4.2.1, lts-3.10, added stack instructions to README

    @mantkiew
    mantkiew committed Oct 20, 2015
    Copy the full SHA
    54aeab4 View commit details
    Browse the repository at this point in the history