SRI-CSL / yices2 / 39

Builds Branch Commit Type Ran Committer Via Coverage
39 master changes not isolated to the debian subdirectory. Pull #63 web-flow travis-ci pending completion   set done
38 master Setup for Visual Studio (free version) on cygwin push BrunoDutertre travis-ci pending completion   set done
37 master Fixed bug in Makefile (static build on Window) push BrunoDutertre travis-ci pending completion   set done
34 master Fixed compilation warning push BrunoDutertre travis-ci pending completion   set done
33 master Using separate term_manager with no ITE simplification in MCSAT UF module. push dddejan travis-ci pending completion   set done
32 master Guarding ITE simplification in places where it was missing. This was causing a bug in MCSAT where ITEs were not supposed to be simplified automatically. push dddejan travis-ci pending completion   set done
31 master Cleaning up the mess push BrunoDutertre travis-ci pending completion   set done
30 master Updated the doc: bug reports should be through GitHub now. push BrunoDutertre travis-ci pending completion   set done
29 master Fixed coverity 1436641 push BrunoDutertre travis-ci pending completion   set done
28 master Cleanup push BrunoDutertre travis-ci pending completion   set done
27 master Attempt to use something else than cpp-coveralls push BrunoDutertre travis-ci pending completion   set done
26 master Cleanup (and debugging coveralls) push ianamason travis-ci pending completion   set done
22 master Fixing typo in UF model generation (broken sort). push dddejan travis-ci pending completion   set done
21 master Fixed incorrect type computation in preprocessor.c push BrunoDutertre travis-ci pending completion   set done
20 master Fix another bug found by coverity push BrunoDutertre travis-ci pending completion   set done