squaresLab / Houston / 654

Builds Branch Commit Type Ran Committer Via Coverage
654 add-to-dict-to-command-and-state added test_to_and_from_dict Pull #103 web-flow travis-ci pending completion   set done
651 add-to-dict-to-command-and-state bug fix: bad var name push ChrisTimperley travis-ci pending completion   set done
652 add-to-dict-to-command-and-state bug fix: bad var name Pull #103 web-flow travis-ci pending completion   set done
646 add-to-dict-to-command-and-state Specification and symbolic execution (#96) * Skeleton of mutation based mission generator * Adding a number of mutation operators * Bug fixes and improvements * Updating fitness, accepting bad results 5% of the times * Initial impleme... push web-flow travis-ci pending completion   set done
645 master Specification and symbolic execution (#96) * Skeleton of mutation based mission generator * Adding a number of mutation operators * Bug fixes and improvements * Updating fitness, accepting bad results 5% of the times * Initial impleme... push web-flow travis-ci pending completion   set done
644 symex Merge branch 'master' into symex Pull #96 web-flow travis-ci pending completion   set done
643 symex Merge branch 'master' into symex push afsafzal travis-ci pending completion   set done
642 master Removing unnecessary comments push afsafzal travis-ci pending completion   set done
641 master Added Z3 to Travis configuration (fixes #97) (#98) * added Z3 build instructions to .travis.yml * bug fix: tweaked Z3_URL * changed --quiet to -nv * pipe wget to unzip * wget to z3.zip * remove -q from unzip * tweaked mv command... push web-flow travis-ci pending completion   set done
639 z3-travis Let's try version 14.04 push afsafzal travis-ci pending completion   set done
640 z3-travis Let's try version 14.04 Pull #98 web-flow travis-ci pending completion   set done
634 master Added typ property to State (fixes #100) (#101) push web-flow travis-ci pending completion   set done
633 add-type-to-state-var added typ property to State Pull #101 web-flow travis-ci pending completion   set done
632 add-type-to-state-var added typ property to State push ChrisTimperley travis-ci pending completion   set done
631 add-type-to-state-var Used metaclasses to bake command schemas into Command (#95) * implemented new Command class * updated System * updated sandbox * updated ardu.base * updated ardu specs * updated copter commands * bug fix: added missing name *... push web-flow travis-ci pending completion   set done