Permalink
Switch branches/tags
Nothing to show
Commits on Aug 22, 2015
  1. Fix cabal-version

    pepeiborra committed Aug 22, 2015
  2. bump version number

    pepeiborra committed Aug 22, 2015
Commits on May 6, 2014
  1. .gitignore

    pepeiborra committed May 6, 2014
Commits on Jun 2, 2010
  1. bump version number

    José Iborra authored and pepeiborra committed Jan 14, 2010
  2. add a yices-dynamic flag

    José Iborra authored and pepeiborra committed Jan 14, 2010
    Yices comes in two flavors: with gmp statically
    or dinamically linked.
    The dynamic version should be preferred, in order
    to be able to use yices from ghci.
    Therefore this flag builds for the dynamically linked
    yices by default.
    
    However in non Unix systems it can be necessary to
    manually disable this flag
  3. Add yices interrupt unsupported API

    pepeiborra committed Jun 2, 2010
    Very useful to cleanly interrupt a long running operation
    (seen in the yices mailing list archives)
  4. remove the unsafe call convention modifier

    pepeiborra committed Jun 2, 2010
    There is no reason to mark these unsafe, as they do not call
    back on Haskell code.
    
    Moreover, some of the calls to the yices API can block during
    a lot of time. IF marked unsafe, they will block all the GHC
    threads even when using the threaded runtime
Commits on Dec 28, 2009
  1. All the foreign calls remain IO

    José Iborra
    José Iborra committed Dec 28, 2009
Commits on Dec 25, 2009
  1. packaging wibbles

    José Iborra
    José Iborra committed Dec 25, 2009
  2. ready for release

    José Iborra
    José Iborra committed Dec 25, 2009
Commits on Dec 23, 2009
  1. Haskell bindings to the Yices SMT solver

    José Iborra
    José Iborra committed Dec 23, 2009