Permalink
Commits on Aug 13, 2017
  1. Mention #34 in CHANGELOG

    [ci skip]
    RyanGlScott committed Aug 13, 2017
Commits on Jul 29, 2017
  1. Version 0.4.1

    RyanGlScott committed Jul 28, 2017
Commits on Jul 28, 2017
Commits on Jul 23, 2017
  1. Use cabal-install-2.0 in GHC 8.2.1 build

    RyanGlScott committed on GitHub Jul 23, 2017
Commits on May 12, 2017
  1. Make cabal upload happy

    RyanGlScott committed May 12, 2017
  2. Add Hackage badge

    RyanGlScott committed May 12, 2017
  3. Version 0.4

    RyanGlScott committed May 12, 2017
Commits on May 6, 2017
Commits on Apr 27, 2017
  1. Fix .travis.yml typo

    RyanGlScott committed Apr 27, 2017
  2. Travis GHC 8.2.1 build

    RyanGlScott committed Apr 27, 2017
  3. Update CHANGELOG

    Covering #12, #18, and #27
    RyanGlScott committed Apr 27, 2017
  4. Refresh Travis

    RyanGlScott committed Apr 27, 2017
  5. Fix grid.pdf link

    Fixes #14.
    RyanGlScott committed Apr 27, 2017
Commits on Feb 6, 2017
  1. Merge pull request #32 from phadej/cabal-doctest

    Upgrade the Setup.hs harness to use cabal-doctest.
    glguy committed on GitHub Feb 6, 2017
  2. Upgrade the Setup.hs harness to use cabal-doctest.

    This upgrades the `Setup.hs` harness to use `cabal-doctest`,
    making it compatible with `Cabal-1.25` (shipped with GHC 8.2).
    See ekmett/lens#709
    
    Make sure to add a dependency on bits in the doctests test-suite
    to avoid phadej/cabal-doctest#5
    phadej committed Feb 6, 2017
Commits on Dec 5, 2016
  1. Merge pull request #27 from jwaldmann/repair

    repair formula
    jwaldmann committed on GitHub Dec 5, 2016
  2. repair formula

    Johannes Waldmann committed Dec 5, 2016
Commits on Jul 22, 2016
  1. Merge pull request #24 from RyanGlScott/master

    Fix tests when building with stack
    glguy committed on GitHub Jul 22, 2016
Commits on Jul 21, 2016
Commits on Jul 20, 2016
Commits on May 27, 2016
  1. Warnings cleanup

    glguy committed May 27, 2016
Commits on May 21, 2016
  1. Bump data-default dependency

    glguy committed May 21, 2016
Commits on Apr 1, 2016
  1. cherry-pick URL fix

    committed Apr 1, 2016
Commits on Mar 31, 2016
  1. change full_adder realisation

    jwaldmann committed Mar 31, 2016
Commits on Mar 30, 2016
  1. use AIG format (no Or nodes)

    jwaldmann committed with Mar 29, 2016
Commits on Mar 29, 2016
  1. better printing of info

    jwaldmann committed Mar 29, 2016