SRI-CSL / yices2 / 69

Builds Branch Commit Type Ran Committer Via Coverage
69 master Fixed test Makefile to build static-test on Cygmin/Mingw. Updated mingw-build script for new version of Visual Studio. push BrunoDutertre travis-ci pending completion   set done
68 master Update README.md typo in ppa instructions. push web-flow travis-ci pending completion   set done
67 master Changed names of trace functions to avoid clash with the curses library push BrunoDutertre travis-ci pending completion   set done
66 master Update changelog leave the distribution out. push web-flow travis-ci pending completion   set done
65 master Fix the lintian errors with non descript filler. push ianamason travis-ci pending completion   set done
64 master Update README.md Touch ups to the binary install notes. push web-flow travis-ci pending completion   set done
63 master Update README.md Installing from prebuilt binaries, plus some structural changes. push web-flow travis-ci pending completion   set done
62 smtcomp-2017 Added declare-sort and define-sort to the SMT2 frontend push BrunoDutertre travis-ci pending completion   set done
61 master Added declare-sort and define-sort to the SMT2 frontend push BrunoDutertre travis-ci pending completion   set done
60 master Merge pull request #66 from ianamason/master libpoly-dev dependency push web-flow travis-ci pending completion   set done
59 master merging in upstream. Pull #66 web-flow travis-ci pending completion   set done
58 master Fixed package descriptions push BrunoDutertre travis-ci pending completion   set done
57 master Update control build depends are needed to build. D'Oh. push web-flow travis-ci pending completion   set done
56 master Merge pull request #65 from ianamason/master pc vs unknown circumvented push web-flow travis-ci pending completion   set done
55 master Merge branch 'master' of https://github.com/SRI-CSL/yices2 Pull #65 web-flow travis-ci pending completion   set done