Wilfred / bfc / 550

Builds Branch Commit Type Ran Committer Via Coverage
550 master Adding docs for execute_with_state. push Wilfred travis-ci pending completion   set done
549 master Tweaking module imports so we generate useful docs. push Wilfred travis-ci pending completion   set done
548 master Improving function name. push Wilfred travis-ci pending completion   set done
547 master rustfmt push Wilfred travis-ci pending completion   set done
546 master Version bump dependencies. push Wilfred travis-ci pending completion   set done
545 master Provide a convenient way to initialise ExecutionState. push Wilfred travis-ci pending completion   set done
544 master Check cell values after applying transformations. push Wilfred travis-ci pending completion   set done
542 master Allow generating arbitrary loops. push Wilfred travis-ci pending completion   set done
541 master Updating changelog. push Wilfred travis-ci pending completion   set done
540 master Merge branch 'soundness_tests' push Wilfred travis-ci pending completion   set done
539 soundness_tests Ensure combine_before_read preserves cell changes before Write. push Wilfred travis-ci pending completion   set done
538 soundness_tests Ensure combine_before_read preserves cell changes before Write. push Wilfred travis-ci pending completion   set done
536 master Ensure arbitrary instructions can contain write loops. push Wilfred travis-ci pending completion   set done
535 master Remove unused libc dependency. Suggested in #4. push Wilfred travis-ci pending completion   set done
534 master PIBFI is definitely a notable implementation. push Wilfred travis-ci pending completion   set done