SRI-CSL / yices2 / 166

Builds Branch Commit Type Ran Committer Via Coverage
166 master Fixes to the pip package for Linux. push ianamason travis-ci pending completion   set done
165 master Merge branch 'master' of https://github.com/SRI-CSL/yices2 push ianamason travis-ci pending completion   set done
164 master Update README.md push web-flow travis-ci pending completion   set done
163 master Update README.md push web-flow travis-ci pending completion   set done
162 master 1.0.2 published. push ianamason travis-ci pending completion   set done
161 master Merge branch 'master' of https://github.com/SRI-CSL/yices2 push ianamason travis-ci pending completion   set done
160 master Update README.md push web-flow travis-ci pending completion   set done
158 master Merge branch 'master' of https://github.com/SRI-CSL/yices2 push ianamason travis-ci pending completion   set done
157 master Update README.md push web-flow travis-ci pending completion   set done
156 master Update README.md push web-flow travis-ci pending completion   set done
155 master (largely unwritten) README for the python bindings push ianamason travis-ci pending completion   set done
154 master Python bindings now sanity check the library version to make sure they are compatible. push ianamason travis-ci pending completion   set done
153 master names in yices.h coincide with names in yices.py. pip has been updated. push ianamason travis-ci pending completion   set done
152 master Question for BD. push ianamason travis-ci pending completion   set done
151 master Couple of comments. push ianamason travis-ci pending completion   set done