SRI-CSL / yices2 / 135

Builds Branch Commit Type Ran Committer Via Coverage
135 master Implemented Bruno's wish of using find_library. Not tested on anything other than my mac. push ianamason travis-ci pending completion   set done
134 master Almost all docstrings in place. Just arithmetic and bitvector constructors. push ianamason travis-ci pending completion   set done
133 master Almost all docstrings in place. Just arithmetic and bitvector constructors and pretty printing left. push ianamason travis-ci pending completion   set done
132 master Merge branch 'master' of https://github.com/SRI-CSL/yices2 push ianamason travis-ci pending completion   set done
131 master Fixed the Sphinx doc + some issues in term_explorer. push BrunoDutertre travis-ci pending completion   set done
130 master Merge branch 'master' of https://github.com/SRI-CSL/yices2 push ianamason travis-ci pending completion   set done
129 master Modified example1 + ignore pyc and .cache push BrunoDutertre travis-ci pending completion   set done
128 master Typo push BrunoDutertre travis-ci pending completion   set done
127 master Fixed yices.py to load cygyices.dll on cygwin push BrunoDutertre travis-ci pending completion   set done
126 master Merge branch 'yices.py' push BrunoDutertre travis-ci pending completion   set done
125 yices.py Cleanup. push ianamason travis-ci pending completion   set done
124 yices.py Fixed python plus extended C api. All C API print functions now have a version that uses file descriptors rather than file pointers. Python tests now work on Darwin. push ianamason travis-ci pending completion   set done
123 master Update README.md Formatting error. push web-flow travis-ci pending completion   set done
122 yices.py Added __init__.py push samowre travis-ci pending completion   set done
118 master Typo push BrunoDutertre travis-ci pending completion   set done