SRI-CSL / yices2 / 54

Builds Branch Commit Type Ran Committer Via Coverage
54 master Merge branch 'master' of github.com:SRI-CSL/yices2 push BrunoDutertre travis-ci pending completion   set done
53 master Merge pull request #64 from ianamason/master closes itp bug push web-flow travis-ci pending completion   set done
52 master conflict resolution. Pull #64 web-flow travis-ci pending completion   set done
51 master case sensitivity, strip hack push BrunoDutertre travis-ci pending completion   set done
50 master case sensitivity, strip hack Pull #63 web-flow travis-ci pending completion   set done
49 master case sensitivity, strip hack Pull #63 web-flow travis-ci pending completion   set done
48 master case sensitivity, tests Pull #63 web-flow travis-ci pending completion   set done
47 master lintian fussy about case Pull #63 web-flow travis-ci pending completion   set done
46 master lintian fussy about case Pull #63 web-flow travis-ci pending completion   set done
45 master Merge branch 'master' of https://github.com/ianamason/yices2 Pull #63 web-flow travis-ci pending completion   set done
44 master Create yices.1 Pull #63 web-flow travis-ci pending completion   set done
43 master Update yices-smt2.1 Pull #63 web-flow travis-ci pending completion   set done
42 master yices.dirs joins the dodo. Pull #63 web-flow travis-ci pending completion   set done
41 master copyright improvements. Pull #63 web-flow travis-ci pending completion   set done
40 master dejan spots a cut and paste error. Pull #63 web-flow travis-ci pending completion   set done