GitHub PushEvent at 2014-06-18 09:19:03
Repository: ompl
Actor: davetcoleman
Payload: {"shas":[["9a2fdbae33947d01df13fee62470aff1bd626dc8","e8c0ee8c9f9b3872b26a60336f45a625d658b541@rice.edu","added support for areas-of-interest to be respected by triangulations; cleaned up and commented code\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["59cd280b8962a5bcd24db784da6ea4c16ce8bba3","e8c0ee8c9f9b3872b26a60336f45a625d658b541@rice.edu","added world, to represent propositional truth assignments\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["c11f70ac1b8dd494ef5e102898f6a2a71204037d","e8c0ee8c9f9b3872b26a60336f45a625d658b541@rice.edu","added automaton, which runs on sequences of worlds\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["040cce2609d4771e1aceffb94455e48fc852b676","e8c0ee8c9f9b3872b26a60336f45a625d658b541@rice.edu","added propositional decomposition, which supports propositional regions within a decomposition\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["68146dd0e1f35e479d1b84849be8ebf99fbadc9c","e8c0ee8c9f9b3872b26a60336f45a625d658b541@rice.edu","added product graph, representing a triplet of decomposition, co-safety automaton, and safety automaton\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["53039b148994a8c9373b46f9c22c10e3ee224929","e8c0ee8c9f9b3872b26a60336f45a625d658b541@rice.edu","added LTL planner\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["c6c00a7271d4b15760e7e9a5f58ce99921799533","e8c0ee8c9f9b3872b26a60336f45a625d658b541@rice.edu","added convenience class for creating propositional triangulations\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["6e32a4f55d5a1920c3b72a04c87ea55723b1e4fc","e8c0ee8c9f9b3872b26a60336f45a625d658b541@rice.edu","added demo program for LTL planning with triangulations\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["88bf02a69ba1a57761ae31ca537f1bd34df62591","3ac42371e528a862e8323ade0e3a0a54b1818db1@gmail.com","added helper method for generating avoidance safety automata\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["9139982bace5367082c03feea5401692629d2756","3ac42371e528a862e8323ade0e3a0a54b1818db1@gmail.com","updated ltl demo to use avoidance safety formula\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["ebebd26afcf59df6848db49e1ed7f7799b2fdfe5","3ac42371e528a862e8323ade0e3a0a54b1818db1@gmail.com","merged from default\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["4d33c813057c9e8f89b842a1398fd0e2f30c47d4","3ac42371e528a862e8323ade0e3a0a54b1818db1@gmail.com","Added LTL boilerplate classes to assist users in setting up LTL planning problems. Just hand a robot's SpaceInformation and ProductGraph to LTLSpaceInformation, and all is taken care of under-the-hood. Updated demo to demonstrate usage.\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["57913e883259df99efc21d721f195b5140e3e03e","3ac42371e528a862e8323ade0e3a0a54b1818db1@gmail.com","merged\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["25a435997c08406337d912d10b0351b10388b951","3ac42371e528a862e8323ade0e3a0a54b1818db1@gmail.com","made LTLPlanner issue a warning when given more than one start state. Removed support for replanning from a specified ProductGraph state.\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["bb05bdd6814f692730ea9102cb57ff549a5020cf","3ac42371e528a862e8323ade0e3a0a54b1818db1@gmail.com","cleaned up LTLSpaceInformation formatting\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["8088044e5c7e94bce3ee6b950525cc7d36dd08a2","3ac42371e528a862e8323ade0e3a0a54b1818db1@gmail.com","addressed TODOs within LTLSpaceInformation\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["8ce6aff2ff0813e8a9335b530cc6c625a5cd9051","3ac42371e528a862e8323ade0e3a0a54b1818db1@gmail.com","cleaned up LTLProblemDefinition formatting\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["4362d1747be1abcd6c2f89994db9d99e560cda5a","3ac42371e528a862e8323ade0e3a0a54b1818db1@gmail.com","removed feature for partially satisfying co-safety formulas\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["35448fb41600533f52460be30848bc5826fce1e0","3ac42371e528a862e8323ade0e3a0a54b1818db1@gmail.com","changed demo to no longer print triangulation\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false],["9b9c9f44e8a5844ec9abe148acbd0dd02cea807f","3ac42371e528a862e8323ade0e3a0a54b1818db1@gmail.com","changed getNumRegions to be pure-virtual in Decomposition\n\n--HG--\nbranch : ltl-safety-cosafety","Matt Maly",false]],"size":66,"ref":"refs/heads/minor_changes","head":"0fb482641c7f8df62a654300fe833fa287cb2199"}