Permalink
Commits on Dec 10, 2013
  1. Remove trailing spaces

    polazarus committed Dec 10, 2013
  2. Add version to doc

    polazarus committed Dec 10, 2013
  3. Fix Yices.consistent

    polazarus committed Dec 10, 2013
Commits on Dec 9, 2013
  1. Update configure

    polazarus committed Dec 9, 2013
  2. Improve install yices script

    polazarus committed Dec 9, 2013
    Add "Let me sudo it for you" if sudo available and if write in includedir is impossible, if shell script read from stdin download from github
    Add better option parsing
    Add include dir option
Commits on Dec 5, 2013
  1. Remove IDL type artefact from yicesl.mli

    polazarus committed Dec 5, 2013
    and improve comments
Commits on Nov 29, 2013
  1. Add more tests

    polazarus committed Nov 29, 2013
  2. Add mk_bv_constant_from_int

    polazarus committed Nov 29, 2013
    Also switch to invalid_argument error for mk_sub
    Improve comments
  3. Add handy mk_sum2, mk_sub2, mk_mul2

    polazarus committed Nov 29, 2013
    And fix behavior of mk_sum, mk_sub, mk_mul for zero-length array
  4. Extend API with nice shortcuts

    polazarus committed Nov 29, 2013
    Add new functions:
    - mk_implies
    - mk_and2, mk_or2
    - mk_nand, mk_nand2
    - mk_nor, mk_nor2
    
    And define behaviors for `mk_and [||]` and others.
Commits on Nov 28, 2013
  1. Add a few automated tests

    polazarus committed Nov 28, 2013
  2. Add automatic switch to custom compilation mode

    polazarus committed Nov 28, 2013
    Automatic switch to custom compilation if libyices cannot be linked into a shared library
    Remove forced custom compilation for Yices with static GMP in .travis.yml (it shall be automatic now)
    Change OYFLAGS to be configure flags in .travis.yml
  3. Improve README, META file, and fix name caps

    polazarus committed Nov 27, 2013
    More links in README, add Travis-CI status, remove version from title...
    
    Remove OCamlyices names from description field in META (redundant).
    
    OCaml is written with O and C in uppercase. It should be so everywhere now, and for consistency, Ocamlyices becomes OCamlyices.
  4. Switch to trimmed libraries for travis build

    polazarus committed Nov 27, 2013
    and
    add utf-8 to make doc
    add custom build for travis
  5. Better README and add library-only Yices install

    polazarus committed Nov 27, 2013
    Add OPAM setup info
    Add support for trimmed down Yices tarballs
    Add doc/ dir to gitignore
  6. Update gitignore and add charset to html doc

    polazarus committed Nov 27, 2013
    Also add some cache directories for Travis
  7. Bump to 0.7.1

    polazarus committed Nov 28, 2013
  8. Fix get_unsat_core

    polazarus committed Nov 28, 2013
Commits on Nov 8, 2013
  1. Improve "Missing Yices" error message

    polazarus committed Nov 8, 2013
    Add one-line tarball install command
Commits on Nov 7, 2013