SRI-CSL / yices2 / 97

Builds Branch Commit Type Ran Committer Via Coverage
97 master checkbox 10 of #71 push ianamason travis-ci pending completion   set done
96 master Only checkboxes left for #71 are the -1 as a debian revision and the last four. push ianamason travis-ci pending completion   set done
95 mcsat-incremental failing test case to fix later push dddejan travis-ci pending completion   set done
94 mcsat-incremental removing context guards to allow push/pop in mcsat push dddejan travis-ci pending completion   set done
93 mcsat-incremental some more incremental tests push dddejan travis-ci pending completion   set done
91 master Fixed incorrect assert push BrunoDutertre travis-ci pending completion   set done
89 mcsat-incremental fix: true/false constants were not handled in bool plugin push dddejan travis-ci pending completion   set done
88 mcsat-incremental limit propagations to above base level push dddejan travis-ci pending completion   set done
87 mcsat-incremental fixing memory leak and another test push dddejan travis-ci pending completion   set done
86 mcsat-incremental first incremental test works push dddejan travis-ci pending completion   set done
85 master Missing reset of aux_vector in bv_solver. Function bv_solver_bv_equiv_conflict leaves aux_vector non-empty. Other functions assume that aux_vector is empty when they use it. Made the whole thing consistent: all functions that use aux_vector must ... push BrunoDutertre travis-ci pending completion   set done
84 mcsat-incremental backtracking the preprocessor push dddejan travis-ci pending completion   set done
74 master Fixed Sphinx source to work with Sphinx 1.6 push BrunoDutertre travis-ci pending completion   set done
73 master Cleanup Updated headers to the GPL license in some source files that still had the old license. In the smt2 frontend, the global variables ctx_parameters and parameters are now part of __smt2_globals (to be consistent). Moved the 'ctx_param_t' ... push BrunoDutertre travis-ci pending completion   set done
72 master Fixed incorrect conversion of SMT2 Booleans to parameter values. The function that sets Yices parameters mistakenly assumed that the Boolean constant true/false are capitalized in the SMT2 syntax. They are not. Fixed a test that used the wrong sy... push BrunoDutertre travis-ci pending completion   set done