lsils / bill / 260796734

Builds Branch Commit Type Ran Committer Via Coverage
260796734 master gcc@9 push GitHub github
94.71
239527439 cudd Merge 2d2d728ba into a8c09a493 Pull #39 GitHub github
94.78
203942214 cudd Merge 70eb625ce into a8c09a493 Pull #39 GitHub github
94.78
203901657 cudd Merge 8033e2dfa into a8c09a493 Pull #39 GitHub github
94.78
203853840 cudd Merge f845cdc99 into a8c09a493 Pull #39 GitHub github
94.78
181448733 cudd Merge d3d88410a into a8c09a493 Pull #39 GitHub github
94.7
159186841 master Assertions for the literals buffer array in bsat2 (#38) push GitHub github pending completion   set done
148469136 master Merge pull request #37 from lsils/fix_defines push GitHub github pending completion   set done
133411796 hriener/bugfix Merge 9c89f4011 into f3b3bde44 Pull #36 GitHub github pending completion   set done
133067703 lee30sonia/bsat2 Merge 6b77201d9 into c75700601 Pull #35 GitHub github pending completion   set done
133059858 lee30sonia/bsat2 Merge b68e1fd35 into c75700601 Pull #35 GitHub github pending completion   set done
122676067 lee30sonia/pushpop Merge de42f8f8f into 954eda9cc Pull #34 GitHub github pending completion   set done
122662094 lee30sonia/pushpop Merge 209bc69aa into 954eda9cc Pull #34 GitHub github pending completion   set done
122650012 lee30sonia/pushpop Merge 157f8513f into 954eda9cc Pull #34 GitHub github pending completion   set done
122541470 hriener/min_core Merge 436fa4327 into cbfac1504 Pull #33 GitHub github pending completion   set done