Skip to content
Commits on Jan 21, 2016
  1. Merge pull request #215 from dmwit/master

    committed
    reap zombies
  2. @dmwit

    reap zombies

    dmwit committed
Commits on Jan 17, 2016
  1. Mark new dev version

    committed
Commits on Jan 15, 2016
  1. Release 5.11

    committed
  2. Clean-up makefile

    committed
  3. Release 5.10

    committed
  4. checkLinks: allow for failure

    committed
    sometimes links do go down!
Commits on Jan 12, 2016
  1. New dynamic functions

    committed
           * svSetBit                  : set a given bit
           * svBlastLE, svBlastBE      : Bit-blast to big/little endian
           * svWordFromLE, svWordFromBE: Unblast from big/little endian
           * svAddConstant		   : Add a constant to an SVal
           * svIncrement, svDecrement  : Add/subtract 1 from an SVal
    
    Addresses #159
  2. Fix tabs in CHANGES.MD

    committed
Commits on Jan 9, 2016
Commits on Jan 7, 2016
  1. minor tweak to make-file

    committed
  2. Fix a few more links

    committed
    All should be good (for) now.
  3. Fix a bunch of dead-links

    committed
  4. Mark new dev-version

    committed
  5. Improve link-checker

    committed
  6. Fix a few links

    committed
  7. Add a "link checker"

    committed
Commits on Jan 6, 2016
  1. Release 5.9

    committed
  2. Yices: Rework logic-selection

    committed
    Addresses #209
  3. Make the non-model-var detection a predicate

    committed
    This is easier to use when there are many non-model variables around;
    as they are likely going to be prefixed by something common.
    
    And also improve a few “printed” messages now that we allow non-model
    variables to be present.
    
    Fixes #208.
Commits on Jan 5, 2016
  1. Add a nonModelVars example

    committed
Commits on Jan 4, 2016
  1. Add support for non-model-vars

    committed
    Relates to the request in #208
Commits on Jan 3, 2016
  1. Minor wobble

    committed
  2. Merge pull request #207 from conklech/master

    committed
    Document Mergeable deriving. Un-break Haddock for 'select'.
Something went wrong with that request. Please try again.