Permalink
Commits on Jan 30, 2017
  1. Removing broken link

    Related to issue #236
    msoos committed Jan 30, 2017
Commits on Nov 5, 2016
  1. oops. fix build.

    TrevorHansen committed Nov 5, 2016
Commits on Oct 28, 2016
  1. (1) fix building. (2) make index width / value width out of the base …

    …class. Saves 8 bytes in bvconst.
    TrevorHansen committed Oct 28, 2016
  2. bug fix.

    TrevorHansen committed Oct 28, 2016
Commits on Oct 27, 2016
  1. Merge pull request #237 from jirislaby/patch-2

    simplifier: use abort() instead of assert(false)
    
    Thanks!
    TrevorHansen committed on GitHub Oct 27, 2016
  2. Merge pull request #238 from jirislaby/timestamps

    GitSHA1: really disable timestamp when requested
    
    Thanks!
    TrevorHansen committed on GitHub Oct 27, 2016
Commits on Oct 24, 2016
  1. simplifier: use abort() after assert(false)

    assert becomes nop when built with -DNDEBUG. So use abort in
    getConstantBit after the assert to be sure the process dies.
    
    Signed-off-by: Jiri Slaby <jslaby@suse.cz>
    jirislaby committed with Jiri Slaby Oct 19, 2016
Commits on Oct 20, 2016
  1. ASTNode rvalue reference assignment and copy constructor.

    TrevorHansen committed Oct 20, 2016
Commits on Oct 19, 2016
  1. GitSHA1: really disable timestamp when requested

    __DATE__ and __TIME__ prevent reproducible builds. Shot those in head
    in case STP_TIMESTAMPS was selected.
    
    Signed-off-by: Jiri Slaby <jslaby@suse.cz>
    Jiri Slaby committed Oct 19, 2016
Commits on Oct 16, 2016
Commits on Oct 5, 2016
  1. Remove the old node numbering scheme.

    TrevorHansen committed Oct 5, 2016
Commits on Oct 4, 2016
Commits on Sep 26, 2016
  1. match fuzzer command line args to recently changed stp ones.

    TrevorHansen committed Sep 26, 2016
  2. quieten warning.

    TrevorHansen committed Sep 26, 2016
  3. fix. last checkin broke.

    TrevorHansen committed Sep 26, 2016
  4. update parameter name.

    TrevorHansen committed Sep 26, 2016
  5. cleanup user flags.

    TrevorHansen committed Sep 26, 2016
Commits on Sep 25, 2016
Commits on Sep 14, 2016
  1. Don't test static build. Unsupported.

    TrevorHansen committed Sep 14, 2016
  2. Add linker flag to get statically building with clang

    TrevorHansen committed Sep 14, 2016
Commits on Sep 13, 2016
  1. fussing with travis ci.

    TrevorHansen committed Sep 13, 2016
  2. try getting working with clang.

    TrevorHansen committed Sep 13, 2016
  3. Attempting to get clang working on travis ci.

    TrevorHansen committed Sep 13, 2016
Commits on Sep 12, 2016
  1. allow clang to fail on travis ci.

    TrevorHansen committed Sep 12, 2016
  2. Remove hardcoded clang path from travis ci.

    TrevorHansen committed Sep 12, 2016
  3. fake change to cause rebuild.

    TrevorHansen committed Sep 12, 2016
  4. Improved, but still broken, let handling.

    TrevorHansen committed Sep 12, 2016
Commits on Sep 9, 2016
  1. Less broken travis ci script.

    TrevorHansen committed Sep 9, 2016